Tag decision-problem - Questa è pagina 8 - GeneraCodice

Durezza NP della generazione unica del puzzle

https://www.generacodice.com/it/articolo/1612596/durezza-np-della-generazione-unica-del-puzzle
  np-complete  -  np  -  decision-problem
cs.stackexchange cs.stackexchange

3-DNF dimostra che l'algoritmo è in classe P

https://www.generacodice.com/it/articolo/1612319/3-dnf-dimostra-che-l-algoritmo-e-in-classe-p
  satisfiability  -  decision-problem
cs.stackexchange cs.stackexchange

Dimostrare $ l = { langle m, w, n rangle $: $ m $ accetta $ w $ entro $ n $ passi $ } $ è decidibile

https://www.generacodice.com/it/articolo/1611227/dimostrare-l-langle-m-w-n-rangle-m-accetta-w-entro-n-passi-e-decidibile
  turing-machines  -  computability  -  decision-problem
cs.stackexchange cs.stackexchange

Un problema P = NP complicato

https://www.generacodice.com/it/articolo/1610889/un-problema-p-np-complicato
  complexity-theory  -  np  -  decision-problem  -  p-vs-np
cs.stackexchange cs.stackexchange

Complessità a grana fine della valutazione della formula 3-CNF

https://www.generacodice.com/it/articolo/1609047/complessita-a-grana-fine-della-valutazione-della-formula-3-cnf
  satisfiability  -  time-complexity  -  sat-solvers  -  3-sat  -  decision-problem
cs.stackexchange cs.stackexchange

È il set di linguaggio decidabile da un calcolo della macchina Turing in un determinato decidibile per il tempo calcolabile

https://www.generacodice.com/it/articolo/1609034/e-il-set-di-linguaggio-decidabile-da-un-calcolo-della-macchina-turing-in-un-determinato-decidibile-per-il-tempo-calcolabile
  turing-machines  -  computability  -  undecidability  -  decision-problem
cs.stackexchange cs.stackexchange

Ridurre 3Sat a un problema di scissione del set

https://www.generacodice.com/it/articolo/1608988/ridurre-3sat-a-un-problema-di-scissione-del-set
  np-complete  -  np-hard  -  np  -  decision-problem
cs.stackexchange cs.stackexchange

Mostra: "Controllare nessuna soluzione per il sistema di equazioni lineari con variabili e coefficienti interi" $ in mathbf {np} $

https://www.generacodice.com/it/articolo/1608976/mostra-controllare-nessuna-soluzione-per-il-sistema-di-equazioni-lineari-con-variabili-e-coefficienti-interi-in-mathbf-np
  turing-machines  -  np  -  decision-problem  -  complexity-classes
cs.stackexchange cs.stackexchange

Cosa succede dopo Expspace?

https://www.generacodice.com/it/articolo/1608936/cosa-succede-dopo-expspace
  complexity-theory  -  computability  -  space-complexity  -  decision-problem
cs.stackexchange cs.stackexchange

Problemi logici interessanti

https://www.generacodice.com/it/articolo/1608772/problemi-logici-interessanti
  logic  -  search-problem  -  decision-problem
cs.stackexchange cs.stackexchange
Risultati trovati: 400
scroll top