Теоретична інформатика

ОО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 

Мені було цікаво, чи специфіка JSON визначає звичайну мову. Це здається досить простим, але я не впевнений, як це довести сам. Причина, яку я запитую, полягає в тому, що мені було цікаво, чи можна використовувати регулярні вирази для ефективного розбору JSON. Чи міг би хтось із достатньою кількістю представників створити …

19 fl.formal-languages  regular-expressions  regular-language 

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

19 linear-algebra  space-complexity 

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

19 soft-question  machine-learning  ai.artificial-intel 

Я усвідомлюю, що це може бути спірним питанням, але це здавалося правильним місцем для запитання. Будь ласка, переадресуйте мене, якщо ні. Фон полягає в тому, що я "практик" (докторант, я не вивчаю теорію CS), але в мене є розумне підґрунтя в алгоритмах і математиці студентів. Тим не менш, дискусії з …

18 soft-question  advice-request 

Чи відомий явний приклад алгоритму з властивістю таким, що якщо то цей алгоритм не запускається в поліноміальний час, а якщо то він працює в поліноміальний час?П≠ NПП≠NПP\neq NPП= NПП=NПP=NP

18 ds.algorithms  np  p-vs-np 

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

18 research-practice  writing 

Чи існує якийсь проект, який офіційно перевіряє теореми та докази теорії складності, використовуючи помічника доказу, як 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 

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

18 fl.formal-languages  decidability 

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

18 cc.complexity-theory  p-vs-np 

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

18 cc.complexity-theory  circuit-complexity 

Ширина ширини відіграє важливу роль в алгоритмах FPT, частково тому, що багато проблем FPT параметризовані по ширині. Пов'язане, більш обмежене поняття - поняття про ширину шляху. Якщо графік має ширину траєкторії , він також має ширину ширини не більше k , тоді як у зворотному напрямку ширина k має на …

18 parameterized-complexity  treewidth  graph-minor 

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

18 cc.complexity-theory  graph-theory