Abstract:We introduce a new parameter, called stretch-width, that we show sits strictly between clique-width and twin-width. Unlike the reduced parameters [BKW '22], planar graphs and polynomial subdivisions do not have bounded stretch-width. This leaves open the possibility of efficient algorithms for a broad fragment of problems within Monadic Second-Order (MSO) logic on graphs of bounded stretch-width. In this direction, we prove that graphs of bounded maximum degree and bounded stretch-width have at most logarithmic treewidth. As a consequence, in classes of bounded stretch-width, Maximum Independent Set can be solved in subexponential time $2^{O(n^{4/5} \log n)}$ on $n$-vertex graphs, and, if further the maximum degree is bounded, Existential Counting Modal Logic [Pilipczuk '11] can be model-checked in polynomial time. We also give a polynomial-time $O(\text{OPT}^2)$-approximation for the stretch-width of symmetric $0,1$-matrices or ordered graphs. Somewhat unexpectedly, we prove that exponential subdivisions of bounded-degree graphs have bounded stretch-width. This allows to complement the logarithmic upper bound of treewidth with a matching lower bound. We leave as open the existence of an efficient approximation algorithm for the stretch-width of unordered graphs, if the exponential subdivisions of all graphs have bounded stretch-width, and if graphs of bounded stretch-width have logarithmic clique-width (or rank-width).

Width and Dual Width of Subsets in Polynomial Association Schemes

Characterizing completely regular codes from an algebraic viewpoint

New Solutions to Delsarte's Dual Linear Programs

Bivariate $Q$-polynomial structures for the nonbinary Johnson scheme and the association scheme obtained from attenuated spaces

On Association Schemes Generated by a Relation or an Idempotent

Bivariate $P$-polynomial association schemes

Stretch-width

Multivariate P- and/or Q-polynomial association schemes

P-Polynomial and Bipartite Coherent Configurations

Partially Metric Association Schemes with a Multiplicity Three.

On Some Recent Progress in the Classification of $$(p\hbox { and }Q)$$-Polynomial Association Schemes

On Connections Between Association Schemes and Analyses of Polyhedral and Positive Semidefinite Lift-and-Project Relaxations

Association Schemes Related to Universally Optimal Configurations, Kerdock Codes and Extremal Euclidean Line-Sets

Bivariate $P$- and $Q$-polynomial structures of the association schemes based on attenuated spaces

Even poset and a parity result for binary linear code

Uniqueness of Certain Association Schemes

The Widths of Strict Outerconfluent Graphs

Combinatorial Bounds in Distal Structures

Distal combinatorial tools for graphs of bounded twin-width

Association schemes arising from non-weakly regular bent functions

$Q$-polynomial distance-regular graphs and a double affine Hecke algebra of rank one