Search papers, labs, and topics across Lattice.
This paper introduces position graphs, a novel graph-based reasoning framework that formalizes position spaces using strict partial orders to model the relative positions of discrete tokens. The authors establish conditions for the consistency of these graphs and analyze the computational complexity of structural pattern discovery, revealing that the induced subgraph isomorphism problem remains NP-complete even for position graphs. This work emphasizes the mathematical properties and algebraic consistency of position-based constraints, offering a foundational framework applicable beyond specific data extraction methods.
Position graphs reveal that even a constrained graph framework can harbor NP-complete challenges in structural pattern discovery.
In this paper, we introduce position graphs, a graph-based reasoning framework based on the formalization of position spaces. This framework utilizes two strict partial orders, representing horizontal and vertical alignment and precedence, to model the relative positions of discrete tokens. Unlike general qualitative spatial calculi, position graphs are constrained by a chain condition and compatibility requirements that focus on rows and columns. We provide a comprehensive theoretical analysis of this representation, beginning with a characterization of graph consistency. Conditions to ensure the consistency of position graphs are established. Furthermore, we investigate the computational complexity of structural pattern discovery, modeled as the induced subgraph isomorphism problem. We demonstrate that this problem remains NP-complete even within the restricted class of position graphs. While initially motivated by document processing, this work focuses on the underlying mathematical properties and algebraic consistency of position-based constraints, providing a formal logical layer that is independent of specific data extraction techniques.
