Tag satisfiability - Esta é a página 7 - GeneraCodice

Convertendo declarações matemáticas para fórmulas sentadas

https://www.generacodice.com/pt/articolo/2465052/convertendo-declaracoes-matematicas-para-formulas-sentadas
  satisfiability
cs.stackexchange cs.stackexchange

Redutibilidade de 2 versões do problema de satisfação

https://www.generacodice.com/pt/articolo/2464578/redutibilidade-de-2-versoes-do-problema-de-satisfacao
  discrete-mathematics  -  satisfiability  -  reductions
cs.stackexchange cs.stackexchange

Redutibilidade de 2 problemas de satisfabilidade booleana

https://www.generacodice.com/pt/articolo/2464567/redutibilidade-de-2-problemas-de-satisfabilidade-booleana
  discrete-mathematics  -  satisfiability  -  reductions
cs.stackexchange cs.stackexchange

Exclusivo 3SAT a Única 1-no-3SAT

https://www.generacodice.com/pt/articolo/2464133/exclusivo-3sat-a-unica-1-no-3sat
  complexity-theory  -  np-complete  -  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

1-em-3 exclusivo sentado

https://www.generacodice.com/pt/articolo/2464057/1-em-3-exclusivo-sentado
  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Max 2-Sat é tempo polinomial redutível para 2-SAT?

https://www.generacodice.com/pt/articolo/2455992/max-2-sat-e-tempo-polinomial-redutivel-para-2-sat
  satisfiability  -  2-sat  -  maxsat
cs.stackexchange cs.stackexchange

Complexidades temporais dos solucionadores SAT de última geração em relação ao comprimento da fórmula

https://www.generacodice.com/pt/articolo/2455775/complexidades-temporais-dos-solucionadores-sat-de-ultima-geracao-em-relacao-ao-comprimento-da-formula
  turing-machines  -  satisfiability  -  time-complexity  -  3-sat  -  p-vs-np
cs.stackexchange cs.stackexchange

Use 2SAT para mostrar que um gráfico de implicação deve ter um ciclo se não for satisfatório

https://www.generacodice.com/pt/articolo/2455665/use-2sat-para-mostrar-que-um-grafico-de-implicacao-deve-ter-um-ciclo-se-nao-for-satisfatorio
  computability  -  satisfiability  -  graphs  -  2-sat
cs.stackexchange cs.stackexchange

Definição de fórmula 2-CNF (A.K.A Krom)

https://www.generacodice.com/pt/articolo/2455540/definicao-de-formula-2-cnf-a-k-a-krom
  logic  -  satisfiability  -  graphs  -  propositional-logic
cs.stackexchange cs.stackexchange

Special Monotone SAT problem: NP complete?

https://www.generacodice.com/pt/articolo/2451368/special-monotone-sat-problem-np-complete
  complexity-theory  -  np-complete  -  satisfiability
cs.stackexchange cs.stackexchange
Resultados encontrados: 510
scroll top