L'informatique

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

2
MST: complexité de l'algorithme de Prim, pourquoi pas
Selon CLRS, les algorithmes de Prim sont implémentés comme ci-dessous - MST-PRIM(G,w,r)MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) pour chaque u∈V[G]u∈V[G]u \in V[G] faire key[u]←∞key[u]←∞\mathtt{\text{key}}[u] \leftarrow \infty π[u]←NILπ[u]←NIL\pi[u] \leftarrow \mathtt{\text{NIL}} key[r]←0key[r]←0\mathtt{\text{key}}[r] \leftarrow 0 Q←V[G]Q←V[G]Q \leftarrow V[G] tandis que Q≠∅Q≠∅Q \ne \emptyset faire // ... O(V)O(V)O(V) uuu ←←\leftarrow EXTRACT-MIN(u)EXTRACT-MIN(u)\mathtt{\text{EXTRACT-MIN}}(u) // ... O(lgV)O(lg⁡V)O(\lg V) pour chaque v∈adj[u]v∈adj[u]v \in …
3
Maintenir une commande efficace où vous pouvez insérer des éléments «entre» deux autres éléments dans la commande?
Imaginez que j'ai une commande sur un tas d'éléments comme ça: Où une flèche signifie . Il est également transitif: .X← OX←YX \leftarrow YX&lt; OX&lt;YX < Y( X&lt; O) ∧ ( Y&lt; Z)⟹( X&lt; Z)(X&lt;Y)∧(Y&lt;Z)⟹(X&lt;Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right) Pour répondre efficacement aux requêtes …
3
Comment développer un
Étant donné un tableau trié d'entiers, je veux trouver le nombre de paires qui totalisent . Par exemple, étant donné , le nombre de paires somme à zéro est .000{ - 3 , - 2 , 0 , 2 , 3 , 4 }{−3,−2,0,2,3,4}\{-3,-2,0,2,3,4\}222 Soit le nombre d'éléments dans le …
1
Trouvez les sommets à supprimer du graphique pour obtenir le plus petit composant le plus grand
Étant donné un graphique , trouvez sommets , dont la suppression aboutirait à un graphique avec la plus petite composante la plus grande. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Je suppose que pour grandet grand le problème est difficile (NP-difficile), mais je m'intéresse aux petites valeurs de ( ).n=|V|n=|V|n = |V|kkkkkkk∈{1,2,3,4}k∈{1,2,3,4}k \in …
2
Caractérisation du style Myhill-Nerode de la LCF?
Définir l' équivalence de Nérode sur une langueL⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*} comme u∼Lvu∼Lvu \sim_L v ssi uw∈L⇔vw∈Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in L pour chaque w∈Σ∗w∈Σ∗w \in \Sigma^{*}. L'équivalence Nerode ∼L∼L{\sim}_L a un nombre fini de classes d'équivalence précisément lorsque LLLpeut être reconnu par un automate à états finis. C'est le …
1
NEXP = Σ ⟹ NEXP = MA?
Est-il connu si l'implication NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} tient? (La question est inspirée de NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA} .)
1
Le problème de l'univers pour les automates à guichet unique avec une taille d'alphabet restreinte est-il indécidable?
Considérez le problème d'univers suivant . Le problème de l'univers. Étant donné un ensemble fini pour une classe de langages, et un automate acceptant le langage L , décidez si L = \ Sigma ^ * .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dans [1], il est indiqué et prouvé que le problème de l'univers est …
2
Veuillez expliquer «décidabilité» et «vérifiabilité»
J'essaie de comprendre (intuitivement) les deux termes «décidabilité» et «vérifiabilité». J'ai fait un nombre raisonnable de recherches et de lecture des différents textes sur lesquels je peux mettre la main. Cependant, leur compréhension intuitive semble m'échapper, spécialement pour le second. Parmi les nombreuses définitions trouvées, la suivante trouvée dans cette …
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.