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

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

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Я грав із дуже цікавим і досі відкритим питанням " Алфавіт односмугової машини Тюрінга " (Емануеле Віола) і придумав наступну мову: L = { x ∈ { 0 , 1 }н ст | х | = n = 2м і c o u n t 1 ( x ) = …

10 cc.complexity-theory  turing-machines  time-complexity 

Чи є спосіб, щоб довідник переконав перевіряючого, що деякий вираз HORN-SAT є задоволеним? Звичайно, це може здатися дурним, оскільки існують лінійні алгоритми часу для HORN-SAT. З іншого боку, HORN-SAT є P-повним, а це означає, що він не має алгоритмів простору журналу, якщо P = L. Відповідно, обмежте обчислювальні можливості перевіряючого …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Враховуючи булеву ланцюг на змінних (яка використовує лише ворота NOT, AND і OR), який найефективніший спосіб отримати булеву формулу, представлену схемою? Чи існує алгоритм багаточастоти для цієї проблеми?нСCCнnn

10 cc.complexity-theory  time-complexity  boolean-functions 

У цьому питанні було зазначено, що існують описові варіанти складності теореми Райса. Я знайшов доказ наступної теореми: Враховуючи клас складності C , нетривіальні властивості мов на C не можуть бути обчислені в C Раніше я розміщував знайдене нами доказ, але оскільки воно було так тривалим і тому, що в коментарях …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

У попередньому запитанні про часову ієрархію я дізнався, що рівності між двома класами можна поширювати на більш складні класи, а нерівності можна поширювати на менш складні класи, аргументуючи за допомогою padding. Тому на думку приходить питання. Чому ми вивчаємо питання про різні типи обчислень (або ресурсів) у найменшому (закритому) класі? …

10 cc.complexity-theory  big-picture 

Резолюція - це схема доведення незадовільності CNF. Доказом дозволу є логічне вирахування порожнього пункту для початкових статей CNF. Зокрема, можна зробити висновок про будь-який початковий пункт, а з двох пунктів і можна також вивести пунктСпростування - це послідовність відрахувань, яка закінчується порожнім пунктом.A∨xA∨xA \lor xB∨¬xB∨¬xB \lor \neg{x}A∨BA∨BA \lor B Якщо …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

Фон Складність ланцюга визначається як набір сімейств ланцюгів (тобто послідовності ланцюгів, по одному для кожного вхідного розміру) обмеженої глибини та розміру полінома, побудовані за допомогою безмежного вентилятора AND, OR і NOT.А С0АС0AC^0 Функція парності з бітовим входом дорівнює XOR бітів на вході.n⊕⊕\oplusннn Одним із перших нижніх ланцюгів, що довели складність …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Хтось знає про набір проблем, які рівномірно різняться і охоплюють одну з "цікавих" ієрархій складності та обчислюваності? Під цікавим, я маю на увазі, наприклад, Ієрархію поліномів, Арифметичну Ієрархію чи Аналітичну Ієрархію. А може (N) P, (N) EXP, 2 (N) EXP,……\ldots Більш конкретно: Ви можете дати єдиний набір проблем, що характеризують …

10 cc.complexity-theory  computability 

Нехай π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* - перестановка. Зауважте, що хоча ππ\pi діє на нескінченну область, його опис може бути кінцевим. Під описом я маю на увазі програму, яка описує функціональність ππ\pi . (Як щодо складності Колмогорова.) Пояснення див. Нижче. Наприклад, функція NOT є однією з таких перестановок: функція НЕ …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Хіроїмоно - популярна загадка неповна. Мене цікавить обчислювальна складність пов'язаної головоломки.NПNPNP Проблема полягає в наступному: Введення : Дано набір точок на x квадратній сітці та ціле число kn kнnnнnnкkk Запитання : Чи існує прямолінійний многокутник (його сторони, паралельні осі хxx або уyy ), таким, що кількість точок на кутах полігону …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Графік автоморфизм є перестановкою вузлів графа , який індукує біекція на безліч ребер EEE . Формально це перестановка fff таких вузлів (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Визначте порушений край для деякої перестановки як край, який відображається на не-край, або край, зображення якого не є ребром. Введення : нежорсткий графік G(V,E)G(V,E)G(V, …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

Це питання виникло в мене на думці, прочитавши статті Андраса Саламона та Коліна МакКіллана до мого попереднього питання « Підрахунок рішень формул Monotone-2CNF» . EDIT 30 - го березня 2011 року Додана питання п ° 2. EDIT 29 - го жовтня 2010 р Питання перефразувати після пропозиції Андраш формалізувати його …

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

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

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

а´a´\acute{\rm a}НHHНHH∈ PТЯМЕ∈PTIME\in PTIME Визначення тощо. Для чудового огляду стандартних декомпозицій дерев і широкої ширини дивіться тут (Дякую заздалегідь, JeffE!). Нехай - гіперграф.НHH Тоді для гіперграфа та відображення ,НHHγ: Е( Н) → [ 0 , ∞ )γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) B ( γ) =B(γ)=B(\gamma) = { }.v ∈ V( …

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