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

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

10 cg.comp-geom 

Зокрема, я прошу ресурси, щоб дізнатися про системи машинного навчання, які можуть оновлювати свої відповідні мережі (або аналогічні) під час роботи. Я навіть натрапив на декілька, хоча я не зміг їх зробити закладкою. Як ви можете собі уявити, пошук в Інтернеті - це досить складна тема.

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

У мене є питання техніко-економічного обґрунтування, яке можна поставити так. Мені надається точка у d- розмірному векторному просторі, і я хочу знайти найближчу точку q до p, яка задовольняє набір форми " ℓ 0 обмежень"pppгddqqqpppℓ0ℓ0\ell_0 З огляду на множину , максимум один із { q j , j ∈ S …

10 ds.algorithms  approximation-algorithms  linear-programming 

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

10 fl.formal-languages  automata-theory  regular-language  nfa 

З початку 70-х років відомо, що і не є рівними (тому що не замикається в поліномічний час багато -одне скорочення, на відміну від ). Наскільки я знаю, проте, досі відкрито, чи є один клас підмножиною іншого, або вони є незрівнянними, це означає, що і обидва непусті.NPNP{\bf NP}E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)})EE{\bf E}NPNP{\bf NP}NP−ENP−E{\bf …

10 cc.complexity-theory  complexity-classes  np-complete 

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

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

Невідомо, чи P⊆CSLP⊆CSLP\subseteq CSL або П⊈ СSLП⊈СSLP\not\subseteq CSL, де ППP - сукупність усіх мов, які можна визначити в поліноміальний час на детермінованій машині Тьюрінга, і СSLСSLCSL - клас контекстно-чутливих мов, який, як відомо, еквівалентний , мовам, визначеним лінійно обмеженими автоматами.NSПА СЕ( O ( n ) )NSПАСЕ(О(н))NSPACE(O(n)) Для багатьох відкритих питань …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Дозволяє НA LТнHALTnHALT_n позначають рядок довжини 2н2n2^n що відповідає таблиці істинності задачі про зупинку для введення довжини нnn. Якщо послідовність Колмогорова складності К( НA LТн)K(HALTn)K(HALT_n) були O ( 1 )O(1)O(1), тоді один із рядків порад буде використовуватися нескінченно часто, і TM з цією строковою кодовою версією зможе вирішити HALTHALTHALT рівномірно …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Припустимо, у мене булева схема СCC що обчислює деяку функцію f: { 0 , 1}н→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}. Припустимо, схема складається з воріт І, АБО, А НЕ з вентилятором і не більше 2 вентиляторів. Дозволяє x ∈ { 0 , 1}нx∈{0,1}nx \in \{0,1\}^nбути заданим входом. ДаноСCC …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Параметризована задача k-FLIP SAT визначається як: Вхідні дані: формула 3-CNF з змінними та присвоєнням істини Параметр: Питання: чи можемо ми перетворити призначення в задаюче завдання для гортаючи значення істинності не більше змінних?φφ\varphinnnσ:[n]→{0,1}σ:[n]→{0,1}\sigma : [n] \to \{0,1\} kkk σσ\sigmaσ′σ′\sigma'φφ\varphi kkk Проблема чітко в FPT ( Stefan Szeider: Параметризована складність локального пошуку …

10 parameterized-complexity  fixed-parameter-tractable 

Скажімо, я працюю в теорії типу гомотопії, і мої єдині об'єкти дослідження - це звичайні категорії. Рівнозначення тут дають функтори Ж: D ⟶ CF:D⟶CF:{\bf D}\longrightarrow{\bf C} і G : C ⟶ DG:C⟶DG:{\bf C}\longrightarrow{\bf D}які забезпечують еквівалентність категорій C ≃ DC≃D{\bf C} \simeq {\bf D}. Існують природні ізоморфізмиα : n a …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

Комплементарна млявість (КС) зазвичай навчається, коли йдеться про подвійність. Він встановлює приємне співвідношення між первинним і подвійним обмеженням / змінними з математичної точки зору. Дві основні причини застосування CS (як викладають в аспірантурах та підручниках): Для перевірки оптимальності LP Щоб вирішити подвійне Враховуючи сьогоднішні обчислювальні потужності та поліномічні алгоритми для …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

Мене цікавить невелике узагальнення DFA. Як звичайно, у нас встановлено стан , кінцевий алфавіт , a -дія, визначена на за допомогою , і початковий стан ; але замість звичайного термінального безлічі, ми беремо сімейство підмножин . Багатомовний DFA - це кортежQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n}QQQMMM (Q,Σ,δ,q0,(Ti))(Q,Σ,δ,q0,(Ti))(Q, \Sigma, \delta, q_0, (T_i)) …

10 automata-theory  dfa 

Який сучасний результат полягає у складності запитів правильних формул 2-DNF для засвоєння ПКС із зразками запитів та при рівномірному розподілі ? Або будь-яке нетривіальне обмеження на ньому? Оскільки я зовсім не знайомий з теорією навчання, і це питання мотивоване іншим полем, відповідь може бути очевидною. Я перевірив книгу Кірнс і …

10 reference-request  lg.learning  boolean-functions 

У книзі Арора-Барак у визначенні функцій, що можна сконструювати за часом, сказано, що використання функцій, які не можна сконструювати за часом, може призвести до "аномальних результатів". Хтось має приклад такого «аномального результату»? Я, зокрема, чув, що можуть існувати такі функції, які теорема ієрархії часу не містить, чи має хто-небудь приклад …

10 cc.complexity-theory