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

Після обговорення нижчих меж для 3SAT [ 1 ] мені цікаво, які основні результати нижньої межі формулюються як компроміси в просторі та часі. Я виключаю такі результати, як, скажімо, теорема Савича; хороший запис буде зосереджений на одній проблемі та її межах. Прикладом може бути: "Нехай T і S - час, …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Це питання, натхнене проблемою H-free cut . З огляду на графік, розділ його вершини встановити на частини є вільним, якщо не викликає копію для всіх , .VVVrrrV1,V2,…,VrV1,V2,…,VrV_1, V_2, \ldots, V_rHHHG[Vi]G[Vi]G[V_i]HHHiii1≤i≤r1≤i≤r1 \leq i \leq r Я хочу розглянути таке питання: Що найменше для якого існує поділ на частини?rrrHHHrrr Зауважте, що коли …

13 graph-theory  np-hardness  co.combinatorics 

Неважко переконатися, що з огляду на розмірну сітку цілих точок , при регулярній суміжності, можна знайти роздільник розміру n d - 1 (просто вибрати будь-яку середню гіперплощину та видалити всі її вершини). Також не надто важко (але, безумовно, не відразу) перевірити, що будь-який роздільник повинен бути розміром Ω ( n …

13 reference-request  cg.comp-geom  lower-bounds 

Простіше кажучи: яка відповідність між машинами Тюрінга з оракулами та сімействами однорідних схем з оракулами? Як визначаються останні для того, щоб отримати таку ж обчислювальну модель для даної машини Oracle Turing? Це може бути елементарним питанням, але не очевидно, куди шукати, і я такий тип людини, який любить переконатися, що …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Завдяки Іммерману та Шелепчесній відомо, що якщо f = Ω ( log ) (навіть для функцій, що не конструюються у просторі).N S P A C E (ф) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( журнал )f=Ω(log)f=\Omega(\log) У тій же статті Іммерман зазначає, …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Які проблеми в реальному світі вирішено за допомогою генетичного алгоритму? В чому проблема? Який тест на придатність використовується для вирішення цієї проблеми?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

Пелі графи Р д є ті, вершина якого-безліч задається кінцевим полем GF (Q) для ступенів простих чисел q≡1 (мод 4), і де дві вершини суміжні тоді і тільки тоді , коли вони відрізняються на 2 для деяких a ∈ GF (q). У випадку, коли q є простим, кінцеве поле GF …

13 ds.algorithms  graph-theory 

У мене є набір даних, який представляє собою ряд об'єктів, розташованих у двомірній сітці. Я знаю, що в мене чітке впорядкування, збільшуючись, коли ви йдете вліво-вправо в кожному рядку, і збільшуючись як зверху вниз у кожному стовпчику. Наприклад, 1 2 3 4 6 7 5 8 9 Чи можу я …

13 ds.algorithms  total-ordering  sorting 

Алгоритм тестування розподілу для властивості P розподілу (який є лише деяким підмножиною всіх розподілів за [n]) дозволений доступ до зразків відповідно до деякого розподілу D, і він повинен вирішити (whp), якщо або d ( D , P ) > ϵ ( d зазвичай це відстань ℓ 1 ). Найпоширеніший показник …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Скажімо, ми хотіли такого типу, чисто функціональної мови програмування, як Haskell або Idris, яка спрямована на програмування систем без збору сміття і не має часу виконання (або принаймні не більше, ніж "час виконання" C і Rust). Щось, що може бігати більш-менш на голий метал. Назвіть деякі варіанти безпеки статичної пам’яті, …

13 pl.programming-languages  language-design 

У своїй книзі « Комп’ютерна складність» Пападімітріу визначає FNP так: Припустимо, що - мова в NP . Згідно з пропозицією 9.1, існує поліноміальний можна розв'язати, полиномиально збалансовано співвідношення таке , що для всіх рядків : Існує рядок с тоді і тільки тоді , коли . Проблема функції, пов'язана з , …

13 complexity 

Клас складності PPAD був винайдений Крістосом Пападімітріу у своїй роботі з 1994 року . Клас призначений для відображення складності задач пошуку, коли існування рішення гарантується "аргументом паритету у спрямованих графах": якщо в спрямованому графіку є неврівноважена вершина, то повинна існувати ще одна. Але зазвичай клас формально визначається з точки зору …

13 cc.complexity-theory  reductions  search-problem  ppad 

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

13 lambda-calculus  term-rewriting-systems  lisp 

Якщо чесно, я не знаю так багато про те, як генерується випадкове число (коментарі вітаються!), Але припустимо наступну теоретичну модель: Ми можемо отримати цілі числа, рівномірно випадкові з і наша мета - вивести ціле число, рівномірно випадкове з [1,3].[ 1 , 2 n ][1,2n][1,2^n] Просте рішення, очікуваний час роботи якого …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Ширина ширини та пропускна здатність - це популярні параметри, що вимірюють близькість графіка до дерева або контуру відповідно. Дійсно, ширина трави настільки популярна, що вона представлена ​​у багатьох працях, книгах та конспектах лекцій, які дають (навіть дуже ніжні) ознайомлення з алгоритмічними аспектами широкої ширини (див., Наприклад, книгу Дауні та стипендіатів). …

13 reference-request  graph-algorithms  parameterized-complexity