2차 원뿔 프로그래밍
Second-order cone programming![]() | 이 기사는 대부분의 독자들이 이해하기에는 너무 기술적인 것일 수 있습니다.. (2011년 10월 (본 메시지 및 ) 내용은 할 수 을 |
2차 콘 프로그램(second-order cone program, SOCP)은 다음과 같은 형태의 볼록 최적화 문제입니다.
- x{\
- 의 대상이 되는
여기서 문제 매개 는 f ∈ ∈ × ∈ ∈ n ∈ R ∈ f^{ n^{n ∈ p{\ g ∈ x는 최적화 변수입니다. {\ x _는 유클리드 노름이고 T ^{는 전치를 나타냅니다.SOCP의 "2차 원뿔"은 아핀를 필요로 하는 것과 같은 제약 조건에서 발생합니다. (+ , T + d){\style ( + 의 2차 원뿔에 놓입니다. [1]
SOCP는 내부 포인트[2] 방법으로 해결할 수 있으며 일반적으로 SDP([3]semidfinite programming) 문제보다 더 효율적으로 해결할 수 있습니다.SOCP의 일부 공학적 응용에는 필터 설계, 안테나 배열 무게 설계, 트러스 설계, 로봇 [4]공학에서의 파지력 최적화 등이 있습니다.양적 금융의 응용 분야에는 포트폴리오 최적화가 포함됩니다. 선형적이지 않기 때문에 일부 시장 영향 제약은 2차 프로그래밍으로 해결할 수 없지만 SOCP [5][6][7]문제로 공식화할 수 있습니다.
2차 원뿔
n + n의 표준 또는 단위 2차 원뿔은 다음과 같이 정의됩니다.
n + ] ∈ ≤ {\{\}=\ tx _ t
2차 원뿔은 2차 원뿔, 아이스크림 원뿔 또는 로렌츠 원뿔로도 알려져 있습니다. 3{\^{의 2차 원뿔은 2 + {\}z\
2차 원뿔 제약 조건을 만족하는 점들의 집합은 아핀 매핑 하에서 단위 2차 원뿔의 역상입니다.
따라서 볼록합니다.
2차 원뿔은 다음과 같이 양의 반무한 행렬의 원뿔에 내장될 수 있습니다.
즉, 2차 원뿔 제약은 선형 행렬 부등식과 같습니다(서 M {\ M 0은 M M이 반무한 행렬임을 합니다).마찬가지로, 우리도,
다른 최적화 문제와의 관계

= m{\ i = 1,\displaystyle i = 1에 = {\}00인 SOCP가 선형 프로그램으로 줄어듭니다. = m i = m}에 대해 ci = 0 {\= , SOCP는 볼록 사각형 제약 선형 프로그램과 같습니다.
볼록 2차 제약 2차 프로그램은 목표 함수를 [4]제약 조건으로 재구성하여 SOCP로 공식화할 수도 있습니다.반무한 프로그래밍은 SOCP 제약 조건이 선형 행렬 부등식(LMI)으로 기록될 수 있고 반무한 [4]프로그램의 한 예로 재구성될 수 있기 때문에 SOCP를 포함합니다.그러나 그 반대는 유효하지 않습니다. 어떤 2차 원뿔 [3]표현도 허용하지 않는 양의 반정형 원뿔이 있습니다.사실, 평면에 있는 임의의 닫힌 볼록 반대수 집합은 [8]SOCP의 실현 가능한 영역으로 쓸 수 있지만, SDP로 표현할 수 없는 볼록 반대수 집합이 존재하는 것으로 알려져 있습니다. 즉, SDP의 [9]실현 가능한 영역으로 쓸 수 없는 볼록 반대수 집합이 존재하는 것으로 알려져 있습니다.
예
이차 제약 조건
이는 SOCP 제약 조건에 해당합니다.
확률적 선형 프로그래밍
부등식 형태의 확률적 선형 프로그램을 고려합니다.
- x{\
- 의 대상이 되는
여기서 변수 는 a ¯ {\이고 공분산 σ i{\i}\}이고p ≥ {\ p 0인 독립 가우스 랜덤 벡터입니다. 이 문제는 SOCP로 표현할 수 있습니다.
- x{\
- 의 대상이 되는
여기서 - ( ⋅ ){\)\}는 역정규 누적 분포 함수입니다.
확률적 2차 원뿔 프로그래밍
우리는 2차 원뿔 프로그램을 정의하는 데이터가 결정론적이기 때문에 2차 원뿔 프로그램을 결정론적 2차 원뿔 프로그램이라고 부릅니다.확률적 2차 원뿔 프로그램은 결정론적 2차 원뿔 [10]프로그램을 정의하는 데이터의 불확실성을 처리하기 위해 정의된 최적화 문제의 한 종류입니다.
해결사 및 스크립트(프로그래밍) 언어
이름. | 면허증. | 간략정보 |
---|---|---|
AMPL | 상업의 | SOCP 지원 대수 모델링 언어 |
아틀리스 니트로 | 상업의 | |
CPLEX | 상업의 | |
FICO 익스프레스 | 상업의 | |
구로비 옵티마이저 | 상업의 | |
매트랩 | 상업의 | 그coneprog 함수는 내부 점 알고리즘을[12] 사용하여 SOCP[11] 문제를 해결합니다. |
모섹 | 상업의 | 병렬 내부 점 알고리즘 |
NAG 수치 도서관 | 상업의 | SOCP Solver가 적용된 범용 수치 라이브러리 |
참고문헌
- ^ a b c Boyd, Stephen; Vandenberghe, Lieven (2004). Convex Optimization (PDF). Cambridge University Press. ISBN 978-0-521-83378-3. Retrieved July 15, 2019.
- ^ Potra, lorian A.; Wright, Stephen J. (1 December 2000). "Interior-point methods". Journal of Computational and Applied Mathematics. 124 (1–2): 281–302. Bibcode:2000JCoAM.124..281P. doi:10.1016/S0377-0427(00)00433-7.
- ^ a b Fawzi, Hamza (2019). "On representing the positive semidefinite cone using the second-order cone". Mathematical Programming. 175 (1–2): 109–118. arXiv:1610.04901. doi:10.1007/s10107-018-1233-0. ISSN 0025-5610. S2CID 119324071.
- ^ a b c Lobo, Miguel Sousa; Vandenberghe, Lieven; Boyd, Stephen; Lebret, Hervé (1998). "Applications of second-order cone programming". Linear Algebra and Its Applications. 284 (1–3): 193–228. doi:10.1016/S0024-3795(98)10032-0.
- ^ "Solving SOCP" (PDF).
- ^ "portfolio optimization" (PDF).
- ^ Li, Haksun (16 January 2022). Numerical Methods Using Java: For Data Science, Analysis, and Engineering. APress. pp. Chapter 10. ISBN 978-1484267967.
- ^ Scheiderer, Claus (2020-04-08). "Second-order cone representation for convex subsets of the plane". arXiv:2004.04196 [math.OC].
- ^ Scheiderer, Claus (2018). "Spectrahedral Shadows". SIAM Journal on Applied Algebra and Geometry. 2 (1): 26–44. doi:10.1137/17M1118981. ISSN 2470-6566.
- ^ Alzalg, Baha M. (2012-10-01). "Stochastic second-order cone programming: Applications models". Applied Mathematical Modelling. 36 (10): 5122–5134. doi:10.1016/j.apm.2011.12.053. ISSN 0307-904X.
- ^ "Second-order cone programming solver - MATLAB coneprog". MathWorks. 2021-03-01. Retrieved 2021-07-15.
- ^ "Second-Order Cone Programming Algorithm - MATLAB & Simulink". MathWorks. 2021-03-01. Retrieved 2021-07-15.