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

Розглянемо наступну проблему: враховуючи формулу CNF та завдання, яке задовольняє цій формулі, чи є ще одна задовольняюча задача для цієї формули? У чому полягає складність цієї проблеми? (Це, безумовно, є в NP, але це також NP-важко?) Що робити, якщо вам не дано завдання, і ви просто хочете вирішити, чи має …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

Чи є посилання на це?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Чи вивчена складність наступної проблеми? Введення : кубічний (або 333 -регулярний) графік , природна верхня межаG = ( V, Е)Г=(V,Е)G=(V,E)ттt Запитання : чи є розділ на частини розміром таким, що сума замовлень (необов'язково підключених) відповідних підграфів не більше ?ЕЕE| Е| / 3|Е|/3|E|/3333ттt Супутня робота У літературі я знайшов досить багато …

25 graph-theory  np-hardness  co.combinatorics 

Ранг знаків матриці A з + 1, -1 записами - найменший ранг (над реалами) матриці B, який має такий самий шаблон знака, що і A (тобто для всіх i , j ). Це поняття важливе для складності спілкування та теорії навчання.AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j Моє запитання: Чи існують відомі алгоритми (субекспоненціальний час), які …

25 lg.learning  open-problem  communication-complexity  matrices 

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

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

Добре відомо, що будь-які докази, що вирішують питання Р проти НП, повинні долати релятивізацію , природні докази та бар'єри алгебризації . Наступна діаграма розділяє "простір доказів" на різні регіони. Наприклад, відповідає набору доказів, які релятивізують і натуралізують. (Геометрична теорія складності), звичайно, суворо межа регіону.G C TRNRNRNGCTGCTGCT Назвіть кілька доказів разом …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

Перетин двох (мінімальних) DFA з n станами можна обчислити, використовуючи O (n 2 ) час і простір. Це в цілому оптимально, оскільки отриманий (мінімальний) DFA може мати n 2 станів. Однак якщо отриманий мінімум DFA має z станів, де z = O (n), чи можна його обчислити в просторі n …

25 automata-theory  dfa 

Звичайно, деякі результати складності можуть звалитися для одинарних мов, але мені цікаво, чи є десь опитування, що підсумовує відомі результати в цьому випадку: своєрідний зоопарк складності для одинарних мов. Чи знаєте ви про таке посилання?

25 cc.complexity-theory  reference-request  big-list 

Сьогодні я сформулював таку проблему, граючи зі своїм GPS. Ось : Нехай - спрямований графік такий, що якщо то (v, u) \ notin E , тобто G - орієнтація нижнього непрямого графа. Розглянемо наступні операції:e = ( u , v ) ∈ E (Г ( V, Е)G(V,E)G(V,E)e = ( u …

25 ds.algorithms  graph-algorithms 

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

25 lo.logic  semantics 

Я здогадуюсь, що я прочитав занадто багато амбітних доповідей Комісії . Проблема полягає в тому, що ці документи не рецензуються, але часто звучать цікаво і проходять основні перевірки правдоподібності. А може, ні, і мені просто потрібно покращити перевірку правдоподібності. Ось останній зразок таких робіт: Унікальність дерев: можливий поліномний підхід до …

24 soft-question  graph-isomorphism  paper-review  ppad 

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

24 reference-request  co.combinatorics  decidability  undecidability 

Я натрапив на заплутану незгоду між Агдою та Кок, яка, очевидно, не пов'язана з найбільш відомими відмінностями між їх теоріями типів (наприклад, (не) прогнозованість, індукція-рекурсія тощо). Зокрема, Agda приймає таке визначення: data Ty : Set0 -> Set0 where c1 : Ty ℕ c2 : Ty (Ty ℕ) тоді як еквівалентне …

24 type-theory  coq 

Які наслідки мали б доказ хибної гіпотези для тс? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

Існує репутація, що в галузі інформатики у нас немає науково-популярних книг. Звичайно, це не зовсім так! (В тому ж дусі списку Що книги повинні все читали? , Які документи повинні все читати? , Які відео повинні всі годинники? І надихнули з Favorite популярної математичної книги ) Які науково-популярні книги чи …

24 big-list  books