L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

3
DEMI CLIQUE - Problème NP complet
Permettez-moi de commencer par noter qu'il s'agit d'un problème de devoirs, veuillez fournir uniquement des conseils et des observations connexes, AUCUNE RÉPONSE DIRECTE s'il vous plaît . Cela dit, voici le problème que je regarde: Soit HALF-CLIQUE = { | est un graphe non orienté ayant un sous-graphe complet avec …
3
Chemin vers les méthodes formelles
Il n'est pas rare de voir des étudiants commencer leur doctorat avec seulement une formation limitée en mathématiques et en aspects formels de l'informatique. De toute évidence, il sera très difficile pour ces étudiants de devenir des informaticiens théoriques, mais il serait bon qu'ils deviennent avertis en utilisant des méthodes …
5
Pourquoi le cryptage avec le même tampon unique n'est-il pas bon?
Pour crypter un message avec une touche à pavé unique vous faites .m1m1m_1kkkEnc(m1,k)=m1⊕kEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Si vous utilisez le même pour crypter un message différent vous obtenez , et si vous effectuez Xor des deux textes chiffrés, vous obtenez kkkm2m2m_2Enc(m2,k)=m2⊕kEnc(m2,k)=m2⊕kEnc(m_2,k) = m_2 \oplus k(m1⊕k)⊕(m2⊕k)=m1⊕m2(m1⊕k)⊕(m2⊕k)=m1⊕m2( m_1 \oplus k) \oplus …
3
Les unités de traitement parallèle massives d'aujourd'hui sont-elles capables d'exécuter efficacement les automates cellulaires?
Je me demande si les unités de calcul massivement parallèles fournies dans les cartes graphiques de nos jours (celle qui est programmable dans OpenCL , par exemple) sont assez bonnes pour simuler efficacement les automates cellulaires 1D (ou peut-être les automates cellulaires 2D?). Si nous choisissons la grille finie qui …
1
Ratio de problèmes décidables
Considérez les problèmes de décision énoncés dans un langage formel «raisonnable». Disons des formules en arithmétique Peano d'ordre supérieur avec une variable libre comme cadre de référence, mais je suis également intéressé par d'autres modèles de calcul: équations diophantiennes, problèmes de mots issus de règles de réécriture utilisant des machines …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.