Informatique théorique

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

3
Ajouter des entiers représentés par leur factorisation est aussi difficile que la factorisation? Demande de réference
Je recherche une référence pour le résultat suivant: Ajouter deux entiers dans la représentation factorisée est aussi difficile que factoriser deux entiers dans la représentation binaire habituelle. (Je suis presque sûr que c'est là-bas parce que c'est quelque chose que je me demandais à un moment donné, puis j'étais excité …
1
Pile divisible
Que sait-on des structures de données qui peuvent maintenir une séquence d'éléments soumis aux deux opérations suivantes? Appuyez sur (x): ajoutez x à la fin de la séquence et renvoyez un identifiant pour sa position dans la séquence Extraire (S): étant donné un ensemble d'identificateurs non ordonné, supprimer les éléments …
5
Applications de Vertex Cover dans le monde réel
Quelles sont les applications du problème de couverture Vertex dans le monde réel? Quels projets industriels ou de recherche utilisent des logiciels réellement mis en œuvre basés sur des résultats théoriques pour le problème Vertex Cover? En particulier, l'un des résultats théoriques suivants est-il mis en œuvre dans les logiciels …
1
Débit maximal avec Ford-Fulkerson et DFS
Cette question concerne la complexité temporelle de l' algorithme de flux maximal de Ford-Fulkerson lors de l'utilisation de DFS pour trouver des chemins d'augmentation. Il existe un exemple bien connu montrant qu'en utilisant DFS, on peut avoir besoin d'un nombre linéaire d'itérations dans le flux maximal, voir par exemple la …
1
La dureté NP implique-t-elle la dureté P?
Si un problème est NP-difficile (en utilisant des réductions de temps polynomiales), cela signifie-t-il qu'il est P-difficile (en utilisant l'espace logarithmique ou les réductions NC)? Il semble intuitif que s'il est aussi difficile que n'importe quel problème dans NP, il devrait être aussi difficile que n'importe quel problème dans P, …
2
Principe Minimax de Yao sur les algorithmes de Monte Carlo
Le célèbre principe Minimax de Yao établit la relation entre la complexité distributionnelle et la complexité aléatoire. Laissez PPP un problème avec un ensemble fini des entrées et un ensemble fini de l' algorithme déterministe pour résoudre . Soit également la distribution d'entrée et let \ mathcal {R} la distribution …
3
Source éducative ou enquête sur l'analyse du programme semi-défini?
Lors de la conception d'algorithmes d'approximation, on résout parfois un programme semi-fini suivi d'une étape d'arrondi. Un exemple souvent utilisé pour illustrer cela est Max-Cut. (Voir par exemple les algorithmes d'approximation de Vijay Vazirani.) Existe-t-il de bonnes sources ou enquêtes pédagogiques allant au-delà du problème Max-Cut pour expliquer des algorithmes …
2
Numéro de partition du protocole et complexité déterministe de la communication
Outre la complexité de communication (déterministe) d'une relation , une autre mesure de base pour la quantité de communication nécessaire est le numéro de partition de protocole . La relation entre ces deux mesures est connue jusqu'à un facteur constant. La monographie de Kushilevitz et Nisan (1997) donneRc c ( …
1
Classification des portes réversibles
Le réseau de Post , décrit par Emil Post en 1941, est essentiellement un diagramme d'inclusion complet d'ensembles de fonctions booléennes qui sont fermées sous composition: par exemple, les fonctions monotones, les fonctions linéaires sur GF (2) et toutes les fonctions. (Post n'a pas supposé que les constantes 0 et …
1
Considérations énergétiques sur le calcul
Afin de vérifier ma compréhension, je voudrais partager quelques réflexions sur les besoins énergétiques du calcul. Ceci fait suite à ma question précédente et pourrait être lié à la question de Vinay sur les lois de conservation . Il m'est apparu que, d'un point de vue thermodynamique, l'exécution d'un calcul …
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.