Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag correctness-proof - Ceci est la page 4 - GeneraCodice
Réduction de la couverture de sommet à l'ensemble dominant
https://www.generacodice.com/fr/articolo/2441622/reduction-de-la-couverture-de-sommet-a-l-ensemble-dominant
np-hard
-
correctness-proof
-
reductions
-
polynomial-time-reductions
cs.stackexchange
I cannot find an invariant for the following program
https://www.generacodice.com/fr/articolo/1808791/i-cannot-find-an-invariant-for-the-following-program
loops
-
loop-invariants
-
correctness-proof
-
hoare-logic
cs.stackexchange
L'ordre asymptotique est-il conservé lors de la prise du journal des deux fonctions?
https://www.generacodice.com/fr/articolo/1621486/l-ordre-asymptotique-est-il-conserve-lors-de-la-prise-du-journal-des-deux-fonctions
asymptotics
-
correctness-proof
cs.stackexchange
Loop Invariant Initialisation Confusion
https://www.generacodice.com/fr/articolo/1616307/loop-invariant-initialisation-confusion
loop-invariants
-
correctness-proof
cs.stackexchange
Minimiser le coût des sommes récursives par paires: comment prouver que la solution gourmand fonctionne?
https://www.generacodice.com/fr/articolo/1616159/minimiser-le-cout-des-sommes-recursives-par-paires-comment-prouver-que-la-solution-gourmand-fonctionne
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
Confusion sur l'affaignation axiome dans la logique Hoare
https://www.generacodice.com/fr/articolo/1615879/confusion-sur-l-affaignation-axiome-dans-la-logique-hoare
logic
-
correctness-proof
-
hoare-logic
cs.stackexchange
Prouver que l'algorithme gourmand pour éliminer les chiffres k d'un entier positif à n chiffon est optimal
https://www.generacodice.com/fr/articolo/1615841/prouver-que-l-algorithme-gourmand-pour-eliminer-les-chiffres-k-d-un-entier-positif-a-n-chiffon-est-optimal
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
Dubins TSP NP-Hardness Proofthe
https://www.generacodice.com/fr/articolo/1615393/dubins-tsp-np-hardness-proofthe
np-hard
-
traveling-salesman
-
correctness-proof
cs.stackexchange
Pourquoi le sous-réseau $ a [p..k-1] $ est vide lorsque $ k = p $?
https://www.generacodice.com/fr/articolo/1615117/pourquoi-le-sous-reseau-a-p-k-1-est-vide-lorsque-k-p
arrays
-
mergesort
-
notation
-
algorithm-analysis
-
correctness-proof
cs.stackexchange
Erreur dans une phase de preuve de terminaison de l'algorithme simplex dans les CLR?
https://www.generacodice.com/fr/articolo/1614789/erreur-dans-une-phase-de-preuve-de-terminaison-de-l-algorithme-simplex-dans-les-clr
linear-programming
-
algorithms
-
correctness-proof
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 299