[논문 리뷰] The Complexity of Homomorphism Reconstructibility

Jan Böker, Louis Härtel외 3명|arXiv (Cornell University)|2023. 10. 13.

Machine Learning and Algorithms인용 수 1

한 줄 요약

이 논문은 주어진 호모모르피즘 수의 벡터가 어떤 유한 그래프 G에 대응하는지 여부를 판단하는 문제, 즉 호모모르피즘 재구성 가능성 문제의 계산 복잡도를 조사한다. 문제는 유계 트리너비나 유한한 입력 그래프 집합과 같은 제한된 조건 하에서도 NP#P-난이도임을 입증하며, 특정 파ameterized 변형, 예를 들어 단일 그래프 및 부분그래프 수 계산 케이스에 대해 고정 매개변수 가능(FPT) 알고리즘을 제공한다.

ABSTRACT

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where one would like to answer queries or classify graphs solely based on the representation of a graph $G$ as a finite vector of homomorphism counts from some fixed finite set of graphs to $G$. We study the computational complexity of the arguably most fundamental computational problem associated to these representations, the homomorphism reconstructability problem: given a finite sequence of graphs and a corresponding vector of natural numbers, decide whether there exists a graph $G$ that realises the given vector as the homomorphism counts from the given graphs. We show that this problem yields a natural example of an $\mathsf{NP}^{#\mathsf{P}}$-hard problem, which still can be $\mathsf{NP}$-hard when restricted to a fixed number of input graphs of bounded treewidth and a fixed input vector of natural numbers, or alternatively, when restricted to a finite input set of graphs. We further show that, when restricted to a finite input set of graphs and given an upper bound on the order of the graph $G$ as additional input, the problem cannot be $\mathsf{NP}$-hard unless $\mathsf{P} = \mathsf{NP}$. For this regime, we obtain partial positive results. We also investigate the problem's parameterised complexity and provide fpt-algorithms for the case that a single graph is given and that multiple graphs of the same order with subgraph instead of homomorphism counts are given.

연구 동기 및 목표

• 호모모르피즘 재구성 가능성 문제의 형식적 정의 및 계산 복잡도 분석: 주어진 그래프 G가 호모모르피즘 수의 벡터로부터 재구성 가능한지 여부를 판단한다.
• 주어진 유한한 그래프 수열과 관련된 자연수 수량이 어떤 그래프 G로부터의 호모모르피즘 수량으로서 실현 가능한지 여부를 판단한다.
• 특정 제약 조건 하에서 효율적인 알고리즘이 존재할 수 있는 파ameterized 복잡도 영역을 탐색한다. 특히 입력 그래프 집합이 유한하거나 그래프 순서에 대한 제약 조건이 있을 경우를 중심으로 고려한다.
• 이 문제에 대해 산술적 접근(수론적 추론을 사용)과 구조적 구축적 접근(명시적으로 G를 구성) 간의 계산 가능성을 구분하고 평가한다.
• 특수 케이스, 예를 들어 단일 그래프 입력 및 고정 순서의 부분그래프 수 계산 변형에 대해 FPT 알고리즘을 제공한다.

제안 방법

• 호모모르피즘 재구성 가능성 문제(HomRec(F, G))를 결정 문제로 정의: 그래프 F₁,…,Fₘ과 수량 h₁,…,hₘ이 주어졌을 때, 모든 i에 대해 hom(Fᵢ, G) = hᵢ를 만족하는 그래프 G가 존재하는가?
• 기존의 난이도 높은 수량 문제로부터의 축소를 통해 NP#P-난이도를 증명하며, 유배 트리너비나 유한한 입력 집합 조건 하에서도 계산 난이도가 유지됨을 보인다.
• 포함배제 원리와 차수 기반 조합 항등식을 사용하여 부분그래프 수량과 호모모르피즘 수량 간의 관계를 분석하며, 특히 삼각형과 3개의 정점 집합에 대해 중점적으로 다룬다.
• FPT 기법을 적용하여 파ameterized 변형 문제를 해결: 단일 그래프의 경우와 동일한 순서의 다수의 그래프에 대해 부분그래프 수량을 사용하는 경우.
• 특히 p-IntegerLinearEquations의 FPT 해법에 기반한 정수 선형계획법 결과를 활용한다.
• 중간 호모모르피즘 수량을 실현하고 가능한 값의 간격을 메우기 위해 나무와 그 여집합을 이용한 명시적 그래프 가족을 구성한다.

실험 결과

연구 질문

• RQ1 유배 트리너비 또는 유한한 입력 그래프 집합과 같은 제한된 입력 조건 하에서도 호모모르피즘 재구성 가능성 문제가 NP#P-난이도인지 여부는?
• RQ2 입력 그래프 집합이 유한하고 G의 순서에 상한이 주어졌을 때, 문제는 고정 매개변수 가능(FPT) 시간 내에 해결될 수 있는가?
• RQ3 이 맥락에서 산술적 알고리즘(수론적 추론을 사용)과 구조적 구축적 알고리즘(명시적으로 G를 구성) 간의 계산 복잡도 차이는 무엇인가?
• RQ4 어떤 파ameterized 제약 조건(예: 단일 그래프 입력, 고정 순서의 다수 그래프) 하에서 문제는 효율적인 FPT 알고리즘을 갖는가?
• RQ5 실현 가능한 호모모르피즘 수량 벡터의 집합은 완전히 특성화될 수 있으며, 이러한 벡터에 대한 구조적 제약 조건은 무엇인가?

주요 결과

• 호모모르피즘 재구성 가능성 문제는 고정된 수의 입력 그래프와 유배 트리너비, 그리고 고정된 자연수 수량의 입력 벡터 조건 하에서도 NP#P-난이도이다.
• 입력 그래프 집합이 유한하고 G의 순서에 상한이 주어졌을 경우, 문제는 NP-난이도가 될 수 없다. 유일한 조건은 P = NP일 때다.
• 단일 입력 그래프의 경우, 문제는 입력 그래프 크기를 매개변수로 하는 FPT 알고리즘을 갖는다.
• 동일한 순서의 다수의 그래프에 대해 부분그래프 수량을 사용하는 경우, p-IntegerLinearEquations의 FPT 해법을 활용하여 FPT 알고리즘이 존재한다.
• 논문은 나무와 그 여집합을 이용한 명시적 그래프 가족을 구성하여 삼각형 부분그래프 수량의 모든 중간 값을 실현하며, 최대 $\binom{n}{3}$까지의 범위에서 완전성을 입증한다.
• 핵심 항등식이 확립된다: $\text{sub}(\bullet, G) = \binom{n}{3} - \text{sub}(\bullet, G)(n-2) + \sum_{v \in V(G)} \binom{\deg_G(v)}{2} - \text{sub}(\bullet, G)$, 이는 실현 가능한 수량을 정밀하게 제어할 수 있도록 한다.