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

Чи є останні книги про Інтернет-алгоритми? Я знаю лише дві книги з цього приводу. Інтернет-обчислення та аналіз конкурентоспроможності Аллана Бородіна та Рана Ель-Яніва: Це класична, але стара книга і не містить багатьох останніх досягнень у цій галузі. Створення конкурентоспроможних онлайн-алгоритмів за допомогою первинно-подвійного підходу Ніва Бухбіндера та Джозефа (Сеффі) Наор: …

13 reference-request  big-list  online-algorithms 

Мені здається, що фахівці з машинного навчання / видобутку даних знайомі з P та NP, але рідко говорять про деякі більш тонкі класи складності (наприклад, NC, BPP або IP) та їх наслідки для ефективного аналізу даних. Чи є якесь опитування роботи з цим?

13 cc.complexity-theory  reference-request  machine-learning 

У роботі [1] Мітчелл Ванд продемонстрував, що додавання fexprs до чистого обчислення лямбда тривілізує теорію контекстуальної еквівалентності, тобто два терміни є контекстуально еквівалентними, якщо вони -конгруентні. При вивченні відповідної роботи, він пішов «наш результат розширює старе спостереження Альберт Мейєр [2] , що і візуалізації контекстна еквівалентності тривіальним». Але посилаючись на …

13 pl.programming-languages  lisp  scheme 

Чи можливо побудувати єдину мету (не Тюрінг повну) механічну реалізацію, скажімо, Microsoft Word? Чи можливо реалізувати такі речі, як ітератори, функції першого порядку, всю гаму технік програмування? Чи можуть передачі та інші механічні деталі представляти структуру даних або навіть об’єкти програми? У певний момент це потребує побудови машини загального призначення, …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

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

13 quantum-computing 

Елімінація Гаусса робить визначальним матричний поліном-час, який можна обчислити. Зменшення складності в обчисленні детермінанта, яка в іншому випадку є сумою експоненціальних доданків, обумовлена ​​наявністю альтернативних негативних ознак (відсутність яких робить обчислення постійними #P-hard#P-hard \#P\mbox{-}hard тобто важче, ніж NP-CNP-CNP\mbox{-}C задач) . Це призводить до певної симетрії у визначнику, наприклад обмін парою …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Найменша відома формула для визначника має розмір відповідно до фольклору (або до Ран Раз у своїй роботі Багатолінійні формули для постійних і детермінантних мають надполіноміальний розмір ).nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} Чи є у вас якісь посилання на це? Зокрема, що це за формула?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

У своїй доповідній роботі Групово -теоретичні алгоритми множення матриць Кон, Клейнберг, Сегеді та Уманс вводять концепцію унікально розв'язуваної головоломки (визначеної нижче) та ємності USP. Вони стверджують, що Копперсміт і Виноград, у власній новаторській множинній матриці множення за допомогою арифметичних прогресій , "неявно" доводять, що ємність USP становить 3/2 . Цю …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

Щоб відзначити 100-річчя Алана Тьюрінга, я хочу переглянути документальний фільм про його життя. Однак є кілька документальних фільмів на вибір. Який документальний фільм про Алана Тьюрінга є вашим улюбленим? Будь ласка, включіть лише один документальний фільм на кожну відповідь.

13 reference-request  soft-question  big-list  ho.history-overview 

Є кілька відомих результатів із нижньою межею на основі випадкових обмежень та леми перемикання .AC0AC0\mathsf{AC^0} Чи можемо ми розробити результат перемикаючої леми для доведення розміру нижньої межі для схем (подібно до нижньої межі доказів для )?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Або є якась властива перешкода для використання цього підходу для доведення нижніх меж?TC0TC0\mathsf{TC^0} Чи …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

У мене виникає запитання щодо поліномів низької ступеня та ймовірності: Яка (асиптотична поведінка) ймовірність того, що випадковий * многочлен, , над GF (2) зі ступенем та n змінними має .ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Коли я пишу випадковий многочлен зі мінливими ≤d≤d\le d та n змінними, ви можете …

13 randomness  pr.probability  algebra  polynomials 

Чи може хтось перелічити відомі проблеми, які задовольняють наступним умовам: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Я призначив своїм учням задачу знайти трикутник, який відповідає збірці точок у , позначений . (Трикутник Т є узгоджується з міченим зразком , якщо Т містить всі позитивні і жоден з негативних моментів, за припущенням, зразок допускає щонайменше , 1 відповідає трикутнику).R 2 ± 1 ТmmmR2R2\mathbb{R}^2±1±1\pm1TTTTTT Найкраще, що вони могли …

13 cg.comp-geom  machine-learning  lg.learning  convex-geometry 

Хтось формалізував зв'язок між методами розбору скорочення зрушення та обмеженим продовженням? При побудові від низу до верху аналізатора (наприклад, LR парсери), ми візьмемо граматику , а потім представляють синтаксичнийаналіз стан як сукупності елементів : доповнене твір виду , де і є послідовності терміналів і нетерміналів. Маркер відображає, наскільки симулятор потрапив …

13 pl.programming-languages  parsing 

Функція задавання є монотонною субмодулярною, якщо для всіх A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffА , ВA,BA,Bf( А ) + f( B ) ≥ f( A ∪ B ) …

13 ds.algorithms  approximation-algorithms  submodularity