Наслідки субекспоненціальних доказів / алгоритмів для SAT


14

Чи будуть якісь серйозні наслідки, якби SAT мав щонайбільше субекспонентних невластивих доказів або ще сильніше, SAT мав алгоритми субекспоненціального часу?


4
Це спростує експоненційну гіпотезу часу, яка має різні наслідки (висвітлено у статті вікіпедії).
Артем Казнатчеєв

1
@ArtemKaznatcheev коментар -> відповідь?
Суреш Венкат

1
@SureshVenkat відчуває себе незручно дати відповідь, коли Райан Вільямс може надати набагато кращий варіант. Я дав одну наразі, але сподіваюсь, що Райан та інші придумають щось крутіше.
Артем Казнатчеєв

7
Якщо відповідь правильна, не має значення, хто її дає :)
Суреш Венкат

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

Відповіді:


21

Якби SAT мав алгоритм субекспоненціального часу, ви б спростували гіпотезу експоненціального часу .

нpолу(н)2нpолу(н)NЕХПП/pолу


10
Я думаю, що перший параграф вашої відповіді - це лише визначення експоненціальної часової гіпотези.
Tsuyoshi Ito
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.