Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

2
Intuition pour la classe UP
La classe UP est définie comme telle: La classe de problèmes de décision pouvant être résolus par une machine NP telle que Si la réponse est «oui», exactement un chemin de calcul est accepté. Si la réponse est «non», tous les chemins de calcul sont rejetés. J'essaie de développer l'intuition …
7
Manuel d'algorithmes avancés
Je recherche des ressources (de préférence un manuel) sur des sujets avancés en algorithmes (sujets au-delà de ce qui est couvert dans les manuels d'algorithmes comme CLRS et DPV). Le type de matériel qui peut être utilisé pour enseigner un sujet dans un cours d'algorithmes comme le cours d'Erik Demaine …
3
Utilisation de la séquence de de Bruijn pour trouver le
Sean Anderson a publié des hacks twiddling contenant l'algorithme d'Eric Cole pour trouver le ⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceil d'un entier à NNN bits vvv dans les opérations O(lg(N))O(lg⁡(N))O(\lg(N)) avec multiplication et recherche. L'algorithme repose sur un nombre "magique" de la séquence de De Bruijn. Quelqu'un peut-il expliquer les propriétés mathématiques fondamentales …
1
Les automates unidirectionnels alternatifs avec un guichet unique peuvent-ils reconnaître certaines langues unaires non régulières?
Les automates pushdown alternatifs unidirectionnels (1APDA) peuvent reconnaître n'importe quelle langue en (Alternation par Chandra, Kozen et Stockmeyer, 1981) . En remplaçant un stockage pushdown d'un 1APDA par un compteur, nous pouvons obtenir un automate alternatif unidirectionnel avec un compteur (1ACA). Ma question concerne 1ACA sur les langues unaires.D TjeME( …
2
Difficulté à comprendre l'algorithme quantique pour le problème des sous-groupes cachés abéliens
J'ai du mal à comprendre les dernières étapes de l'algorithme AHSP. Soit soit un groupe abélien et f soient la fonction qui cache le sous - groupe H . Laissez G * représente le double groupe de G .GGGfffHHHG∗G∗G^*GGG Voici les étapes de l'algorithme Préparez d'abord l'état, .I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} …
2
Sur la prouvabilité de P versus NP
Tout d'abord, ma compréhension du théorème d'incomplétude de Gödel (et de la logique formelle en général) est très naïve, tout comme mes connaissances en informatique théorique (c'est-à-dire qu'un seul cours de troisième cycle est suivi pendant que je suis encore étudiant), donc cette question peut être très naïf. Pour autant …
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.