Tag constraint-satisfaction - Questa è pagina 9 - GeneraCodice

Soddisfazione del vincolo: massimizzare il valore totale senza sovrapposizioni

https://www.generacodice.com/it/articolo/1591327/soddisfazione-del-vincolo-massimizzare-il-valore-totale-senza-sovrapposizioni
  constraint-programming  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

Ho N Boys e N Girls. Devo abbinare il più possibile per una danza in O (NLOGN). Ridurre questo a un problema standard?

https://www.generacodice.com/it/articolo/1591030/ho-n-boys-e-n-girls-devo-abbinare-il-piu-possibile-per-una-danza-in-o-nlogn-ridurre-questo-a-un-problema-standard
  optimization  -  constraint-satisfaction  -  algorithms  -  bipartite-matching
cs.stackexchange cs.stackexchange

Verifica di un gran numero di configurazioni con più vincoli

https://www.generacodice.com/it/articolo/1589829/verifica-di-un-gran-numero-di-configurazioni-con-piu-vincoli
  combinatorics  -  satisfiability  -  constraint-programming  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

Come potrebbe essere implementato un risolutore SMT il più semplice possibile?

https://www.generacodice.com/it/articolo/1589513/come-potrebbe-essere-implementato-un-risolutore-smt-il-piu-semplice-possibile
  satisfiability  -  constraint-satisfaction  -  smt-solvers
cs.stackexchange cs.stackexchange

Binarizzazione di vincoli

https://www.generacodice.com/it/articolo/1586726/binarizzazione-di-vincoli
  satisfiability  -  backtracking  -  constraint-programming  -  constraint-satisfaction  -  algorithms
cs.stackexchange cs.stackexchange

Algoritmo efficiente per un semplice problema di soddisfazione dei vincoli

https://www.generacodice.com/it/articolo/1583038/algoritmo-efficiente-per-un-semplice-problema-di-soddisfazione-dei-vincoli
  data-structures  -  satisfiability  -  constraint-satisfaction  -  algorithms  -  integer-programming
cs.stackexchange cs.stackexchange

"Consistenza M fortemente relazionale quando i domini contengono nella maggior parte degli elementi M implica la soddisfazione" semplice errata?

https://www.generacodice.com/it/articolo/1580912/consistenza-m-fortemente-relazionale-quando-i-domini-contengono-nella-maggior-parte-degli-elementi-m-implica-la-soddisfazione-semplice-errata
  satisfiability  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

I problemi di soddisfazione del vincolo binario a dominio finito sono risolvibili nel tempo polinomiale?

https://www.generacodice.com/it/articolo/1578807/i-problemi-di-soddisfazione-del-vincolo-binario-a-dominio-finito-sono-risolvibili-nel-tempo-polinomiale
  complexity-theory  -  constraint-satisfaction  -  polynomial-time
cs.stackexchange cs.stackexchange

I risultati di approssimazione per i CSP valgono anche quando i domini sono finiti ma dimensioni diverse?

https://www.generacodice.com/it/articolo/1576107/i-risultati-di-approssimazione-per-i-csp-valgono-anche-quando-i-domini-sono-finiti-ma-dimensioni-diverse
  approximation  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

CSP teorici in cui (in) i vincoli di uguaglianza possono essere espressi come un singolo vincolo?

https://www.generacodice.com/it/articolo/1576053/csp-teorici-in-cui-in-i-vincoli-di-uguaglianza-possono-essere-espressi-come-un-singolo-vincolo
  optimization  -  np-hard  -  constraint-satisfaction  -  reductions
cs.stackexchange cs.stackexchange
Risultati trovati: 126
scroll top