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

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

13 ds.algorithms  graph-algorithms  planar-graphs 

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

13 ds.algorithms  reference-request  sat  optimization 

Если предположить, что NP! = CoNP, то для проблемы полного завершения coNP нет сертификата полиномиального размера. Но как насчет субэкспоненциального размера сертификата? Особенно для coSAT, есть ли субэкспоненциальное доказательство размера, чтобы доказать, что формула неудовлетворительна? Если нет, то каковы отрицательные доказательства? Благодарность

13 cc.complexity-theory  proof-complexity 

Каждый раз, когда я преподаю NP-Полноту, студенты спрашивают: «Есть ли проблемы, о которых известно, что они не относятся к NP?» Как бы вы ответили? Я обычно даю им неразрешимую проблему в качестве примера, но это часто не очень хорошо получается: (а) если я дам им проблему остановки, они думают, что …

13 cc.complexity-theory  complexity-classes  teaching 

То, что я называю подсчетом, - это проблема, заключающаяся в том, чтобы найти количество решений для функции. Точнее, если задана функция f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (не обязательно черный ящик), приблизительный #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|, Я ищу алгоритмические проблемы, которые включают какой-то счет и для которых сложность времени сильно зависит от этой …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

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

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Даны монет номиналом, с c 1 = 1 и c 2 < c 3 < . , < c n - случайные числа, равномерно распределенные в диапазоне [ 2 , N ] . Асимптотически, для какой доли монет жадный алгоритм генерирует оптимальное изменение, используя этот набор номиналов?NNnс1= 1с1знак равно1c_1=1с2< с3< …

13 ds.algorithms 

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

13 ds.algorithms  machine-learning  genetic-algorithms 

Хорошо известно, что в худшем случае существует оптимальный алгоритм для вычисления кода Хаффмана за время θ ( н лгн )θ(NЛ.Г.⁡N)\theta(n\lg n) . Это улучшается двумя ортогональными способами: Оптимальные коды без префиксов могут быть вычислены быстрее, если набор различных частот мал (например, имеет размер σσ\sigma ): отсортируйте частоты, используя [Munro and …

13 cc.complexity-theory 

Я пробовал следующее расслабление LP максимального независимого набора max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Я получаю 1/21/21/2 для каждой переменной для каждого кубического недвудольного графа Я попытался. Верно ли для всех связных кубических недвойственных графов? Есть ли релаксация LP, которая работает …

13 graph-theory  co.combinatorics  linear-programming 

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

13 soft-question  paper-review 

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

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

Покрытие Vertex может быть легко уменьшено до Независимого набора и наоборот. Однако в контексте параметризованной сложности Независимый набор сложнее, чем Vertex Cover. Ядро с вершин существует для Vertex Cover, но независимое множество W 1 жестких.2k2k2k Как меняется характер Независимого множества в контексте FPT и почему?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Теория компилятора, кажется, довольно проверенная тема. Какие открытые проблемы или текущие исследования происходят в этой области?

13 soft-question  big-list  open-problem  compilers 

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

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption