์ง์ ์๊ณ ๋ฆฌ์ฆ(exponential)
๋ชจ๋ ๊ฐ๋ฅํ ๊ฒฝ์ฐ๋ฅผ ํ๋์ฉ ์๋ํด ๋ด์ผ๋ง ํ๋ ์ํฉ์์ ๋ฐ์
์ง์ ๋ณต์ก๋, ์ค์ํ์์ ์์ฃผ ๋ฑ์ฅํ์ง๋ง ํจ์จ์ด ํนํ ๋ฎ๊ณ ์ค์
์ ์ ๊ณต๊ฒฉ์ ๋ฐฉ์งํ๋ ์ํธ๊ธฐ๋ฒ์์ ์ฌ์ฉ
P
์ฌ์ด
๋ฌธ์ ๋ ๋ณต์ก๋ ๋ฉด์์ ๋คํญ
๋คํญ(Polynomial)์ ์๋ฏธํ๋ P
NP
์ค์ ๋ก ๋ฐ์
ํ๋ ๋ง์ ๋ฌธ์ ๋ ๊ทธ๋ฐ ๋ฌธ์ ๋ค์ ๊ทผ๋ณธ
์ด ๋๋ ๋ฌธ์ ๋ฅผ ํด๊ฒฐํ๋ ค๋ฉด ์ง์ ์๊ณ ๋ฆฌ์ฆ์ด ํ์
์ด๋ฌํ ๋ฌธ์ ๋ ๋คํญ ์๊ณ ๋ฆฌ์ฆ์ผ๋ก๋ ํ ์ ์์
๋น๊ฒฐ์ ์ ๋คํญ(Nondeterministic Polynomial)
์ ์๋ฏธํ๋ NP
๋ํ์ ์ธ ๋ฌธ์ ๊ฐ ์ฌํํ๋ ์ธํ์ ๋ฌธ์ (traveling salesman problem)
๊ฐ ๋์๋ฅผ ์ค๋ณต ์์ด ์ ํํ 1๋ฒ์ฉ๋ง ๋ฐฉ๋ฌธํ๊ณ , ์ ์ฒด ์ฌํํ ๊ฑฐ๋ฆฌ๋ฅผ ์ต์๋ก ๋ง๋๋๊ฒ ๋ชฉ์
๊ฐ๋ฅํ ๋ชจ๋ ํด๋ฒ์ ์์ ํ์ํ๋ ๊ฒ๋ณด๋ค ๋ ํจ์จ์ ์ผ๋ก ํ ๋ฐฉ๋ฒ์ด ์์
์ปดํจํฐ๊ณผํ์๊ฐ ๋งํ๋ ๋ณต์ก๋๋ ๋๋ถ๋ถ ์ต์ ์ ๊ฒฝ์ฐ(worst case)์ ๋ํ ๊ฒ์ด์ง๋ง ๋ณดํต์ ์ต์ ์ ๊ฒฝ์ฐ๊น์ง ๊ฐ์ง ์์
๋ฐ๋ฉด, ์ํธ ์์คํ ๊ฐ์ ์ผ๋ถ ์ค์ํ ์์ฉ ๋ถ์ผ๋ ํน์ ๋ฌธ์ ๋ ์ ๋ง๋ก ํ๊ธฐ ์ด๋ ค์ธ ๊ฒ์ด๋ผ๋ ๋ฏฟ์์ ๊ธฐ๋ฐํ์ฌ ๋จ๊ธฐ์ ์ผ๋ก๋ ์คํจ์ฑ์ด ์์ด ๋ณด์ด๋ ๊ณต๊ฒฉ์ด๋ผ๋, ๊ทธ ๊ณต๊ฒฉ์ ๋ฐ๊ฒฉํด ๋ด๋ ๊ฑด ๋๋จํ ์ค์ํจ
๋ฐ์ดํฐ์ ์๊ณผ ๊ด๋ จํด์ ์คํ ์๊ฐ์ ํํํ๋ ์์ด๋์ด๋ ์ผ๋ง๋ ๋นจ๋ฆฌ ๊ณ์ฐํ ์ ์๋๊ฐ์ ๋ํ ์๊ฐ์ ์ ์ ํ ๊ฒฐ๊ณผ์ [$$O(N)$$, $$O(logN)$$, $$O(N^2)$$, $$O(NlogN)$$ ๋ฑ]
์๊ณ ๋ฆฌ์ฆ๊ณผ ๋ณต์ก๋ ์ฐ๊ตฌ๋ ์ปดํจํฐ๊ณผํ์ ์ฃผ์ ์์ญ์ผ๋ก ๊ทผ๋ณธ์ ์ผ๋ก ์๋กญ๊ณ ๋ ๋์ ๊ณ์ฐ ๋ฐฉ๋ฒ์ ์ฐพ์๋
์์ถ/์ค๋ฅ ๊ฒ์ถ/์์ ์๊ณ ๋ฆฌ์ฆ, ์ํธ ๊ธฐ๋ฒ, ๊ฒ์ ์์ง ์๊ณ ๋ฆฌ์ฆ(์์ง/์กฐ์งํ/๊ฒ์), ์์ฑ ์ดํด/์ผ๊ตด๊ณผ ์์ ์ธ์/์ธ์ด์ ๊ธฐ๊ณ ๋ฒ์ญ ๋ฑ์ ๋ง์ ์์ญ์์
์๊ณ ๋ฆฌ์ฆ์ ์ค์ํจ