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

Я знаю, що не можна визначити, чи може набір плиток плитка площиною, результат Бергера за допомогою плитки Ванга . Моє запитання - чи також невідомо визначити, чи може одна плитка плиткою плитку, моноедральну плитку. Якщо це не вирішиться, мені було б цікаво дізнатись, яка мінімальна кардинальність набору плиток, для якого …

24 reference-request  co.combinatorics  decidability  undecidability 

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

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Проблема зупинки машин Тьюрінга - це, мабуть, канонічний нерозбірливий набір. Тим не менш, ми доводимо, що існує алгоритм, який вирішує майже всі його екземпляри. Таким чином, проблема зупинки є серед зростаючої колекції тих, хто демонструє явище «чорної діри» теорії складності, завдяки якому складність нездійсненної чи невирішеної проблеми обмежується дуже маленькою …

18 cc.complexity-theory  reference-request  computability  undecidability 

Відповідь: невідомо. Задані питання є природними, відкритими і, мабуть, важкими; питання зараз - вікі спільноти. Огляд Питання має на меті розділити мови, що належать до класу складності - разом із рішеннями машин Тьюрінга (ТМ), які приймають ці мови - на два допоміжні підкласи:PPP гностичні мови та ТМ (які можна перевірити …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Відомо, що багато логічних задач (наприклад, проблеми задоволеності декількох модальних логік) не вирішуються. Існує також безліч невирішених проблем в теорії алгоритмів, наприклад, у комбінаторній оптимізації. Але на практиці евристи і приблизні алгоритми добре працюють для практичних алгоритмів. Тож можна очікувати, що приблизні алгоритми для логічних задач також можуть бути придатними. …

13 lo.logic  approximation-algorithms  undecidability 

Яка найпростіша обчислювальна модель, для якої проблема порожнечі не вирішена? Проблема порожнечі для обчислювальної моделі (наприклад, автомат з кінцевим станом, змінний автоматичний віджимання, квантовий автомат з обмеженою помилкою з лічильником, детермінований LBA тощо) полягає у визначенні, чи для даної такої машини мова, визнана / визначена цією машиною пусто. Тут опис …

12 computability  decidability  undecidability  unary-languages 

"Гра з найбільшою кількістю цифр" просить двох гравців записати номер таємно, а переможець - людина, яка записала більшу кількість. Гра зазвичай дозволяє гравцям записувати функції, оцінені в певній точці, тому також було б прийнятним записом.222222222^{2^{2^{2}}} Значення функції Busy Beaver, , не можна визначити (у ZFC або будь-якій розумній послідовній аксіоматичній …

11 computability  undecidability 

Є проблеми, які можна вирішити, є деякі, які не можна визначити, є напіврозрізненість тощо. У цьому випадку мені цікаво, чи проблема може бути мета-невирішеною. Це означає (принаймні в моїй голові), що ми не можемо сказати, вирішується чи ні. Можливо, відомо, що розширюваність не визначається (все мета-не визначимо), і не існує …

9 computability  decidability  undecidability