Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

5
Preuves d'exactitude du compilateur
Je recherche du matériel didactique qui couvre les preuves d'exactitude du compilateur, de préférence en utilisant des méthodes de dénotation, au niveau d'un étudiant débutant. Alternativement, connaissez-vous quelques exemples de compilateur simples que je pourrais utiliser pour illustrer les problèmes? (Le premier exemple qui m'est venu à l'esprit était un …



5
Réduire l'utilisation de l'espace de st-connectivité avec plusieurs passes?
Supposons qu'un graphe à n sommets soit présenté comme un flux de m arêtes, mais plusieurs passes sont autorisées sur le flux.gGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan et Sridar Rajagopalan ont observé que l' espace est nécessaire pour déterminer s'il existe un chemin entre deux sommets donnés dans G , …

4
Existe-t-il actuellement des recherches sur la mise en œuvre des extracteurs de hasard?
Y a-t-il eu des recherches sur la mise en œuvre de constructions d'extracteurs aléatoires? Il semble que les preuves d'extraction utilisent Big-Oh, laissant la possibilité de grandes constantes cachées, rendant les implémentations programmatiques potentiellement irréalistes. Un peu de contexte: je suis intéressé par l'utilisation d'extracteurs aléatoires comme source rapide (de …







3
Quel est le bon modèle théorique pour concevoir des algorithmes pour les ordinateurs haute performance actuels et à venir
Cette question est similaire à une question plus générale pour savoir quel est le bon modèle théorique d'un ordinateur pour concevoir des algorithmes et des structures de données. Ici, je pose des questions spécifiquement sur les ordinateurs haute performance actuels (comme ceux répertoriés dans le Top 500 ) ou même …

2
«Intégrer» une langue en soi
Question principale / générale Soit LLL une langue. Définissez les langues LiLiL_i avec L0=LL0=LL_0 = L et Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} pour . Considérez . Donc, nous "incorporons" à plusieurs reprises en lui-même pour obtenir .i≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} A été étudiée? …

1
Existe-t-il une image géométrique pour le calcul quantique adiabatique?
En calcul quantique adiabatique (AQC), on code la solution d'un problème d'optimisation à l'état fondamental d'un [problème] hamiltonien . Pour arriver à cet état fondamental, vous commencez dans un état initial (fondamental) facilement refroidissable avec Hamiltonian H i et "recuit" (perturber adiabatiquement) vers H p , c'est-à-direHpHpH_pHjeHiH_iHpHpH_p H( s ) …

2
Exécution de l'algorithme de Grover
Quelle est la complexité temporelle (et non la complexité des requêtes) de l'algorithme de Grover? Il me semble clair qu'il s'agit de car il existe des itérations et chaque itération nécessite l'utilisation de l'opération de réflexion qui à son tour prend du temps utilisant n'importe quel ensemble standard de portes …

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.