Jeg lurer på om kjøretiden for Johnson når man bruker en binærhaug er . Eller er det og i så fall hvorfor kan man fjerne det første leddet?

E-post-spørsmål fra 2018

Godt spørsmål! Svaret er ikke helt opplagt, dessverre – det er flere ting å ta tak i. Om vi ser bort fra noen detaljer, så består Johnson av én kjøring av Bellman-Ford etterfulgt av kjøringer av Dijkstra. Den totale kjøretiden blir altså:

Allerede her er vi inne på noen finurligheter, som ikke er helt innenfor pensum, men som er relativt rett fram: Slik Cormen m. fl. implementerer Dijkstra, bygger de prioritetskøen i starten. De sier der at de bruker stk. Insert, som for en binærhaug vil gi en byggetid på – om vi i stedet bare bruke Build-Heap, så blir kjøretiden . Men vi kan gå lenger enn det: Heller enn å bygge hele haugen til å begynne med, kan vi la grafen være urørt fra starten av, og bare legge inn noder i etterhvert som de oppdages, akkurat som i traverseringsalgoritmer som f.eks. BFS. I så fall vil vi ha én Insert og én Extract for hver node vi besøker, men vi besøker jo bare noder vi kan nå frem til – og vi kan bare nå frem til .

Så om vi implementerer Dijkstra slik, så ender vi med:

Med andre ord, . Men hva om vi implementerer algoritmen slik Cormen m. fl. gjør det, så vi får den forenklede kjøretiden

Kan vi likevel kvitte oss med -leddet? I beskrivelsen av Dijkstra skriver de:

The total running time is therefore , which is if all vertices are reachable from the source.

I dette tilfellet vil også traverseringsvarianten jeg beskrev over nå frem til alle nodene, så resonnementet blir da det samme. Så om vi gjør en antagelse om f.eks. at det finnes minst én node som kan nå alle andre så vil kjøretiden til Johnson være . Men Cormen m. fl. gjør (etter det jeg kan se) ikke den antagelsen eksplisitt – de skriver bare:

The … binary heap implementation yields a running time of , which is still asymptotically faster than the Floyd-Warshall algorithm if the graph is sparse.

Men med mindre man vet at og dermed , så er jo ikke det sikkert! Det er jo et spesielt relevant spørsmål når vi jobber med glisne (sparse) grafer – som de omtaler det:

sparse graphs—those for which is much less than

Da er det jo ikke urimelig å tenke at kanskje , og i så fall vil jo kjøretiden måtte forenkles til , med implementasjonen til Cormen et al. Så om du blir spurt om hva kjøretiden til Johnson er, så er nok det tryggeste svaret , men er også et rimelig svar – spesielt siden det er det som står i boka! Vi baserer oss da på den samme antagelsen som gir oss denne forenklingen for Dijkstra, nemlig at vi kan nå alle nodene (fra minst én av startnodene).