[논문 리뷰] Alternating Path and Coloured Clustering

Leizhen Cai, On Yin Leung|arXiv (Cornell University)|2018. 07. 27.

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

한 줄 요약

이 논문은 간선 색칠된 그래프에서 정점 색칠을 통해 안정된 간선의 수를 최대화하는 '색칠된 클러스터링 문제'가 정점 단색 부분그래프의 최대화 또는 모든 번갈아가는 경로를 제거하는 것과 동치임을 밝혀낸다. 이는 간선이 이색인 그래프에 대해 O(m^{3/2} log n) 시간 복잡도를 가지는 알고리즘을 제시하며, 최대 차수 4인 평면 이분 그래프에서 간선이 삼색인 경우의 NP-완전성을 증명하고, 안정된 간선과 비안정된 간선 수를 매개변수로 하는 FPT 알고리즘을 개발하며, 4k-정점 커널과 2k² + k-간선 커널을 제공한다.

ABSTRACT

In the Coloured Clustering problem, we wish to colour vertices of an edge coloured graph to produce as many stable edges as possible, i.e., edges with the same colour as their ends. In this paper, we reveal that the problem is in fact a maximum subgraph problem concerning monochromatic subgraphs and alternating paths, and demonstrate the usefulness of such connection in studying these problems. We obtain a faster algorithm to solve the problem for edge-bicoloured graphs by reducing the problem to a minimum cut problem. On the other hand, we push the NP-completeness of the problem to edge-tricoloured planar bipartite graphs of maximum degree four. Furthermore, we also give FPT algorithms for the problem when we take the numbers of stable edges and unstable edges, respectively, as parameters.

연구 동기 및 목표

• 색칠된 클러스터링 문제를 정점 단색 부분그래프와 번갈아가는 경로 제거를 포함하는 최대 부분그래프 문제로 재정의하기.
• 이색 간선 그래프에서 색칠된 클러스터링 문제를 해결하는 데 있어 시간 복잡도를 향상시키기.
• 최대 차수 4인 평면 이분 그래프에서 간선이 삼색인 경우의 색칠된 클러스터링 문제의 NP-완전성 입증하기.
• 안정된 간선과 비안정된 간선 수를 매개변수로 하는 FPT 알고리즘 개발하기.
• 비안정된 간선 매개변수화에 대해 크기 O(k)인 다항식 커널 유도하기.

제안 방법

• 이색 간선 그래프에서 색칠된 클러스터링 문제를 최소 컷 문제로 환원하여 보다 빠른 계산 달성하기.
• 원본 그래프 G에서 G*로의 압축된 그래프를 구성하여 간선 갈등 분석과 커널화를 단순화하기.
• 간선 갈등 그래프 X(G*)를 활용해 갈등 쌍을 모델링하고, 갈등 쌍 제거 문제를 정점 커버 문제로 환원하기.
• X(G*)에서 가중치가 있는 정점 커버 문제에 대해 1.2783^k 시간 알고리즘을 적용하여 갈등 쌍 제거 문제 해결하기.
• 색칠된 클러스터링과 번갈아가는 경로 제거 간의 등가성을 활용해 알고리즘 기법을 이전 문제로 이전하기.
• 색다른 정점 및 비안정된 간선에 대한 구조적 경계를 활용하여 비안정된 간선 매개변수화에 대해 최대 4k개의 정점과 2k² + k개의 간선을 가진 커널 유도하기.

실험 결과

연구 질문

• RQ1 최소 컷 기반 접근을 통해 이색 간선 그래프에서 색칠된 클러스터링 문제를 O(m^{3/2}n) 시간 이하로 더 빠르게 해결할 수 있는가?
• RQ2 최대 차수 4인 평면 이분 그래프에서 간선이 삼색인 경우 색칠된 클러스터링 문제의 NP-완전성은 성립하는가?
• RQ3 안정된 간선 수 또는 비안정된 간선 수를 매개변수로 삼을 때 FPT 알고리즘을 개발할 수 있는가?
• RQ4 적어도 k개의 간선을 가지는 정점 단색 부분그래프를 찾는 문제에 대해 다항식 커널이 존재하는가?
• RQ5 비최소 k개의 간선을 제거하여 모든 번갈아가는 사이클을 파괴하는 데 FPT 알고리즘이 존재하는가?

주요 결과

• 최소 컷 환원을 통한 O(m^{3/2} log n) 시간 알고리즘을 개발하여, 이전의 이분 독립집합 기반 O(m^{3/2}n) 시간 알고리즘보다 향상된 성능 확보.
• 색칠된 클러스터링 문제의 NP-완전성은 최대 차수 4인 평면 이분 그래프에서 간선이 삼색인 경우로 확장됨.
• 안정된 간선과 비안정된 간선 매개변수화 모두에 대해 FPT 알고리즘 설계됨. 비안정된 간선 매개변수화에 대해 최대 4k개의 정점과 2k² + k개의 간선을 가진 커널 제공.
• 간선 갈등 그래프에서 커널화와 가중치 정점 커버를 활용해 갈등 쌍 제거 문제를 O(m + n + 1.2783^k) 시간 내에 해결.
• 적어도 k개의 간선을 가지는 정점 단색 부분그래프를 찾는 문제에 대해 크기 O(k)의 커널이 존재함을 확인하여 더 빠른 정확한 알고리즘의 가능성 제시.
• 색칠된 클러스터링, 정점 단색 부분그래프, 번갈아가는 경로 제거 간의 연결성은 알고리즘 분석을 위한 통합적 프레임워크 제공.