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

Задача, которую мы здесь рассматриваем, - это расширение хорошо известной проблемы интервальной раскраски. Вместо интервалов мы рассматриваем прямоугольники, стороны которых параллельны осям. Цель состоит в том, чтобы закрасить прямоугольники минимальным количеством цветов, чтобы любые два перекрывающихся прямоугольника были назначены разным цветам. Эта проблема, как известно, NP-сложная. Синь Хань, Казуо Ивама, …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

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

17 reference-request  pl.programming-languages  semantics  formal-systems 

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

17 functional-programming  semantics  imperative-programming 

Легко видеть, что любая проблема, которая разрешима в детерминированном пространстве журналов ( ), выполняется в самое большее полиномиальное время ( ). Многие известные алгоритмы логарифмического пространства (например, ненаправленная st-связность, изоморфизм плоских графов) работают в где безумно велико.P O ( n kLLLппPO ( nК)О(NК)O(n^k)ККk Я ищу примеры естественных проблем, которые, как …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

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

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

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

17 graph-theory  co.combinatorics  markov-chains  random-walks 

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

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Линейное расширение из ч.у.м. является линейным порядком на элементах , такие , что в влечет в для всех .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 graph-theory  co.combinatorics 

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

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

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

17 computability 

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

17 sat  lo.logic  csp 

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

17 randomness  big-picture  randomized-algorithms 

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

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

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

17 cc.complexity-theory  derandomization  randomized-algorithms 

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

17 graph-theory  markov-chains