DefinitionDefinition: Literature-sourcedProof: Not applicableSession-authored (Fable 5 assisted)judge pass (gpt-5.6-terra)audited 2026-08-27

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.

Blockades, their length, their width, and their support

Let $G$ be a finite graph, let $ℓ \in N$ with $ℓ \geq 1$ , and let $w > 0$ be real. An $(ℓ, w)$ -blockade in $G$ is a sequence

$B = (B_{1}, \dots, B_{t})$

of pairwise disjoint nonempty subsets of $V (G)$ such that $t \geq ℓ$ and $∣ B_{i} ∣ \geq w$ for every $i \in [t]$ .

Each $B_{i}$ is a block. The length of $B$ is $t$ , its width is

$\min {∣ B_{1} ∣, \dots, ∣ B_{t} ∣},$

and its support is

$V (B) = B_{1} \cup \dots \cup B_{t} .$

Used by

Nothing. This result depends on no other item in the library.