Я придумал идею, как решать и создавать пазлы.
В Теории Решения Изобретательских Задач подобные идеи называются приёмами: я придумал приём.
В математике особенные абстрактные условия могут получать названия, например "необходимое" и "достаточное" условия: я нашёл особенное абстрактное условие, связанное с пазлами и задачами.
Так же описываемое связанно с темой автоматического вывода теорем. Я ставлю вопрос: можно ли знать типовые комбинации условий, ведущие к типовым следствиям?
Конкретный пример вопроса выше — что изменится, если у нас вместо одного объекта будет два?
Его я и рассматриваю. А идея моя в том, что если в задаче речь о каком-то объекте, то, чтобы решить задачу, надо добавить ещё один объект.
Просто, не правда ли?
И должно быть легко формализуемо: везде прямо говорится о множествах.
Пазл №1. Нужно скачать файл на компьютер без выхода в Интернет.
Ответ: нужно воспользоваться другим компьютером, уже с выходом в Интернет, и перенести файл с одного компа на другой.
Пазл №2. Нужно осветить комнату А светом лампы, которую нельзя ставить в эту комнату.