[논문 리뷰] An Integer Linear Programming Formulation for the Convex Dominating Set Problems

Jozef Kratica, Vladimir Filipović외 2명|arXiv (Cornell University)|2019. 04. 04.

Advanced Graph Theory Research참고 문헌 8인용 수 4

한 줄 요약

이 논문은 볼록 지배 집합 문제(CVXDSP)에 대해 두 개의 정수선형계획(ILP) 설정법과 약한 볼록 지배 집합 문제(WCVXDSP)에 대해 하나의 설정법을 제안하며, ILP 모델과 원래 조합 최적화 문제 간의 동치성을 보여줌으로써 그 정확성을 입증한다. 주요 기여는 표준 솔버를 사용해 이러한 NP-완전 문제를 정확하게 해결할 수 있도록 철저한 ILP 프레임워크를 제공하는 것이다.

ABSTRACT

Due to their importance in practice, dominating set problems in graphs have been greatly studied in past and different formulations of these problems are presented in literature. This paper's focus is on two problems: weakly convex dominating set problem (WCVXDSP) and convex dominating set problem (CVXDSP). It introduces two integer linear programming (ILP) formulation for CVXDSP and one ILP mode for WCVXDSP, as well as proof for equivalency between ILP models for CVXDSP. The proof of correctness for all introduced ILP formulations is provided by showing that optimal solution to the each ILP formulation is equal to the optimal solution of the original problem.

연구 동기 및 목표

• 볼록 지배 집합 문제(CVXDSP)와 약한 볼록 지배 집합 문제(WCVXDSP)에 대한 정확한 ILP 설정법을 개발한다.
• 제안된 ILP 모델과 원래 조합 최적화 문제 간의 동치성을 확립한다.
• 각 ILP 설정법의 최적 해가 해당 그래프 문제의 최적 해와 일치함을 증명한다.
• 표준 최적화 솔버를 사용해 이러한 NP-완전 문제를 정확하게 해결할 수 있는 기반을 마련한다.

제안 방법

• 지배 집합에 포함된 정점 여부를 나타내는 이진 변수를 사용해 CVXDSP를 두 가지 다른 ILP 모델로 설정한다.
• 모든 정점이 지배되며, 선택된 정점들 사이의 모든 최단경로가 집합 내에 유지되도록 제약 조건을 도입한다.
• 거리 기반 제약 조건을 활용해 약한 볼록성을 강제한다: 집합에 포함된 정점의 쌍에 대해, 최단경로 상의 적어도 한 이웃 정점은 반드시 포함되어야 한다.
• 수학적 귀납법과 케이스 분석을 통해 ILP 제약 조건이 약한 볼록성과 지배를 정확히 구현함을 증명한다.
• 모든 타당한 ILP 해가 유효한 약한 또는 볼록 지배 집합에 대응함을 보여줌으로써 ILP 모델과 원래 문제 간의 동치성을 입증한다.
• 최적의 ILP 해가 CVXDSP 및 WCVXDSP에 대해 최소 기수의 지배 집합을 제공함을 증명함으로써 정확성을 검증한다.

실험 결과

연구 질문

• RQ1 볼록 지배 집합 문제는 정수선형계획으로 정확하게 모델링될 수 있는가?
• RQ2 제안된 CVXDSP에 대한 두 개의 ILP 설정법은 최적 해 측면에서 동치인가?
• RQ3 약한 볼록 지배 집합 문제를 효과적으로 ILP 모델로 설정할 수 있는가?
• RQ4 WCVXDSP에 대한 ILP 설정법은 지배성과 약한 볼록성을 모두 정확히 강제하는가?
• RQ5 ILP 설정법의 최적 해는 원래 그래프 문제의 최적 해와 보장되어 일치하는가?

주요 결과

• CVXDSP에 대한 두 개의 ILP 설정법은 동치임이 증명되었으며, 이는 동일한 최적 해를 도출함을 의미한다.
• WCVXDSP에 대한 ILP 모델은 지배성과 약한 볼록성을 모두 정확히 강제하여, 타당한 해가 유효한 약한 볼록 지배 집합임을 보장한다.
• 모든 ILP 타당 해가 요구된 볼록성 특성을 갖는 유효한 지배 집합에 대응함을 보여줌으로써 정확성의 증명이 확립되었다.
• 각 ILP 설정법의 최적 해 값은 해당 그래프의 지배 수(γ_cvx(G) 또는 γ_wcvx(G))와 보장되어 일치한다.
• ILP 모델은 수학적으로 타당하며, 표준 ILP 솔버를 통해 정확한 해를 구하는 기초로 사용될 수 있다.
• 본 연구는 대규모 인스턴스에 대한 향후 실험적 평가 및 메타휴리스틱 개발을 위한 견고한 기반을 제공한다.