DFA или NFA читает входную строку с одной головой, двигаясь слева направо. Кажется естественным задаться вопросом о конечных автоматах, которые имеют несколько головок , каждая из которых движется через вход слева направо, но не обязательно в том же месте на входе, что и другие. Определим конечный...
Мы знаем и любим множество вложенных классов концепций решений: PN: Pure Nash Equilibrium MN: Смешанное равновесие по Нэшу CE: коррелированное равновесие CCE: курс коррелированного равновесия. Отношения между этими наборами: PN⊂MN⊂CE⊂CCEPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset CCE Мы можем...
Поэтому у меня возникла проблема, связанная с кластеризацией с живыми непрерывно потоковыми данными. Поскольку у меня постоянно растущий набор данных, я не уверен, что это лучший способ запустить эффективную и действенную кластеризацию. Я придумал несколько возможных решений, в том числе: Установка...
Я (медленно) пишу обзор Руководства по алгоритмам хемоинформатики для новостей SIGACT. В одной главе рассматриваются текущие реализации программного обеспечения, и поиски в базе данных (и другие приложения), по-видимому, не используют столько информации о графиках, сколько могли бы. С другой...
Существуют ли какие-либо известные результаты, показывающие, что существование (или несуществование) конечных графов с конкретными вычислимыми свойствами подразумевает определенные результаты сложности (такие как P = NP)? Вот один полностью гипотетический результат: если существует конечный граф с...
IP (2pfa) и AM (2pfa) - это классы языков, распознаваемые с ограниченной ошибкой в частных и открытых версиях монет, соответственно, интерактивных систем доказательства с верификаторами, которые являются вероятностными конечными автоматами с двусторонней входной головкой. Известны ли какие-либо...
Я имею в виду языковые семейства, которые допускают произвольно длинные строки, а не соединения по n битам или спискам решений или любому другому «простому» языку, содержащемуся в {0,1} ^ n. Я спрашиваю об «теоретико-автоматных» регулярных языках, в отличие от «теоретико-логических»: что-то вроде...
Предположим, у нас есть случайная переменная, которая принимает нечисловые значения a, b, c и хочет количественно определить, как эмпирическое распределение выборок этой переменной отличается от истинного распределения. В этом случае применяется следующее неравенство (от Cover & Thomas ).NNn...
Умножение матриц с использованием обычной техники (ряд - столбец) занимает O (N3)O(n3)O(n^{3}) умножение и O (N3)O(n3)O(n^{3})дополнения. Однако при условии, что записи равного размера (количество битов в каждой записи обеих матриц умножается) размерамmm биты, операция сложения на самом деле...
Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос так, чтобы он соответствовал теме теоретической информатики в стеке. Закрыто 3 года назад . Существует ли короткая явная конструкция универсальной рекурсивной функции ? Все...
Хорошо известно, что задача NP-Complete, называемая Subset Sum, имеет FPTAS. Мне было интересно, если существует проблема PSPACE Complete, которая также имеет FPTAS? Заранее
Позволять ΣΣ\Sigmaбыть алфавитом, то есть непустым конечным множеством. Строка - это любая конечная последовательность элементов (символов) изΣΣ\Sigma, Например,{0,1}{0,1} \{0, 1\} это двоичный алфавит и 011001100110 это строка для этого алфавита. Обычно, пока ΣΣ\Sigma содержит более 1 элемента,...
Недавно я подумал об «импорте» некоторых связанных с физикой вопросов в квантовую CS: Понятие явления закона площади в гамильтоновых системах обычно означает локальный гамильтониан на некоторой решетке, у основного состояния которого есть свойство, при котором запутывание любой замкнутой области...
Предположим, нам дан график и параметры . Существуют ли диапазоны значений для (или это выполнимо для всех ), для которых можно проверить, является ли -far из-за наличия независимого набора размера по крайней мере во времени ?ггGк , ϵК,εk,\epsilonККkККkггGεε\epsilonККkO ( n + поли ( 1 / ϵ )...
Теория сложности вычислений классифицирует проблемы в соответствии с их сложностью. Теория сложных систем обращается к системам, которые демонстрируют поведение, которое, очевидно, не вытекает из свойств отдельных частей системы. Примеры включают хаотические системы, сложные адаптивные системы или...
Это специализированная версия предыдущего вопроса: сложность нахождения собственного разложения матрицы . Для симметричных матриц NxN известно, что времени O (N ^ 3) достаточно для вычисления собственного разложения. Вопрос в том, можем ли мы достичь субкубической сложности?...
Обычно мы называем алгоритм «хорошим алгоритмом», если его время выполнения является полиномиальным в худшем случае. Но в некоторых случаях (например, алгоритм Simplex), даже если наихудший случай алгоритма экспоненциальный, он может очень хорошо работать на практике. Существуют ли...
Алиса и Боб делят имущество своего покойного дяди Чарли (конечная коллекция отдельных предметов) в соответствии с его пожеланиями. Сначала А выбирает предмет, затем В, затем А и так далее.XXX У Алисы и Боба есть аддитивные вспомогательные функции , так что, если Алиса заканчивает набором Y \...
Я ищу структуру данных, то есть в основном дерево карт, где карта в каждом узле содержит несколько новых элементов, а также элементы в карте своего родительского узла. Под картой здесь я подразумеваю карту программирования с ключами и значениями, например карту в STL или dict в python. Например,...
Сначала спросили по математике. Без ответов. Предположим, у меня есть плоский граф с плоским вложением, как мне найти разложение дерева? Каково оптимальное разложение дерева by- квадратной сетки? Не совсем уверен, как определить «оптимальный», но следует различать разложение с одним большим мешком...