Теоретична інформатика

Досить подібний до мого раніше розміщеного питання . Цього разу графік непрямий. Дано Неорієнтовний граф GGG без яких - або множинних ребер або петель, Джерело вершини sss , Цільова вершина ttt , Максимальна довжина шляху lll , Я шукаю G′G′G' - підграф GGG який містить будь-яку вершину та будь-який край …

12 ds.algorithms  graph-algorithms  shortest-path 

Нещодавно я почав багато читати про складність доказів і дуже насолоджувався тим, що читав. Мені дуже хотілося б дізнатися більше про це, але мені важко знайти якийсь хороший матеріал для початківців. Хтось міг би порекомендувати якісь основи?

12 cc.complexity-theory  lo.logic  proof-complexity 

Чи є в цілому черзі пріоритет, який використовує пробіли слів із наступними операціями, і все це в гіршому випадку та без доступу до випадковості:O(n)O(n)O(n) createEmptyQueueв для деякої постійної .cО ( л. ГcU)O(lgcU)O(lg^c U)ccc insertв .O ( 1 )O(1)O(1) deleteMinв , де \ delta _ {\ min} - різниця між найменшим …

12 ds.data-structures 

Залишкові автомати з кінцевим станом (RFSA, визначені в [DLT02]) - це NFA, які мають деякі приємні риси, спільні з DFA. Зокрема, завжди існує канонічний RFSA мінімального розміру для кожної звичайної мови, і мова, визнана кожним штатом в RFSA, є залишковою, як і в DFA. Однак, хоча мінімальні стани DFA утворюють …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Між кожним рівнем ієрархії поліномів містяться різні класи складності, включаючи ΔПiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , БХкBHk\text{BH}_k та ΣПi∩ ΠПiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Через відсутність кращої термінології я буду називати ці та будь-які інші як проміжні класи між рівнями iii та i + 1i+1i+1 в ієрархії поліномів. Для цілей цього питання припустимо, …

12 cc.complexity-theory  polynomial-hierarchy 

Які конкретні та переконливі додатки для оцінки обсягу опуклих багатогранників такого типу розглядаються в останніх роботах про випадкові методи прогулянки? У цих роботах з оцінки обсягу є однією з мотивацій числова інтеграція. Які приклади інтегралів, які люди хочуть обчислити на практиці, які важко обчислити, використовуючи попередні методи? Або є якесь …

12 cg.comp-geom  na.numerical-analysis  markov-chains 

Ця стаття дає доказ того, що в грі з дверима та напірними плитами важко визначити, чи може аватар (гравця) досягти певного місця. Це доводиться зменшенням від TQBF , а довжина отриманих розчинів експоненціально залежить від кількості універсальних кванторів у формулі. Чи є скорочення від машини NPSPACE до такої гри, для …

12 reductions  nondeterminism  pspace 

Це питання мотивоване цією публікацією. Чи можете ви визначити суму двох перестановок за багаточлен? , і мій інтерес до обчислювальних властивостей перестановок. А відмінності послідовності 1 , а 2 , ... п перестановок П чисел 1 , 2 , ... п + 1 утворюється шляхом знаходження різниці між кожними двома …

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

У мене дійсно великий недетермінований кінцевий автомат, і мені потрібно перетворити його в DFA. Маючи на увазі, я маю на увазі 40 000+ держав. Поки я провів кілька експериментів і запрограмував алгоритм за замовчуванням, який шукає через таблицю (як описано тут ), але навіть після оптимізації досить повільний і дуже …

12 dfa 

Чи знаємо ми, що ієрархія T C0TC0\mathsf{TC^0} не руйнується ( TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}} для всіх ddd )? Запис у зоопарку для TC0TC0\mathsf{TC^0} зазначає лише розділення між глибиною 2 та 3. Чи є стандартна посилання на те, що AC0dACd0\mathsf{AC^0_d} ієрархія не руйнується?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Це цікаве питання, яке я знайшов в Інтернеті. Враховуючи масив, що містить n чисел (без інформації про них), ми повинні попередньо обробити масив за лінійним часом, щоб ми могли повернути k найменших елементів за час O (k), коли нам дано число 1 <= k <= n Я обговорював цю проблему …

12 sorting 

Який взаємозв'язок між та ? Іншими словами, чи є приблизними проблеми, які допускають локальний пошук багаточлена? Чи загальні проблеми оптимізації мають на увазі загальний алгоритм пошуку?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms 

Згладжений аналіз застосовується багато разів для розуміння часу виконання точних алгоритмів для багатьох проблем, таких як лінійне програмування та k-засоби. У цій царині є досить загальні результати, наприклад, Хайко Рьоглін та Бертольд Векінг, Згладжений аналіз цілого програмування , 2005. Деякі з цих загальних результатів, схоже, покладаються на ізоляційні леми, щоб …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Враховуючи детерміновану гру з частковою інформацією з нульовою сумою лише лише кінцево багато станів, можливими результатами яких є [програти, нічия, виграти] зі значеннями [-1,0, + 1] відповідно, яка складність наближення значення такої гра додатково в межах ?ϵϵ\epsilon Зокрема, я не можу створити жодного алгоритму для цього. Решта цієї публікації повністю …

12 cc.complexity-theory  gt.game-theory