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

Шива Кінталі щойно оголосив (класний!) Результат, що ізоморфізм графіків для обмежених графіків ширини ширини є твердий≥4≥4\geq 4⊕L⊕L\oplus L . Неофіційно моє запитання: "Наскільки це важко?" Ми знаємо, що нерівномірно див. Відповіді на це питання . Ми також знаємо, що навряд чи , дивіться відповіді на це питання . Як дивно, …

26 cc.complexity-theory  complexity-classes  logspace 

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

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

Які були б наслідки #P = FP? Мене цікавлять як практичні, так і теоретичні наслідки. З практичної точки зору мене особливо цікавлять наслідки для штучного інтелекту. Показники до паперів чи книг більш ніж вітаються. Будь ласка, не кажіть, що #P = FP означає P = NP, я це вже знаю. …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Добре відомо , що направлено й-зв'язність є -повна. Прорив результат Рейнгольд показав , що неорієнтовний ст-зв'язність в L . Планарная спрямовані ST-підключення , як відомо, в U L ∩ C O U L . Чо і Хюіньте визначили параметризрвані завдання про рюкзаку і виставлені ієрархія проблем між L і N …

26 cc.complexity-theory  space-bounded 

Машині PHPHPH надається доступ до оракула до випадкової булевої функції f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} та двох спектрів Фур'є ggg і hhh . Спектри Фур'є функції fff визначаються як F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) Один з або є справжніми спектрами Фур'є …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

Чи є якісь природні проблеми в , які не є (як відомо, як вважається) в ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Очевидно, що найбільшим, про кого всі знають у є версія рішення факторингу (чи має n коефіцієнт розміру не більше k), але це насправді в .NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

Наступна проблема NP-важка? Враховуючи конфігурацію дошки для міжнародних проектів , знайдіть єдиний законний крок.n×nн×нn\times n Відповідна задача для американських шашок (також англійських чернеток) тривіально вирішується в поліноміальний час. Існують три основні відмінності між цими двома іграми.n×nн×нn\times n Перша і найбільш істотна відмінність - це правило «літаючого короля». У шашках король …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

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

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

Для формули 3CNF нехай буде максимальне число задоволених положень в будь-якому присвоєння . Відомо, що Max-3SAT важко наблизити (залежно від P ≠ NP), тобто немає політайм-алгоритму, вхід якого є формулою 3CNF , а вихід якого є числом таким, що знаходиться в межах a мультиплікативний коефіцієнт від , де - абсолютна …

26 cc.complexity-theory  sat 

Для будь-якого , я говорю , що послідовність s цілих чисел { 1 , ... , п } є п -повне , якщо для будь-якої перестановки р з { 1 , ... , п } , записується в вигляді послідовності попарно різних цілих чисел р 1 , … , p …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Чи існує (бажано природний) NP-повна мова , така, що для кожного утримує? Іншими словами, містить точно половину всіх бітних екземплярів. n ≥ 1 | L ∩ { 0 , 1 } n | = 2 п - 1 лL⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

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

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

Добре відома характеристика примірників -SAT - відношення кількості пунктів до кількості змінних , тобто коефіцієнт . Для кожного існує порогове значення st \ for , більшість екземплярів є задоволеними, а для більшість випадків є незадовільними. Було проведено багато досліджень для проблем, де , і для проблем з досить малим ,kkkmmmnnnρ=m/nρ=m/n\rho …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Чи знаєте ви цікаві наслідки (стандартних) гіпотез теорії складності в інших галузях математики (тобто поза теоретичною інформатикою)? Я вважаю за краще відповіді, де: гіпотеза теорії складності є максимально загальною та стандартною; Я все в порядку з наслідками твердості конкретних проблем, але було б добре, якби, як вважають, проблеми важкі (або, …

25 cc.complexity-theory  conditional-results 

Ця відповідь на основні невирішені проблеми теоретичної інформатики? Питання зазначає, що воно є відкритим, якщо певна проблема в NP вимагає часу.Ω ( n2)Ω(n2)\Omega(n^2) Дивлячись на коментарі під відповідь, мене здивувало: Окрім прокладки та подібних хитрощів, яка найвідоміша часова складність нижньої межі на детермінованій машині оперативної пам’яті (або багатоканальній детермінованій машині …

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