[논문 리뷰] Signed graph embedding: when everybody can sit closer to friends than enemies

Anne-Marie Kermarrec, Christopher Thraves|arXiv (Cornell University)|2014. 05. 20.

Complex Network Analysis Techniques참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유클리드 공간에서 각 정점이 그의 양성(친구) 이웃보다 음성(적대자) 이웃보다 가까이 놓이는 새로운 서명 그래프 임bedding 모델을 제안한다. 완전 서명 그래프의 경우, 유효한 1차원 임베딩이 존재하는 것은 양성 부분그래프가 체로드랄(Chordal)일 때이고, 이를 결정하고 구성하는 데 O(n²) 알고리즘이 존재하며, 기존의 균형성과 군집 가능성 가정을 초월한다.

ABSTRACT

Signed graphs are graphs with signed edges. They are commonly used to represent positive and negative relationships in social networks. While balance theory and clusterizable graphs deal with signed graphs to represent social interactions, recent empirical studies have proved that they fail to reflect some current practices in real social networks. In this paper we address the issue of drawing signed graphs and capturing such social interactions. We relax the previous assumptions to define a drawing as a model in which every vertex has to be placed closer to its neighbors connected via a positive edge than its neighbors connected via a negative edge in the resulting space. Based on this definition, we address the problem of deciding whether a given signed graph has a drawing in a given $\ell$-dimensional Euclidean space. We present forbidden patterns for signed graphs that admit the introduced definition of drawing in the Euclidean plane and line. We then focus on the $1$-dimensional case, where we provide a polynomial time algorithm that decides if a given complete signed graph has a drawing, and constructs it when applicable.

연구 동기 및 목표

• 모든 삼중군이 균형을 이루지 않는 실제 사회 네트워크를 모델링하는 데 있어 전통적인 균형성과 군집 가능성의 한계를 해결하기 위해.
• 친구와 적에 대한 상대적 거리 비용에 기반한 서명 그래프의 유효한 그래프 도식화 개념을 정식화하기 위해.
• 각 정점이 양성 이웃보다 음성 이웃보다 가까이 놓이는 1차원 유클리드 공간에 서명 그래프를 임베딩할 수 있는 조건을 규명하기 위해.
• 완전 서명 그래프에 대해 이러한 임베딩을 결정하고 구성하는 데 다항시간 내에 수행 가능한 효율적인 알고리즘을 개발하기 위해.

제안 방법

• 유효한 도식화를 정점이 양성 이웃보다 음성 이웃보다 가까이 놓이는 유클리드 공간 내 배치로 정의한다.
• 문제를 양성 부분그래프가 체로드랄인지 확인하고, 두 구조적 조건을 만족하는 완전 제거 순서가 존재하는지 확인하는 것으로 환원한다.
• 양성 부분그래프의 연결 성분들로부터의 완전 제거 순서들을 연결하여 전역적인 정점 순서를 구성한다.
• 정점 순서에 기반한 구축 방법을 적용하여 1차원 공간에서 위치를 할당한다.
• 체로드랄성 테스트 및 완전 제거 순서 계산에 대해 알려진 선형시간 알고리즘을 활용한다.
• 조건 (i)과 (ii)를 만족하는 그러한 순서의 존재가 유효한 1차원 임베딩에 대해 필요하고 충분함을 증명한다.

실험 결과

연구 질문

• RQ1 균형성 또는 군집 가능성 외적으로 실제 사회 네트워크의 역동성을 더 잘 반영하는 더 민감한 서명 그래프 임베딩 모델을 정의할 수 있는가?
• RQ2 완전 서명 그래프가 친구가 적보다 가까이 놓이는 유효한 1차원 임베딩을 허용하는 필수 및 충분 조건은 무엇인가?
• RQ3 이러한 임베딩의 결정 문제는 다항시간 내에 해결 가능한가? 만약 그렇다면, 계산 복잡도는 무엇인가?
• RQ4 서명 그래프에서의 금지 패턴은 1차원 유클리드 공간의 거리 기반 임베딩 제약과 어떻게 관련되는가?
• RQ5 이 임베딩 모델은 비완전 그래프 또는 비유클리드 거리 공간으로 일반화될 수 있는가?

주요 결과

• 완전 서명 그래프는 그의 양성 부분그래프가 체로드랄이면서 두 구조적 조건을 만족하는 완전 제거 순서를 갖는 경우에만 유효한 1차원 임베딩을 허용한다.
• 그러한 순서의 존재는 결과적인 1차원 레이아웃에서 각 정점이 양성 이웃보다 음성 이웃보다 가까이 놓임을 보장한다.
• 이러한 임베딩의 결정 및 구성은 O(n²) 시간 내에 수행 가능하므로, 완전 서명 그래프에 대해 문제는 다항시간 내에 해결 가능하다.
• 논문은 유효한 1차원 도식화를 방해하는 서명 그래프의 금지 패턴을 규명하였으며, 기존 균형 이론의 고전적 금지 삼각형을 초월한다.
• 임의의 서명 그래프(필수로 완전하지는 않음)에 대한 일반적인 결정 문제는 이후 Cygan 등에 의해 NP-완전임이 증명되었으며, 이는 완전성 가정의 중요성을 강조한다.
• 제안된 모델은 균형성과 군집 가능성에 대한 엄격한 요구 조건을 완화하여 네트워크 임베딩에서 사회적 상호작용을 더 현실적으로 표현한다.