(Go: >> BACK << -|- >> HOME <<)

최적화 이론

최근 수정 시각:
3
편집
현재 사용중인 아이피가 ACL그룹 IDC #12915에 있기 때문에 편집 권한이 부족합니다.
만료일 : 무기한
사유 : IDC(AS26496)
토론 역사
[ 펼치기 · 접기 ]
기반 학문
SoC · CPU · GPU(그래픽 카드 · GPGPU) · ROM · RAM · SSD · HDD · 참조: 틀:컴퓨터 부품
기술
연구

기타
이론 컴퓨터 과학
Theoretical Computer Science
[ 펼치기 · 접기 ]
이론
기본 대상
다루는 대상과 주요 토픽
재귀함수 · 튜링 기계 · 람다 대수 · 처치-튜링 명제 · 바쁜 비버
데이터 압축(무손실 압축 포맷 · 손실 압축 포맷) · 채널 코딩(채널 용량) · 알고리즘 정보 이론(AIT) · 양자정보과학
프로그래밍 언어(함수형 언어 · 객체 지향 프로그래밍) · 메타 프로그래밍 · 유형 이론 · 프로그래밍 언어 의미론 · 파싱 · 컴파일러 이론
주요 알고리즘 및 자료구조
기초
배열벡터 · 리스트연결 리스트 · 셋(set)레드-블랙 트리, B-트리 · 우선순위 큐, 피보나치 힙
조합 최적화
볼록 최적화
내부점 방법 · 경사하강법
선형계획법
심플렉스법
밀러-라빈 소수판별법 · Pollard-rho 알고리즘 · 쇼어 알고리즘 · LLL 알고리즘 · 해시(MD5 · 암호화폐 · 사전 공격(레인보우 테이블) · SHA) · 양자 암호
블록 암호 알고리즘(AES · ARIA · LEA · Camellia) · 스트림 암호 알고리즘(RC4)
공개키 암호 알고리즘(타원 곡선 암호 · RSA) · 신원 기반 암호 알고리즘(SM9)
계산기하학
볼록 껍질 · 들로네 삼각분할 및 보로노이 도형Fortune의 line-sweeping 알고리즘 · 범위 탐색vp-tree, R-tree · k-NN
정리

1. 개요2. 세부 내용3. 최적화 해 계산 도구

1. 개요[편집]

최적화 이론(Optimization Theory) 혹은 수학적 최적화(Mathematical optimization)


역사는 상당히 오래되었다. 피에르 드 페르마까지 거슬러 올라가며 상당히 많은 수학자, 공학자들이 연구하였다. 기초적인 방정식의 해를 찾는 기초적인 수준으로 점진적으로 발전하다가 미국의 수학자 조지 댄치그에 의해 진전을 이루었다.
  • 조합 최적화 (Combinatorial Optimization): 주어진 항목들의 조합으로 해가 표현되는 최적화 문제. 계산 복잡도에서 'NP-어려움'이 나오는 비선형계획법 문제들은 최적해를 구하기 힘들다. 구할 수 있다 해도 비용이 많이 든다. 따라서 NP-어려움임을 증명하는 방법, NP-어려움일 경우 해의 품질을 포기하고 근사해를 구하는 기법들을 배우게 된다. 대표적으로 '외판원 순회 문제'가 있다.
    • 메타 휴리스틱(meta heuristics): 최적해(optimal solution)을 보장하지는 않지만 준최적해(suboptimal solution)을 빠르게 찾는 알고리즘. 유전 알고리즘, 모방 알고리즘, 입자 군집 최적화(particle swarm optimization, PSO), 개미 집단(ant colony) 알고리즘, 타부 탐색(Tabu search), 담금질 기법(simulated annealing), 하모니 탐색(Harmonic search) 등이 있다.
  • 함수 최적화(function optimization): 어떤 목적 함수(objective function)가 있을 때, 이 함수를 최대로 하거나 최소로 하는 변수 값을 찾는 최적화 문제. 수리계획법 문제들은 상당수 이쪽 범주에 들어간다.
  • 경제학: 수리경제학에서 최적화를 다룬다. 최적화는 의사결정을 내리는 경제 주체가 가장 바람직하다고 생각하는 상태를 만들기 위해 하는 것이다. 인간의 합리성 등을 가정하고 소비자의 효용극대화, 기업의 이윤극대화의 해를 구한다. 동적 계획법이나 최적제어론 역시 경제학에 응용되고 있다. 레닌그라드 공방전 당시 라도가 호수의 수송 문제에 이런 방법론들이 적용되어 수많은 사람들의 목숨을 구했다. 당시 이 방법론을 적용하여 수송 작전을 설계한 레오니트 칸토로비치는 이 최적화 이론으로 1975년 노벨경제학상을 수상했다.
  • 컴퓨터과학의 한 분야인 이론 컴퓨터 과학에서 많이 쓰인다. 세부적으로 들어가면 담금질 기법, 선형계획법, 비선형계획법 등 다양한 알고리즘을 활용한다.

2. 세부 내용[편집]

  • 선형 계획법(심플렉스 방법)
  • 비선형 계획법 (1차원 최소화 방법, 비제약 최적화 기법, 제약 최적화 기법)
  • 기하급수 계획법
  • 정수 계획법
  • 확률 계획법
  • 경사하강법(Gradient Descent)
    • Lipschitz continuity
    • Subgradient Method
  • 최적제어 및 최적기준 방법
  • 최적의 정지(Optimal stopping)
  • 다중 목적 최적화(파레토 최적화)
  • 볼록(Convex)함수와 오목(Concave)함수
    • KKT(Karush-Kuhn-Tucker) Condition
  • Proximal Gradient and Accelration
    • backtracking line search
  • Newton's Method

3. 최적화 해 계산 도구[편집]

    • Optimization Toolbox #
    • Global Optimization Toolbox #
  • SCIP - 제약 조건 정수 프로그래밍 문제를 해결(오픈 소스)
    • PuLP 라이브러리* [1]
    • Pyomo 라이브러리 *



[1] 파이썬 무료 라이브러리이다.

크리에이티브 커먼즈 라이선스
이 저작물은 CC BY-NC-SA 2.0 KR에 따라 이용할 수 있습니다. (단, 라이선스가 명시된 일부 문서 및 삽화 제외)
기여하신 문서의 저작권은 각 기여자에게 있으며, 각 기여자는 기여하신 부분의 저작권을 갖습니다.

나무위키는 백과사전이 아니며 검증되지 않았거나, 편향적이거나, 잘못된 서술이 있을 수 있습니다.
나무위키는 위키위키입니다. 여러분이 직접 문서를 고칠 수 있으며, 다른 사람의 의견을 원할 경우 직접 토론을 발제할 수 있습니다.

  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
더 보기