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

Дозволяє ΣΣ\Sigmaбути алфавітом, тобто не порожнім кінцевим набором. Рядок - це будь-яка кінцева послідовність елементів (символів) зΣΣ\Sigma. Як приклад,{0,1}{0,1} \{0, 1\} - двійковий алфавіт і 011001100110 є рядком для цього алфавіту. Зазвичай до тих пір, поки ΣΣ\Sigma містить більше 1 елемента, точну кількість елементів у ΣΣ\Sigmaне має значення: у кращому …

9 big-list  encoding  examples 

IP (2pfa) та AM (2pfa) - це класи мов, розпізнаваних з обмеженою помилкою приватними та публічними версіями монет, відповідно, інтерактивних систем доказів з верифікаторами, які є ймовірнісними кінцевими автоматизаторами з двостороннім вводом головою. Чи відомі якісь властивості закриття цих класів?

9 cc.complexity-theory  interactive-proofs 

Я конкретно маю на увазі сімейства мов, які допускають довільно довгі рядки, а не сполучники над n бітами або списками рішень або будь-якою іншою "простою" мовою, що міститься в {0,1} ^ n. Я запитую про "автоматично-теоретичні" регулярні мови на відміну від "логіко-теоретичних": щось на зразок кусково тестуваних мов, мови початку-висота-нуль, …

9 automata-theory  machine-learning  lg.learning 

Питання наступне. Як правило, коли у вас є такий термін, як , ми можемо усунути forall, застосувавши цей термін до типу, наприклад .ΛX.tΛX.t\Lambda X.t(ΛX.t)[T]→t[X:=T](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T] Тепер, припустимо, це стрілка, і ми хочемо надати їй аргумент, тоді нам потрібно було б застосувати цей термін до належного типу, таким, щоб він …

9 type-theory  polymorphism  type-inference 

Я (повільно) пишу огляд Посібника з алгоритмів хіміоінформатики для новин SIGACT. В одній главі розглядається поточна реалізація програмного забезпечення, а пошук у базі даних (та інші програми), схоже, не використовує стільки інформації про графіки, скільки можливо. З іншого боку, можливо, більше теоретичних алгоритмів було б надто важко реалізувати. Здається, це …

9 reference-request 

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

9 ds.algorithms  clustering  online-algorithms  data-streams 

Ми знаємо і любимо купу вкладених класів концепцій рішення: ПН: Чиста рівновага Неша MN: Змішана рівновага Неша CE: Корельована рівновага CCE: Курсова корельована рівновага. Співвідношення між цими множинами є: Ми можемо розглянути ціну анархії щодо будь-якої з цих концепцій рішення: найгірший випадок соціального забезпечення для будь-якого профілю в наборі, поділений …

9 gt.game-theory 

Чи є відомі результати, що показують, що існування (або відсутність) кінцевих графіків із специфічними обчислюваними властивостями передбачає певні результати складності (наприклад, P = NP)? Ось один цілком гіпотетичний результат: Якщо існує кінцевий графік із розчленованими ребрами A, B, C і D таким чином, що всі максимальні збіги або містять усі …

9 cc.complexity-theory