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