Tag constraint-satisfaction - Questa è pagina 10 - GeneraCodice

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

Una relazione di $ k $ -ary può avere polimorfismi di arity superiori a $ k $?

https://www.generacodice.com/it/articolo/1572566/una-relazione-di-k-ary-puo-avere-polimorfismi-di-arity-superiori-a-k
  relational-algebra  -  constraint-satisfaction  -  polymorphisms
cs.stackexchange cs.stackexchange

Somiglianza tra conflitti Min e discesa delle coordinate nei CSP?

https://www.generacodice.com/it/articolo/1571222/somiglianza-tra-conflitti-min-e-discesa-delle-coordinate-nei-csp
  optimization  -  constraint-satisfaction
cs.stackexchange cs.stackexchange

Variante problema di riduzione della CNF-Sat

https://www.generacodice.com/it/articolo/1565060/variante-problema-di-riduzione-della-cnf-sat
  np-complete  -  satisfiability  -  constraint-satisfaction  -  reductions
cs.stackexchange cs.stackexchange

Contrastare con tre variabili in tre vincoli binari

https://www.generacodice.com/it/articolo/1546633/contrastare-con-tre-variabili-in-tre-vincoli-binari
  constraint-satisfaction
cs.stackexchange cs.stackexchange

Il dominio di una variabile non è altro che un vincolo?

https://www.generacodice.com/it/articolo/1545793/il-dominio-di-una-variabile-non-e-altro-che-un-vincolo
  type-theory  -  typing  -  constraint-programming  -  constraint-satisfaction  -  curry-howard
cs.stackexchange cs.stackexchange
Risultati trovati: 126
scroll top