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

Для формулы 3CNF пусть будет максимальное число удовлетворенных положений в любом присвоении . Известно, что Max-3SAT трудно аппроксимировать (при условии P ≠ NP), то есть не существует алгоритма множителя, вход которого является формулой 3CNF , а выход которого равен числу , так что находится в пределах мультипликативный фактор из , …

26 cc.complexity-theory  sat 

Существуют ли какие-либо естественные проблемы в , которых нет (как известно / считается, что они есть) в ?U P ∩ c o U PNп∩ c o NпNP∩coNPNP \cap coNPUп∩ c o UпUP∩coUPUP \cap coUP Очевидно, что большая часть, о которой все знают в - это вариант факторинга для решения (не …

26 cc.complexity-theory  complexity-classes  np 

Предположим, что мы решили проблему подсчета правильных раскрасок путем подсчета взвешенных раскрасок следующим образом: каждая правильная раскраска получает вес 1, а каждая неправильная раскраска получает вес где c - некоторая постоянная, а v - число ребер с конечными точками, окрашенными одинаково. Поскольку c переходит в 0, это сводится к подсчету …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

В настоящее время я читаю « Лямбда-исчисление и комбинаторы » Хиндли и Селдина. Я не эксперт, но всегда интересовался лямбда-исчислением из-за участия в функциональном программировании (начиная с Lisp и SICP, а теперь с R и Haskell). В « Binary лямбда - исчисления и комбинаторной логики» , Джон Тромп гласит: CL …

26 combinatory-logic  functional-programming  lambda-calculus 

Рассмотрим задачу покрытия минимального набора со следующими ограничениями: каждый набор содержит не более элементов, а каждый элемент юниверса встречается не более чем в f наборах.kkkfff Пример: случай и f = 2 эквивалентен задаче минимального покрытия вершин в графах с максимальной степенью 4.k=4k=4k = 4f=2f=2f = 2 Пусть будет наибольшим значением, …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

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

26 concurrency 

Является ли следующая проблема NP-трудной? Учитывая конфигурацию доски для n×nn×nn\times n международных шашек , найдите один законный ход. Соответствующая задача для американских шашек (или английских шашек) тривиально разрешима за полиномиальное время. Есть три основных различия между этими двумя играми.n×nn×nn\times n Первое и самое значительное отличие - это правило «летающий король». …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Можно ли перевести булеву формулу B в эквивалентное соединение выражений Хорна? Статья в Википедии о HornSAT, похоже, подразумевает, что это так, но я не смог найти какую-либо ссылку. Обратите внимание, что я имею в виду не «за полиномиальное время», а скорее «вообще».

26 reference-request  lo.logic  sat 

Есть ли (желательно натурального) NP-полный язык L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , такое , что для любого имеет место ? Другими словами, содержит ровно половину всех битных экземпляров.n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Для любого n>0n>0n > 0 я говорю, что последовательность целых чисел в является -полной, если для каждой перестановки из , записанная как последовательность попарно различных целых чисел , последовательность является подпоследовательностью , т. е. существуеттакой, что для всех .{ 1 , … , n } n p { 1 , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

ACSL (Ansi C Specification Language) - это спецификация для кода C, снабженная специальными комментариями, которая позволяет формально проверять код C. Я не рассматривал это, но я полагаю, что формальные методы, используемые в верификаторах ACSL , будут похожи на Hoare Logic. Однако для чисто функциональных языков, таких как Haskell, я не …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Хорошо известной характеристикой экземпляров -SAT является отношение числа предложений m к числу переменных n , т. Е. Частное ρ = m / n . Для каждого k существует пороговое значение α st \ для ρ ≪ α , большинство случаев выполнимо, а для ρ ≫ α большинство случаев неудовлетворительно. Было …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Согласно D. den Hertog, «Подход с внутренней точки к линейному, квадратичному и выпуклому программированию», 1994 , линейная программа с переменными, n ограничениями и точностью L разрешима за O ( n 3 L ) времени. Это было улучшено?NNnNNnLLLO ( n3Л )О(N3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Мне нужно рассчитать бегущую медиану: Ввод: , , вектор .k ( x 1 , x 2 , … , x n )NnnКkk( х1, х2, … , ХN)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Вывод: vector , где - это медиана .y i ( x i , x i + 1 , … , …

25 ds.algorithms  ds.data-structures  lower-bounds 

Знаете ли вы интересные последствия (стандартных) гипотез в теории сложности в других областях математики (т.е. вне теоретической информатики)? Я бы предпочел ответы где: гипотеза теории сложности является как можно более общей и стандартной; Я также согласен с последствиями сложности конкретных проблем, но было бы неплохо, если бы общепризнанно, что проблемы …

25 cc.complexity-theory  conditional-results