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

Я читаю стару статтю МК Голумбіка про графіки EPT (перетин країв шляхів на дереві). У статті показано, що кількість максимальних кліків екземпляра графіка EPT є многочленом. Звідси робиться висновок, що якщо оракул повідомляє про той графікГGG є графіком EPT, тоді можна знайти максимальну кліку за допомогою стандартного алгоритму переліку кліків. …

9 ds.algorithms  graph-algorithms  clique 

DLOGTIME визначено на веб-сайті http://en.wikipedia.org/wiki/DLOGTIME ім'я визначено за адресою http://en.wikipedia.org/wiki/L_%28complexity%29 ім'я та ім'я визначено на веб-сайті http://en.wikipedia.org/wiki/NC_%28complexity%29 LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME, здається, є найменшим, що може працювати. Я читав в різних місцях, , хоча кожне місце я виявив , що результати, станів , в яких однаковість умова використовує - рівномірність. Чи …

9 cc.complexity-theory  circuit-complexity 

Припустимо, рамки складності спілкування, де у нас є два гравці A (воші) та B (ob) та R (eferee). A і B не спілкуються безпосередньо один з одним. У кожному раунді спілкування кожен з них надсилає повідомлення (mAmAm_A, mBmBm_B) до R. R обчислює дві функції fA(mA,mB)fA(mA,mB)f_A(m_A,m_B) і fB(mA,mB)fB(mA,mB)f_B(m_A,m_B)і надсилає їм результати. …

9 cc.complexity-theory  reference-request  communication-complexity 

Дано субмодульну функцію на де і роз'єднані, а . Тут і є субмодульними на і відповідно.fffΩ=X1∪X2Ω=X1∪X2\Omega=X_1\cup X_2X1X1X_1X2X2X_2f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f_1(S\cap X_1)+f_2(S\cap X_2)f1f1f_1f2f2f_2X1X1X_1X2X2X_2 Тут невідомі і надається лише доступ до запиту значення . Тоді є політайм-алгоритм, який знаходить . Якщо для є кілька варіантів, будь-який з них повинен бути добре.X1,X2,f1,f2X1,X2,f1,f2X_1,X_2,f_1,f_2fffX1X1X_1X1X1X_1 Деякі думки. Якщо ми …

9 ds.algorithms  submodularity 

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

9 pl.programming-languages  type-theory  type-inference  type-systems 

Я вивчаю алгебраїчну теорію розбору. Моя перша проблема - визначення прикладів семірінгу, специфічних для формальної теорії мови. Ось спроба побудувати два приклади. 1 Враховуючи граматику CNF, елементами семірінгу є набори термінальних та нетермінальних символів з операціями: i) Множення , з'єднання двох множин у парі згідно з правилом CYK. Наприклад, дані …

9 fl.formal-languages 

У задачі Max-Cut шукається підмножина S вершин даного простого непрямого графа таким чином, щоб кількість ребер між S та доповненням S було якомога більшим. Max-Cut є повною APX на графіках з обмеженим ступенем [PY91], а насправді APX-повним на кубічних графах (тобто графах ступеня 3) [AK00]. Max-Cut є NP-повним на графіках …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Для програми машинного навчання моїй групі потрібно обчислити евклідову відстань до го найближчого сусіда в наборі для кожного (для між 5 і приблизно 100 , і кілька сотень до кількох мільйонів). В даний час ми використовуємо або грубу силу або очевидну з деревом kd на X , яке, коли d …

9 reference-request  cg.comp-geom  near-neighbors 

(На моє початкове запитання досі не було відповіді. Я додав додаткові роз'яснення.) Аналізуючи випадкові прогулянки (на ненаправлених графах), розглядаючи випадкову ходу як ланцюг Маркова, ми вимагаємо, щоб графік був не двостороннім, так що застосовується фундаментальна теорема ланцюгів Маркова. Що станеться, якщо графік ГGGзамість цього двосторонній? Мене конкретно цікавить час ударугодi …

9 pr.probability  random-walks 

Вікіпедія - говорить SHA-2 SHA-224 ідентичний SHA-256, за винятком того, що: початкові значення змінних h0 до h7 різні, і вихід будується за допомогою опущення h7. RFC3874 - 224-бітна одностороння хеш-функція: говорить SHA-224 Використання іншого початкового значення гарантує, що усічене значення дайджесту повідомлень SHA-256 не може бути помилково прийняте для обчисленого …

9 cr.crypto-security  hash-function 

Я намагаюся показати, що певна проблема немислима за рахунок зменшення набір обкладинки. Моє зменшення перетворює екземпляр із наземним набором розміруnnn і mmm встановлює екземпляр моєї проблеми, де певний параметр rrr має розмір O(n+m)O(n+m)O(n+m). Тоді я можу показати, що екземпляр заданої обкладинки, де розмір обкладинки s, відповідає екземпляру моєї проблеми, де …

9 cc.complexity-theory  approximation-hardness  set-cover 

Скрізь, де я читав про найрідкішу проблему, він говорить лише про те, що проблема, як відомо, є NP- Hard. Де я можу знайти доказ цього? Яка відома проблема NP- твердих зводиться до проблеми найменшого розрізу? Я не зміг знайти жодного доказу в книзі Вазірані - Алгоритми наближення, в якій представлений …

9 cc.complexity-theory  reference-request  np-hardness 

Мені було цікаво, які набори мов породжуються обмеженнями регулярних виразів. Припустимо, що всі обмеження мають постійний символ для кожного елемента та конкатенації. Тоді вісім класів можуть бути сформовані за наявністю або відсутністю доповнення / заперечення, зміни / об'єднання та зірки Клінова. (Так, "нормальні" регулярні вирази не мають оператора , але …

9 fl.formal-languages  regular-expressions 

У мене є сім'я проблем лінійного програмування: максимізувати відповідно до ,c'хc′xc' xA x ≤ bAx≤bA x\le bx ≥ 0x≥0x\ge0. ЕлементиАAA, бbb, і ccc - це неотримані цілі числа, cccсуворо позитивний. (хxx також має бути цілісним, але я буду хвилюватися про це пізніше.) У моїй заяві часто буває, що коефіцієнти АAA …

9 ds.algorithms  reference-request  linear-programming  matrices 

Колмогорова складність рядка не обчислюється. Однак у випадковому підмножині розміру двійкових рядків довжиною скільки очікується, що їх складність буде меншою, ніж якесь ціле число менше (як функція , та )?MMMnnnn0n0n_{0}nnnMMMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity