Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

2
MST: complessità dell'algoritmo di Prim, perché no
Secondo CLRS, gli algoritmi di Prim sono implementati come di seguito: MST-PRIM (G,w,r)MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) per ciascuno u ∈ V[ G ]u∈V[G]u \in V[G] fare tasto [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] mentre Q≠∅Q≠∅Q \ne \emptyset fare // ... 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 …
3
Come sviluppare un algoritmo risolvere il problema della somma 2?
Dato un array ordinato di numeri interi, voglio trovare il numero di coppie che si sommano a . Ad esempio, dato \ {- 3, -2,0,2,3,4 \} , il numero di coppie somma a zero è 2 .000{−3,−2,0,2,3,4}{−3,−2,0,2,3,4}\{-3,-2,0,2,3,4\}222 Sia NNN il numero di elementi nella matrice di input. Se uso la …
3
Mantenere un ordinamento efficiente in cui è possibile inserire elementi "in mezzo" tra due altri elementi nell'ordinamento?
Immagina di avere un ordine su un mucchio di elementi come questo: Dove una freccia X← YX←YX \leftarrow Y si intende X&lt; YX&lt;YX < Y. È anche transitivo:( X&lt; Y) ∧ ( 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). Per rispondere in modo …
1
Trova quali vertici eliminare dal grafico per ottenere il componente più piccolo più piccolo
Dato un grafico G=(V,E)G=(V,E)G = (V, E), trova kkk vertici {v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\}, la cui rimozione comporterebbe un grafico con il componente più piccolo più piccolo. Presumo in grande n=|V|n=|V|n = |V| e grande kkk il problema è difficile (NP-difficile), ma sono interessato a piccoli valori di kkk (k∈{1,2,3,4}k∈{1,2,3,4}k \in \{1, 2, …
1
Carta con la prova che
Queste diapositive illustrano una provaL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} non può essere accettato da alcun Automatico Pushdown deterministico. Sfortunatamente, le diapositive non forniscono riferimenti su da dove provenga la prova. Mi chiedevo, qualcuno conosce un documento accademico o …
1
NEXP = Σ ⟹ NEXP = MA?
È noto se l'implicazione vale?N E X P =Σ2⟹N E X P = M ANEXP=Σ2⟹NEXP=MUN\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (La domanda è ispirata al noto .)N E X P ⊆ P / p o l y ⇔ N E X P = M ANEXP⊆P/poly⇔NEXP=MUN\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} …
1
Il problema dell'universo per gli automi a un contatore con dimensioni alfabetiche limitate è indecidibile?
Considera il seguente problema dell'universo . Il problema dell'universo. Dato un set finito per una classe di lingue e un automa che accetta la lingua , decidere se .ΣΣ\SigmaLLLL =Σ*L=Σ*L=\Sigma^* In [1], si afferma e si dimostra che il problema dell'universo è indecidibile per una particolare classe di automi a …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.