Чи будуть якісь серйозні наслідки, якби SAT мав щонайбільше субекспонентних невластивих доказів або ще сильніше, SAT мав алгоритми субекспоненціального часу?
4
Це спростує експоненційну гіпотезу часу, яка має різні наслідки (висвітлено у статті вікіпедії).
—
Артем Казнатчеєв
@ArtemKaznatcheev коментар -> відповідь?
—
Суреш Венкат
@SureshVenkat відчуває себе незручно дати відповідь, коли Райан Вільямс може надати набагато кращий варіант. Я дав одну наразі, але сподіваюсь, що Райан та інші придумають щось крутіше.
—
Артем Казнатчеєв
Якщо відповідь правильна, не має значення, хто її дає :)
—
Суреш Венкат
Вибачте Артеме, моя відповідь не була б набагато крутішою, ніж ваша ... Я думаю, що одне, що слід додати, - це те, що ETH неправдивий, передбачає нові нижні межі надлінійної схеми (та сама папір).
—
Райан Вільямс