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

Позволять граммграммG быть простым графиком на NNn вершины ( n > 3 )(N>3)(n > 3) без вершины степени n - 1N-1n − 1, Предположим, что для любых двух вершинграммграммG, есть уникальная вершина, смежная с ними обоими. Ван Линт и Уилсон - это курс из курса по комбинаторике , чтобы доказать, …

19 graph-theory  co.combinatorics  puzzles 

Для конкретности рассмотрим LP для решения игры с нулевой суммой для двух игроков, где у каждого игрока есть действий. Предположим, что каждая запись матрицы выплат имеет самое большее 1 в абсолютном значении. Для простоты давайте не будем делать предположений об ограниченности.nnnAAA Предположим, что время выполнения доступно для приблизительного значения этой …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

Этот недавний вопрос теории игр заставил меня задуматься (это, конечно, касательно): возможно ли эффективно оптимизировать личную стратегию выбора исследовательских вопросов для работы над теорией игр? Чтобы перейти к формализации вопроса, я сделаю следующие (неофициально заявленные) предположения: Я также «наслаждаюсь» любой конкретной проблемой, над которой я могу работать (чтобы избежать «мягкого» …

19 soft-question  gt.game-theory 

Я искал наиболее эффективный (потоковый ??) алгоритм, который сообщает мне «k» наиболее часто встречающихся элементов в потоке данных в любой момент времени. Этот пост: «Разделяй и властвуй» алгоритмы потока данных заинтересовали меня. Например, предположим, что есть числа: (4,3,5,1,6,2,4,3,3,8,9,1), и я запрашиваю 3 наиболее часто встречающихся числа (скажем), тогда я должен …

19 ds.algorithms  online-algorithms  data-streams 

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

19 machine-learning  lg.learning  online-learning 

Как бы вы нарисовали картинку, чтобы проиллюстрировать уникальную игру? Это для презентации «Текущие события» по уникальным играм на следующем совместном собрании AMS и для выпуска буклета. Пример вида иллюстраций, выполненных в прошлом, находится на http://www.ams.org/meetings/lectures/current-events-bulletin и если вы нажмете на издание 2006 года, вы увидите картинку, которую Мадху Судан использовал …

19 cc.complexity-theory  unique-games-conjecture 

Большинство современных реализаций регулярных выражений, таких как perl или .NET, выходят за рамки классического компьютерного определения REGEX с такими функциями, как lookahead и lookbehind. Позволяют ли эти функции анализировать операторы, которые не могут быть описаны конечным автоматом без нажатия? Насколько ближе к завершению это делает их, если они могут?

19 automata-theory  regular-expressions  fl.formal-languages 

Есть ли обзор алгоритмов вычисления интерполантов? Как насчет работ только по одному алгоритму? Случай я больше всего интересует = ¬ р ∧ д и С = д , а также ограничение , что интерполянт настолько мал , насколько это возможно. (Мне известна статья Макмиллана 2005 года , в которой описывается, …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

«Онлайн выпуклая оптимизация» Зинкевича ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) обобщает алгоритмы обучения «минимизация сожаления» от линейных настроек до выпуклой настройки и дает хорошее «внешнее сожаление» , Есть ли подобное обобщение для внутреннего сожаления? (Я не совсем уверен даже, что именно это будет означать.)

19 lg.learning  online-learning 

Рассмотрим функцию , которая возвращает 1, если n нулей последовательно появляются в π . Теперь кто-то дал мне доказательство того, что f ( n ) вычислимо:f(n)f(n)f(n)nnnππ\pif(n)f(n)f(n) Либо для всех n, появляется в π , либо am am 0 m появляется в π, а 0 m + 1 - нет. Для …

19 computability 

Locked . Этот вопрос и его ответы заблокированы, потому что вопрос не по теме, но имеет историческое значение. В настоящее время он не принимает новые ответы или взаимодействия. Какие алгоритмы используются чаще всего? Пожалуйста, напишите один алгоритм для каждого ответа, постарайтесь, чтобы ваш ответ был коротким (одна или две строки).

19 ds.algorithms  big-list 

В разделе « Семантика» Энтони Ааби «Введение в языки программирования» он делает следующее наблюдение: Большая часть работы в семантике языков программирования мотивируется проблемами, возникающими при попытке построить и понять императивные программы - программы с командами присваивания. Поскольку команда присваивания переназначает значения переменным, присваивание может иметь неожиданные последствия в удаленных частях …

19 imperative-programming  semantics  big-picture 

Решение проблемы CNF-SAT можно описать следующим образом: Вход: булева формула в конъюнктивной нормальной форме.ϕφ\phi Вопрос: существует ли присвоение переменной, которая удовлетворяет ?ϕφ\phi Я рассматриваю несколько различных подходов к решению проблемы CNF-SAT с помощью недетерминированной двухленточной машины Тьюринга . Я считаю, что есть NTM, который решает CNF-SAT в шагах.n⋅poly(log(n))N⋅поли(журнал⁡(N))n \cdot \texttt{poly}(\log(n)) …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Что было бы хорошим неофициальным / интуитивно понятным доказательством того, что «удар по теме» о дуальности ЛП? Как лучше всего показать, что минимизированная целевая функция действительно является минимальной с интуитивным способом понимания границ? То, как меня учили, дуальность привела только к одному пониманию, которое, я уверен, разделяют МНОГИЕ люди, которых …

19 linear-programming  primal-dual 

Меня интересует следующая задача: заданы целочисленные матрицы A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k решают, равно ли каждое бесконечное произведение этих матриц нулевой матрице. Это означает именно то, что вы думаете, что он делает: мы будем говорить, что множество матриц обладает тем свойством, что все его произведения в конечном итоге равны нулю, если не …

19 linear-algebra  decidability