Запитання з тегом «natural-proofs»


2
Теорема ієрархії щодо розміру ланцюга
Я думаю, що теорема про ієрархію розмірів щодо складності ланцюга може стати головним проривом у цій галузі. Це цікавий підхід до розділення класів? Мотивація питання полягає в тому, що ми повинні сказати є деяка функція, яку неможливо обчислити за розмірами ланцюгів і її можна обчислити за схемою розміру де . …

1
Випадкова монотонна функція
У статті " Природні докази" Розборова-Рудича , сторінка 6, у частині, в якій вони обговорюють, що існують "сильні докази нижньої межі проти монотонних моделей схем", і як вони вписуються в картину, є такі речення: Тут питання полягає не в конструктивності - властивості, які використовуються в цих доказах, цілком можливі - …

2
Бар'єри та складність монотонного кола
Природні докази є бар'єром на шляху доведення нижчих меж складності булевих функцій ланцюга. Вони не мають на увазі який - або безпосередньо такої бар'єру при доказі нижніх оцінок на складності схем. Чи є прогрес у виявленні таких бар'єрів? Чи існують інші бар'єри в монотонній обстановці?monotonemonotonemonotone
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.