Задача про кадровика — Журнал «Код» программирование без снобизма

В один венчурный фонд пришёл новый кадровик, но старый так спешил уволиться, что не успел рассказать обо всех сотрудниках. Единственное, что смог узнать новый кадровик про сотрудников, это несколько фактов:

у кассира нет родственников и он ниже всех ростом;
Марк выше инкассатора и женат на сестре Билла;
про Карла и заведующего вообще ничего не сказали кроме того, что совмещать должности нельзя.

Но кадровику хватило даже этого, чтобы разобраться, кто из них кто. А вам — хватит?

Эта задача гораздо проще задачи Эйнштейна, но даже для её решения нужно составить аналогичную таблицу. Сверху мы напишем профессии, а в столбец — имена работников. Затем постепенно заполним нашу таблицу фактами из условий задачи и таким образом найдём правильный ответ.

	Заведующий	Кассир	Инкассатор
Карл
Билл
Марк

Марк выше инкассатора. Это значит, что Марк не может быть инкассатором, поэтому на пересечении этого имени и должности ставим минус:

	Заведующий	Кассир	Инкассатор
Карл
Билл
Марк			-

Марк женат на сестре Билла + у кассира нет родственников. Так как по условиям у кассира нет родственников, то он не может быть женат и у него нет сестры. Получается, кассир — это точно не Билл и не Марк:

	Заведующий	Кассир	Инкассатор
Карл
Билл		-
Марк		-	-

Получается, что единственный, кто может быть кассиром — это Карл:

	Заведующий	Кассир	Инкассатор
Карл		+
Билл		-
Марк		-	-

А раз Карл — кассир, то он не может быть заведующим или инкассатором:

	Заведующий	Кассир	Инкассатор
Карл	-	+	-
Билл		-
Марк		-	-

По условиям совмещать должности нельзя, поэтому у нас в таблице должно быть три плюса — каждый на разных строках и столбцах. Значит, последнее, что нам осталось сделать, — найти строчки или столбцы с двумя минусами и в оставшуюся ячейку поставить плюс: