Sterkt sammenhengende komponenter
Gruppér gjensidig nåbare noder med Tarjan
Sterkt sammenhengende komponenter er en gratis leksjon i Competitive Programming Academy på CoddyKit. Dette er leksjon 3 av 4. Du kan lese hele leksjonen gratis nedenfor – og deretter øve praktisk i nettleseren med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Den er en del av læringsløpet i Competitive Programming Academy, og fremdriften din synkroniseres mellom nettet og CoddyKit-appen. Kurset i Competitive Programming Academy inneholder totalt 4 leksjoner.
Hva en SCC er
En sterkt sammenhengende komponent er en maksimal gruppe noder der hver node kan nå alle de andre ved å følge rettede kanter.
Hvorfor dette er nyttig
Hvis hver SCC slås sammen til én supernode, blir enhver rettet graf til en DAG. Da blir gjensidige avhengigheter enklere å forstå.
Tarjan i én gjennomgang
Tarjans algoritme finner alle SCC-er i én enkelt DFS. Den kjører på O(V + E), altså med samme kostnad som én vanlig gjennomgang.
Oppdagelsesnumre
Gi hver node en oppdagelsestid i den rekkefølgen DFS først besøker den. Disse ID-ene lar deg sammenligne hvilken node som ble besøkt først.
disc = [-1] * n
timer = 0Low-link-verdien
Hver nodes low-link er den minste oppdagelses-ID-en som kan nås fra den, også via tilbakekanter. Den forankrer komponenten.
low = [-1] * nLegg noden på stakken
Når DFS går inn i en node, setter du disc og low og legger den på en stakk med noder som kan tilhøre samme komponent.
disc[u] = low[u] = timer
timer += 1
stack.append(u)
on_stack[u] = TrueOppdater low fra barna
Etter rekursjonen inn i et ubesøkt barn trekker du low-verdien opp: low[u] blir minimumet av sin egen verdi og barnets low.
dfs(v)
low[u] = min(low[u], low[v])Behandle tilbakekanter
Hvis en nabo allerede er på stakken, er den en forfar i denne SCC-en. Bruk disc-verdien til å redusere low[u].
elif on_stack[v]:
low[u] = min(low[u], disc[v])Finn roten til en komponent
Når low[u] er lik disc[u], er node u roten til en SCC. Alt som ligger over den på stakken, tilhører samme komponent.
Ta komponenten av stakken
Ved en rot tar du noder av stakken til du har fjernet u. Gruppen som tas av, er nøyaktig én sterkt sammenhengende komponent.
while True:
w = stack.pop()
on_stack[w] = False
comp.append(w)
if w == u: breakKosaraju som alternativ
Foretrekker du to gjennomganger? Kosarajus algoritme kjører DFS, snur alle kantene og kjører deretter DFS på nytt i ferdigstillingsrekkefølge for å finne SCC-ene.
Kort sjekk
Under Tarjans DFS oppfyller node u betingelsen low[u] == disc[u]. Hva forteller det deg?
Oppsummering: SCC-er med Tarjan
Følg disc og low i én DFS, legg aktive noder på en stakk, og ta av en komponent hver gang low er lik disc. SCC-er på O(V+E). 🧩
Lær deg Python med en AI-veileder – gratis
Skriv og kjør ekte kode i nettleseren, få umiddelbar hjelp fra en AI-veileder som er tilgjengelig døgnet rundt, og fortsett der du slapp – på nettet eller i appen.
- Kurs
- 30
- Leksjoner
- 120
Ofte stilte spørsmål
Er leksjonen «Sterkt sammenhengende komponenter» gratis?
Ja – hele teksten i «Sterkt sammenhengende komponenter» er gratis å lese her på nettet. For å øve interaktivt med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt, og for å låse opp resten av Competitive Programming Academy-kurset, kan du oppgradere til CoddyKit PRO. Kurset i Competitive Programming Academy inneholder totalt 4 leksjoner.
Hva lærer jeg i «Sterkt sammenhengende komponenter»?
Gruppér gjensidig nåbare noder med Tarjan Du øver på Competitive Programming Academy med praktisk kode som du kjører direkte i nettleseren, mens en AI-veileder som er tilgjengelig døgnet rundt, svarer på spørsmålene dine mens du jobber deg gjennom leksjonen.
Trenger jeg erfaring for å begynne med Competitive Programming Academy?
Ingen tidligere erfaring er nødvendig. Competitive Programming Academy på CoddyKit er lagt opp for både nybegynnere og viderekomne, så De kan begynne her eller helt fra start og lære i Deres eget tempo. Dette er leksjon 3 av 4.
Hvor lang tid tar leksjonen «Sterkt sammenhengende komponenter»?
De fleste CoddyKit-leksjoner tar omtrent 5–10 minutter. Hver leksjon er kort og interaktiv, slik at De gjør jevne fremskritt og kan fortsette akkurat der De slapp – både på nettet og i appen.
Kan jeg skrive og kjøre kode i denne Competitive Programming Academy-leksjonen?
Ja. Alle Competitive Programming Academy-leksjoner har en innebygd kodeeditor, slik at De kan skrive og kjøre ekte kode direkte i nettleseren og få umiddelbar tilbakemelding fra AI – uten lokal konfigurering.
Alle leksjonene i dette kurset
- Topologisk sortering med Kahns algoritme
- Finn sykluser i rettede grafer
- Sterkt sammenhengende komponenter
- Broer og artikulasjonspunkter