Изменения

Примеры неразрешимых задач: задача о замощении

31 байт убрано, 19:27, 4 января 2014

м

→‎Постановка задачи

{{Теорема

|statement=

Задача о замощении четверти плоскости полимино неразрешима~~<br><tex>Tiling_4 \notin R</tex>~~.

|proof=

[[m-сводимость|Сведём]] задачу останова к данной задаче.

338

правок