Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag 2-sat - Questa è pagina 1 - GeneraCodice
Complessità di casi specifici di max2sat
https://www.generacodice.com/it/articolo/2475077/complessita-di-casi-specifici-di-max2sat
complexity-theory
-
np-complete
-
satisfiability
-
reductions
-
2-sat
cs.stackexchange
Contatore di soluzioni di tempo polinomiale di 2sat espressione con pura letterali
https://www.generacodice.com/it/articolo/2474084/contatore-di-soluzioni-di-tempo-polinomiale-di-2sat-espressione-con-pura-letterali
counting
-
2-sat
cs.stackexchange
Numero massimo di letterali positivi in 2sat
https://www.generacodice.com/it/articolo/2465552/numero-massimo-di-letterali-positivi-in-2sat
satisfiability
-
np
-
2-sat
cs.stackexchange
Max 2-SAT è il tempo polinomiale riducibile a 2-SAT?
https://www.generacodice.com/it/articolo/2455992/max-2-sat-e-il-tempo-polinomiale-riducibile-a-2-sat
satisfiability
-
2-sat
-
maxsat
cs.stackexchange
Utilizzare 2SAT per dimostrare che un grafico di implicazione deve avere un ciclo se non è soddisfacente
https://www.generacodice.com/it/articolo/2455665/utilizzare-2sat-per-dimostrare-che-un-grafico-di-implicazione-deve-avere-un-ciclo-se-non-e-soddisfacente
computability
-
satisfiability
-
graphs
-
2-sat
cs.stackexchange
Lunghezza prevista di una passeggiata casuale su una linea
https://www.generacodice.com/it/articolo/2447353/lunghezza-prevista-di-una-passeggiata-casuale-su-una-linea
probability-theory
-
algorithms
-
randomized-algorithms
-
random-walks
-
2-sat
cs.stackexchange
Dare un algoritmo NL per il complemento di 2-Sat
https://www.generacodice.com/it/articolo/1613185/dare-un-algoritmo-nl-per-il-complemento-di-2-sat
complexity-theory
-
2-sat
cs.stackexchange
È una versione "locale" di NP-Hard a 3-Sat?
https://www.generacodice.com/it/articolo/1612712/e-una-versione-locale-di-np-hard-a-3-sat
satisfiability
-
np-hard
-
3-sat
-
polynomial-time
-
2-sat
cs.stackexchange
Contare i modelli che soddisfano una formula booleana
https://www.generacodice.com/it/articolo/1609679/contare-i-modelli-che-soddisfano-una-formula-booleana
combinatorics
-
satisfiability
-
2-sat
cs.stackexchange
Struttura generale delle soluzioni ai circuiti a 3 sacchetti
https://www.generacodice.com/it/articolo/1604656/struttura-generale-delle-soluzioni-ai-circuiti-a-3-sacchetti
satisfiability
-
constraint-satisfaction
-
3-sat
-
2-sat
cs.stackexchange
«
1
2
3
4
»
Risultati trovati: 36