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

Дерево рішень для читання раз визначається наступним чином: та F a l s e - це дерева, що приймаються одноразово.Тr u eTrueTrueЖa l s eFalseFalse Якщо і B - дерева рішень одноразового зчитування, а x - змінна, що не зустрічається в A і B , то ( x ∧ A …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

Чи повна задача кінцевої зворотної напівгрупи ізоморфізму ? Тут передбачається, що кінцеві зворотні напівгрупи даються їх таблицями множення.

11 cc.complexity-theory  graph-isomorphism 

Припустимо, що наш вхід є двійковим і ми повинні вивести ⌊ x / c ⌋ , де c - деяке постійне ціле число. Це лише зсув, якщо c - потужність двох, а як щодо інших чисел? Чи можемо ми зробити це з постійною схемою глибини для кожного c ? Що …

11 cc.complexity-theory  circuit-complexity  ac0 

Нехай - якесь поле. Як правило, для f ∈ k [ x 1 , x 2 , ... , x n ] визначаємо L ( f ) як прямолінійну складність f над k . Нехай F - сукупність одночленів f , а саме одночлени, які з'являються у f з ненульовим …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Розгляньте повну інформацію двокористувацьких комбінаторних ігор, які закінчуються після поліноміального числа ходів, і, по черзі, гравці вибирають із обмеженої кількості дозволених ходів. Звичайне питання полягає в тому, наскільки важко сказати переможцю з певної позиції. Іншим було б, як важко вибрати виграшну ходу з виграшної позиції. (Тут я називаю хід виграшним, …

11 cc.complexity-theory  np  board-games  pspace 

Розглянемо наступну проблему: Давши два рядки x, y, вирішіть, чи існує гомоморфізм рядків f таким, що f (x) = y. Неважко показати, що ця проблема в . Чи можна сказати про цю проблему інші речі? наприклад, це в або навіть ?c o N P PNPNPNPcoNPcoNPcoNPPPP Ця проблема здається дуже природною, …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Як відомо, визначення обчислювальної складності алгоритму майже не суперечить, але визначення обчислювальної складності реалів або обчислювальних моделей над реалами не в такому випадку. Ми знаємо модель і модель Блума і Смайла в книзі «Комп'ютерний аналіз». І, здавалося б, модель в обчислювальному аналізі відповідає класичній моделі, але визначення обчислювальної складності дійсних …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Це мене бентежить. Один простий випадок підрахунку - це коли рішення рішення знаходиться в і немає рішення.ППP Лекція показує, що проблема підрахунку кількості досконалих відповідностей у двопартійному графіку (еквівалентно, підрахунку кількості обкладинок циклу у спрямованому графіку) є -повною.# P#П\#P Вони зменшують від підрахунку кришок вершини розміром до обліку кришок циклу …

11 cc.complexity-theory  graph-theory 

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

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Прочитавши відповідне запитання про неконструктивні докази існування алгоритмів, мені було цікаво, чи існують способи показу існування "малих" (скажімо, державних) обчислювальних машин, фактично не будуючи його. Формально: припустимо, нам дається деяка мова і виправляється деяка обчислювальна модель (NFAs / turing machine / тощо).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Чи існують якісь неконструктивні результати існування, що …

11 cc.complexity-theory  automata-theory  turing-machines 

Шукаю клас складності , яка відноситься до APX , як BPP відноситься до P. Я вже ставив це питання тут , але , можливо , ТКС буде більш плідним , місцем для відповідей. Причина для цього полягає в тому, що в практичних проблемах часто потрібно знаходити приблизні відповіді (таким чином …

11 cc.complexity-theory  approximation-hardness 

Імпальяццо, Патурі і Калабро, Імпальяццо, Патурі запровадили гіпотезу експоненціально-часового періоду (ETH) та сильну гіпотезу експоненціального часу (SETH). Приблизно SETH говорить, що не існує алгоритму, який би вирішив SAT за час . 1,99н1.99n1.99^n Мені було цікаво, що це означає зламати СЕТ. Нам, безумовно, потрібно знайти алгоритм, який вирішує SAT менш ніж …

11 cc.complexity-theory  sat  exp-time-algorithms 

Клас UP визначається як такий: Клас задач рішення, що вирішується машиною NP, такий, що Якщо відповідь "так", приймається рівно один шлях обчислення. Якщо відповідь "ні", усі обчислювальні контури відкидають. Я намагаюся розвинути інтуїцію до цього визначення. Чи можна сказати, що проблеми UP - це проблеми з унікальними рішеннями (наприклад, проста …

11 cc.complexity-theory  complexity-classes 

Я читаю знамениту документацію Імпальязцо та Вігдерсона в 1997 році. Оскільки я новачок у цій галузі, і стаття є стислою версією конференції, мені важко дотримуватися їхніх доказів. Зокрема, деяким їх новим теоремам бракує доказів. Наскільки мені відомо, не було опубліковано версії журналу.P=BPPP=BPP\mathsf P=\mathsf{BPP} Я шукаю ресурси, з яких я можу …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Проблема "Другий " - це проблема вирішення існування іншого рішення, відмінного від певного рішення для екземпляра проблеми.ХXX Для деяких неповних проблем, друга версія рішення - незавершена (вирішує питання про існування іншого рішення для часткової задачі завершення латинських квадратів), тоді як для інших вона є тривіальною (Другий NAE SAT) або не …

11 cc.complexity-theory  unique-solution