Вопросы с тегом «decidability»

1
Каждый ли распознаваемый по Тьюрингу неразрешимый язык имеет NP-полное подмножество?
Каждый ли распознаваемый по Тьюрингу неразрешимый язык имеет NP-полное подмножество? Этот вопрос можно рассматривать как более сильную версию того факта, что каждый бесконечный распознаваемый по Тьюрингу язык имеет бесконечное разрешимое подмножество.
3
Можно ли вычислить, равны ли две функции экстенсионально?
Если у вас есть две функции, реализующие другой алгоритм сортировки, то можно ли по исходному коду сделать вывод, что они имеют одинаковые внешние свойства? Это означает, что у них обоих будет возможная несортированная последовательность в качестве входных данных и отсортированная последовательность в качестве их выходных данных? Каким образом эти внешние …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.