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 correctness-proof - Questa è pagina 4 - GeneraCodice
Riduzione del coperchio del vertice al set dominante
https://www.generacodice.com/it/articolo/2441622/riduzione-del-coperchio-del-vertice-al-set-dominante
np-hard
-
correctness-proof
-
reductions
-
polynomial-time-reductions
cs.stackexchange
I cannot find an invariant for the following program
https://www.generacodice.com/it/articolo/1808791/i-cannot-find-an-invariant-for-the-following-program
loops
-
loop-invariants
-
correctness-proof
-
hoare-logic
cs.stackexchange
L'ordinamento asintotico è conservato quando si prende il registro di entrambe le funzioni?
https://www.generacodice.com/it/articolo/1621486/l-ordinamento-asintotico-e-conservato-quando-si-prende-il-registro-di-entrambe-le-funzioni
asymptotics
-
correctness-proof
cs.stackexchange
Confusione dell'inizializzazione invariante in loop
https://www.generacodice.com/it/articolo/1616307/confusione-dell-inizializzazione-invariante-in-loop
loop-invariants
-
correctness-proof
cs.stackexchange
Ridurre al minimo il costo delle somme ricorsive a coppie: come dimostrare la soluzione avida?
https://www.generacodice.com/it/articolo/1616159/ridurre-al-minimo-il-costo-delle-somme-ricorsive-a-coppie-come-dimostrare-la-soluzione-avida
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
Confusione sull'assioma di assegnazione nella logica Hoare
https://www.generacodice.com/it/articolo/1615879/confusione-sull-assioma-di-assegnazione-nella-logica-hoare
logic
-
correctness-proof
-
hoare-logic
cs.stackexchange
Dimostra che l'algoritmo avido per rimuovere le cifre K da un numero intero positivo a n-digit è ottimale
https://www.generacodice.com/it/articolo/1615841/dimostra-che-l-algoritmo-avido-per-rimuovere-le-cifre-k-da-un-numero-intero-positivo-a-n-digit-e-ottimale
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
Dubins tsp np-hardness a prova di dettaglio
https://www.generacodice.com/it/articolo/1615393/dubins-tsp-np-hardness-a-prova-di-dettaglio
np-hard
-
traveling-salesman
-
correctness-proof
cs.stackexchange
Perché Subarray $ A [p..k-1] $ vuoto quando $ k = p $?
https://www.generacodice.com/it/articolo/1615117/perche-subarray-a-p-k-1-vuoto-quando-k-p
arrays
-
mergesort
-
notation
-
algorithm-analysis
-
correctness-proof
cs.stackexchange
Errore in una prova di terminazione dell'algoritmo simplex nei CLRS?
https://www.generacodice.com/it/articolo/1614789/errore-in-una-prova-di-terminazione-dell-algoritmo-simplex-nei-clrs
linear-programming
-
algorithms
-
correctness-proof
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 299