Запитання з тегом «decision-problem»

Мені хотілося б дізнатися, чи була якась робота, що стосується юридичного кодексу щодо складності. Зокрема, припустимо, що у нас є проблема рішення "Зважаючи на цю книгу законів та на цю конкретну сукупність обставин, чи підсудний винен?" До якого класу складності він належить? Є результати, які довели, що карткова гра Magic: …

64 complexity-theory  np-complete  decision-problem 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. 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 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Відомо, що кожна проблема оптимізації / пошуку має еквівалентну проблему рішення. Наприклад, проблема найкоротшого шляху версія оптимізації / пошуку: Давши ненаправлений невагомий графік та дві вершини , …

26 complexity-theory  optimization  search-problem  decision-problem 

Очевидно, що в НП немає жодних невирішених проблем. Однак, згідно з Вікіпедією : NP - це сукупність усіх проблем з рішеннями, для яких випадки, коли відповідь "так", мають [.. докази, які] можна перевірити в поліноміальний час детермінованою машиною Тьюрінга. [...] Проблема, як кажуть, є в NP тоді і тільки тоді, …

25 complexity-theory  computability  undecidability  decision-problem 

Ці термінології мене бентежать. Як я розумію SAT вирішувач: вирішити відповідність логіки пропозицій (використовуючи DPLL або локальний пошук). Процедура прийняття рішення - це процедура вирішення відповідності певної рішучої теорії першого порядку. SMT solver - це рішення SAT + процедура прийняття рішення. Підтвердження теореми вказує на щось на зразок динамічної логіки, …

24 algorithms  terminology  reference-request  decision-problem 

Тому я розумію думку про те, що проблема рішення визначається як Чи є такий шлях P таким, що вартість нижча за C? і ви можете легко перевірити це правдою, підтвердивши отриманий шлях. Однак що робити, якщо немає шляху, який би відповідав цим критеріям? Як би ви перевірили відповідь "ні", не …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

У мене проблема з вирішенням NP. Враховуючи приклад проблеми, я хотів би розробити алгоритм, який видає ДА, якщо проблема здійсненна, і, НІ, інакше. (Звичайно, якщо алгоритм не є оптимальним, він буде робити помилки.) Я не можу знайти жодних алгоритмів наближення для таких проблем. Я спеціально шукав SAT і виявив на …

18 algorithms  satisfiability  approximation  decision-problem 

Чи існує алгоритм / систематична процедура, щоб перевірити, чи мова без контексту? Іншими словами, дається мова, зазначена в алгебраїчній формі (придумайте щось на зразок ), тест на мовічи є контекстно-вільна чи ні. Уявіть, що ми пишемо веб-сервіс, щоб допомогти студентам в усіх домашніх роботах; ви вказуєте мову, і веб-служба виводить …

18 algorithms  formal-languages  context-free  decision-problem 

У Теорії обчислень Майкла Сіпсера на сторінці 270 він пише: P = клас мов, для членства яких можна швидко визначитися. NP = клас мов, на які можна швидко перевірити членство. Яка різниця між "вирішеним" та "перевіреним"?

16 complexity-theory  terminology  decision-problem 

наприклад, 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 Якщо це допомагає, ми можемо заборонити будь-який вираз, представлений із числовими значеннями, відмінними від ; тобто не ані ані :x 2 3 x …

14 complexity-theory  time-complexity  decision-problem 

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

13 computability  undecidability  decision-problem 

Я просто прочитав деякі сторінки в книзі Сіпсера «Вступ до теорії обчислень про проблему поштової кореспонденції», і я думаю, що PCP насправді знаходиться в NP. Сертифікатором є: для вхідної конфігурації палі об'єднує як рядок і об'єднує як рядок , а потім порівняйте і щоб побачити, чи є два рівні, а …

12 complexity-theory  decision-problem  np 

Отже, я знаю, що тестування, якщо звичайна мова є підмножиною звичайної мови , вирішується, оскільки ми можемо конвертувати їх як у DFA, обчислити , а потім перевірити, чи ця мова порожня.S R ∩ ˉ SRRRSSSR ∩ S¯R∩S¯R \cap \bar{S} Однак, оскільки це вимагає перетворення на DFA, можливо, що DFA, і, …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Отже, з огляду на два DFA, чи є проблема пошуку, якщо вони генерують одну й ту ж мову, вирішальну проблему? Я вже знаю, що рівність двох КФЛ не вирішується а як щодо рівності двох DFA? враховуючи, що більшість проблем з DFA вирішуються, чи це також вирішується?

11 computability  automata  finite-automata  decision-problem