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

17
Быстрое перемешивание цепей Маркова по 3 раскраскам цикла

Динамика Глаубера - это марковская цепочка на раскрасках графа, в которой на каждом шаге пытаются перекрасить случайно выбранную вершину в случайный цвет. Он не смешивается для 3-х раскрасок из 5-ти циклов: существует 30 3-раскрасок, но только 15 из них могут быть достигнуты с помощью шагов...

17
Является ли

В «последнем абзаце» «первой страницы» следующего документа: Викраман Арвинд , Йоханнес Коблер , Уве Шенинг , Райнер Шулер , "Если у NP есть схемы полиномиального размера, то MA = AM", Теоретическая информатика, 1995. Я столкнулся с несколько нелогичным утверждением:...

17
Руководство для начинающих по дерандомизации

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

17
Свойства случайно ориентированных графов с фиксированной степенью выхода

Меня интересуют свойства случайных ориентированных графов с фиксированной степенью ddd . Я представляю модель случайного графа, где каждая вершина выбирает d соседей (скажем, с заменой) uar Вопрос : Известно ли что-нибудь о стационарном времени распределения и перемешивания случайных блужданий на...

17
Твердость параметризованной CLIQUE?

Пусть 0≤p≤10≤p≤10\le p\le 1 и рассмотрим решение задачи CLIQUE Ввод: целое числоpp_p sss , граф GGG с ttt вершинами и края Вопрос: действительно содержит клику по крайней мере вершинами?⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Экземпляр CLIQUE содержит пропорцию от всех возможных ребер....

17
Читатель, писатель монад

Пусть будет CCC . Пусть быть бифунктором продукта на . Так как Cat - это CCC, мы можем карри (\ times) :ССC( × )(×)(\times)ССC( × )(×)(\times) с у г г у( × ) : C→ ( C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A...

17
Дурачить произвольные симметричные функции

Распределение называется ϵ- обмануть функцию f, если | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . И говорят, что он обманывает класс функций, если он обманывает каждую функцию в этом классе. Известно , что & epsi -biased пространство дурака класс паритетов над подмножествами. (см....

17
Рандомизировать или нет?

Этот вопрос вдохновлен Технологическим Центром Джорджии и Центром Случайности футболкой , которая спрашивает «Рандомизировать или нет ?!» Есть много примеров, когда рандомизация помогает, особенно при работе в состязательной среде. Есть также некоторые настройки, в которых рандомизация не помогает...

17
Формальное представление колец в вычислениях

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

17
Открытое или интерактивное удовлетворение ограничений

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

17
Структура патологических случаев для симплексных алгоритмов

Насколько я понимаю, все известные детерминированные сводные правила для симплексных алгоритмов имеют конкретные входные данные, для которых алгоритму требуется экспоненциальное время (или, по крайней мере, не полиномиальное), чтобы найти оптимальный. Давайте назовем эти случаи «патологическими»,...

17
Может ли компьютер моделировать себя как часть симулируемого мира?

Допустим, вы создаете компьютер, который будет вычислять состояние всех атомов во Вселенной в определенный момент времени в будущем. Поскольку Вселенная по определению является всем, что существует (и всем, что взаимодействует с остальными), она также включает в себя компьютер, который вы создаете....

17
Наборы степеней для линейных графиков расширения

Линейное расширение из ч.у.м. является линейным порядком на элементах , такие , что в влечет в для всех .P P x ≤ y P x ≤ y L x , y ∈ PLLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Линейное расширение граф представляет собой график , на...

17
Время покрытия ориентированных графов

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

17
Эффективные алгоритмы логарифмического пространства

Легко видеть, что любая проблема, которая разрешима в детерминированном пространстве журналов ( ), выполняется в самое большее полиномиальное время ( ). Многие известные алгоритмы логарифмического пространства (например, ненаправленная st-связность, изоморфизм плоских графов) работают в где безумно...

17
Сложность поиска второго решения при правильном решении NP-полной задачи

Я пытаюсь выяснить, есть ли какие-либо общие результаты или примеры, касающиеся NP-полноты проблемы поиска второго решения NP-полной задачи. Точнее, меня интересуют любые проблемы следующего вида: Учитывая решение для экземпляра NP-полной задачи, есть ли решение для ?SSSяяIS'≠ SS'≠SS' \neq SяяI...

17
Формальная семантика языков программирования

Я новичок в теории языков программирования и ищу хороший ресурс по формальной семантике языков программирования. Специально ищет структурную операционную семантику. Я получил несколько рекомендаций книги. Но я ищу ресурс на более начальном уровне. Особенно приветствуются учебники, веб-сайт и...

17
Существует ли алгоритм аппроксимации постоянного множителя для задачи раскраски 2D-прямоугольника?

Задача, которую мы здесь рассматриваем, - это расширение хорошо известной проблемы интервальной раскраски. Вместо интервалов мы рассматриваем прямоугольники, стороны которых параллельны осям. Цель состоит в том, чтобы закрасить прямоугольники минимальным количеством цветов, чтобы любые два...

17
Чем императивные языки более отличаются друг от друга, чем функциональные языки?

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

17
Теория категорий, вычислительная сложность и комбинаторика связей?

Я пытался прочитать « Жемчужины разработки функциональных алгоритмов », а затем « Алгебру программирования », и есть очевидное соответствие между рекурсивно (и полиномиально) определенными типами данных и комбинаторными объектами, имеющими то же самое рекурсивное определение и впоследствии ведущим...