Всем известна игра Солитер, входящая в стандартную конфигурацию винды. Запускаем эту игру (обычно это файл %SystemRoot%\system32\freecell.exe). Нажимаем F1, вылезает окно справки, в которой читаем:
"Цель игры состоит в том, чтобы переместить все карты в дом, используя в качестве промежуточных пустые ячейки. Чтобы выиграть, следует расположить карты по возрастанию в четырех ячейках дома, соответствующих четырем мастям: двойку на туза, тройку на двойку и т. п.
Примечание Считается (хотя и не доказано), что данный пасьянс сходится при любом раскладе.

Посему вопрос - а кто знает доказательство того, что данный пасьянс сходится НЕ при любом раскладе?

Дык, элементарно. Пусть к колоде наверху лежат все карты с двоек до семерки, а внизу открытыми, скажем три вальта и четыре короля. Ни в жисть не сойдется. Или я чего не так понял?

Леонид, Вы говорите про косынку.
В солитере чуть чуть другие правила.

Расклады -1 и -2 не сходятся

Ответ неверный... Сам когда-то решил проходить их по порядку - прошел штук 20, потом надоело...
Подтверждение можно посмотреть здесь www.rs.net.ua

Все понятно... Речь шла о раскладах -1 (минус 1) и -2 (минус 2)

Не сходятится расклад #11982:
"Although implementations vary, all hands in common software versions of FreeCell have been beaten except for Game #11982.[1], which has been proven to be unsolvable."

medstrax
Расклады -1 и -2 не сходятся

Угу. Не хотят сходиться, чтоб их...

Шутка юмора мелкомягких девелоперов