[논문 리뷰] The Sitting Closer to Friends than Enemies Problem in the Circumference

Felipe Benítez, Julio Aracena외 1명|arXiv (Cornell University)|2018. 11. 06.

Political Conflict and Governance참고 문헌 13인용 수 7

한 줄 요약

이 논문은 완전한 부호화된 그래프에 대해 원주 상에서 친구보다 적대자에게 더 가까이 있는지의 문제(SCFE)를 해결한다. 이는 그러한 그래프가 유효한 거리 그림을 가질 수 있음이 그의 양성 부분그래프가 적절한 원호 그래프임과 동치임을 증명함으로써 이루어진다. 이 해결책은 증강 인접행렬의 원형으로 일관된 1의 성질을 활용하여 다항시간 내에 실현 가능성을 특성화한다.

ABSTRACT

The Sitting Closer to Friends than Enemies (SCFE) problem is to find an embedding in a metric space for the vertices of a given signed graph so that, for every pair of incident edges with different sign, the positive edge is shorter (in the metric of the space) than the negative edge. In this document, we present new results regarding the SCFE problem when the metric space in consideration is the circumference. Our main results say that, given a signed graph, it is NP-complete to decide whether such an embedding exists in the circumference or not. Nevertheless, if the given signed graph is complete, then such decision can be made in polynomial time. In particular, we prove that, given a complete signed graph, it has such an embedding if and only if its positive part is a proper circular arc graph.

연구 동기 및 목표

• 원주 거리 공간에서 유효한 거리 그림을 가질 수 있는 완전한 부호화된 그래프를 특성화하는 것.
• 원주 상의 SCFE 문제에 대해 다항시간 결정 절차를 수립하는 것.
• 행렬 호환성 성질을 통해 SCFE 문제를 잘 알려진 적절한 원호 그래프의 클래스와 연결하는 것.
• 원주 상에서 유효한 거리 그림의 존재에 대한 필요 및 충분 조건을 제공하는 것.
• SCFE 문제를 완전한 그래프를 초월하여 확장하고 문제의 복잡도 분류를 위한 기초를 다지는 것.

제안 방법

• 원주 상에서 SCFE 문제를 단사 함수로서 정점들을 단위 원주에 배치함으로써 정의한다. 이때 각 정점은 자신의 친구(양성 간선)보다 적대자(음성 간선)보다 더 가까워야 한다.
• 부호화된 그래프를 증강 인접행렬 $ A^*(S) $로 표현하며, 여기서 항목들은 간선의 부호를 포함하고 자기 순환도 포함한다.
• 행렬에 대해 원형으로 일관된 1의 성질을 도입한다. 이는 각 정점 주변의 양성 및 음성 이웃의 순서가 일관되게 순환적으로 정렬됨을 보장한다.
• 각도 거리 순서에 기반한 모순을 이용하여, 유효한 거리 그림이 존재하기 위해서는 $ A^*(S) $가 원형으로 일관된 1의 성질을 가져야 한다는 것을 증명한다.
• 기존 문헌에서 알려진 특성화를 활용한다: 그래프가 적절한 원호 그래프임과 동치로 그 증강 인접행렬이 원형으로 일관된 1의 성질을 가져야 한다.
• 유효한 그림이 $ \mathcal{C} $에 존재하는 것과 양성 부분그래프 $ S^+ $가 적절한 원호 그래프임이 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 완전한 부호화된 그래프에 대해 원주 상에서 유효한 거리 그림이 존재하는가?
• RQ2 증강 인접행렬의 원형으로 일관된 1의 성질이 원주 상에서 유효한 그림의 존재에 대해 필수적이며 충분한가?
• RQ3 완전한 부호화된 그래프에 대해 원주 상의 SCFE 문제는 다항시간 내에 결정 가능한가?
• RQ4 원주 상의 SCFE 문제는 NP-완전인가? 그리고 실수선 상의 SCFE 문제와의 관계는 어떠한가?
• RQ5 일반적인 부호화된 그래프(완전하지는 않음) 중에서 원주 상에서 유효한 거리 그림을 가질 수 있는 구조적 특성은 무엇인가?

주요 결과

• 완전한 부호화된 그래프 $ S $는 양성 부분그래프 $ S^+ $가 적절한 원호 그래프일 때에만 원주 상에서 유효한 거리 그림을 가진다.
• 증강 인접행렬 $ A^*(S) $의 원형으로 일관된 1의 성질은, 정점들이 그림에 따라 순서가 매겨질 때, 원주 상에서 유효한 거리 그림의 존재에 대해 필수적이며 충분하다.
• 완전한 부호화된 그래프에 대해 원주 상의 SCFE 문제는 적절한 원호 그래프의 다항시간 인식 가능성 덕분에 다항시간 내에 결정 가능하다.
• 이 증명은 원주 상의 기하학적 실현 가능성과 잘 알려진 그래프 클래스 사이의 직접적인 연결을 수립하여 효율적인 알고리즘 솔루션을 가능하게 한다.
• 레마 5.6에서 유도된 필요 조건 — $ A^*(S) $가 원형으로 일관된 1의 성질을 가져야 한다 — 는 [12]의 특성화와 결합될 경우 충분조건이 된다.
• SCFE 문제의 $ \mathbb{R} $ 상의 해법은 원주 상의 문제로 환원되며, 이는 후자가 NP-난이도임을 시사하지만, 그 NP-완전성은 아직 미해결이다.