---
title: List Flexibility in Graph Coloring
url: https://www.emergentmind.com/topics/list-flexibility-number
type: topic
---

# List Flexibility in Graph Coloring

List flexibility number is a graph invariant from flexible list coloring that measures how large vertex lists must be to guarantee that a prescribed fraction of vertex requests can be honored in every proper list-coloring instance. In one widely used normalization, the parameter is the smallest \(k\) such that the graph is \((k,1/\rho(G))\)-flexible, where \(\rho(G)\) is the Hall ratio; in a related weighted formulation, the analogous parameter is the smallest \(k\) for which the graph is weighted \(1/k\)-flexibly \(k\)-choosable, and this coincides with the fractional list packing number \(\chi_\ell^\bullet(G)\). Across these formulations, the invariant refines ordinary choosability by incorporating adversarial requests, and it is closely tied to Hall ratio, list packing, degeneracy, graph products, and structural graph classes such as planar and complete multipartite graphs [2211.09048, 2509.24013, 2410.02695].

## 1. Definitions and competing conventions

Let \(G\) be a finite simple graph and \(L\) a list assignment. A request of \(L\) is a function \(r\) with nonempty domain \(D\subseteq V(G)\) such that \(r(v)\in L(v)\) for each \(v\in D\). The triple \((G,L,r)\) is \(\epsilon\)-satisfiable if there exists a proper \(L\)-coloring \(f\) such that
\[
|\{v\in D:f(v)=r(v)\}|\ge \epsilon |D|.
\]
A graph \(G\) is \((k,\epsilon)\)-flexible if \((G,L',r')\) is \(\epsilon\)-satisfiable whenever \(L'\) is a \(k\)-assignment for \(G\) and \(r'\) is a request of \(L'\) [2211.09048, 2412.15927].

The term “list flexibility number” is used in more than one, closely related, sense.

| Convention | Parameter | Representative source |
|---|---|---|
| Hall-ratio normalized | \(\chi_{\ell\mathrm{flex}}(G)=\min\{k: G \text{ is } (k,1/\rho(G))\text{-flexible}\}\) | [2211.09048], [2509.24013], [2412.15927] |
| Weighted/fractional-packing | smallest \(k\) such that \(G\) is weighted \(1/k\)-flexibly \(k\)-choosable; equals \(\chi_\ell^\bullet(G)\) | [2410.02695] |
| Positive-\(\epsilon\) threshold | \(f(G)=\min\{k:\exists \epsilon>0\text{ such that }G\text{ is }\epsilon\text{-flexible for }k\text{-lists}\}\) | [2004.10917] |

Weighted flexibility is formulated probabilistically: \(G\) is weighted \(\epsilon\)-flexible for \(L\) if there exists a probability distribution on \(L\)-colorings such that for every vertex \(v\) and every color \(c\in L(v)\),
\[
\Pr(c(v)=c)\ge \epsilon.
\]
This suggests that the terminology is not completely standardized: some papers normalize by the Hall-ratio barrier \(1/\rho(G)\), whereas others normalize by the extremal balanced value \(1/k\) that arises from fractional packings [2312.17233, 2410.02695].

## 2. Hall ratio, universal thresholds, and basic inequalities

The Hall ratio of a graph \(G\) is
\[
\rho(G)=\max_{H\subseteq G}\frac{|V(H)|}{\alpha(H)},
\]
and equivalently
\[
\min_{\emptyset\neq D\subseteq V(G)}\frac{\alpha(G[D])}{|D|}=\frac{1}{\rho(G)}.
\]
This parameter gives the exact universal obstruction to flexibility: if \(\epsilon>1/\rho(G)\), then \(G\) is not \((k,\epsilon)\)-flexible for any \(k\); if \(\epsilon\le 1/\rho(G)\), then \(G\) is \((\Delta(G)+1,\epsilon)\)-flexible, so the optimal fraction \(1/\rho(G)\) is always achievable once lists have size \(\Delta(G)+1\) [2211.09048, 2412.15927].

The Hall-ratio-normalized list flexibility number is therefore
\[
\chi_{\ell\mathrm{flex}}(G)=\min\{k: G\text{ is }(k,1/\rho(G))\text{-flexible}\}.
\]
It satisfies
\[
\chi(G)\le \chi_\ell(G)\le \chi_{\ell\mathrm{flex}}(G)\le \Delta(G)+1.
\]
The lower bound by \(\chi_\ell(G)\) is immediate, because any positive-flexibility guarantee implies \(k\)-choosability, while the upper bound comes from the \((\Delta(G)+1,1/\rho(G))\)-flexibility theorem [2211.09048, 2509.24013, 2412.15927].

Several monotonicity properties are immediate from the definitions: if \(G\) is \((k,\epsilon)\)-flexible, then it is \((k',\epsilon')\)-flexible for every \(k'\ge k\) and every \(\epsilon'\le \epsilon\); and every subgraph of a \((k,\epsilon)\)-flexible graph is again \((k,\epsilon)\)-flexible [2412.15927].

## 3. Exact values and model examples

A number of graphs admit exact Hall-ratio-normalized list flexibility numbers. Trees with at least one edge satisfy \(\chi_{\ell\mathrm{flex}}(T)=2\). Complete graphs satisfy \(\chi_{\ell\mathrm{flex}}(K_n)=n\). Odd cycles satisfy \(\chi_{\ell\mathrm{flex}}(C_{2t+1})=3\). The ladder \(P_2\square P_n\) is \((3,1/2)\)-flexible, hence \(\chi_{\ell\mathrm{flex}}(P_2\square P_n)=3\) [2211.09048].

For complete bipartite graphs, the exact \(\epsilon\)-flexibility function is known for the cases \(m\in\{1,2\}\). Since \(\rho(K_{m,n})=2\), the universal ceiling is \(1/2\). One has \(\chi_{\ell\mathrm{flex}}(K_{1,n})=2\), and indeed \(\varepsilon(K_{1,n},k)=1/2\) for all \(k\ge 2\). For \(K_{2,n}\), one has \(\chi_{\ell\mathrm{flex}}(K_{2,1})=2\), while \(\chi_{\ell\mathrm{flex}}(K_{2,n})=3\) for all \(n\ge 2\); moreover \(\varepsilon(K_{2,n},3)=1/2\) for every \(n\ge 2\). The small cases \(K_{2,2}\) and \(K_{2,3}\) are especially instructive: they are \(2\)-choosable, but with \(k=2\) they admit no positive uniform \(\epsilon\), so the optimal Hall-ratio fraction is first attained at \(k=3\) [2412.15927].

Balanced complete bipartite graphs also exhibit strict separation between list flexibility number and coloring number: for \(n>4\), \(\chi_{\ell\mathrm{flex}}(K_{n,n})<n\), whereas \(\mathrm{col}(K_{n,n})=n+1\) [2412.15927]. This shows that the coloring number upper bound can be far from tight even inside highly structured families.

## 4. Packing, weighted flexibility, and fractional list packing

Flexible list coloring is tightly connected to packing-type parameters. If \(x^\star(G)\) denotes the list packing number, then every graph \(G\) is \((x^\star(G),1/x^\star(G))\)-flexible. More generally, if there are \(mk\) proper \(L\)-colorings such that each vertex-color pair appears exactly \(m\) times, then any request is \(1/k\)-satisfiable [2211.09048].

The weighted formulation sharpens this connection. A fractional packing of a \(k\)-fold list-cover yields a probability distribution on proper colorings in which every color at every vertex is used with probability exactly \(1/k\), and therefore implies weighted \(\epsilon\)-flexibility with \(\epsilon=1/k\). In this framework, the smallest \(k\) for which such a perfectly balanced distribution always exists is the fractional list packing number \(\chi_\ell^\bullet(G)\); the paper on layered graphs explicitly identifies this quantity with the relevant “list flexibility number” in the weighted \(1/k\) sense [2312.17233, 2410.02695].

This alternative normalization places the parameter in the chain
\[
\chi(G)\le \chi_\ell(G)\le \chi_\ell^\bullet(G)\le \chi_\ell^\star(G),
\]
and yields strong structural bounds. If \(td(G)=k\), then \(\chi_c^\bullet(G)\le k\), hence \(G\) is weighted \(1/k\)-flexibly \(k\)-choosable. If \(pw(G)=k\), then \(\chi_c^\bullet(G)\le k+1\), so \(G\) is weighted \(1/(k+1)\)-flexibly \((k+1)\)-choosable. For Cartesian products,
\[
\chi_\ell^\bullet(G_1\square G_2)\le \chi_\ell^\bullet(G_1)+\Delta(G_2),
\]
and similarly for the correspondence version \(\chi_c^\bullet\) [2410.02695].

## 5. Structural results for graph classes

Degeneracy gives uniform but generally nonoptimal guarantees. Every \(d\)-degenerate graph is \((d+2,1/2^{d+1})\)-flexible, and the same bound holds in the weighted setting, even for correspondence coloring. For bipartite \(d\)-degenerate graphs, every single-vertex request is 1-satisfiable from every \((d+1)\)-assignment, extending an earlier prime-case theorem to all \(d\) in the bipartite setting [2211.09048, 2410.02695].

Complete multipartite graphs admit a stronger Hall-ratio-normalized theorem. If
\[
G=K_{n_1,n_2,\dots,n_k}\quad\text{with}\quad n_1\le n_2\le \cdots \le n_k,
\]
then
\[
\chi_{\ell\mathrm{flex}}(G)\le n_1+\cdots+n_{k-1}+1=\mathrm{col}(G),
\]
and \(\rho(G)=k\). Thus every complete \(k\)-partite graph achieves the optimal fraction \(1/k\) with lists of size at most its coloring number [2412.15927].

For planar graphs and their subclasses, the literature mostly proves positive \(\epsilon\)-flexibility at specific list sizes rather than exact Hall-ratio-normalized values. Every planar graph without \(4\)-cycles is weighted \(\epsilon\)-flexible for \(5\)-lists for some absolute \(\epsilon>0\) [1903.01460]. Planar graphs without \(K_4^-\) are weighted \(\epsilon\)-flexible for \(5\)-lists, and planar graphs without \(4\)-cycles and with \(3\)-cycle distance at least \(2\), as well as planar graphs without \(C_4,C_5,C_6\), are weighted \(\epsilon\)-flexible for \(4\)-lists [2004.10917]. Weak flexibility at list size \(4\) is also known for planar graphs forbidding \(K_4,C_5,C_6,C_7,B_b\), and full weighted flexibility is proved for the class forbidding \(K_4,C_5,C_6,C_7,B_5\) [2009.07932].

Fractional-packing methods give explicit optimal weighted constants for several planar families. Triangle-free planar graphs are weighted \(1/5\)-flexibly \(5\)-choosable, planar graphs of girth \(5\) are weighted \(1/4\)-flexibly \(4\)-choosable, and planar graphs of girth at least \(6\) are weighted \(1/3\)-flexibly \(3\)-choosable; the last value is optimal [2312.17233].

## 6. Large joins, separations, and open problems

A recent structural theorem characterizes when large joins with complete graphs preserve flexible chromatic-choosability. For a graph \(G\), the following are equivalent: there exists \(N\in\mathbb N\) such that
\[
\chi_{\ell\mathrm{flex}}(K_p\vee G)=\chi(K_p\vee G)\quad\text{for all }p\ge N,
\]
and every subset \(S\subseteq V(G)\) of size \(\omega(G)+1\) contains \(u,v\) together with a proper \(\chi(G)\)-coloring of \(G\) that colors \(u\) and \(v\) the same. In particular, for all odd cycles,
\[
\chi_{\ell\mathrm{flex}}(K_p\vee C_{2k+1})=p+3.
\]
The same paper also shows that an Ohba-like statement fails in general when ordinary list chromatic number is replaced by list flexibility number [2509.24013].

The main open problems remain structural. A central question asks whether there exists a graph \(G\) with
\[
\chi_{\ell\mathrm{flex}}(G)>\mathrm{col}(G).
\]
This is ruled out for complete multipartite graphs, but no general answer is known [2412.15927]. Another question asks whether there exists a \(d\)-degenerate graph with list flexibility number greater than \(d+1\) [2211.09048]. There is also no universal constant \(c\) such that \(\chi_{\ell\mathrm{flex}}(G)\le \chi_\ell(G)+c\) for all graphs, so any upper bound in terms of \(\chi_\ell(G)\) would have to be genuinely nonadditive [2211.09048]. On the planar side, it remains open whether all planar graphs are weighted \(\epsilon\)-flexible for \(5\)-lists, and whether planar graphs without \(4\)-cycles are weighted \(\epsilon\)-flexible for \(4\)-lists [1903.01460]. In the fractional-packing direction, pathwidth bounds are sharp, but analogous treewidth bounds remain unresolved [2410.02695].

Taken together, these results show that list flexibility number sits at an intersection of extremal coloring, probabilistic coloring, and structural graph theory. The Hall-ratio-normalized invariant \(\chi_{\ell\mathrm{flex}}(G)\), the weighted balanced-distribution parameter \(\chi_\ell^\bullet(G)\), and the older positive-\(\epsilon\) threshold \(f(G)\) encode different aspects of the same phenomenon: how much list size must increase beyond ordinary choosability before adversarial requests can be satisfied at a guaranteed rate.

Source: https://www.emergentmind.com/topics/list-flexibility-number