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

Багато хто вважає , що . Однак нам відомо лише, що B P P знаходиться на другому рівні ієрархії поліномів, тобто B P P ⊆ Σ P 2 ∩ Π P 2 . Крок до показу B P P = P - це спочатку звести його до першого рівня ієрархії …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

Чи є якісь іграшкові приклади, які дають «суттєві» уявлення про розуміння трьох відомих бар’єрів для проблеми P=NPP=NPP = NP - релятивізації, природних доказів та алгебризації?

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

Нещодавно Райан Вілламс довів, що конструктивність у природному доказі неминуча для отримання розділення класів складності: N E X PNЕХП\mathsf{NEXP} і T C0ТС0\mathsf{TC}^{0} . Конструктивність у Natural Proof - це умова, що всі комбінаторні докази складності ланцюга задовольняють, і ми можемо вирішити, чи має цільова функція в N E X PNЕХП\mathsf{NEXP} …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Добре відомо, що будь-які докази, що вирішують питання Р проти НП, повинні долати релятивізацію , природні докази та бар'єри алгебризації . Наступна діаграма розділяє "простір доказів" на різні регіони. Наприклад, відповідає набору доказів, які релятивізують і натуралізують. (Геометрична теорія складності), звичайно, суворо межа регіону.G C TRNRNRNGCTGCTGCT Назвіть кілька доказів разом …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

Точне формулювання заголовка пояснюється Анандом Кулкарні (який запропонував створити цей сайт). Це питання було задано як приклад питання, але мені шалено цікаво. Я дуже мало знаю про алгебраїчну геометрію, і насправді також маю лише короткий, студентський розуміння перешкод, що виникають у питанні P / poly проти NP (нерелятивізуючий, не алгебразуючий, …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Всі ми знаємо, що показ має бар'єри. Ми всі вивчали ці бар'єри , тому що ми вважаємо , що P ≠ N P .P≠NPP≠NPP\ne NPП≠ NПP≠NPP\ne NP Однак припустимо, що і є мудрі люди, які вважають, що така можливість існує . Якщо це дійсно так, то сам факт, що ми …

15 p-vs-np  barriers 

Природні докази є бар'єром на шляху доведення нижчих меж складності булевих функцій ланцюга. Вони не мають на увазі який - або безпосередньо такої бар'єру при доказі нижніх оцінок на складності схем. Чи є прогрес у виявленні таких бар'єрів? Чи існують інші бар'єри в монотонній обстановці?monotonemonotonemonotone

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

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

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

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

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Чи впливають природні докази , релятивізація та алгебризація на відокремлення інших класів складності, таких як тощо?L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Наприклад, бар'єр природних доказів повинен впливати на будь-який доказ оскільки він відокремить . Однак, схоже, що відношення між та , схоже, не має великого значення з OWF, порівняно …

9 cc.complexity-theory  barriers