์ ์ ์ด๋ค ๋ณ๋ ์์ ๊ฐ์ค์น๋ฅผ ๊ฐ์ง ์๋ ์ ํฅ ๊ทธ๋ํ์์ ์ฃผ์ด์ง ์ถ๋ฐ์ ๊ณผ ๋์ฐฉ์ ์ฌ์ด์ ์ต๋จ ๊ฒฝ๋ก ๋ฌธ์ ๋ฅผ ํธ๋ ์๊ณ ๋ฆฌ์ฆ ์๊ณ ๋ฆฌ์ฆ ๊ฐ์ ๋ฐ์ดํฌ์คํธ๋ผ ์๊ณ ๋ฆฌ์ฆ์ ๊ฐ๊ฐ์ ๊ผญ์ง์ v์ ๋ํด s์์ v๊น์ง์ ์ต๋จ ๊ฑฐ๋ฆฌ d[v]๋ฅผ ์ ์ฅํ๋ฉด์ ์๋ํ๋ค. ์๊ณ ๋ฆฌ์ฆ์ ์์ ์์ d[s]=0์ด๊ณ , s๊ฐ ์๋ ๋ค๋ฅธ ๋ชจ๋ ๊ผญ์ง์ v์ ๋ํด์๋ d[v]=∞๋ก ๋์ ๋ค๋ฅธ ๊ผญ์ง์ ์ ๋ํด์๋ ์์ง ์ต๋จ ๊ฒฝ๋ก๋ฅผ ๋ชจ๋ฅธ๋ค๋ ์ฌ์ค์ ํ์ํ๋ค. ์๊ณ ๋ฆฌ์ฆ์ด ์ข
๋ฃ๋์์ ๋ d[v]๋ s์์ v๊น์ง์ ์ต๋จ ๊ฒฝ๋ก์ ๊ฑฐ๋ฆฌ๋ฅผ ๋ํ๋ด๊ฒ ๋๊ณ , ๋ง์ฝ ๊ฒฝ๋ก๊ฐ ์กด์ฌํ์ง ์์ผ๋ฉด ๊ฑฐ๋ฆฌ๋ ์ฌ์ ํ ๋ฌดํ๋๋ก ๋จ๋๋ค. ๋ฐ์ดํฌ์คํธ๋ผ ์๊ณ ๋ฆฌ์ฆ์ ๋ณ ๊ฒฝ๊ฐ(edge relaxation)์ด๋ผ๊ณ ๋ถ๋ฆฌ๋ ๊ธฐ๋ณธ ์ฐ์ฐ์ ๋ฐํ์ผ๋ก ํ๋ค. s์์ u๊น์ง์ ์ต๋จ ๊ฒฝ๋ก(d[u])๋ฅผ ์ด๋ฏธ ์๊ณ ์๊ณ , u์์ v๊น์ง ๊ธธ์ด๊ฐ w(u,v)์ธ ๋ณ (u, v)๊ฐ ์กด์ฌํ ๋, s์์ v๊น์ง์ ์ต๋จ ๊ฒฝ๋ก๋ u๊น์ง์ ์ต๋จ ๊ฒฝ๋ก์ ๋ณ (u, v)๋ฅผ ์ถ๊ฐํจ์ผ๋ก์จ ์ป์ ์ ์๋ค. ์ด ๊ฒฝ๋ก์ ๋น์ฉ์ d[u]+w(u, v)๊ฐ ๋๋ฉฐ, ์ด ๋น์ฉ์ด ํ์ฌ์ d[v] ๊ฐ๋ณด๋ค ๋ฎ์ผ๋ฉด d[v]๋ฅผ ์๋ก์ด ๊ฐ์ผ๋ก ๋ฐ๊พผ๋ค. ๊ฒฝ๊ฐ ์ฐ์ฐ์ ๋ชจ๋ ๋ณ (u, v)์ ๋ํด ํ๋ฒ์ฉ ๊ฒฝ๊ฐ์ด ์ ์ฉ๋์ด ๋ชจ๋ d[v]๊ฐ ์ต๋จ ๊ฒฝ๋ก์ ๋น์ฉ์ ๋ํ๋ด๊ฒ ๋์์ ๋ ๋๋๋ค. ์คํ์๊ฐ ๊ฐ์ ๋ณ๊ณผ {\displaystyle n} ๊ฐ์ ๊ผญ์ง์ ์ ๊ฐ์ง ๊ทธ๋ํ ์ ๋ํด ๋๋ฌธ์ O ํ๊ธฐ๋ฒ ์ผ๋ก ๋ฐ์ดํฌ์คํธ๋ผ ์๊ณ ๋ฆฌ์ฆ์ ์คํ์๊ฐ์ ๋ํ๋ผ ์ ์๋ค. ๊ฐ์ฅ ๊ฐ๋จํ ๊ตฌํ์ผ๋ก, Q ์ ์งํฉ์ ์ฐ๊ฒฐ ๋ฆฌ์คํธ ๋ ๋ฐฐ์ด ๊ตฌ์กฐ๋ก ๊ตฌํํ๊ณ Extract-Min(Q) ํจ์๋ฅผ ๋จ์ํ ์ ํ ํ์ ์ผ๋ก ๊ตฌํํ์ ๋ ์คํ ์๊ฐ์ {\displaystyle O(n^{2})} ์๊ฐ์ด ๋๋ค. ๋ง์ฝ ํฌ์ ๊ทธ๋ํ(sparse graph), ์ฆ {\displaystyle n^{2}} ๋ณด๋ค ํจ์ฌ ์์ ๊ฐ์์ ๋ณ๋ง์ ๊ฐ๋ ๊ทธ๋ํ์ ๋ํด์๋,...