А, четвертое у тебя нарушается, но это потому что ты его придумал, и оно не следует из условий.
У тебя нет условия, что кроме собак, кошек и попугаев есть только тараканы. Там написано, что все кроме точных попугаев, точных собак и точных кошек - тараканы.
Либо все кроме точных попугаев, кошек, собак и неточным попугаев, кошек, собак - тараканы

Термин "точные кошки" и прочие собаки ты сам придумал, в условии его нет

Если ты заменяешь =2 на <=2, то наши модели становятся эквивалентными.

Еще раз. Поправь если что напутаю.

Моя модель, численная:
С - число собак.
К - число кошек.
П - число попугаев.
Т - число тараканов.
Н - общее число питомцев.

Н-С<=2
Н-К<=2
Н-П<=2
Н=С+К+П+Т
Н>=2.
Надеюсь, неотрицательность и целочисленность переменных не нужно отдельно оговаривать

Твоя, множественная.
С - множество точных собак
нС - множество неточных несобак

Аналогично К, нК, П, нП, Т. (нТ ты тоже вводил, но оно нигде не используется).

Ограничения:
С+нС=Ж
К+нК=Ж
П+нП=Ж
С+К+П+Т=Ж

|нС|<=2
|нК|<=2
|нП|<=2

Разница в том, что ты ввел понятия "точных собак", которого нет в условии

С учетом всех ограничений, получается что нС<Ж=С+К+П+Т, поэтому никакие гиббоны туда входить не могут.

У меня аналогично, гиббонам взяться неоткуда, потому что Н=С+К+П+Т.

Допустимые решения одинаковые и у меня, и у тебя.
Если это не так, приведи контрпример.

SleepWalker написал(а):

Задача навеяна реальной ситуацией, как я понимаю?

Ага, я вчера чуть со стремянки с пылесосом не рухнула, а потом дай, думаю, загадаю))))

SleepWalker написал(а):

Задача навеяна реальной ситуацией, как я понимаю?

Ага, я вчера чуть со стремянки с пылесосом не рухнула, а потом дай, думаю, загадаю))))

Хочу фотку, подтверждающую эмпирический путь возникновения задачки:))

Rose1 написал(а):

Ты думаешь, я стану возражать?!

Конечно) Зачем тебе лиска со свернутой шеей)

[cite=(https://exper1.ruhelp.com/index.php?show … p;p=387023);Кросс, August 4 2014, 13:30]Как раз в условии есть

Все, кроме двух - собаки. Есть точно известные собаки, а есть двое в стороне. В зависимости от прочтения условия - это либо точные не собаки, либо неизвестные, которые могут быть, а могут не быть собаками.
Именно это там и есть, в отличие от неравенств [/cite]
Хорошо, пусть так.
Неравенства это же самое и описывают.
Договорились.

Все расхождения у нас - в выделенном тексте, верно?

А с моим примером про воскресенье, ты согласен или нет?

У мадам все, кроме двух - собаки, остальные - тараканы

Rose1 написал(а):

Ты думаешь, я стану возражать?!

Конечно) Зачем тебе лиска со свернутой шеей)

А ты шею не сворачивай, шантажовка:))

Я на тебя обиделась! *забрала весь попкорн и сама съела*)

Rose1 написал(а):

Усе, я решила:)

Ну вот! А то спорят тут, спорят )

Эти-то тривиальные решения давно найдены и описаны
Спор идет за существование других решений