标签3-sat - 这是页1 - GeneraCodice

检查可靠性的算法

https://www.generacodice.com/cn/articolo/2476884/检查可靠性的算法

  complexity-theory  -  computability  -  satisfiability  -  np  -  3-sat

cs.stackexchange

具有 3 个不同变量的 Monotone 3-SAT 是否难以处理？

https://www.generacodice.com/cn/articolo/2472212/具有-3-个不同变量的-monotone-3-sat-是否难以处理

  np-complete  -  satisfiability  -  3-sat  -  propositional-logic  -  polynomial-time-reductions

cs.stackexchange

关于同时最小化的NP硬度和加权子集最大化的证明

https://www.generacodice.com/cn/articolo/2471120/关于同时最小化的np硬度和加权子集最大化的证明

  np-complete  -  satisfiability  -  np-hard  -  np  -  3-sat

cs.stackexchange

独特的3SAT到独特的1-In-3SAT

https://www.generacodice.com/cn/articolo/2464133/独特的3sat到独特的1-in-3sat

  complexity-theory  -  np-complete  -  satisfiability  -  np  -  3-sat

cs.stackexchange

独特的1-in-3星期六

https://www.generacodice.com/cn/articolo/2464057/独特的1-in-3星期六

  satisfiability  -  np  -  3-sat

cs.stackexchange

如何证明要分开的至少k个边缘的两条路径是np-suld？

https://www.generacodice.com/cn/articolo/2463884/如何证明要分开的至少k个边缘的两条路径是np-suld

  np-hard  -  3-sat  -  graphs

cs.stackexchange

最先进的 SAT 求解器的时间复杂度与公式长度的关系

https://www.generacodice.com/cn/articolo/2455775/最先进的-sat-求解器的时间复杂度与公式长度的关系

  turing-machines  -  satisfiability  -  time-complexity  -  3-sat  -  p-vs-np

cs.stackexchange

Random restarts for unsatisfiable instances

https://www.generacodice.com/cn/articolo/1620585/random-restarts-for-unsatisfiable-instances

  satisfiability  -  sat-solvers  -  3-sat  -  randomized-algorithms

cs.stackexchange

3-CNF to “independent form”

https://www.generacodice.com/cn/articolo/1615377/3-cnf-to-independent-form

  logic  -  3-sat  -  propositional-logic  -  boolean-algebra

cs.stackexchange

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

https://www.generacodice.com/cn/articolo/1612712/is-a-local-version-of-3-sat-np-hard

  satisfiability  -  np-hard  -  3-sat  -  polynomial-time  -  2-sat

cs.stackexchange

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »

发现结果: 113