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

Мене цікавить вивчення зв'язків між "хаосом" або, ширше, динамічними системами, і питанням . Ось приклад типу літератури, яку я шукаю:П= NПП=NПP{=}NP Ерксей-Раваш, Марія та Золтан Торочкай. "Оптимізаційна твердість як перехідний хаос в аналоговому підході до обмеження задоволення". Фізика природи 7, вип. 12 (2011): 966-970. ( Посилання на журнал .) Хтось …

18 cc.complexity-theory  p-vs-np 

В офіційному описі проблеми глини для P проти NP зазначено, що випливає із показу, що "кожна мова в [клас мов, розпізнаваний в експоненціальному часі з детермінованою машиною Тюрінга] може бути обчислена булевою схемою сімейства таким чином, що , по крайней мере , однією , має менше ворота , ніж максимум …

18 cc.complexity-theory  circuit-complexity 

Мене цікавить наступна проблема: З огляду на матрицю , чи існує непрямий графік на вершин, чия матриця суміжності в квадраті - це ця матриця?n×nn×nn\times nnnn Чи відома обчислювальна складність цієї проблеми? Зауваження: Звичайно, це також можна виразити як проблему пошуку, де вам надається матриця для матриці суміжності непрямої графіки, і …

18 cc.complexity-theory  graph-theory 

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

18 cc.complexity-theory  reference-request  computability  undecidability 

Знаменита концепція ізоморфізму Бермана та Хартманіса говорить, що всі незавершені мови є многочленним ізоморфним часом (p-ізоморфним) один для одного. Ключове значення гіпотези полягає в тому, що вона передбачає . Він був опублікований у 1977 р., І підтверджуючи, що всі проблеми, що не стосуються відомі на той час, справді були p-ізоморфними. …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Чи є послідовність непрямих графіків , де кожен має рівно вершин і задачу{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn З огляду на та графік , чи - індукований підграф ?nnnGGGCnCnC_nGGG як відомо, що в класі ? (Наприклад, коли , це проблема, пов’язана з NP-завершенням.)PP\mathsf{P}Cn=KnCn=KnC_n=K_n

18 cc.complexity-theory  graph-theory 

Поняття про поліноміальне скорочення часу (Кука скорочення) - це абстракція дуже інтуїтивно зрозумілої концепції: ефективно вирішити задачу за допомогою алгоритму для іншої проблеми. Однак у теорії -повноти поняття N P- твердості фіксується за допомогою скорочення відображення (скорочення Карпа). Ця концепція "обмежених" скорочень набагато менш інтуїтивна (принаймні, для мене). Це навіть …

18 cc.complexity-theory  np-hardness  soft-question 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Чи обчислюються всі функції, вага фур'є яких сконцентрований на наборах малого розміру (або з умовами з низьким ступенем), за допомогою схем ?AC0AC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Нехай - клас задач рішення, що має обмежений двосторонній помилка, рандомізований алгоритм, що працює в часі .O ( f ( n ) )BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Чи знаємо ми про будь-яку проблему така, що але ? Чи доведено його існування?Q ∈ PQ∈ПQ \in \mathsf{P}Q ∈ B P T I M E ( nк)Q∈БПТЯМЕ(нк)Q …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

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

18 cc.complexity-theory  algebra  algebraic-complexity 

Складність зоопарк не має багато про SCSC\mathsf{SC} . Я шукаю приємну проблему, що знаходиться на більш високих рівнях ієрархії, тобто проблему в але невідомо, що в .††^\daggerDTimeSpace(nO(1),lgO(1)n)DTimeSpace(nO(1),lgO(1)⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^{O(1)} n)DTimeSpace(nO(1),lg2n)DTimeSpace(nO(1),lg2⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^2n) Як побічне запитання, чи є якась відома причина, чому пошук прикладів приємних проблем у вищих рівнях ієрархій ( , , , тощо)? …

18 cc.complexity-theory  complexity-classes 

Мафія - популярна рольова гра на вечірках, детальний опис розміщений на wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . В основному це працює так: На початку кожному з гравців таємно відводиться роль, або узгоджена з Мафією, або з Містом. Кожна роль може мати особливі здібності; докладніше про це пізніше.NNN Є дві фази гри: день і …

18 cc.complexity-theory  gt.game-theory  combinatorial-game-theory 

Як відомо, існує багато аномалій для односмугових машин Тюрінга, коли час : багатосмуговий моделювання ТМ, моделювання більшого алфавіту стрічки з просто { 0 , 1 , b } , час конструктивності, нещільність теорема ієрархії часу, ...о ( н.)2)о(н2)o(n^2){ 0 , 1 , b }{0,1,б}\{0,1,b\} Також є такі результати, як , …

18 cc.complexity-theory  turing-machines 

Чи було зроблено якусь роботу над тим, як складність випадкових екземплярів # 2-SAT змінюється залежно від щільності застереження? Тобто: як змінюється складність підрахунку задовольняючих рішень випадково генерованого екземпляра 2-SAT , коли змінюється щільність пропозиції? Зокрема, чи відомі чіткі результати, що стосуються критичних порогових значень? Звичайно, оскільки 2-SAT ∈ P , …

18 cc.complexity-theory  counting-complexity  random-k-sat