๋ถ๋ฑ์์ ์์ญ โ ๊ทธ๋ํ๋ก ์ฐพ๋ ๋ฒ์
๊ณต์ฅ์์ ๋ ์ ํ์ ์์ฐํ ๋, ์ฌ๋ฃ์ ์๊ฐ ์ ์ฝ ์์์ ์ด์ต์ ์ต๋๋ก ๋ง๋๋ ์์ฐ๋์ ์ด๋ป๊ฒ ์ฐพ์๊น์? ์์ญ ๊ฐ์ ์กฐ๊ฑด์ ๋์์ ๋ง์กฑํ๋ '์ต์ ์ '์ด ๊ทธ๋ํ ์์ ์จ์ด ์์ต๋๋ค!
๐ก ์ ํ์ํ ๊น์?
ํญ๊ณต์ฌ๋ ์ฐ๋ฆฝ๋ถ๋ฑ์์ผ๋ก ํํ๋ ์ ์ฝ ์กฐ๊ฑด(์ข์ ์, ์ฐ๋ฃ, ๋นํ ์๊ฐ ๊ท์ )์ ๋ง์กฑํ๋ฉด์ ์์ต ๋ฅผ ์ต๋ํํฉ๋๋ค. ์ด ๊ฐ๋ฅ ์์ญ์ ๊ผญ์ง์ ์์ ์ต์ ํด๊ฐ ๋์ค๋ ์๋ฆฌ๊ฐ ํ๋ ๋ฌผ๋ฅยทAIยท๊ธ์ต์ ํต์ฌ์ ๋๋ค.
๐ ์ญ์ฌ ์ด์ผ๊ธฐ
์กฐ์ง ๋จ์นํ
1947๋ ยท ๋ฏธ๊ตญ
๋ถ๋ฑ์์ ์์ญ๊ณผ ์ ํ๊ณํ๋ฒ์ ์ด์ผ๊ธฐ๋ ์ 2์ฐจ ์ธ๊ณ๋์ ์ ๊ตฐ์๋ฌผ์ ๋ฐฐ๋ถ ๋ฌธ์ ์์ ์์ํฉ๋๋ค. ๋ฏธ๊ตญ ๊ณต๊ตฐ ์ฅ๊ต์๋ ์กฐ์ง ๋จ์นํ(George Dantzig)๋ 1947๋ , ์ฌ๋ฌ ๋ถ๋ฑ์ ์กฐ๊ฑด์ ๋์์ ๋ง์กฑํ๋ฉด์ ๋ชฉ์ ํจ์๋ฅผ ์ต์ ํํ๋ ๋ฐฉ๋ฒ์ธ ์ฌํ๋ ์ค ์๊ณ ๋ฆฌ์ฆ(Simplex Algorithm)์ ๋ฐ๋ช ํ์ต๋๋ค. ์ด๋ ๋ถ๋ฑ์์ ์์ญ(๋ค๊ฐํ ๊ฐ๋ฅ ์์ญ)์ ๊ผญ์ง์ ์ ์ํํ๋ฉฐ ์ต์ ๊ฐ์ ์ฐพ๋ ํ์ ์ ์ธ ๋ฐฉ๋ฒ์ด์์ต๋๋ค. ๋จ์นํ์๊ฒ๋ ์ฌ๋ฏธ์๋ ์ผํ๊ฐ ์์ต๋๋ค. 1939๋ ๋ํ์์ ์์ , ์์ ์ ์ง๊ฐํด์ ์น ํ์ ์ ํ ๋ ๋ฌธ์ ๋ฅผ ์์ ์ธ ์ค ์๊ณ ํ์ด ์ ์ถํ๋๋ฐ, ์๊ณ ๋ณด๋ ๊ทธ ๋ฌธ์ ๋ค์ ๋น์ ์ํ๊ณ๊ฐ ๋ฏธํด๊ฒฐ๋ก ์ฌ๊ธฐ๋ ํต๊ณํ์ ๋์ ์์ต๋๋ค. ๊ทธ๋ ๊ทธ๊ฒ๋ ๋ชจ๋ฅด๊ณ ํ์ด๋ฒ๋ฆฐ ๊ฒ์ ๋๋ค! ์ด ์ผํ๋ ๋์ค์ ์ํ ใ๊ตฟ ์ ํํ ใ์ ์์ฌ๊ฐ ๋์๋ค๊ณ ์๋ ค์ ธ ์์ต๋๋ค. ์ ํ๊ณํ๋ฒ์ ์ ์กฐ์ , ํญ๊ณต์ฌ ์ผ์ , ๊ธ์ต ํฌํธํด๋ฆฌ์ค, ์๋จ ์ค๊ณ, ๋ฌผ๋ฅ ์ต์ ํ ๋ฑ ํ๋ ์ฌํ์ ๊ฑฐ์ ๋ชจ๋ ์์ฌ๊ฒฐ์ ์์ญ์ ์ ์ฉ๋ฉ๋๋ค. ์ฐ๋ฆฝ๋ถ๋ฑ์์ด ๋ง๋ค์ด๋ด๋ ๋ค๊ฐํ ์์ญ ์์์ ์ต์ ์ ์ ํ์ ์ฐพ๋ ์ด ์ํ์ ๋๊ตฌ๋, ์ค๋๋ ์ธ๊ณต์ง๋ฅ๊ณผ ์ด์ฉ์ฐ๊ตฌ(Operations Research)์ ๊ทผ๊ฐ์ด ๋๊ณ ์์ต๋๋ค.
"๋ฌธ์ ๋ฅผ ์ฌ๋ฐ๋ฅด๊ฒ ์ ์ํ ์๋ง ์๋ค๋ฉด, ํด๊ฒฐ์ฑ ์ ์ด๋ฏธ ์ ๋ฐ์ฏค ์ฐพ์ ๊ฒ์ด๋ค." โ ์กฐ์ง ๋จ์นํ
๐ฌ ์ง์ ๋ฐ๊ฒฌํ๊ธฐ
๐ ๊ณต์ ์ดํดํ๊ธฐ
f(x, y) > 0 \Leftrightarrow \text{๊ฒฝ๊ณ์ } f(x,y)=0\text{์ ์์ชฝ(๋๋ ์ค๋ฅธ์ชฝ) ์์ญ}๋ถ๋ฑ์ ์ ์์ญ์ ๊ฒฝ๊ณ์ ์ผ๋ก ํ๋ฉด์ด ๋๋๋ ๋ ์์ญ ์ค ํ๋์ ๋๋ค. ํ ์คํธ ์ (์: ์์ )์ ๋์ ํ์ฌ ์์์ด๋ฉด ์์ ์ชฝ, ์์์ด๋ฉด ๋ฐ๋์ชฝ์ด ํด์งํฉ์ ๋๋ค. ์ฐ๋ฆฝ๋ถ๋ฑ์์ ์์ญ์ ๊ฐ ๋ถ๋ฑ์ ์์ญ์ ๊ต์งํฉ์ ๋๋ค.
f(x,y)- ๋ถ๋ฑ์์ ์ข๋ณ ํจ์ (์: )
f(x,y) = 0- ๊ฒฝ๊ณ์ (๋ฑํธ๊ฐ ์์ผ๋ฉด ์ค์ , ์์ผ๋ฉด ์ ์ )
Z = px + qy- ๋ชฉ์ ํจ์ (์ต๋ํ ๋๋ ์ต์ํํ ๊ฐ)
(x_0, y_0)- ๊ฐ๋ฅ ์์ญ์ ๊ผญ์ง์ โ ์ต์ ๊ฐ ํ๋ณด
- 1๊ฒฝ๊ณ์ ์ ๊ทธ์ผ๋ฉด ํ๋ฉด์ด ๋ ๋ฐํ๋ฉด์ผ๋ก ๋๋๋ค
- 2ํ ์คํธ ์ (์: ์์ )์ ๋์ : . ์ด๋ฉด ์์ ์ชฝ์ด ์์ญ
- 3์ฐ๋ฆฝ๋ถ๋ฑ์: ๊ฐ ๋ถ๋ฑ์์ ์์ญ์ ์น ํ๊ณ , ๊ฒน์น๋ ๋ถ๋ถ(๊ต์งํฉ)์ด ๊ฐ๋ฅ ์์ญ
- 4์ ํ๊ณํ๋ฒ: ๋ชฉ์ ํจ์ ์ ์ต๋๊ฐ์ ๊ฐ๋ฅ ์์ญ์ ๊ผญ์ง์ ์์ ๋ฌ์ฑ๋จ(๊ผญ์ง์ ์ ๋ฆฌ)
๐งฌ ์๋ฆฌ: ์ด๋ป๊ฒ ํ์ํ๋?
๊ณต์์ ์ธ์ฐ๋ ๊ฒ์ด ์๋๋ผ, ์ด๋์ ์๋์ง๋ฅผ ์ดํดํ๋ ๊ฒ์ด์์
ํ์ ๋ฐฐ๊ฒฝ
๋ถ๋ฑ์์ ์์ญ์ ์ผ๋ณ์ ๋ถ๋ฑ์ ์ด ์์ง์ ์์ ๊ตฌ๊ฐ์ ์ ์ํ๋ ๊ฒ์ 2์ฐจ์ ํ๋ฉด์ผ๋ก ํ์ฅํ ๊ฐ๋ ์ ๋๋ค. ์์ง์ ์์ ์ ๋ฅผ ๊ฒฝ๊ณ๋ก ๋ ๊ตฌ๊ฐ์ด ์๊ธฐ๋ฏ, ํ๋ฉด์์๋ ์ง์ ์ ๊ฒฝ๊ณ๋ก ๋ ๋ฐํ๋ฉด์ด ์๊น๋๋ค. ์ฐ๋ฆฝ์ผ์ฐจ๋ถ๋ฑ์์ ์ฌ๋ฌ ๋ฐํ๋ฉด์ ๊ต์งํฉ์ผ๋ก ๋ค๊ฐํ ์์ญ์ ๋ง๋ค๋ฉฐ, ์ด๊ฒ์ด ์ ํ๊ณํ๋ฒ์ ๊ธฐํํ์ ๊ธฐ์ด์ ๋๋ค.
ํต์ฌ ๊ด๊ณ์
์ ํ๊ณํ๋ฒ์ ํต์ฌ ์ ๋ฆฌ(๊ผญ์ง์ ์ ๋ฆฌ): ๊ฐ๋ฅ ์์ญ์ด ๋ค๊ฐํ์ผ ๋, ์ ํ ๋ชฉ์ ํจ์ $Z = px + qy$์ ์ต๋๊ฐยท์ต์๊ฐ์ ๋ฐ๋์ ๊ผญ์ง์ ์์ ๋ฌ์ฑ๋ฉ๋๋ค. ์ด๋ ๋ชฉ์ ํจ์์ ๊ทธ๋ํ๊ฐ ๊ธฐ์ธ๊ธฐ $-p/q$์ธ ์ง์ ๋ค์ ๋ฌถ์์ด๊ณ , ์ด ์ง์ ์ด ๊ฐ๋ฅ ์์ญ์ ์ค์ณ ์ง๋๊ฐ ๋ ๊ฐ์ฅ ๋จผ์ ยท๋ง์ง๋ง์ผ๋ก ๋ฟ๋ ์ ์ด ๊ผญ์ง์ ์ด๊ธฐ ๋๋ฌธ์
๋๋ค.์ ๊ณต์์ ์ธ์ธ ํ์๊ฐ ์๋์?
๊ฒฝ๊ณ์ ํ๋ณ๋ฒ์ด ์๋ํ๋ ์ด์ : ์ฐ์ ํจ์ ๋ ๊ฒฝ๊ณ์ ์์์ ๋ถํธ๊ฐ ๋ฐ๋๋๋ค. ๊ฒฝ๊ณ์ ์์ชฝ์ ๋ถํธ๊ฐ ๋ฐ๋์ ๋ค๋ฅด๋ฏ๋ก(์ค๊ฐ๊ฐ ์ ๋ฆฌ), ํ ์คํธ ์ ํ ๊ณณ์ ๋ถํธ๋ง ์๋ฉด ์ ์ฒด ๋ฐํ๋ฉด์ ๋ถํธ๋ฅผ ๊ฒฐ์ ํ ์ ์์ต๋๋ค. ์ด๊ฒ์ด '์์ ๋์ ๋ฒ'์ด ํญ์ ํตํ๋ ์ํ์ ์ด์ ์ ๋๋ค.
๐ ํด์ฆ๋ก ํ์ธํ๊ธฐ
๋ถ๋ฑ์ ์ ์์ญ์ ์ํ๋ ์ ์? (์์ ์ ๋์ ํด ๋ณด์ธ์)
๋ฌดํ ๋๋ฆด ์ฐ์ต
๋๋ค 20๋ฌธ์ ยท ์ฝ 10๋ถ
๐ ์๋ฅ ๊ธฐ์ถ ๋ฌธ์
๐
์ด ๊ฐ๋ ์ ๊ธฐ์ถ ๋ฌธ์ ๋ฅผ ์ถ๊ฐ ์ค์ด์์
์๋ฅ ๊ธฐ์ถ ์ ์ฒด ๋ชฉ๋ก์์ ๊ด๋ จ ๋ฌธ์ ๋ฅผ ์ฐพ์๋ณด์ธ์.
๐ ์๋ฅ ๊ธฐ์ถ ์ ์ฒด ๋ณด๊ธฐ โ