Tag 3-sat - Это страница 1 - GeneraCodice

алгоритм проверки удовлетворения

https://www.generacodice.com/ru/articolo/2476884/алгоритм-проверки-удовлетворения
  complexity-theory  -  computability  -  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Монотон 3-сел с ровно 3 разных переменных неверных?

https://www.generacodice.com/ru/articolo/2472212/монотон-3-сел-с-ровно-3-разных-переменных-неверных
  np-complete  -  satisfiability  -  3-sat  -  propositional-logic  -  polynomial-time-reductions
cs.stackexchange cs.stackexchange

Доказательство для NP-твердости одновременной минимизации и максимизации взвешенного подмножества

https://www.generacodice.com/ru/articolo/2471120/доказательство-для-np-твердости-одновременной-минимизации-и-максимизации-взвешенного-подмножества
  np-complete  -  satisfiability  -  np-hard  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Уникальный 3SAT для уникального 1-в-3Сат

https://www.generacodice.com/ru/articolo/2464133/уникальный-3sat-для-уникального-1-в-3сат
  complexity-theory  -  np-complete  -  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Уникальный 1-в-3 сидел

https://www.generacodice.com/ru/articolo/2464057/уникальный-1-в-3-сидел
  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Как доказать, что найти два пути, которые по крайней мере K края друг от друга, это NP-HARD?

https://www.generacodice.com/ru/articolo/2463884/как-доказать-что-найти-два-пути-которые-по-крайней-мере-k-края-друг-от-друга-это-np-hard
  np-hard  -  3-sat  -  graphs
cs.stackexchange cs.stackexchange

Временные сложности современных саловых решений по отношению к длине формулы

https://www.generacodice.com/ru/articolo/2455775/временные-сложности-современных-саловых-решений-по-отношению-к-длине-формулы
  turing-machines  -  satisfiability  -  time-complexity  -  3-sat  -  p-vs-np
cs.stackexchange cs.stackexchange

Random restarts for unsatisfiable instances

https://www.generacodice.com/ru/articolo/1620585/random-restarts-for-unsatisfiable-instances
  satisfiability  -  sat-solvers  -  3-sat  -  randomized-algorithms
cs.stackexchange cs.stackexchange

3-CNF to “independent form”

https://www.generacodice.com/ru/articolo/1615377/3-cnf-to-independent-form
  logic  -  3-sat  -  propositional-logic  -  boolean-algebra
cs.stackexchange cs.stackexchange

Is a “local” version of 3-SAT NP-hard?

https://www.generacodice.com/ru/articolo/1612712/is-a-local-version-of-3-sat-np-hard
  satisfiability  -  np-hard  -  3-sat  -  polynomial-time  -  2-sat
cs.stackexchange cs.stackexchange
Результаты найдены: 113
scroll top