Запитання з тегом «cc.complexity-theory»

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

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

Це -важко знайти постійний коефіцієнт апроксимації довгого циклу в кубічних гамільтонових графів. Графіки кубічних гамільтонів мають щонайменше два гамільтонові цикли.NПNПNP Які найвідоміші верхня та нижня межі щодо кількості гамільтонових циклів у кубічних гамільтонових графах? З огляду на кубічний графік гамільтонів, у чому полягає складність пошуку кількості гамільтонових циклів? Це # …

15 cc.complexity-theory  counting-complexity 

Савич дав детермінований алгоритм вирішення st-з'єднання за допомогою простору , маючи на увазі N L ⊆ D S P A C E ( log 2 n ) . Алгоритм Савича працює в часі 2 O ( log 2 n ) . Основною відкритою проблемою є те, чи можна зв’язати st-з'єднання …

15 cc.complexity-theory  space-bounded 

У презентації 2006 року під назвою ГРАФИ РОЗШИРЕННЯ - ЧИ МІСТЕРИ ЛИВО? , Nati Linial поставила таку відкриту проблему: Яка -визначна обчислювальна задача на графіку залишається важкою при обмеженні графіками розширення?NПNПNP З тих пір чи який - або прогрес був досягнутий , щоб довести такий результат для -Жорсткий проблем?NПNПNP

15 cc.complexity-theory  np-hardness  expanders 

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

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

Це продовження цього питання і пов'язане з цим питанням Шиви Кіналі. Звісно ж , що докази в цих роботах ( Аллендер , Caussinus-Маккензі-Therien-VOLLMER , Koiran-Perifel ) використовують ієрархію теорем. Хочу знати, чи докази є " чистими " теоремами діагоналізації, чи вони використовують щось більше, ніж звичайна діагоналізація. Отже, моє запитання …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Вибачтеся заздалегідь, якщо це питання занадто просте. В основному, я хочу знати, чи є функції з такими властивостями:f(x)f(x)f(x) Візьміть як f ( x ), коли домен та кодомен обмежуються n- бітовими рядками. Потімfn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn є ін’єктивнимfn(x)fn(x)f_n(x) - сюжективнаfn(x)fn(x)f_n(x) вимагає строго менше ресурсів (або простір / час / глибина ланцюга / кількість …

15 cc.complexity-theory 

Спадковий клас структур (наприклад, графіки) - це той, який закритий під індукованими підструктурами, або рівнозначно, закритий при видаленні вершини. Класи графіків, які виключають мінор, мають приємні властивості, які не залежать від конкретного виключеного мінора. Мартін Грое показав, що для графічних класів, що виключають мінор, існує поліноміальний алгоритм ізоморфізму, а логіка …

15 cc.complexity-theory  graph-theory  relational-structures 

Мене завжди інтригує відсутність чисельних доказів експериментальної математики для або проти питання П проти НП. Хоча в гіпотезі Рімана є деякі підтверджуючі докази чисельної перевірки, я не знаю аналогічних доказів щодо питання Р проти НП. Крім того, мені невідомі будь-які прямі наслідки фізичного світу існування нерозв'язних проблем (або існування нерозбірливих …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Кажуть, що проблема AP є в APX, якщо існує якась константа c> 0, така що існує алгоритм апроксимації поліноміального часу для P з коефіцієнтом наближення 1 + c. APX містить PTAS (видно просто вибираючи будь-яку константу c> 0) і P. APX в NP? Зокрема, чи означає існування алгоритму наближення багаточленного …

15 cc.complexity-theory  complexity-classes  apx 

Враховуючи мову L, визначену машиною Тюрінга, яка її вирішує, чи можна алгоритмічно визначити, чи лежить L у NP?

15 cc.complexity-theory  computability  turing-machines 

У нашій недавній роботі ми вирішуємо обчислювальну задачу, яка виникла в комбінаторному контексті, за умови, що , де єEXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP}⊕EXP⊕EXP\mathsf{\oplus{}EXP}E X PЕХП\mathsf{EXP} -вернення . Єдиний папір на ⊕⊕П⊕П\mathsf{\oplus{}P} яку ми знайшли, - це документ Beigel-Buhrman-Fortnow1998,який цитується узоопарку складності. Ми розуміємощо ми можемо взяти версії парності N E X P …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Клас складності BQP відповідає квантовим підпрограмм поліноміального часу, що приймають класичні входи і виплюнують імовірнісний класичний вихід. Квантова порада модифікує те, щоб включати копії деяких заздалегідь визначених квантових порад, але, як правило, з класичними введеннями. Який клас складності для квантових підпрограм поліноміальних часових розробок, які приймають довільні квантові стани як …

15 cc.complexity-theory  complexity-classes  quantum-computing 

Ми часто розглядаємо класи складності, де ми обмежені в кількості простору, яку може використовувати наш апарат Тьюрінга, наприклад: або . Здається, що на початку теорії складності було досягнуто великого успіху в таких класах, як теорема про ієрархію простору та створення таких важливих класів, як та . Чи є аналогічні визначення …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

Як називається наступний варіант на обкладинці набору? Враховуючи набір S, колекцію C підмножини S і додатне ціле число K, чи існують набори K в C такі, що кожна пара елементів S лежить в одній з обраних підмножин. Примітка: Не важко зрозуміти, що ця проблема не є повною NP: Враховуючи звичайну …

15 np-hardness  set-cover  cc.complexity-theory