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

Мы знаем, что log ранга матрицы 0-1 является нижней границей детерминированной сложности связи, а log приблизительного ранга является нижней границей рандомизированной сложности связи. Наибольший разрыв между детерминированной коммуникационной сложностью и рандомизированной коммуникационной сложностью является экспоненциальным. Так как насчет разрыва между рангом и приблизительным рангом булевой матрицы?

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

Пусть гGG связный граф G = ( V, E)G=(V,E)G = (V,E) с узлами В= 1 … nV=1…nV = 1 \dots n и ребер ЕEE . Обозначим через весяwiw_i (целочисленный) вес графа гGG , где Σявеся= м∑iwi=m\sum_i w_i = m - общий вес графа. Средний вес каждого узла тогда вес¯= м …

10 graph-theory  co.combinatorics  spectral-graph-theory 

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

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Span-программа - это линейно-алгебраический способ задания булевой функции, представленный здесь . Недавно эта модель использовалась, чтобы показать, что метод отрицательного противника обеспечивает точную характеристику (по крайней мере, до ) сложности квантовых запросов.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Мера сложности, связывающая программы span с квантовой сложностью запроса, - это размер свидетеля. Эта …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

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

10 big-picture  kolmogorov-complexity 

Сообщение связано с: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles Насколько далеко Lovasz связан с пропускной способностью регулярных графов с нулевой ошибкой? Есть ли примеры, когда известно, что оценка Ловаша не равна емкости регулярного графа с нулевой ошибкой? (Ответил ниже Александр Бондаренко.) В частности, известно ли строгое неравенство для нечетных циклов сторон, больших или равных 777 …

10 graph-theory  it.information-theory 

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

10 graph-theory  co.combinatorics  application-of-theory 

Меня интересуют явные примеры графиков, для которых применение алгоритма Геманса и Уильямсона для аппроксимации максимальных сечений приводит к коэффициенту аппроксимации 0,878…. Алгоритм создания таких экземпляров был бы идеальным, явные примеры и ссылки были бы удовлетворительными.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

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

10 reference-request  big-list  derandomization  pr.probability 

Короче говоря, теоремы иерархии времени говорят о том, что машина Тьюринга может решить больше проблем, если у нее будет больше времени для вычислений. Подробно для детерминированных TM и функций, построенных по времени, с это и для недетерминированных функций TM и функций времени, f, g с f (n + 1) = …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Есть много примеров в комбинаторике и информатике, где мы можем проанализировать теоретико-графическую проблему, но для ее гиперграфа у нас отсутствуют инструменты. Как вы думаете, почему проблемы с 3-равномерными гиперграфами часто становятся намного сложнее, чем с 2-равномерными графами? Каковы основные трудности? Одна из проблем заключается в том, что у нас пока …

10 graph-theory  co.combinatorics  hypergraphs 

Пусть будет контекстно-свободным языком. Определить , чтобы быть пре- и постфиксное замыканием , другими словами, содержит все «с префиксами и postfixes, и , следовательно сам по себе. Мой вопрос: если зависит от контекста и имеет не однозначную грамматику, то же самое верно для ?p p c ( L ) L …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Я играл с очень интересным и все еще открытым вопросом « Азбука одноленточной машины Тьюринга » (Эмануэле Виола) и придумал следующий язык: L = { x ∈ { 0 , 1 }N ул | х | = n = 2м и c o u n t 1 ( x ) …

10 cc.complexity-theory  turing-machines  time-complexity 

Сумма Минковского двух множеств векторов имеет видA , B ∈ RdA,B∈RdA, B \in R^d A ⊕ B = { a + b ∣ a ∈ A , b ∈ B }A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Я только что …

10 cg.comp-geom 

MCTS / UCT - это метод поиска по дереву игр, который использует алгоритм бандита для выбора перспективных узлов для исследования. Игры разыгрываются до их завершения случайным образом, и узлы, ведущие к большему количеству побед, исследуются более интенсивно. Алгоритм бандита поддерживает баланс между исследованием узлов с высокими показателями выигрыша и исследованием …

10 optimization  ai.artificial-intel  board-games