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

Часто цитується філософське обгрунтування думки, що P! = NP навіть без доказів. Інші класи складності мають свідчення того, що вони є різними, тому що, як ні, то виникли б "дивовижні" наслідки (наприклад, крах ієрархії поліномів). Моє запитання полягає в тому, що є підставою для переконання, що клас PPAD є незламним? …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Дозволяє L = { п : п т ч двоичная цифра П є 1 }L = { n : the nт год двійкова цифра π становить 1 }L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (де n вважається закодованим у двійковій). Тоді що можна …

31 cc.complexity-theory  na.numerical-analysis 

ST-Зв'язок - це проблема визначення, чи існує спрямований шлях між двома розрізненими вершинами і у спрямованому графі . Чи можна цю проблему вирішити в просторі журналів, - це давня відкрита проблема. Це називається проблемою протиссsттtГ ( V, Е)Г(V,Е)G(V,E)NLNLNLLLL Яка складність ST-з'єднання, коли основний непрямий графік обмежив ширину ширини.ГГG Чи відомо, …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Навколо існує безліч проблем, повних NP, та джерела їх збору, наприклад, дивіться книгу Гарі та Джонсона. Мені було б також цікаво переглянути список проблем, повних NEXP. Чи є одна? Як я припускаю, що цього немає, я відкриваю це питання (чи це повинен бути вікі спільноти? Я не знаю про ці …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Я був (і все ще є) дуже зацікавлений у відповіді на це питання, тому що це цікава варіація щодо складності ігор, яка не була вирішена, тому я запропонував щедроту. Я вважав, що оригінальне запитання було дуже важким, тому я розмістив три пов'язані з цим питання, які також були б гідними …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

У цьому доступі Джоша Грохова на веб- журналі про складності він повідомляє про нещодавній семінар, присвячений GCT, який відбувся в Принстоні в липні. Декілька присутніх стверджували, що ми повинні використовувати GCT для атаки легших проблем, ніж vs. N P , щоб створити інтуїцію та побачити, чи має метод потенціал.PP\mathsf{P}NPNP\mathsf{NP} Питання, …

31 cc.complexity-theory  gct 

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

31 cc.complexity-theory  circuit-complexity  uniformity 

Вирішення, чи визначається кількісна булева формула, така як ∀ x1∃ x2∀ x3⋯ ∃ xнφ ( х1, х2, … , Хн) ,∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), завжди оцінюється як істинне - це класична проблема PSPACE-завершена. Це можна розглядати як гру між двома гравцями, з …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Визначте ioioio - - клас мов таким, що є мова і нескінченно багато ,L L ′ ∈ ∩ ε > 0 T I M E ( 2 n ε ) n LSUBEXPSUBEXPSUBEXPLLLL′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}})nnnLLL і L′L′L' домовляються про всі випадки довжини nnn . (Тобто, це клас мов, …

30 cc.complexity-theory  sat  oracles 

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

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Якими були б неприємні наслідки NP = PSPACE? Я здивований, що нічого не знайшов на цьому, враховуючи, що ці заняття є одними з найвідоміших. Зокрема, чи це матиме наслідки для нижчих класів?

30 cc.complexity-theory  complexity-classes  conditional-results 

Багато експертів вважають, що гіпотеза істинна, і використовують її у своїх результатах. Мене хвилює те, що складність сильно залежить від гіпотези .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Отже, моє запитання: Поки гіпотеза не доведена, чи може / слід вважати це законом природи, як зазначено у цитаті Страссена? Або ми маємо трактувати …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Цитуючи Вікіпедію , «[Гра життя життя Конвей» має силу універсальної машини Тьюрінга: тобто все, що можна алгоритмічно обчислити, може бути обчислено в грі життя Конвея ». Чи поширюються такі результати на шумні версії гри «Життя життя Конвей»? Найпростіша версія полягає в тому, що після кожного раунду кожна жива клітина гине …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

З огляду на ціле число NNN довжини біт, наскільки важко вивести кількість простих факторів (або, альтернативно, кількість факторів) ?NnnnNNN Якби ми знали основну факторизацію , то це було б легко. Однак, якби ми знали кількість простих факторів чи кількість загальних факторів, не ясно, як би ми знайшли фактичну основну факторизацію.NNN …

30 cc.complexity-theory  counting-complexity  nt.number-theory  factoring 

Будь-яке натуральне число може розглядатися як бітова послідовність, тому введення натурального числа є таким же, як і введення послідовності 0-1, тому проблеми з природними входами, повні NP, очевидно, існують. Але чи існують якісь природні проблеми, тобто такі, що не використовують кодування та спеціальну інтерпретацію цифр? Наприклад, "Is na prime?" є …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory