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

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

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

Що на даний момент відомо про наближеність проблеми роду? Попередній пошук говорить мені, що наближення постійного фактора тривіальне для досить щільних графіків, а алгоритм апроксимації nϵnϵn^\epsilon виключений. Чи ця інформація актуальна, чи відомі кращі межі?

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Які теореми ієрархії існують для глибини ланцюга? Такі заяви, як якщо і тоді .f ( n ) ∈ n O ( 1 ) S i z e D e p t h ( n O ( 1 ) , g ( n ) ) ⊊ S i z e D …

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

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

11 cc.complexity-theory  graph-isomorphism 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Тепер розглянуть схему сім'ї з оракулом воротами - скажімо, , де класі складності схеми , що містить logspace з доступом оракула до іншого класу , через оракул воріт прикладеного до основи . Чи є якісь патологічні приклади, подібні за духом до папери Ладнера-Лінча, відомої для таких занять? …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Це схоже на SAT, за винятком того, що ми знаємо присвоєння кожної змінної, але не знаємо присвоєння будь-якого булевого оператора. У такому випадку, чи знаходить призначення кожного оператора, щоб вираз оцінював задане булеве значення як NPC? Власне, мені було цікаво, чи не буде завершення пошуку арифметичних операторів для задоволення цілого …

11 cc.complexity-theory  np-hardness 

У роботі "Ціле програмування з фіксованою кількістю змінних" було показано, що цілі програмування з постійною кількістю обмежень (або змінних) є поліноміально розв'язуваними. Це справедливо для програмування 0-1?

11 cc.complexity-theory  integer-programming 

Пряма теорема про продукт неофіційно говорить, що обчислити екземпляри функції важче, ніж обчислити один раз.f fkkkffffff Типові теореми прямого продукту (наприклад, XOR леми Яо) дивляться на середню складність випадку і стверджують (дуже приблизно), що не може бути обчислена схемами розміром з вірогідністю кращою , то копії не можна обчислити схеми …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Відповідь: невідомо Велике спасибі всім, хто допоміг уточнити це питання та визначення, пов'язані з ним. Визначення цієї вікі послужили відправною точкою для більш пізньої вікі TCS " Чи P містить мови, існування яких не залежить від PA чи ZFC? (Вікі спільноти TCS) ". Більш свіжий вікі є кращим, оскільки його …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Dana Angluin ( 1987 ; pdf ) визначає модель навчання із запитами про членство та теоретичними запитами (контрприклади запропонованій функції). Вона показує, що звичайна мова, яка представлена ​​мінімальною DFA з станів, вивчається в поліноміальний час (де пропоновані функції - DFA) з O ( m n 2 ) запитами членства та …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

Проблема 3-Clique Partition - це проблема визначення, чи можна вершини графа, скажімо , розділити на 3 кліки. Ця проблема є важкою для NP шляхом простого скорочення від 3-х кольорових проблем. Не важко зрозуміти, що відповісти на цю проблему легко, коли diam ( G ) = 1 або diam ( G …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

У розподілених системах управління версіями (таких як Mercurial і Git ) є необхідність ефективного порівняння спрямованих ациклічних графіків (DAG). Я розробник Mercurial, і нам було б дуже цікаво почути теоретичну роботу, яка обговорює складність у часі та мережі порівняння двох DAG. Розглядаються DAG, відповідно до ревізій, записані. Зміни однозначно ідентифікуються …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Припустимо, у нас є напівгрупа з елементами . Наша мета - обчислити продукти .( S, ∘ )(S,∘)(S,\circ)S= { с1, с2, … , Сн}S={с1,с2,…,сн}S=\lbrace s_1,s_2,\dots,s_n\rbraceсi∘ сi + 1∘ ⋯ ∘ sjсi∘сi+1∘⋯∘сjs_i\circ s_{i+1}\circ \cdots\circ s_j У своїй роботі "Оптимальна попередня обробка відповідей на запити в Інтернеті" Алон і Шибер доказують, що ми …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Я думаю, це буде називатися # P-Space, але я знайшов лише одну статтю, тумано згадуючу про це. Як щодо рахункової версії проблем EXP-TIME-Complete, NEXP-Complete, а також проблем EXP-SPACE-Complete? Чи є якась попередня робота, яку можна навести стосовно цього чи будь-якого типу включення чи виключення, наприклад, теорема Тоди?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Що відомо про фазовий перехід у проблемах # P-Complete? Зокрема, чи існує різний фазовий перехід для # DNF-k-SAT та # CNF-k-SAT? Оновлення: Як ми знаємо, у Random k-SAT є фазовий перехід, коли вирішення проблеми переходить від простого до важкого і знову до легкого. Я хотів би знати, чи існує таке …

11 cc.complexity-theory  counting-complexity  phase-transition