Запитання з тегом «decidability»

Чи кожна пізнавана Тьюрінгом невідмінна мова має підмножину NP? Це питання можна розглядати як більш сильну версію того факту, що кожна нескінченна впізнавана Тюрінгом мова має нескінченно визначальний підмножина.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Якщо у вас є дві функції, що реалізують інший алгоритм сортування, чи можна зробити висновок за вихідним кодом, що вони мають однакові зовнішні властивості? Значить, вони обидва матимуть можливу несортовану послідовність у якості вхідних даних і матимуть відсортовану послідовність як вихід? Яким способом можна визначити ці зовнішні властивості за вихідним …

9 pl.programming-languages  decidability  formal-methods  extensionality