Finding Order-Preserving Subgraphs

TL;DR

This paper investigates the computational complexity of order-preserving subgraph problems, revealing NP-completeness in many cases and identifying conditions under which these problems become tractable, especially with specific vertex orderings.

Contribution

It proves NP-completeness of ordered subgraph problems on simple graph classes, explores complexity gaps between related problems, and shows how vertex orderings influence tractability.

Findings

NP-completeness persists on trees of depth 2 and threshold graphs.

Polynomial-time solvability for OSI on interval graphs with interval orderings.

MCOIS can be solved in polynomial time with known vertex orderings on threshold graphs.

Abstract

(Induced) Subgraph Isomorphism and Maximum Common (Induced) Subgraph are fundamental problems in graph pattern matching and similarity computation. In graphs derived from time-series data or protein structures, a natural total ordering of vertices often arises from their underlying structure, such as temporal sequences or amino acid sequences. This motivates the study of problem variants that respect this inherent ordering. This paper addresses Ordered (Induced) Subgraph Isomorphism (O(I)SI) and its generalization, Maximum Common Ordered (Induced) Subgraph (MCO(I)S), which seek to find subgraph isomorphisms that preserve the vertex orderings of two given ordered graphs. Our main contributions are threefold: (1) We prove that these problems remain NP-complete even when restricted to small graph classes, such as trees of depth 2 and threshold graphs. (2) We establish a gap in computational complexity between OSI and OISI on certain graph classes. For instance, OSI is polynomial-time solvable for interval graphs with their interval orderings, whereas OISI remains NP-complete under the same setting. (3) We demonstrate that the tractability of these problems can depend on the vertex ordering. For example, while OISI is NP-complete on threshold graphs, its generalization, MCOIS, can be solved in polynomial time if the specific vertex orderings that characterize the threshold graphs are provided.