GI-complete¶
A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another.
Core Idea¶
GI-complete denotes this exact identity: A decision problem is GI-complete when it belongs to GI and is GI-hard, making it polynomial-time equivalent to graph isomorphism under the declared reductions. The candidate is separated from other sections of its shared source article by its own carrier, proof or decoding obligations, and collapse condition.
The constitutive structure joins a decision problem X, a proof that X reduces to graph isomorphism, and a proof that graph isomorphism or every GI problem reduces to X through polynomial resource bounds in both directions. Classification requires answer-preserving encodings and is confirmed by the consequence that an efficient algorithm for either representative transfers to the other. A page-level description of the surrounding subject is therefore insufficient.
GI is the containing reduction class. A GI-member problem becomes GI-complete only after the independent hardness direction is established; the two abstractions therefore differ by a necessary proof obligation. This asymmetric distinction is why both nodes can remain in the encyclopedia without duplicating one another. Removing the added obligation reduces the claim to the neighbor or to a broader source topic, not to GI-complete.
Structural Signature¶
Sig role-phrases:
- R1 — A decision problem x. This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.
- R2 — A proof that x reduces to graph isomorphism. This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.
- R3 — A proof that graph isomorphism or every gi problem reduces to x. This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.
- R4 — Polynomial resource bounds in both directions. This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.
- R5 — Answer-preserving encodings. This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.
- R6 — The consequence that an efficient algorithm for either representative transfers to the other. This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.
What It Is Not¶
- Not the whole field of mathematics_logic_statistics. The node requires the specific identity stated by A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another.
- Not an over-broad reading. labelled graphs, with the proviso that an isomorphism is not required to preserve the labels, but only the equivalence relation consisting of pairs of vertices with the same label.
- Not an over-broad reading. Suppose P is a claimed polynomial-time procedure that checks if two graphs are isomorphic, but it is not trusted.
- Not an over-broad reading. If P is not a correct program, but answers correctly on G and H, the checker will either give the correct answer, or detect invalid behaviour of P.
- Not automatically Subgraph Isomorphism Problem. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.
Scope of Application¶
- Isomorphism setting. Isomorphism problems for graphs with added structure. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved.
- Equivalence setting. Equivalence problems proved polynomially interreducible with graph isomorphism. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved.
- Hardness setting. Hardness classification within the gi degree. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved.
- Transfer setting. Transfer of algorithmic upper bounds among complete representatives. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved.
Clarity¶
A clear use of GI-complete names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another. The strongest recognition evidence in the frozen account is: The problem of deciding whether two convex polytopes given by either the V-description or H-description are projectively or affinely isomorphic. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification labelled graphs, with the proviso that an isomorphism is not required to preserve the labels, but only the equivalence relation consisting of pairs of vertices with the same label. so that a reader can reproduce the classification rather than infer it from topical resemblance.
Manages Complexity¶
GI-complete compresses multiple mathematics_logic_statistics details into a stable diagnostic relation. The source shows both the central mechanism—was obtained first for strongly regular graphs by , and then extended to general graphs by .—and the practical consequence—improvement of the exponent for strongly regular graphs was done by . This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.
Abstract Reasoning¶
- Type the carrier. Identify the mathematics_logic_statistics entities to which the claim applies.
- State the relation. Use the source-grounded identity: A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another.
- Check operation and conditions. For hypergraphs of bounded rank, a subexponential upper bound matching the case of graphs was obtained by .
- Demand recognition evidence. The problem of deciding whether two convex polytopes given by either the V-description or H-description are projectively or affinely isomorphic.
- Test variation. Change an implementation or setting while preserving in electronic design automation graph isomorphism is the basis of the Layout Versus Schematic (LVS) circuit design step, which is a verification whether the electric circuits represented by a circuit schematic and an integrated circuit layout are the same.
- Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
- Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.
Knowledge Transfer¶
Within the home domain. Knowledge about GI-complete transfers literally when a new case preserves the same carrier type, relation, and recognition test. Graphs are commonly used to encode structural information in many fields, including computer vision and pattern recognition, and graph matching, i.e., identification of similarities between graphs, is an important tools in these areas. In cheminformatics and in mathematical chemistry, graph isomorphism testing is used to identify a chemical compound within a chemical database.
Beyond the home domain. No canonical parent is asserted for GI-complete. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.
Examples¶
Canonical¶
To prove X GI-complete, one reduction decides X using graph isomorphism and a reverse reduction transforms graph-isomorphism instances into X. Membership plus hardness establishes polynomial-time equivalence. Either direction alone is insufficient: membership yields only an upper bound, while hardness can place X above GI.
Mapped back: carrier → a decision problem X; relation → A decision problem is GI-complete when it belongs to GI and is GI-hard, making it polynomial-time equivalent to graph isomorphism under the declared reductions.; recognition → the consequence that an efficient algorithm for either representative transfers to the other.
Applied / In Practice¶
A structured-object isomorphism problem is encoded into ordinary graph isomorphism, and ordinary graphs are encoded back as instances of the structured problem. Polynomial size and answer preservation are proved in both directions. The problem is therefore GI-complete, so a polynomial-time algorithm for it would solve graph isomorphism as well.
Mapped back: changed setting → the applied case; invariant → A decision problem is GI-complete when it belongs to GI and is GI-hard, making it polynomial-time equivalent to graph isomorphism under the declared reductions.; boundary → failure of polynomial resource bounds in both directions.
Structural Tensions¶
T1 — Membership Proof Versus Hardness Proof. GI-complete must state which side of this distinction is controlled and how the choice affects the defining relation. Diagnostic: does changing this dimension preserve every signature role, or does the case become the neighboring identity?
T2 — Turing Completeness Versus Stronger Reduction Notions. GI-complete must state which side of this distinction is controlled and how the choice affects the defining relation. Diagnostic: does changing this dimension preserve every signature role, or does the case become the neighboring identity?
T3 — Structural Restriction Versus Expressive Encoding. GI-complete must state which side of this distinction is controlled and how the choice affects the defining relation. Diagnostic: does changing this dimension preserve every signature role, or does the case become the neighboring identity?
T4 — Conditional Tractability Versus Known Upper Bounds. GI-complete must state which side of this distinction is controlled and how the choice affects the defining relation. Diagnostic: does changing this dimension preserve every signature role, or does the case become the neighboring identity?
T5 — Complete Representative Versus The Class As A Whole. GI-complete must state which side of this distinction is controlled and how the choice affects the defining relation. Diagnostic: does changing this dimension preserve every signature role, or does the case become the neighboring identity?
T6 — Theoretical Equivalence Versus Implementation Performance. GI-complete must state which side of this distinction is controlled and how the choice affects the defining relation. Diagnostic: does changing this dimension preserve every signature role, or does the case become the neighboring identity?
Terminal boundary synthesis. For GI-complete, the terminal identity test begins with the definition A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another.. A reviewer must then establish the carrier and operation described by This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it. and This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.. Recognition is constrained by This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it., while admissible variation is limited by This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it. and the collapse boundary This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.. The source-domain setting in mathematics logic statistics matters because Isomorphism problems for graphs with added structure. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved. and Equivalence problems proved polynomially interreducible with graph isomorphism. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved. specify where those roles have literal occupants. The strongest negative controls are The node requires the specific identity stated by A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another. and labelled graphs, with the proviso that an isomorphism is not required to preserve the labels, but only the equivalence relation consisting of pairs of vertices with the same label.; a case satisfying either exclusion should not be rescued merely because its label or examples look familiar.
Terminal adjudication sequence. First, bind the claimed instance to a concrete carrier and state the criterion by which A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another. is recognized. Second, vary implementation, scale, notation, and example while holding This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it. fixed; persistence supports one identity rather than several topic fragments. Third, remove This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it. or trigger This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it. and verify that the classification fails. Fourth, compare the result with the two negative controls instead of relying on name similarity. Fifth, check scope against Isomorphism problems for graphs with added structure. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved. and record any qualification supplied by mathematics logic statistics. Finally, audit the graph claim. The approved unparented placement prevents a weak lexical resemblance from becoming a false ontological claim; a later edge must preserve every constitutive role stated here. This sequence makes the entry rejectable, keeps analogy separate from literal transfer, and exposes which fact would require revision.
Counterfactual boundary matrix. Evaluate GI-complete under four controlled substitutions. In the carrier substitution, replace the concrete entities while retaining This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.; the identity should persist only if the new carrier has the same operative type. In the operation substitution, replace This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it. while preserving surface vocabulary; the identity should fail unless the replacement entails the same relation. In the evidence substitution, change the instrument, representation, or witness used for This role must be identified explicitly; sharing the source article or a five-letter acronym does not satisfy it.; classification may persist when the new evidence warrants the same fact. In the scope substitution, move the case outside Isomorphism problems for graphs with added structure. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved. and ask whether Equivalence problems proved polynomially interreducible with graph isomorphism. The use is literal only when all six signature roles and the declared reduction or encoding convention are preserved. still gives the roles literal occupants. These four tests separate constitutive structure from implementation, evidence, and familiar examples. They also identify the exact revision needed when a source expands or narrows the recognized class.
Neighbor and residual test. The negative controls The node requires the specific identity stated by A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another. and labelled graphs, with the proviso that an isomorphism is not required to preserve the labels, but only the equivalence relation consisting of pairs of vertices with the same label. define two directions of possible overreach. A reviewer should construct one case that satisfies the first control but not GI-complete, one that satisfies GI-complete but not the control, and the corresponding pair for the second control. If no such asymmetric pair can be stated, the candidate may duplicate a neighbor or the distinction may depend only on wording. When the specialist identity fails but a thinner relation remains, record that residual separately instead of stretching GI-complete. The approved unparented placement prevents a weak lexical resemblance from becoming a false ontological claim; a later edge must preserve every constitutive role stated here. The resulting decision trail makes later DAG densification possible without treating today's uncertainty as a hierarchy fact.
Structural–Framed Character¶
GI-complete is structural-leaning inside its technical domain. Its repeatable core is A decision problem is GI-complete when it belongs to GI and is GI-hard, making it polynomial-time equivalent to graph isomorphism under the declared reductions. The frame supplies code-table, reduction, resource, or historical conventions that determine how the roles are occupied.
Identity boundary: GI is the containing reduction class. A GI-member problem becomes GI-complete only after the independent hardness direction is established; the two abstractions therefore differ by a necessary proof obligation. Portability: the analytical pattern can transfer through representation, classification, or comparison, but the specialist name remains bound to the exact encoding or complexity-theoretic obligations stated here.
Structural Core vs. Domain Accent¶
What is skeletal. The reusable organization connects a decision problem X, a proof that X reduces to graph isomorphism, a proof that graph isomorphism or every GI problem reduces to X, and polynomial resource bounds in both directions.
What is domain-bound. The operative standard fixes answer-preserving encodings and the warrant supplied by the consequence that an efficient algorithm for either representative transfers to the other. Those conditions distinguish GI-complete from the neighboring section-level identity.
Why the distinction survives. GI is the containing reduction class. A GI-member problem becomes GI-complete only after the independent hardness direction is established; the two abstractions therefore differ by a necessary proof obligation. A later catalog merge would be justified only if both definitions and their asymmetric counterexamples became equivalent.
Instantiates / Related Primes¶
- Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for GI-complete. The reviewed identity is: A decision problem is GI-complete when it belongs to GI and is GI-hard, so a polynomial-time solution for it and for graph isomorphism would yield polynomial-time solutions for one another. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
- Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.
Neighborhood in Abstraction Space¶
GI-complete sits in a moderately populated region (46th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Codes, Matrices & Combinatorial Problems (30 abstractions)
Nearest neighbors
- GI (complexity) — 0.97
- Causal Map — 0.86
- 3SUM — 0.85
- Tractable Problem — 0.85
- Force-Directed Graph Drawing — 0.85
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Pattern. The parent omits the specialist differentia. Tell: Can the case establish The problem is not known to be solvable in polynomial time nor to be NP-complete, and therefore may be in the computational complexity class NP-intermediate?
- Subgraph Isomorphism Problem. Determine whether a target graph contains a structure-preserving copy of a pattern graph by finding an injective vertex mapping that preserves required adjacency, optionally also non-adjacency. Tell: Which entry's carrier, operation, and failure condition are satisfied?
- Reconstruction conjecture. The conjecture that every finite simple graph with at least three vertices is determined up to isomorphism by the multiset of its vertex-deleted subgraphs. Tell: Which entry's carrier, operation, and failure condition are satisfied?
- Graph isomorphism. A bijection between two graph vertex sets that preserves adjacency and nonadjacency, showing that the graphs have the same structure up to relabeling. Tell: Which entry's carrier, operation, and failure condition are satisfied?
- A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would GI-complete remain present if the detector or downstream effect changed?
- A metaphorical analogue. A similar shape outside mathematics_logic_statistics lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Graph_isomorphism_problem (revision 1350231769).
- Preserved source candidate: https://epubs.siam.org/doi/10.1137/0209047
- Preserved source candidate: http://www.sc.ehu.es/acwbecae/ikerkuntza/these/
- Preserved source candidate: http://www.sc.ehu.es/acwbecae/ikerkuntza/these/Ch2.pdf
- Preserved source candidate: https://www.science.org/content/article/mathematician-claims-breakthrough-complexity-theory
- Preserved source candidate: http://people.cs.uchicago.edu/~laci/
- Preserved source candidate: https://cacm.acm.org/magazines/2020/11/248220-the-graph-isomorphism-problem/fulltext?mobile=false
- Preserved source candidate: http://people.cs.uchicago.edu/~laci/update.html
- Preserved source candidate: https://www.quantamagazine.org/20170114-graph-isomorphism-babai-fix/
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.