Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicableaudited 2026-09-05
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Property (*) for a finite graph family

Definition

Let F be a finite family of finite graphs. We say that F has property () if there exist constants c1,c2,c3>0 such that the following holds for every F-free graph G, where F:={H:HF} is the family of graph complements (Graph isomorphisms, automorphisms and graph complements) (H-free and F-free graphs under the induced-subgraph convention).

Suppose there is an (,w)-comb ((ai,Bi):i[]) in G (Combs in a graph) with ,w4, and suppose there is a vertex vV(G)({ai:i[]}i=1Bi) such that v is complete to iBi and anticomplete to {ai:i[]}. Then at least one of the following holds:

  1. G has a clique or stable set of size at least wc1 (Cliques, stable sets, the clique number ω(G) and stability number α(G));
  2. G has a complete or anticomplete (k,w/kc2)-blockade for some real kc3, where the real length threshold k means that the blockade's integral length is at least k (Blockades, their length, their width, and their support, Complete, anticomplete, pure, weakly sparse, and x-sparse blockades);
  3. G has a pure (,w/2)-blockade.

This condition records exactly the three ways the special-vertex comb trigger can terminate the second sparsification round.

Depends on

Used by

Dependency tree · two levels

18 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources