[논문 리뷰] Max-size popular matchings and extensions

Telikepalli Kavitha|arXiv (Cornell University)|2018. 02. 21.

Game Theory and Voting Systems참고 문헌 16인용 수 8

한 줄 요약

이 논문은 엄밀한 선호 목록을 가진 비이분할 룸메이트 인스턴스에서 최대 크기의 인기 있는 매칭을 계산하는 것이 NP-난이도임을 입증하며, 이는 이분 그래프에서 다항식 시간 내에 해결 가능함과 대조된다. 본문에서는 특정 차단 엣지 및 음수 엣지 제약 조건을 갖는 정점 분할을 통한 강력 지배 매칭(strongly dominant matching)의 개념을 도입하고, 선형 시간 알고리즘을 제시하여 비이분할 설정에서 최대 크기의 인기 있는 매칭의 계산 가능성을 보장하는 하위클래스를 제공한다.

ABSTRACT

We consider the max-size popular matching problem in a roommates instance G = (V,E) with strict preference lists. A matching M is popular if there is no matching M' in G such that the vertices that prefer M' to M outnumber those that prefer M to M'. We show it is NP-hard to compute a max-size popular matching in G. This is in contrast to the tractability of this problem in bipartite graphs where a max-size popular matching can be computed in linear time. We define a subclass of max-size popular matchings called strongly dominant matchings and show a linear time algorithm to solve the strongly dominant matching problem in a roommates instance. We consider a generalization of the max-size popular matching problem in bipartite graphs: this is the max-weight popular matching problem where there is also an edge weight function w and we seek a popular matching of largest weight. We show this is an NP-hard problem and this is so even when w(e) is either 1 or 2 for every edge e. We also show an algorithm with running time O*(2^{n/4}) to find a max-weight popular matching matching in G = (A U B,E)$ on n vertices.

연구 동기 및 목표

• 엄밀한 선호 목록을 가진 룸메이트 인스턴스에서 최대 크기의 인기 있는 매칭을 찾는 문제의 계산 복잡도를 규명하는 것.
• 비이분할 그래프에서 계산이 효율적인 인기 있는 매칭의 계산 가능성을 보장하는 하위클래스를 식별하는 것.
• 안정 매칭이 항상 존재하는 이분 그래프를 넘어서, 안정성이 실패할 수 있는 비이분할 설정으로 인기 있는 매칭의 연구를 확장하는 것.
• 모든 간선 가중치가 {1, 2}인 작은 정수 가중치를 갖는 이분 그래프에서 최대 무게 인기 있는 매칭 문제의 복잡도를 조사하는 것.

제안 방법

• 정점 분할 (L, R)을 통한 룸메이트 인스턴스에서의 강력 지배 매칭 개념을 도입하며, 다음 네 가지 구조적 제약 조건을 만족한다: M ⊆ L×R, M가 R의 모든 정점을 매칭, 모든 차단 엣지는 R×R에 속하고, L×L에 속한 모든 엣지는 M에 대해 음수이다.
• 강력 지배 매칭이 L×R에 의해 유도된 이분 부분그래프에서 R-완전 안정 매칭임을 증명하여, 이분 안정 매칭 알고리즘을 통해 효율적으로 계산 가능함을 보장한다.
• 선호 순서와 엣지 유형을 활용하여 반복적으로 분할 (L, R)을 구성하고 제약 조건을 검증함으로써, 강력 지배 매칭을 선형 시간에 계산하는 알고리즘을 개발한다.
• 이분 그래프에서 최대 무게 인기 있는 매칭 문제를 가중치가 있는 인기 있는 매칭 문제의 변형으로 환원하여, 간선 가중치가 {1, 2}일 때조차도 NP-난이도임을 보여준다.
• 정점 부분집합에 대한 동적 프로그래밍 접근을 통해 n개 정점을 가진 이분 그래프에서 최대 무게 인기 있는 매칭을 찾는 알고리즘의 시간 복잡도를 O*(2^{n/4})로 제시한다.
• 비용 제약 조건을 충족하는 이중 변수 α^t_u의 타당성을 보장하기 위해 잠재력 함수와 배열 기반 비용 분석(T_a 및 T_b 배열을 활용)을 사용한다.

실험 결과

연구 질문

• RQ1 엄밀한 선호 목록을 가진 룸메이트 인스턴스에서 최대 크기의 인기 있는 매칭을 계산하는 문제는 NP-난이도인가?
• RQ2 비이분할 그래프에서 최대 크기의 인기 있는 매칭의 계산 가능성을 보장하는 하위클래스를 식별할 수 있는가, 이는 다항식 시간 계산을 가능하게 하는가?
• RQ3 간선 가중치가 {1, 2}로 제한된 이분 그래프에서 최대 무게 인기 있는 매칭 문제의 복잡도는 어떠한가?
• RQ4 룸메이트 인스턴스에서 강력 지배 매칭을 계산하는 선형 시간 알고리즘이 존재하는가?
• RQ5 강력 지배 매칭의 구조를 활용하여 비이분할 설정에서 더 넓은 범위의 인기 있는 매칭에 대한 효율적 알고리즘을 설계할 수 있는가?

주요 결과

• 엄밀한 선호 목록을 가진 룸메이트 인스턴스에서 최대 크기의 인기 있는 매칭 문제는, 안정 매칭이 존재하는 인스턴스일지라도 NP-난이도이다.
• 룸메이트 인스턴스에서 강력 지배 매칭은 선형 시간에 계산 가능하며, 이는 최대 크기의 인기 있는 매칭의 계산 가능성을 보장하는 하위클래스를 제공한다.
• 이분 그래프에서 최대 무게 인기 있는 매칭 문제는, 간선 가중치가 {1, 2}일지라도 NP-난이도이다.
• n개 정점을 가진 이분 그래프에서 최대 무게 인기 있는 매칭을 계산하는 알고리즘의 실행 시간이 O*(2^{n/4})임을 제시한다.
• 비이분할 그래프에서 강력 지배 매칭의 존재는 네 가지 구조적 제약 조건을 만족하는 정점 분할 (L, R)로 특징지어지며, 이는 효율적인 검증 및 구성 가능성을 보장한다.
• T_a 및 T_b 배열을 활용한 이중 변수 분석은 모든 시간 점수 t ∈ [0, 1)에서 비용 제약 조건이 충족됨을 확인하여, 이론적 완화 프레임워크 내에서 해의 타당성을 보장한다.