Investor's wiki

제로원 정수 프로그래밍

제로원 정수 프로그래밍

Zero-One μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ°μ΄λž€ λ¬΄μ—‡μž…λ‹ˆκΉŒ?

0-1 μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ°('0-1' μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ°μœΌλ‘œλ„ μ“Έ 수 있음)은 일련의 이진 ν•¨μˆ˜λ₯Ό μ‚¬μš©ν•˜λŠ” μˆ˜ν•™μ  λ°©λ²•μž…λ‹ˆλ‹€. 특히, μƒν˜Έ 배타적인 두 가지 μ˜΅μ…˜ 이 μžˆλŠ” 경우 예('1') 및 μ•„λ‹ˆμ˜€('0')둜 μ‘λ‹΅ν•˜μ—¬ μ†”λ£¨μ…˜μ— λ„λ‹¬ν•©λ‹ˆλ‹€ .

금육 μ„Έκ³„μ—μ„œ 0-1 μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ°μ€ 자본 합리화 문제 에 λŒ€ν•œ 닡을 μ œκ³΅ν•˜κ³  투자 μˆ˜μ΅μ„ μ΅œμ ν™”ν•˜κ³  κ³„νš, 생산, μš΄μ†‘ 및 기타 문제λ₯Ό μ§€μ›ν•˜λŠ” 데 자주 μ‚¬μš©λ©λ‹ˆλ‹€.

Zero-One μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ° μ΄ν•΄ν•˜κΈ°

μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ°μ€ 문제λ₯Ό ν•΄κ²°ν•˜κΈ° μœ„ν•΄ 방정식을 λ§Œλ“œλŠ” 것과 κ΄€λ ¨λœ μˆ˜ν•™ ν”„λ‘œκ·Έλž˜λ° λ˜λŠ” μ΅œμ ν™”μ˜ ν•œ λΆ„μ•Όμž…λ‹ˆλ‹€. "μˆ˜ν•™ ν”„λ‘œκ·Έλž˜λ°"μ΄λΌλŠ” μš©μ–΄λŠ” λ‹€μ–‘ν•œ 문제λ₯Ό ν•΄κ²°ν•˜λŠ” λͺ©ν‘œκ°€ μ‹€ν–‰ ν”„λ‘œκ·Έλž¨μ„ μ„ νƒν•˜λŠ” κ²ƒμ΄λΌλŠ” 사싀과 관련이 μžˆμŠ΅λ‹ˆλ‹€. λ‹¨μˆœν•œ yes/no 값을 ν• λ‹Ήν•˜λŠ” 것은 λΉ„νš¨μœ¨μ„±μ„ μ‹λ³„ν•˜κΈ° μœ„ν•œ μ„ ν˜• 문제 ν•΄κ²° ν”„λ ˆμž„μ›Œν¬λ₯Ό κ΅¬μΆ•ν•˜λŠ” κ°•λ ₯ν•œ 방법이 될 수 μžˆμŠ΅λ‹ˆλ‹€.

기본적으둜 μ»΄ν“¨ν„°μ—μ„œ μ‹€ν–‰λ˜λŠ” κ°€μž₯ 기본적인 λͺ…λ Ήμ–΄λŠ” 1κ³Ό 0으둜만 κ΅¬μ„±λœ 이진 μ½”λ“œμž…λ‹ˆλ‹€. μ΄λŸ¬ν•œ μ½”λ“œλŠ” μ»΄ν“¨ν„°μ˜ 물리적 회둜λ₯Ό 톡해 μ΄λ™ν•˜λŠ” μ „κΈ°μ˜ "켜짐" 및 "꺼짐" μƒνƒœλ‘œ 직접 λ³€ν™˜λ©λ‹ˆλ‹€. 본질적으둜 μ΄λŸ¬ν•œ κ°„λ‹¨ν•œ μ½”λ“œλŠ” κ°€μž₯ 기본적인 ν”„λ‘œκ·Έλž˜λ° 언어인 "기계어"의 기초λ₯Ό ν˜•μ„±ν•©λ‹ˆλ‹€. μ΄λŸ¬ν•œ 켜짐 및 꺼짐 μœ„μΉ˜λŠ” 논리 κΈ°λŠ₯에 "예" λ˜λŠ” "μ•„λ‹ˆμ˜€"λ₯Ό ν• λ‹Ήν•˜λŠ” κ²ƒμœΌλ‘œ 해석될 μˆ˜λ„ μžˆμŠ΅λ‹ˆλ‹€.

λ¬Όλ‘  1κ³Ό 0을 λͺ…μ‹œμ μœΌλ‘œ ν”„λ‘œκ·Έλž˜λ°ν•˜μ—¬ ν˜„λŒ€ μ†Œν”„νŠΈμ›¨μ–΄ ν”„λ‘œκ·Έλž¨μ„ ꡬ성할 수 μžˆλŠ” μ‚¬λžŒμ€ 아무도 μ—†μŠ΅λ‹ˆλ‹€. λŒ€μ‹ , 인간 ν”„λ‘œκ·Έλž˜λ¨ΈλŠ” μΈκ°„μ—κ²Œ 더 직관적인 ν˜•μ‹μœΌλ‘œ λͺ…령을 λͺ…ν™•ν•˜κ²Œ ν‘œν˜„ν•  수 μžˆλŠ” λ‹€μ–‘ν•œ 좔상화 계측에 μ˜μ‘΄ν•΄μ•Ό ν•©λ‹ˆλ‹€. 특히, ν˜„λŒ€ ν”„λ‘œκ·Έλž˜λ¨ΈλŠ” 전체 μ˜μ–΄ 단어 및 λ¬Έμž₯κ³Ό 같은 직관적 ꡬ문과 "And", "Or" 및 "Else"와 같은 논리 μ—°μ‚°μžλ₯Ό ν™œμš©ν•˜λŠ” μ†Œμœ„ "κ³ κΈ‰ μ–Έμ–΄"둜 λͺ…령을 μ‹€ν–‰ν•©λ‹ˆλ‹€. 일상적인 μ‚¬μš©μ— μ΅μˆ™ν•©λ‹ˆλ‹€.

κ·ΈλŸ¬λ‚˜ ꢁ극적으둜 μ΄λŸ¬ν•œ κ³ κΈ‰ λͺ…령은 κΈ°κ³„μ–΄λ‘œ λ²ˆμ—­λ˜μ–΄μ•Ό ν•©λ‹ˆλ‹€. ν”„λ‘œκ·Έλž˜λ¨ΈλŠ” μˆ˜λ™μœΌλ‘œ μˆ˜ν–‰ν•˜λŠ” λŒ€μ‹  μ΄λŸ¬ν•œ κ³ κΈ‰ 언어와 μ €μˆ˜μ€€ μ–Έμ–΄λ₯Ό μžλ™μœΌλ‘œ λ²ˆμ—­ν•˜λŠ” 것을 λͺ©μ μœΌλ‘œ ν•˜λŠ” μ–΄μ…ˆλΈ”λ¦¬ μ–Έμ–΄ 에 μ˜μ‘΄ν•©λ‹ˆλ‹€.

Zero-One μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ°μ˜ μ‹€μ œ 예

0이 μ•„λ‹Œ μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ° 이 μ–΄λ–»κ²Œ μ‚¬μš©λ  수 μžˆλŠ”μ§€μ— λŒ€ν•œ κ°„λ‹¨ν•œ μ˜ˆλŠ” νŠΉμ • λ‚ μ§œ λ˜λŠ” νŠΉμ • μ˜ˆμ‚° λ‚΄μ—μ„œ νšŒμ‚¬κ°€ μ™„λ£Œν•  수 μžˆλŠ” μ œν’ˆ 개발 ν”„λ‘œμ νŠΈμ˜ 수λ₯Ό κ²°μ •ν•˜λŠ” κ²ƒμž…λ‹ˆλ‹€. 예λ₯Ό λ“€μ–΄, 각 ν”„λ‘œμ νŠΈμ— λŒ€ν•œ μ—¬λŸ¬ λ³€μˆ˜μ— ν”„λ‘œμ νŠΈλ₯Ό μ˜ˆμ‚°μ— 포함할지 여뢀에 λŒ€ν•΄ ꢁ극적으둜 1(예) λ˜λŠ” 0(μ•„λ‹ˆμ˜€) 이진 결정을 λ‚΄λ¦¬λŠ” 값이 μ£Όμ–΄μ§ˆ 수 μžˆμŠ΅λ‹ˆλ‹€. μ΄λŠ” νŠΉμ • λΉ„μ¦ˆλ‹ˆμŠ€ 결정에 λŒ€ν•΄ 확신이 μ—†κ³  κ°€λŠ₯성을 평가할 수 μžˆλŠ” 직접적인 방법을 μ°Ύκ³  μžˆλŠ” νšŒμ‚¬μ— 도움이 될 수 μžˆμŠ΅λ‹ˆλ‹€.

##ν•˜μ΄λΌμ΄νŠΈ

  • 0이 μ•„λ‹Œ μ •μˆ˜ ν”„λ‘œκ·Έλž˜λ°μ€ 논리 λ¬Έμ œμ— λŒ€ν•œ μ†”λ£¨μ…˜μ„ μ°ΎκΈ° μœ„ν•΄ μƒν˜Έ 배타적인 예(1) 및 μ•„λ‹ˆμ˜€(0) 결정에 μ˜μ‘΄ν•©λ‹ˆλ‹€.

  • 이 μœ ν˜•μ˜ ν”„λ‘œκ·Έλž˜λ°μ€ 투자 λŒ€μƒ λ˜λŠ” μ œμ•ˆλœ 두 μ œν’ˆ 쀑 μ œμ‘°ν•˜κΈ° κ°€μž₯ μ‰¬μš΄ μ œν’ˆκ³Ό 같은 문제λ₯Ό κ²°μ •ν•˜λŠ” νšŒμ‚¬μ— μœ μš©ν•  수 μžˆμŠ΅λ‹ˆλ‹€.

  • 0이 μ•„λ‹Œ μ •μˆ˜ λ¬Έμ œμ—μ„œ 각 λ³€μˆ˜λŠ” 0('μ•„λ‹ˆμ˜€') λ˜λŠ” 1('예')둜만 ν‘œμ‹œλ˜λ©° μ˜΅μ…˜ 선택 λ˜λŠ” κ±°λΆ€, μ „μž μŠ€μœ„μΉ˜ 켜기/끄기 λ˜λŠ” κ°„λ‹¨ν•œ 예λ₯Ό λ‚˜νƒ€λ‚Ό 수 μžˆμŠ΅λ‹ˆλ‹€. λ˜λŠ” λ‹€μ–‘ν•œ λ‹€λ₯Έ μ‘μš© ν”„λ‘œκ·Έλž¨μ—μ„œ μ‚¬μš©λ˜λŠ” 닡변이 μ—†μŠ΅λ‹ˆλ‹€.