[논문 리뷰] Extending partial representations of function graphs and permutation graphs

Pavel Klavík, Jan Kratochvı́l외 2명|arXiv (Cornell University)|2012. 04. 28.

Advanced Graph Theory Research참고 문헌 12인용 수 6

한 줄 요약

이 논문은 [0,1]에서 연속적인 실수 함수를 사용하여 부분 표현을 확장하는 데 필요한 복잡도를 조사한다. 전체 구간에서 정의된 함수에 대해 다항시간 알고리즘을 제시하지만, 부분 함수가 하위구간에서만 정의된 경우에 NP-완전성을 증명하여 두 설정 간의 급격한 복잡도 전이를 강조한다.

ABSTRACT

Function graphs are graphs representable by intersections of continuous real-valued functions on the interval [0,1] and are known to be exactly the complements of comparability graphs. As such they are recognizable in polynomial time. Function graphs generalize permutation graphs, which arise when all functions considered are linear. We focus on the problem of extending partial representations, which generalizes the recognition problem. We observe that for permutation graphs an easy extension of Golumbic's comparability graph recognition algorithm can be exploited. This approach fails for function graphs. Nevertheless, we present a polynomial-time algorithm for extending a partial representation of a graph by functions defined on the entire interval [0,1] provided for some of the vertices. On the other hand, we show that if a partial representation consists of functions defined on subintervals of [0,1], then the problem of extending this representation to functions on the entire interval [0,1] becomes NP-complete.

연구 동기 및 목표

• 함수 그래프 및 순열 그래프의 부분 표현을 확장하는 데 필요한 복잡도를 연구하는 것.
• 일부 정점에 대해 함수가 사전 할당된 경우, [0,1]에서 연속 함수를 사용한 부분 표현 확장이 여전히 다항시간으로 해결 가능한지 확인하는 것.
• 기하학적 그래프 표현 확장 문제에서 다항시간 해결 가능성과 NP-완전성 사이의 경계를 조사하는 것.
• 부분 함수가 전체 구간 또는 하위구간에서 정의되는지에 따라 복잡도의 이분법적 특성을 설정하는 것.

제안 방법

• 비가역성 그래프의 전이 방향을 사용하여 부분 함수 표현 확장 문제를 부분순서집합 확장 문제로 감소시킨다.
• 각 정점 u에 대해 부분 표현에서 함수의 상대적 순서에 의해 결정되는 구간의 교차로 정의된 영역 Reg(u)를 정의한다.
• 보조정리 5: 부분 함수 표현이 확장 가능할 조건은 임의의 두 비가역 정점에 대해 그 영역 Reg(u)와 Reg(v)의 교차가 비어 있지 않은 것과 필요충분조건이다.
• 비가역 정점 쌍의 영역 교차가 비어 있는지 다항시간 알고리즘으로 테스트한다.
• 하위구간에서 정의된 부분 함수의 경우, 3-SAT에서의 감소를 통해 NP-완전성을 증명한다.
• 모듈러 분해와 방향 제약 조건을 사용하여 변수 및 절의 구조를 그래프 구성에 통합한다.

실험 결과

연구 질문

• RQ1 함수 그래프의 부분 표현을 [0,1] 전체에서 정의된 함수로 확장하는 문제는 다항시간 내에 해결 가능한가?
• RQ2 부분 함수가 [0,1]의 하위구간에서만 정의된 경우, 확장 문제의 복잡도가 크게 변화하는가?
• RQ3 함수 그래프의 확장 문제는 비교가능성 그래프의 전이 방향을 통해 부분순서집합 확장 문제로 감소될 수 있는가?
• RQ4 부분 표현이 전체 구간이 아닌 하위구간에서 정의된 함수로 주어진 경우, 확장 문제는 NP-완전한가?
• RQ5 그래프와 부분 표현의 어떤 구조적 성질이 확장 문제의 다항시간 해결 가능성 또는 비결정성에 영향을 미치는가?

주요 결과

• 함수 그래프의 부분 표현을 [0,1] 전체에서 정의된 함수로 확장하는 문제는 다항시간 내에 해결 가능하다.
• 부분 표현이 [0,1]의 하위구간에서만 정의된 함수로 구성된 경우, 문제는 NP-완전해진다.
• 확장 가능성의 필요충분조건은 모든 비가역 정점 쌍 u와 v에 대해 Reg(u)와 Reg(v)의 교차가 비어 있지 않은 것이다.
• 3-SAT에서의 감소는 NP-완전성 결과가 날카롭고 구조적으로 타당하다는 것을 보여주며, 변수 및 절 정점은 만족 가능성 제약 조건을 암시한다.
• 순열 그래프의 경우, Golumbic의 알고리즘을 확장하면 다항시간 해결이 가능하지만, 일반적인 함수 그래프에는 이 접근이 실패한다.
• 구간 교차를 통한 영역 기반 특성화는 다항시간 해결 가능 케이스의 핵심 알고리즘 도구를 제공한다.