[논문 리뷰] Copositive Duality for Discrete Markets and Games

Cheng Guo, Merve Bodur외 1명|arXiv (Cornell University)|2021. 01. 13.

Electric Power System Optimization참고 문헌 32인용 수 6

한 줄 요약

이 논문은 이산 최적화 문제에 대한 코포지티브 이중성 프레임워크를 제안하며, 유닛 커밋먼트 및 정수 프로그래밍 게임과 같은 비볼록 설정에서도 강력한 이중성을 가능하게 한다. 새로운 MIP 기반 컷 평면 알고리즘을 제안하여 코포지티브 프로그램을 정확히 해결함으로써, 예산 균형 잡힌, 개인적으로 합리적인 가격 설정 메커니즘 설계와 KKT 조건을 통한 순전략 내쉬 균형의 정확한 계산이 가능해진다.

ABSTRACT

Optimization problems with discrete decisions are nonconvex and thus lack strong duality, which limits the usefulness of tools such as shadow prices and the KKT conditions. It was shown in Burer(2009) that mixed-binary quadratic programs can be written as completely positive programs, which are convex. Completely positive reformulations of discrete optimization problems therefore have strong duality if a constraint qualification is satisfied. We apply this perspective in two ways. First, we write unit commitment in power systems as a completely positive program, and use the dual copositive program to design a new pricing mechanism. Second, we reformulate integer programming games in terms of completely positive programming, and use the KKT conditions to solve for pure strategy Nash equilibria. To facilitate implementation, we also design a cutting plane algorithm for solving copositive programs exactly.

연구 동기 및 목표

• 유닛 커밋먼트 및 정수 프로그래밍 게임과 같은 이산 최적화 문제에서 강력한 이중성이 부족한 문제를 해결하기 위해.
• 비볼록 이산 문제를 위한 완전 양의 프로그래밍(CPP)과 코포지티브 프로그래밍(COP) 기반의 일반적인 이중성 프레임워크를 개발하기 위해.
• 이산 변수를 포함한 코포지티브 프로그램을 정확히 해결할 수 있는 새로운 구현 가능한 알고리즘을 설계하기 위해.
• 비볼록 전력 시장에서 이론적으로 타당한 가격 설정 메커니즘을 설계하기 위해 코포지티브 이중성을 응용하기 위해.
• 정수 프로그래밍 게임에서 순전략 내쉬 균형을 특성화하고 계산하기 위해 코포지티브 이중성의 KKT 조건을 사용하기 위해.

제안 방법

• 혼합 이진 정수 제곱형 프로그램(MBQPs)을 완전 양의 프로그램(CPPs)으로 재구성하며, Burer(2009)의 결과를 활용하여 MBQPs가 CPPs와 동치임을 이용한다.
• CPP의 쌍대 코포지티브 프로그램(COP)을 유도하며, 제약 조건 충족 조건을 만족할 경우 강력한 이중성을 보장하는 볼록 프로그램임을 보장한다.
• 반복적으로 혼합정수계획법(MIPs)을 해결함으로써 COPs를 정확히 해결하는 새로운 컷 평면 알고리즘을 설계하며, 이는 이산 변수를 수용할 수 있다.
• 쌍대 COP을 사용하여 유닛 커밋먼트의 새로운 가격 설정 메커니즘을 구성하며, 특정 조건 하에서 예산 균형과 개인적 합리성을 보장한다.
• 정수 프로그래밍 게임(IPGs)을 코포지티브 프로그램으로 재구성하고, KKT 조건을 적용하여 순전략 내쉬 균형을 계산한다.
• 마스터 문제에서 MIPs를 사용하고 반복적으로 컷 평면을 추가하여 타협 해를 강화함으로써, 수렴할 때까지 반복하는 컷 평면 알고리즘을 구현한다.

실험 결과

연구 질문

• RQ1 코포지티브 이중성은 비볼록 전력 시장에서 바이너리 유닛 커밋먼트 결정을 포함하는 효율적이고 이론적으로 타당한 가격 설정 메커니즘을 설계하는 데 사용될 수 있는가?
• RQ2 코포지티브 이중성의 KKT 조건은 정수 프로그래밍 게임에서 순전략 내쉬 균형을 특성화하고 계산하는 데 사용될 수 있는가?
• RQ3 표준 MIP 솔버를 사용하여 구현 가능한 일반 목적의 정확한 알고리즘을 설계하여 코포지티브 프로그램을 해결할 수 있는가? 이 알고리즘은 이산 변수를 지원할 수 있는가?
• RQ4 코포지티브 이중성에서 유도된 가격 설정 메커니즘은 이산 시장에서 어떤 이론적 성질—예를 들어 예산 균형과 개인적 합리성—을 보장할 수 있는가?
• RQ5 제안된 COPs를 위한 컷 평면 알고리즘이 어떤 조건에서 정확한 해를 얻기 위해 수렴하는가?

주요 결과

• 제안된 컷 평면 알고리즘은 코포지티브 프로그램을 정확히 해결할 수 있으며, 이산 변수를 처리할 수 있어 문헌상 처음으로 이러한 방법을 제공한다.
• 유닛 커밋먼트에 대한 COP 기반 가격 설정 메커니즘은 예산 균형을 이루며, 적절한 조건 하에서는 개인적으로 합리적이며, 업그레이드 수수료를 제거할 잠재력이 있다.
• 계산 결과에 따르면, CDP(co-positive dual pricing) 메커니즘이 수렴할 경우 업그레이드 이윤이 0이 되며, 강력한 이중성과 일치한다.
• 이중행렬 게임의 경우, 코포지티브 설정에서 유도된 KKT 조건은 순내쉬 균형을 정확히 복원하며, lrsnash 솔버와의 대조를 통해 검증되었다.
• 알고리즘은 테스트된 모든 이중행렬 게임(2에서 5전략)을 7초 이내, 90회 이내 반복하여 해결하여 실용적 타당성을 입증했다.
• 이 방법은 KKT 조건과 강력한 이중성의 적용 범위를 비볼록 이산 게임으로 확장하여 새로운 이론적 및 계산적 통찰을 가능하게 한다.