[논문 리뷰] Performance guarantees for greedy maximization of non-submodular set functions in systems and control.

Tyler Summers, Maryam Kamgarpour|arXiv (Cornell University)|2017. 12. 12.

Markov Chains and Monte Carlo Methods참고 문헌 10인용 수 10

한 줄 요약

이 논문은 시스템 및 제어 분야에서 발생하는 비하위모듈러(set) 함수의 최대화를 위한 탐욕 알고리즘의 성능 보장을 수립한다. 특히 가측성 및 관측 가능성 그램형(matrix)에 대해 다룬다. 하위모듈러리티 비율(submodularity ratio)과 일반화된 곡률(generalized curvature)을 경계로 도입함으로써, 하위모듈러리티가 성립하지 않을 경우에도 근사 최적해를 달성할 수 있음을 증명한다. 이는 탐욕 최적화 이론을 더 넓은 범위의 네트워크 설계 문제에까지 확장한다.

ABSTRACT

A key problem in emerging complex cyber-physical networks is the design of information and control topologies, including sensor and actuator selection and communication network design. These problems can be posed as combinatorial set function optimization problems to maximize a dynamic performance metric for the network. Some systems and control metrics feature a property called submodularity, which allows simple greedy algorithms to obtain provably near-optimal topology designs. However, many important metrics lack submodularity and therefore lack any guarantees from the existing theory. Here we show that performance guarantees can be obtained for greedy maximization of certain non-submodular functions of the controllability and observability Gramians. We derive from bounds on two key quantities: the submodularity ratio, which quantifies how far a set function is from being submodular, and the generalized curvature, which quantifies how far a set function is from being modular. Numerical experiments illustrate the results.

연구 동기 및 목표

• 사이버-물리 네트워크에서 비하위모듈러 시스템 성능 지표에 대한 탐욕 최적화의 이론적 보장 부족 문제를 해결하기 위해.
• 하위모듈러리티가 존재하지 않을 경우에도 탐욕 알고리즘이 여전히 근사 최적해를 달성할 수 있는 조건을 규명하기 위해.
• 가측성 및 관측 가능성 그램형을 포함한 제어 및 네트워크 설계 문제에 탐욕 알고리즘의 적용 범위를 확장하기 위해.
• 하위모듈러리티 비율과 일반화된 곡률이라는 두 가지 핵심 측정치를 사용하여 성능 경계를 유도하기 위해.
• 실제 세계의 네트워크 설계 문제에 대한 수치 실험을 통해 이러한 경계의 실용적 관련성을 입증하기 위해.

제안 방법

• 논문은 하위모듈러리티에 얼마나 가까운지를 측정하는 하위모듈러리티 비율을 도입하여, 집합 함수가 하위모듈러리티에서 얼마나 떨어져 있는지를 정량화한다.
• 일반화된 곡률을 정의하여 모듈러리티에서의 편차를 정량화하고, 함수의 점진적 추가에 대한 민감도를 캡처한다.
• 하위모듈러리티 비율과 일반화된 곡률을 매개변수로 사용하여 탐욕 최대화의 이론적 성능 경계를 도출한다.
• 이 경계들은 제어 시스템의 그램형 기반 성능 지표, 예를 들어 가측성 및 관측 가능성에 특별히 적용된다.
• 실제 및 합성 네트워크 구조에 대한 이론적 경계의 유효성을 검증하기 위해 수치 실험을 수행한다.
• 이 방법은 비하위모듈러 함수에 대해 계산 비용이 큰 정확 최적화 대신 단순한 탐욕 알고리즘의 사용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 시스템 및 제어 응용 분야에서 비하위모듈러 집합 함수에 대한 탐욕 알고리즘이 성능 보장을 달성할 수 있는가?
• RQ2 하위모듈러리티 비율은 집합 함수의 비하위모듈러리티 정도를 어떻게 정량화할 수 있는가?
• RQ3 일반화된 곡률은 탐욕 최대화의 근사 품질을 결정하는 데 어떤 역할을 하는가?
• RQ4 유도된 경계가 네트워크 설계에서 그램형 기반 성능 지표에 대해 어느 정도 유효한가?
• RQ5 이론적 성능 보장이 수치 실험에서의 경험적 결과와 비교하여 어떻게 나타나는가?

주요 결과

• 논문은 하위모듈러리티 비율과 일반화된 곡률이 유계일 경우, 비하위모듈러 함수의 탐욕 최대화가 증명 가능한 성능 보장을 달성할 수 있음을 입증한다.
• 하위모듈러리티 비율과 일반화된 곡률을 기반으로 한 근사 품질의 이론적 경계가 도출되었으며, 이는 고전적인 하위모듈러 최적화 결과를 확장한다.
• 이 경계들이 가측성 및 관측성과 같이 네트워크 및 제어 설계에서 흔히 사용되는 그램형 기반 지표에 효과적임이 입증되었다.
• 수치 실험을 통해 하위모듈러리티가 만족되지 않더라도 탐욕 알고리즘이 실질적으로 최적에 가까운 성능을 달성하는 것으로 확인되었다.
• 제안된 프레임워크는 복잡한 네트워크 설계 문제에 대해 고갈 검색 대신 효율적인 탐욕 알고리즘의 사용을 가능하게 한다.
• 결과적으로, 두 핵심 매개변수(하위모듈러리티 비율과 일반화된 곡률)가 유계일 경우, 제어 시스템의 비하위모듈러 함수도 단순한 탐욕 방법을 통해 신뢰할 수 있게 최적화할 수 있음을 보여준다.