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

IP (2pfa) и AM (2pfa) - это классы языков, распознаваемые с ограниченной ошибкой в ​​частных и открытых версиях монет, соответственно, интерактивных систем доказательства с верификаторами, которые являются вероятностными конечными автоматами с двусторонней входной головкой. Известны ли какие-либо свойства замыкания этих классов?

9 cc.complexity-theory  interactive-proofs 

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

9 automata-theory  machine-learning  lg.learning 

Предположим, у нас есть случайная переменная, которая принимает нечисловые значения a, b, c и хочет количественно определить, как эмпирическое распределение выборок этой переменной отличается от истинного распределения. В этом случае применяется следующее неравенство (от Cover & Thomas ).NNn Теорема 12.4.1 (теорема Санова): Пусть - iid . Пусть - множество вероятностных …

9 pr.probability  chernoff-bound 

Я (медленно) пишу обзор Руководства по алгоритмам хемоинформатики для новостей SIGACT. В одной главе рассматриваются текущие реализации программного обеспечения, и поиски в базе данных (и другие приложения), по-видимому, не используют столько информации о графиках, сколько могли бы. С другой стороны, возможно, более теоретические алгоритмы будут слишком сложны для реализации. Похоже, …

9 reference-request 

Существуют ли какие-либо известные результаты, показывающие, что существование (или несуществование) конечных графов с конкретными вычислимыми свойствами подразумевает определенные результаты сложности (такие как P = NP)? Вот один полностью гипотетический результат: если существует конечный граф с дистингушевыми ребрами A, B, C и D, такой, что все максимальные соответствия либо содержат все …

9 cc.complexity-theory 

Поэтому у меня возникла проблема, связанная с кластеризацией с живыми непрерывно потоковыми данными. Поскольку у меня постоянно растущий набор данных, я не уверен, что это лучший способ запустить эффективную и действенную кластеризацию. Я придумал несколько возможных решений, в том числе: Установка ограничения на количество точек данных, которое разрешается, поэтому при …

9 ds.algorithms  clustering  online-algorithms  data-streams 

Мы знаем и любим множество вложенных классов концепций решений: PN: Pure Nash Equilibrium MN: Смешанное равновесие по Нэшу CE: коррелированное равновесие CCE: курс коррелированного равновесия. Отношения между этими наборами: PN⊂MN⊂CE⊂CCEPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset CCE Мы можем рассмотреть цену анархии по любому из этих концепций решения: наихудшее социальное обеспечение …

9 gt.game-theory 

Позволять ΣΣ\Sigmaбыть алфавитом, то есть непустым конечным множеством. Строка - это любая конечная последовательность элементов (символов) изΣΣ\Sigma, Например,{0,1}{0,1} \{0, 1\} это двоичный алфавит и 011001100110 это строка для этого алфавита. Обычно, пока ΣΣ\Sigma содержит более 1 элемента, точное количество элементов в ΣΣ\Sigmaне имеет значения: в лучшем случае мы получаем где-то …

9 big-list  encoding  examples