Рассмотрим тройки $%(X,x_0,x_1)$% и пары $%(X',x_0')$%, где $%X,X'$% - множества квадратов с окрашенными сторонами, $%x_0,x_1\in X; x_0'\in X'$% - выделенные квадраты.

Докажите, что существует функция, сопоставляющая каждой тройке $%(X,x_0,x_1)$% с конечным $%X$% пару $%(X',x_0')$% (тоже с конечным $%X'$%) такая, что:

  • Для всех троек вида $%(X,x_0,x_1)$% с конечным $%X$%, если $%\infty\times 2$% решетка может быть замощена множеством $%X$% (где в левом верхнем углу стоит $%x_1$%, а в левом нижнем - $%x_0$% - http://s1.bild.me/bilder/110417/6335204clipboard.png ), то бесконечная вправо $%\infty\times 1$% полоска может быть замощена множеством $%X'$%, начиная с $%x_0'$%

  • Для всех пар вида $%(X,x_0,x_1)$% с конечным $%X$%, если бесконечная вправо $%\infty\times 1$% полоска может быть замещена $%X'$% (начиная выделенного квадрата $%x_0'$%), то $%\infty\times 2$% решетка может быть замощена множеством $%X$% (где в левом верхнем углу стоит $%x_1$%, а в левом нижнем - $%x_0$%)

задан 29 Авг '19 5:05

изменен 30 Авг '19 5:30

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,507
×53

задан
29 Авг '19 5:05

показан
305 раз

обновлен
30 Авг '19 5:30

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru