1. Доказать, что функция f (x)=7 является частично рекурсивной.
2. Алгоритмически неразрешимые задачи:
(«Бесконечный паззл»). Задан конечный набор единичных квадратов, стороны которых покрашены в некоторые цвета (конечное число). Спрашивается, можно ли замостить всю координатную плоскость квадратами заданных типов так, чтобы все квадраты соседствовали по сторонам одного цвета?
3. Алгоритмически неразрешимые задачи:
(«Задача вымирания»). Задан конечный набор матриц одного порядка с целыми ко- эффициентами. Спрашивается, можно ли выразить нулевую матрицу как произведение матриц из указанного набора (матрицы в произведение могут входить в любом порядке).
4. Алгоритмически неразрешимые задачи:
(«Диофантовы уравнения»). Дан многочлен P(x1, . . . , xn) от нескольких переменных с целыми коэффициентами. Спрашивается, есть у него целочисленное решение, т.е. такой набор целых чисел a1, . . . , an, что P(a1, . . . , an) = 0?
5. Алгоритмически неразрешимые задачи:
Докажите, что задача достижимости для неориентированных графов, заданных правилами подстановки, алгоритмически неразрешима.
Xx
МФТИ
Качественное и подробное оформление, работа была выполнена практически сразу. Спасибо!
Егор
Томский политехнический университет
Удобный вид представления решения, скорость работы и ответственность - все это про данного...
Бахыт
ЧелГУ
Огромное спасибо, уже не первый раз обращаюсь , все досрочно, рекомендую всем!!!
Александра
СПбГТИ(ТУ)
Выражаю большую благодарность за ответственное и своевременное выполнение работы :)