Approximation threshold for nearest cluster-graph edit distance

Determine whether the nearest cluster-graph edit distance q^*(λ,μ) admits a polynomial-time approximation scheme, establish APX-hardness if it does not, and determine the best achievable approximation ratio relative to the strict factor-2 algorithm currently proved.

Background

The paper proves that deciding q*(λ,μ)≤Q is strongly NP-complete and that exact evaluation admits no FPTAS unless P=NP. It also gives an O(n log n)-time alignment whose cost is strictly below 2q*(λ,μ).

The reduction used for strong NP-completeness has zero approximation gap, so it neither establishes APX-hardness nor rules out a PTAS. Consequently, the precise approximation complexity and the optimal approximation ratio remain unresolved.

References

Corollary~\ref{cor:6.3} excludes an FPTAS but not a PTAS, and \S\ref{sec:6.1} has zero gap, so neither direction has evidence. The distance between the ratio 2 of Corollary~\ref{cor:3.12} and the best possible ratio is also unknown.

Cluster-Graph Edit Distance: Metric Proxies, Multiscale Embeddings, and Complexity  (2608.17990 - Liu et al., 18 Aug 2026) in Section 7, Open problems, item 3; Section 6.3