Вопросы с тегом «decision-problem»

Вопрос в какой-то формальной системе с ответом "да" или "нет".

7
Законодательство NP-полное?
Я хотел бы знать, была ли какая-либо работа, связывающая правовой кодекс со сложностью. В частности, предположим, что у нас есть проблема решения «Учитывая этот закон и этот конкретный набор обстоятельств, виновен ли ответчик?» К какому классу сложности он относится? Есть результаты, которые доказали, что карточная игра Magic: the Gathering является …

2
Почему пустой тип C не аналогичен пустому / нижнему типу?
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

6
Генерация комбинаций из набора пар без повторения элементов
У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, …

2
Оптимизация версии решения проблемы
Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Известно, что каждая проблема оптимизации / поиска имеет эквивалентную проблему решения. Например, проблема кратчайшего пути версия для оптимизации / поиска: для заданного неориентированного невзвешенного графа G …

5
Почему эта неразрешимая проблема в NP?
Очевидно, что в NP нет неразрешимых проблем. Однако, согласно Википедии : NP - это совокупность всех задач решения, для которых в случаях, когда ответ «да», есть [... доказательства, которые] проверяются за полиномиальное время с помощью детерминированной машины Тьюринга. [...] Говорят, что проблема в NP, если и только если существует верификатор …

1
Различают процедуру принятия решения против решателя SMT и средства доказательства теорем против решателя ограничений
Эти термины смущают меня. Насколько я понимаю SAT решатель: решить выполнимость логики высказываний (используя DPLL или локальный поиск). Процедура принятия решения - это процедура определения выполнимости некоторой разрешимой теории первого порядка. SMT-решатель - это SAT-решатель + процедура принятия решения. Теорема доказатель указывает что-то вроде динамической логики, например, инструмент KeY Решатель …

2
Как можно проверить задачу коммивояжера за полиномиальное время?
Так что я понимаю идею, что решение проблемы определяется как Есть ли путь P такой, что стоимость ниже, чем C? и вы можете легко проверить это, проверив полученный вами путь. Однако что, если нет пути, который соответствует этим критериям? Как бы вы проверили ответ «нет», не решив проблему TSP с …

3
Почему нет алгоритмов аппроксимации для SAT и других задач решения?
У меня NP-полное решение проблемы. Учитывая пример проблемы, я хотел бы разработать алгоритм, который выводит ДА, если проблема выполнима, и НЕТ, в противном случае. (Конечно, если алгоритм не является оптимальным, он будет делать ошибки.) Я не могу найти никаких приближенных алгоритмов для таких задач. Я специально искал SAT и нашел …

3
Алгоритм проверки, является ли язык контекстно-свободным
Существует ли алгоритм / систематическая процедура для проверки того, является ли язык свободным от контекста? Другими словами, учитывая язык, указанный в алгебраической форме (подумайте о чем-то вроде ), проверьте, является ли язык контекстно-свободным или нет , Представьте, что мы пишем веб-сервис, чтобы помочь студентам со всеми домашними заданиями; Вы указываете …

2
В чем разница между «Решением» и «Проверкой» в теории сложности?
В « Теории вычислений Майкла Сипсера» на странице 270 он пишет: P = класс языков, для которых членство может быть решено быстро. NP = класс языков, для которых членство может быть проверено быстро. В чем разница между «решено» и «проверено»?

2
Существует ли эффективный алгоритм эквивалентности выражений?
например, ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Выражения взяты из обычной школьной алгебры, но ограничены арифметическим сложением и умножением (например, ), без инверсий, вычитания или деления. Буквы являются переменными.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Если это поможет, мы можем запретить любое выражение, представляемое с числовыми значениями, отличными от ; т.е. не х 2, ни 3 х, ни 4 :111x2x2x^23x3x3x444 …


2
Проблема почтовой корреспонденции в NP?
Я только что прочитал несколько страниц в книге Сипсера «Введение в теорию вычислений о проблеме почтовой корреспонденции» и думаю, что PCP на самом деле находится в NP. Сертификатор составляет: для конфигурации входного ворса конкатенации т 1 , т 2 , . , , , t n как строка t и …

3
Существует ли эффективный тест для принятия NFA подмножества другого NFA?
Итак, я знаю, что проверка того, является ли обычный язык рRR подмножеством обычного языка SSS , разрешима, поскольку мы можем преобразовать их оба в DFA, вычислить R ∩ S¯R∩S¯R \cap \bar{S} , а затем проверить, является ли этот язык пустым. Однако, поскольку это требует преобразования в DFA, возможно, что DFA …

2
Является ли равенство двух DFA решаемой проблемой?
Итак, учитывая два DFA, является ли проблема обнаружения, если они генерируют один и тот же язык, разрешимой проблемой? Я уже знаю, что равенство двух КЛЛ не является разрешимым а как насчет равенства двух ДФА? учитывая, что большинство проблем с DFAs разрешимы, это тоже разрешимо?

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.