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

Мотивация: в стандартных алгоритмах увеличения потока по траектории внутренний цикл требует поиска путей от источника к стоку в ориентированном взвешенном графике. Теоретически, общеизвестно, что для того, чтобы алгоритм даже завершился, когда существуют иррациональные ребристые емкости, нам нужно наложить ограничения на пути, которые мы находим. Алгоритм Эдмондса-Карпа, например, говорит нам, чтобы …

10 ds.algorithms  graph-theory  graph-algorithms 

Этот вопрос возник у меня в голове после прочтения вклада Андраса Саламона и Колина Маккуиллана в мой предыдущий вопрос « Подсчет решений формул Monotone-2CNF» . РЕДАКТИРОВАТЬ 30- го марта 2011 г. Добавлен вопрос № 2. РЕДАКТИРОВАТЬ 29- го октября 2010 г. Вопрос перефразирован после предложения Андра формализовать его с помощью …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

График автоморфизм является перестановкой узлов графа , который индуцирует биекцию на множество ребер . Формально, это - перестановка узлов, таких тогда и только тогда, когдаf ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EЕЕEееf( u , v ) ∈ …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

На SODA 2006 работа Мартина Грохе и D sharp Нила Маркса «Решение ограничений с помощью дробных краевых покрытий» ( цитирование ACM ) показала, что для класса гиперграфов H с ограниченной дробной шириной гипердерева CSP ( H ) \ in ПТИМ .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Определения и т. Д. Большой обзор разложений …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Скажем, у меня есть взвешенный граф такой, что является весовой функцией - обратите внимание, что допустимы отрицательные веса.w : E → [ - 1 , 1 ]G = ( V, E, ш )гзнак равно(В,Е,вес)G = (V,E,w)W : E→ [ - 1 , 1 ]вес:Е→[-1,1]w:E\rightarrow [-1,1] Скажем , что определяет свойство …

10 ds.algorithms  graph-theory  co.combinatorics 

Я хотел бы знать текущее состояние фазового перехода для случайных k-sat, учитывая n переменных и m предложений, что является наиболее известным c = m / n для верхней и нижней границ.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Я искал на форуме, чтобы узнать, спрашивался ли об этом раньше, и пока обсуждается теория алгоритмических игр, я не смог найти эту конкретную проблему. Я пытаюсь выяснить, каков самый известный алгоритм для вычисления приближенных (смешанных стратегий) равновесий Нэша в конечной игре с n людьми. Конечно, этот алгоритм будет PPAD. Меня …

10 ds.algorithms  gt.game-theory 

Интересно знать погоду есть редкий язык (даже построен с задержкой diagolanization) в НПИ в предположении , что .P≠NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

Какие документы по обработке ошибок в распределенных системах вы рекомендуете?

10 reference-request  dc.distributed-comp 

Я ищу хэш-функцию над множествами H (.) И отношением R (.,.), Чтобы, если A входит в B, то R (H (A), H (B)). Конечно, R (.,.) Должно легко проверяться (постоянное время), а H (A) должно вычисляться за линейное время. Одним из примеров H и R является: ЧАС( А ) = …

10 ds.algorithms  hash-function 

Неуязвимые генераторы определяются следующим образом: Пусть RRR - отношение NP, а MMM - машина, которая принимает L(R)L(R)L(R) . Неформально программа является неуязвимым генератором, если на входе 1n1n1^n она создает пары свидетельства экземпляра (x,w)∈R(x,w)∈R(x, w) \in R , где |x|=n|x|=n|x| = n , согласно распределению, при котором любой противник за полиномиальное …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Известен ли какой-либо класс сложности, содержащий онлайн-аналоги задач оптимизации? Если нет, то как можно определить такой класс? Мы знаем, что у многих проблем есть онлайн-версия: например, онлайн-версия проблемы с упаковкой бункера. Проблемы онлайн сложнее, если судить по их конкурентоспособности. И я не нашел ничего похожего по сложности в зоопарке . …

10 cc.complexity-theory  complexity-classes 

Stratego - это язык трансформации программирования / переписывание DSL. Энтони Слоун проделал определенную работу по реализации, которая работает на Scala . Каковы теоретические пределы Stratego как функционального языка? (независимо от реализации). Можно ли написать аппликативный порядок ycombinator в Stratego?

10 functional-programming 

Многие здесь, вероятно, знают о недавних суперлинейных нижних оценках Алона для сетей в естественной геометрической обстановке [PDF] . Я хотел бы знать, что, во всяком случае, такая нижняя граница подразумевает в отношении аппроксимируемости связанных задач Set Cover / Hitting Set. ϵϵ\epsilon Чтобы быть более конкретным, рассмотрим семейство пространств диапазонов, например, …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

Предположим,п≠ NпP≠NPP \neq NP Давайте использовать следующие обозначения для тетратации (то есть. ).яaia{}^iaяа = аa⋅⋅⋅aя разia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | Х | это размер экземпляра х. Пусть L язык,L |е( i ) ≤ | х | < г( я ): = { x ∈ L | ∃ я …

10 cc.complexity-theory  np-hardness  complexity-classes