Вопросы с тегом «natural-proofs»

Существуют ли какие-нибудь игрушечные примеры, которые дают «существенную» информацию для понимания трех известных барьеров для проблемы P=NPP=NPP = NP - релятивизации, естественных доказательств и алгебризации?

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

Я думаю, что теорема об иерархии размеров для сложности схемы может быть главным прорывом в этой области. Это интересный подход к разделению классов? Мотивация вопроса заключается в том, что мы должны сказать есть некоторая функция, которая не может быть вычислена схемами размера и может быть вычислена схемой размера , где …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

В статье Разборова-Рудича « Естественные доказательства» , стр. 6, в той части, в которой они обсуждают, что есть «сильные доказательства нижних границ против моделей монотонных схем» и как они вписываются в картину, есть следующие предложения: Здесь проблема не в конструктивности - все свойства, используемые в этих доказательствах, возможны - но …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Естественное доказательство является препятствием для доказательства нижних оценок сложности схемы булевых функций. Они напрямую не подразумевают такого барьера в доказательстве нижних границ сложности схемы. Есть ли прогресс в выявлении таких барьеров? Есть ли другие барьеры в монотонной обстановке?м о л о т о н емоNоTоNеmonotone

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