slavav , спасибо. Теперь понятно -- почему запрещено. А именно потому как из условия

, а значит

.
levtsn так лаконично изложил (это хорошо, у меня так не получается лаконично и грамотно излагать мысли), но пока на меня действует побочный эффект лаконичности (в эти две строчки уже очень долго не получается вникнуть( )
А ведь не обязательно открывать двери одного типа залпом? Можно ведь сначала дверь одного типа, потом другого, потом опять первого итп.
Цитата:
Если осталось только два типа запертых комнат то ключи должны лежать в комнате другого типа а по условию их разное количество. Если осталось три типа запертых то первые два типа хранят друг друга что запрещено. Таким образом невозможно чтобы осталось какое то количество не открытых комнат.
А как из первых двух предложений следует третье? Пока что совсем не очевидно это