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

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

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Чи є приклад класу графіків, для якого проблема фарбування вершин є в P, але незалежна множина - проблема NP NP?

19 cc.complexity-theory  graph-theory  complexity-classes 

Мене цікавить складність вирішення лінійних рівнянь по модулю k , для довільних k (і з особливим інтересом до простих сил), зокрема: Проблема. Для даної системи лінійних рівнянь у невідомих модулях , чи існують рішення?мmmkнnnкkk У рефераті до своєї статті Структура та значення класів журналів-MOD для класів Mod k L , …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

Мені зараз цікаво отримати (або побудувати) та вивчити формули 3-CNF, які є незадовільними та мають мінімальний розмір. Тобто вони повинні складатися з якомога менше застережень (бажано m = 8) та якомога менше чітких змінних (n = 4 або більше), щоб вилучення принаймні одного пункту зробило формулу придатною. Більш офіційно, будь-яка …

19 cc.complexity-theory  sat 

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

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Прогнозувати фондовий ринок важко! Чи може TCS зробити такі настрої більш формальними? Нещодавно я почав трохи думати про фінанси, і цікавився, як знання TCS можуть допомогти. Здається, хедж-фонди та інвестиційні фірми весь час використовують алгоритмічну торгівлю, машинне навчання та ІІ, але результатів ТКС, здається, мало. Зокрема, я знаю лише два …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

EDIT в 2011/02/08: Після пошуку та читання деяких посилань я вирішив розділити оригінальне запитання на два окремих. Ось частина, що стосується UP vs NP, про частину синтаксичних та семантичних класів див. Переваги для синтаксичних та семантичних класів . (однозначний поліноміальний час, див.Вікітазоопаркдля посилань) визначається як мови, вирішені N P -машинами …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Нехай - найгірший час запуску проблеми при введенні розміру . Давайте зробимо задачу трохи дивною, фіксуючи для але для .f( n )f(n)f(n)нnnf( n ) = n2f(n)=n2f(n) = n^2n = 2 kn=2kn=2kf( n ) = nf(n)=nf(n) = nn = 2 k + 1n=2k+1n=2k+1 Отже, яка нижня межа проблеми? Я зрозумів, що …

19 cc.complexity-theory  time-complexity 

Здається, відомо, що для пошуку відповіді на запит по реляційній базі даних потрібен час , і не можна позбутися від показника.QQQDDD| Q || Д || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Оскільки може бути дуже великим, ми дивуємося, чому бази даних взагалі працюють на практиці.DDD Це лише питання про те, що звичайні …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Паритет і це нерозлучні близнюки. Або так здавалося останні 30 років. Зважаючи на результат Райана, відновиться інтерес до малих класів.AC0AC0AC^0 Фурст Сакс-Сіпсер - Яо - Хастад - це сукупність паритетних і випадкових обмежень. Разборов / Смоленський - це приблизний многочлен з парністю (ок, модні ворота). Aspnes та ін використовують слабкий …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

Як би ви створили малюнок, щоб проілюструвати унікальну гіпотезу? Це для презентації "Поточні події" про унікальні ігри на наступній спільній зустрічі AMS та для буклету, який буде виданий. Приклад виду ілюстрацій, вироблених у минулому, є на http://www.ams.org/meetings/lectures/current-events-bulletin і якщо ви натиснете на видання 2006 року, ви побачите картину, яку Мадху …

19 cc.complexity-theory  unique-games-conjecture 

ООOc o N P O ⊆ P S P A C E O Oc o N PО⊈ І ПОcоNПО⊈ЯПО{\sf coNP}^O \not\subseteq {\sf IP}^Oc o N PО⊆ P S P A C EОcоNПО⊆ПSПАСЕО{\sf coNP}^O \subseteq {\sf PSPACE}^OООO Однак я бачив, що лише декілька людей дають "пряме" пояснення, чому результат не релятивізується, …

19 cc.complexity-theory  interactive-proofs  relativization 

Моя улюблена теорема теорії складності - це теорема ієрархії часу. Однак це було зроблено в 1965 році. Тоді я хотів дізнатися, чи є щось подібне для квантових обчислень. Також якщо ні, то які люди / групи працюють у цьому напрямку!

19 cc.complexity-theory  quantum-computing 

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

18 cc.complexity-theory  complexity  proof-assistants 

Чи існують повні NP-задачі без нескінченного підмножини екземплярів такі, що про членство в можна вирішити в поліномічний час, а для всіх , можна вирішити в поліноміальний час? (Припустимо, що )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics