-Blocks: a connectivity invariant for graphs
A -block in a graph is a maximal set of at least vertices no two of which can be separated in by fewer than other vertices. The block number of is the largest integer such that has a -block. We investigate how interacts with density invariants of graphs, such as their minimum or average degree. We further present algorithms that decide whether a graph has a -block, or which find all its -blocks. The connectivity invariant has a dual width invariant, the block-width of . Our algorithms imply the duality theorem : a graph has a block-decomposition of width and adhesion if and only if it contains no -block.