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

Зірка система являє собою сімейство п підмножин п-елементів , встановлених . Зірка система графічна якщо є граф таким чином, що є сімейством околиць вершин в . Це -повна , щоб визначити , чи є дана графічна система зірки.ЖFFG ( V , E ) F G N PSSSГ ( V, Е)G(V,E)G(V,E)ЖFFГGGNПNPNP …

10 cc.complexity-theory  np-hardness 

Мене цікавлять "важкі" окремі випадки проблем, повних NP. Райан Вільямс обговорив проблему SAT0 в блозі Річарда Ліптона . SAT0 запитує, чи має примірник SAT конкретне рішення, що складається з усіх 0. Це змусило мене замислитися над побудовою екземплярів SAT, які, ймовірно, будуть "важкими". Розглянемо екземпляр SAT з пропозиціями та змінними, …

10 cc.complexity-theory  sat  hard-instances 

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

10 cc.complexity-theory  complexity-classes 

Покажіть функцію яка може бути сконструйована простором, але не змінна за часом.f( n )f(n)f(n) Чи пов’язана ця проблема з можливим поділом між класами складності DTIME (f (n)) та SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

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

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Неважко помітити, що для будь-якого існує 1-1 відображення від {0,1} до {0,1} таким, що для будь-якого вектор "врівноважений", тобто має рівну кількість 1s і 0s. Чи можна визначити такий так, що за даного ми можемо ефективно обчислити ?F n n + O ( log n ) x F ( x …

10 ds.algorithms  ds.data-structures  encoding 

Детерміновані без контекстні мови (DCFL) та видимо висувні мови (VPL) - це як набір формальних мов між без контекстними мовами (CFL), так і звичайними мовами (REG). Чи є читабельні позначення, які можуть бути виражені простими ASCII, як Backus-Naur-Form для CFL та регулярні вирази для REG?

10 fl.formal-languages 

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

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

У SODA 1995 р. Джефф Еріксон показав нижчі межі лінійної задоволеності (перевірка, чи відповідає деяка -підряд з n дійсних чисел лінійним рівнянням на r змінних). Метод доказування використовує нескінченні малі і принцип передачі Тарскі .rrrннnrrr Чи може хтось пояснити інтуїцію за маршрутом, який було прийнято, щоб довести цю межу? У …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

Які існують докази того, що ?coRP≠NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP - клас мов, для якого існує імовірнісна машина Тьюрінга, яка працює в поліноміальний час і завжди відповідає "Так" на вхід, що належить до мови, і відповідає "Ні" з вірогідністю щонайменше половини на вході, який не належить мові.

10 cc.complexity-theory  complexity-classes 

Більшість літератури, здається, стосуються машин з одинарними оракулами для конкретних проблем, однак, мабуть, є кілька робіт, які розглядають машини з декількома оракулами. Чи є хороший документ або теза, яка дає огляд того, що відомо про такі машини? Зокрема, мене цікавить Р з кількома оракулами.

10 oracles  turing-machines 

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

10 cc.complexity-theory  dc.parallel-comp 

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

10 ds.algorithms 

Нехай - нерегулярний зв’язаний графік, ступінь якого обмежена. Припустимо, що кожен вузол містить унікальний маркер.G = ( V, Е)Г=(V,Е)G= (V, E) Я хочу рівномірно перемістити токени серед графіка, використовуючи лише локальні підкачки (тобто обмін жетонами між двома сусідніми вузлами)? Чи відома нижня межа цієї проблеми? Єдина ідея, яку я мав, …

10 ds.algorithms  random-walks  dc.distributed-comp 

Існує кілька різних (можливо, нееквівалентних) понять обчислювальної універсальності (див., Наприклад, останні кілька сторінок http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), і серед них немає єдиної думки експерти, які поняття найбільш правильні (див., наприклад, http://cs.nyu.edu/pipermail/fom/2007-O жовтня/012148.html ). Я намагаюся сказати щось про конкретну модель біомолекулярних обчислень. Я хотів би стверджувати, що це "більш універсально" або "більш …

10 universal-computation