Запитання з тегом «reference-request»

Дослідження стислого представлення графіків було ініційоване Гальперіном та Вігдерсоном у статті з 1983 року, де вони доводять, що для багатьох простих задач, таких як пошук трикутника у графі, відповідна лаконічна версія в -комплектній. Пападімітріу та Янаккакіс продовжують цей напрямок досліджень і доводять, що для проблеми яка є -комплектна / -повна, …

26 cc.complexity-theory  reference-request  complexity-classes 

Чи знаєте ви які-небудь сучасні вікі, присвячені проблемам оптимізації NP з найкращим результатом їх наближення та твердості? Виходячи з відгуків, здається, що можна припустити, що не існує такого ресурсу (див. У кінці цього питання два закритих варіанти). - додано 8 лютого. Оскільки в останні два десятиліття існує величезна кількість результатів …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Розглянемо проблему покриття мінімальної множини з такими обмеженнями: кожен набір містить максимум елементів, і кожен елемент Всесвіту зустрічається щонайбільше f множин.kkkfff Приклад: випадок і f = 2 еквівалентний мінімальній задачі про покриття вершин у графах з максимальним ступенем 4.k=4k=4k = 4f=2f=2f = 2 Нехай є найбільшим значенням таким, що знаходження …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Чи можливо перевести булеву формулу B в еквівалентний сполучник клаусів Хорна? Стаття у Вікіпедії про HornSAT начебто означає, що вона є, але я не зміг переслідувати жодної посилання. Зауважте, що я не маю на увазі "в поліномічний час", а скоріше "зовсім".

26 reference-request  lo.logic  sat 

Згідно з Д. ден Хертогом, «Точковий підхід інтер’єру» до лінійного, квадратичного та опуклого програмування, 1994 р. Лінійна програма з змінними, обмеженнями та точністю вирішується за час . Це було покращено?ннnннnLLLО ( н.)3L )О(н3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Том III з Кнута Мистецтво програмування (глава 5, вірш 3.2) включає в себе наступну таблицю лістингу точне мінімальну кількість порівнянь необхідно вибрати ttt - й найменший елемент з несортованих набору розміру nnn , для всіх 1≤t≤n≤101≤t≤n≤101\le t \le n\le 10 . Ця таблиця разом з добре відомими виразами закритої форми …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Результат по Robertson і Seymour демонструє алгоритм для перевірки , є чи фіксованою граф є мінор . У мене на цю тему є два з половиною питання:О ( н.)3)О(н3)O(n^3)ГГGННH 1) Схоже, з цього часу алгоритм удосконалився. Який найвідоміший на сьогодні алгоритм? 2а) Що думають люди, щоб бути оптимальним? Алгоритм Мохара …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Що відомо про складність наступної проблеми: Дано: раціональні числа .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Вихід: цілі числа .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Мета: мінімізувати де∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Тобто, ми б хотіли округлити раціональні числа до цілих …

25 ds.algorithms  reference-request  optimization 

У світлі недавнього результату Arora, Barak і Steurer, Субекспоненціальні алгоритми для унікальних ігор та пов'язаних з ними проблем , я цікавлюсь проблемами графіків, які мають субекспоненціальні алгоритми часу, але вважають, що вони не можуть бути поліноміально розв’язуваними. Відомий приклад - ізоморфізм графа, який має субекспоненціальний алгоритм час виконання. Інший приклад …

25 cc.complexity-theory  reference-request 

Чи є посилання на це?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Звичайно, деякі результати складності можуть звалитися для одинарних мов, але мені цікаво, чи є десь опитування, що підсумовує відомі результати в цьому випадку: своєрідний зоопарк складності для одинарних мов. Чи знаєте ви про таке посилання?

25 cc.complexity-theory  reference-request  big-list 

Я знаю, що не можна визначити, чи може набір плиток плитка площиною, результат Бергера за допомогою плитки Ванга . Моє запитання - чи також невідомо визначити, чи може одна плитка плиткою плитку, моноедральну плитку. Якщо це не вирішиться, мені було б цікаво дізнатись, яка мінімальна кардинальність набору плиток, для якого …

24 reference-request  co.combinatorics  decidability  undecidability 

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

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Редагувати: Я спершу неправильно сформулював обмеження (2), тепер воно виправлено. Я також додав більше інформації та прикладів. З деякими колегами, вивчаючи якесь інше алгоритмічне питання, ми змогли звести нашу проблему до наступної цікавої проблеми, але ми не змогли вирішити питання про її складність. Проблема полягає в наступному. Екземпляр: Ціле число …

24 cc.complexity-theory  ds.algorithms  reference-request 

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

24 quantum-computing  reference-request  fault-tolerance