๊น์ด lg n ์ ๋คํญ์ ํฌ๊ธฐ โโ(์ธ ๋ฐ์ด๋ ํฌ์ธ) ํ๋ก๋ก ๋นํธ ์๊ณ ๊ฐ ๊ฒ์ดํธ๋ฅผ ๊ณ์ฐํ ์ ์์ต๋๊น?
n? ๋๋์ด ํ๋ก๋ฅผ ์ฌ์ฉํ์ฌ ์ ๋ ฅ ๋นํธ์์ 1์ ์๋ฅผ ๊ณ์ฐํ ์ ์์ต๋๊น?
lgโกnlgโกlgโกn๋ ?
TC0โAltTime(O(lgโกnlgโกlgโกn),O(lgโกn))์ฐธ๊ณ . ์๊ณ ๊ฐ ๊ฒ์ดํธ๋ฅผ ๊ณ์ฐํ ๋ ํ๋ก ๊น์ด์์ lg lg n ์ธ์๋ฅผ ์ ์ฝ ํ ์ ์๋์ง ๋ฌป๋ ๊ฒ์ด ๋ณธ์ง์ ์ผ๋ก ๋ฌธ์ ์ ๋๋ค .
ํฐ์จ0โ์์จ1=ใ ์์ํ์งํฐ๋๋๋ฏธ๋์์ด์ํ=ใ ์ํฐํฐ๋๋๋ฏธ๋์์ด์ํ(์ํ(lgโก์),์ํ(lgโก์))lgโกlgโก์
ํธ์งํ๋ค:
Kristoffer๊ฐ ๊ทธ์ ๋ต๋ณ์ ์ผ ๋ฏ์ด ์ฐ๋ฆฌ๋ factor๋ฅผ ๊ตฌํ ์ ์์ต๋๋ค . ํ์ง๋ง ์กฐ๊ธ ๋ ์ ์ฝ ํ ์ ์์ต๋๊น? O ๋ฅผ ๋์ฒด ํ ์ ์์ต๋๊น ( lg n
lgโกlgโก์์O(LGN
์ํ(lgโก์lgโกlgโก์)?
์ํ(lgโก์lgโกlgโก์)๊ณ์ธตํ ๋ ๋ฌด์ฐจ๋ณ ํธ๋ฆญ์ (๋ณด๋ค ์ผ๋ฐ์ ์ผ๋ก lg lg n + ฯ ( 1 )์ ๋ชจ๋ ๊ธฐ๋ฅ) ์ ์ ์ฅํ๋ ๋ฐ ์๋ํ์ง ์๋ ๊ฒ ๊ฐ์ต๋๋ค .
2lgโกlgโก์lgโกlgโกn+ฯ(1)
๋ต๋ณ
๊น์ด O ( log n ) ์ fanin 2 ํ๋ก๋ฅผ ๊ณ ๋ คํ์ญ์์ค . C ์ ๋ ์ด์ด ๋ฅผ O ๋ก ๋๋๋๋ค ( log n / log log
CO(logโกn)
C
๊ฐ log log n ์ฐ์ ๋ ์ด์ด๊ฐ์ฐจ๋จ๋ฉ๋๋ค. ์ด์ ๊ฐ ๋ธ๋ก์ ๊น์ด 2 ํ๋ก๋ก ๊ต์ฒดํ๋ ค๊ณ ํฉ๋๋ค. ์ฆ, ๋ธ๋ก์ ๋ง์ง๋ง ๋ ์ด์ด์์๋ ๊ฐ ๊ฒ์ดํธ๋ ์ต๋ 2 log log n = log n์ ์์กดํฉ๋๋ค
O(logโกn/logโกlogโกn)logโกlogโกn
2logโกlogโกn=logโกn
์๋ ๋ธ๋ก์์ ๋ง์ง๋ง ๋ ์ด์ด์ ๊ฒ์ดํธ. ๋ฐ๋ผ์ ๋ง์ง๋ง ๋ ์ด์ด์ ๊ฐ ๊ฒ์ดํธ๋ฅผ ๋คํญ์ ํฌ๊ธฐ์ DNF๋ก ๋์ฒด ํ ์ ์์ต๋๋ค. ์ ๋ ฅ์ ์๋ ๋ธ๋ก์ ๋ง์ง๋ง ๋ ์ด์ด์ ๊ฒ์ดํธ์ ๋๋ค. ๋ชจ๋ ๋ธ๋ก์ ๋ง์ง๋ง ๋ ์ด์ด์์ ๋ชจ๋ ๊ฒ์ดํธ์ ๋ํด ์ด๊ฒ์ ์ํํ๊ณ ์ด๋ค์ ์ฐ๊ฒฐํ๋ฉด ์ํ๋ ํ๋ก๊ฐ ์์ฑ๋ฉ๋๋ค.
์ค์์นญ ๋ณด์กฐ ์ ๋ฆฌ ํํ์ ๋ํ ๊น์ด์๋ ๋ชจ๋ ๋ฐฉ๋ฒ ์ ์์ต๋๋ค : ๋์ด ๋ณธ์ง์ ์ผ๋ก ์ป์ ์์๋ ์ต์ ์ ํ๋์ ๋๋ค์ฃผ์ํฉ์๋ค .
logโกn/logโกlogโกn