L'informatique

13
Version restreinte du problème Clique?

Considérons la version suivante du problème Clique où l'entrée est de taille et on nous demande de trouver une clique de taille k . La restriction est que la procédure de décision ne peut pas transformer le graphe d'entrée en toute autre représentation et ne peut utiliser aucune autre...

13
Lissage dans le modèle Naive Bayes

Un prédicteur Naive Bayes fait ses prédictions en utilisant cette formule: P( O= y| X= x ) = α P( O= y) ∏jeP( Xje= xje| Oui= y)P(Oui=y|X=X)=αP(Oui=y)∏jeP(Xje=Xje|Oui=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) où est un facteur de normalisation. Cela nécessite d'estimer les paramètres partir...

13
Arrondi en virgule flottante

Un nombre à virgule flottante IEEE-754 <1 (c'est-à-dire généré avec un générateur de nombres aléatoires qui génère un nombre> = 0,0 et <1,0) peut-il être multiplié par un entier (sous forme de virgule flottante) pour obtenir un nombre égal ou supérieur à cet entier en raison de l'arrondi?...

13
Prouver que DOUBLE-SAT est NP-complet

Le problème SAT bien connu est défini ici à titre de référence. Le problème DOUBLE-SAT est défini comme DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has...

13
qu'est-ce que la sémantique?

Il existe de nombreuses langues populaires. Mais, les informaticiens nous disent que pour comprendre le comportement des programmes dans ces langues argumenter définitivement et sans ambiguïté sur le comportement du programme (par exemple prouver leur identité), nous devons les traduire dans un...

13
Réduction transitive du DAG

Je recherche l'algorithme O (V + E) pour trouver la réduction transitive avec un DAG. C'est-à-dire supprimer autant d'arêtes que possible de sorte que si vous pouviez atteindre v à partir de u, pour v et u arbitraires, vous puissiez toujours atteindre après suppression des bords. S'il s'agit d'un...

13
Algorithmes calculant si un nombre est multiple de 3

En faisant du calcul mental, on peut faire: Étant donné un entier k, additionnez tous les chiffres (en base 10), et si le résultat est un multiple de 3, alors k est un multiple de 3. Connaissez-vous un algorithme fonctionnant de manière similaire mais fonctionnant sur des chiffres binaires (bits)?...