'NP' ๋ฌธ์
'๋น๊ฒฐ์ ์ ๋คํญ Nonedeterministic Polynomial' / '๋คํญ Polynomial', 'P'
๋คํญ ์๊ฐ ์์ ํ ์ ์๋ ํ์ ๋ฌธ์ ์ ์งํฉ์ผ๋ก, ๋น๊ฒฐ์ ๋ก ์ ๋คํญ์๊ฐ(Non-deterministic Polynomial time)
๋ฌธ์ ์ ๋ฐ๋ฅธ ๋ง๋ ๋ต์ธ์ง ๋ชจ๋ฅด๊ณ ๋ต์ ํ๋ณด๊ตฐ์ ์ํ ํ์คํ์ง ์์ ๋ต์ด ์ฃผ์ด์ก์ ๋,
์ฌ๋ฐ๋ฅธ ๋ต์ธ์ง ํ๋จ ๊ฐ๋ฅ์ผ ํด์ฃผ๋ '(polynomial) Time Complexity ์๊ฐ ๋ณต์ก๋' ์๊ณ ๋ฆฌ์ฆ์ด ์กด์ฌํ๋ ๊ทธ ๋ฌธ์ ๋ค์ 'NP'๋ผ ๋ถ๋ฅ.
'์ฌ์ด' ๋ฌธ์ ๋ ๋ณต์ก๋ ๋ฉด์์ '๋คํญ'.
์ง์๊ฐ 2๋ณด๋ค ํฌ๋ฉด ์ ์ฉํ๊ธฐ ์ด๋ ค์ธ ์ ์๋ ๋ถ๋ฅ์ ๋ฌธ์ 'P'.
์ด๋ฅผ Nยฒ ๊ฐ์ ์ด๋ค ๋คํญ์์ผ๋ก ํํ๋๋ ์คํ ์๊ฐ, ์ฆ ๋คํญ ์๊ฐ๋ด์ ํด๊ฒฐํ ์ ์๊ธฐ ๋๋ฌธ.
'NP' ๋ฌธ์ ๋ผ๋ ์งํฉ์ผ๋ก๋ถํฐ ํ์๋ 2๊ฐ์ ์ถ๊ฐ์ ์ธ ๋ฌธ์ ์งํฉ 'NP-Complete'์ 'NP-Hard'
์๊ธฐ ์์ ์ผ๋ก ๋คํญ์ ์๊ฐ๋ด์ ํ์๋ ์ ์๋ ๋ชจ๋ 'NP' ๋ฌธ์ ๋ค์ ๋ถ๋ฅ.
'NP-Hard' ๋ฌธ์ ๋ค ์ค, 'NP' ๋ฌธ์ ์ด๊ธฐ๋ ํ ๋ฌธ์ ๋ค.
์ผ๋ฐ์ ์ผ๋ก 'NP-Hard' ๋ฌธ์ ๋ 'NP' ๋ฌธ์ ๊ฐ ์๋ ์ ์๋๋ฐ,
๊ทธ ์ค 'NP' ๋ฌธ์ ์ด๊ธฐ๋ ํ ๋ฌธ์ ๋ค์ ๋ฐ๋ก 'NP-Complete' ๋ผ ๋ถ๋ฅ.
๋ณต์ก๋๋ฅผ ๋ค๋ฃฐ ๋
"์ด๋ค ๋ฌธ์ ๋ ๋ต์ ๊ณ์ฐํ๋ ๋ฐ ๊ทนํ์ ์๊ฐ์ด ํ์ํ๊ฒ ์ง๋ง ๋ชจ๋ ๋ฌธ์ ๋ฅผ ๋ํดํ๊ฒ ์ ๊ทผํ ํ์๋ ์๋ค."
"๋ณต์ก๋์ ๊ฒฐ๊ณผ๋ N์ด ํฐ ๊ฐ์ผ ๋๋ง ์ ์ฉ๋๋ ์ ๊ทผ์ (asymptotic) ์ฒ๋"
์)
f(n) = nยฒ + 3n์ด๋ฉด n์ด ๋งค์ฐ ์ปค์ง์๋ก ํญ 3n์ nยฒ์ ๋นํด ๋ฌด์๋ฏธํด์ง๋ฉฐ, ํจ์ f(n)์ n์ด ๋ฌดํ๋์ ๊ฐ๊น์์ง์ ๋ฐ๋ผ nยฒ๊ณผ ์ ๊ทผ์ ์ผ๋ก ๋์ผ.
ํ์ค์์๋ ์ด๋ฌํ ์ ๊ทผ์ ์๋ ๋ฐฉ์์ด ๋ฌธ์ ๊ฐ ๋์ง ์์ ์ ๋๋ก ์์ ์๋ ์๋ N,
๊ทธ๋์ ์ค์ ์ํฉ์์๋ ๋๋ถ๋ถ ๊ทผ์ฌ์น
๋ง ๊ตฌํ๋ ๊ฒ์ผ๋ก๋ ์ถฉ๋ถ
.
"์์ ํ ์ต์ ์ธ ํด๋ฒ์ ๊ตฌํ ํ์๋ ์๋ค."
๐ 1์ผ 1๋ก๊ทธ 100์ผ ์์ฑ IT ์ง์ ๐ ์ปดํจํฐ๊ณผํ์ด ์ฌ๋ ์ธ๊ณ 4์ฅ
๐ป https://technerd.tistory.com/27
๐ป https://ko.wikipedia.org/wiki/NP_(%EB%B3%B5%EC%9E%A1%EB%8F%84)
๐ป https://en.wikipedia.org/wiki/Asymptotic_analysis