NoF in Reconfiguration Graphs

• NoF is a metric defining the minimal number of flip operations required to transform one configuration into another across combinatorial and geometric spaces.
• It underpins studies in reconfiguration graphs, providing bounds and complexity insights for structures like triangulations, α-orientations, and spanning trees.
• Research on NoF explores NP-complete cases alongside tractable models, employing potential functions, explicit constructions, and parameterized algorithms to optimize flip sequences.

The Number of Flip (NoF) quantifies the minimum number of local transformation steps—generally "flips"—required to convert one combinatorial or geometric configuration into another, within a specified space of constrained objects. This metric underpins reconfiguration distances in flip graphs of planar graphs, triangulations, matchings, orientations, and other discrete structures, and captures computational, structural, and algorithmic complexity across multiple domains.

1. Formal Definitions and Principal Models

NoF is always defined relative to a family of combinatorial objects and a notion of an elementary move, collectively inducing a flip graph.

• α-Orientations: Let $G$ be a finite simple graph, $\alpha:V(G)\rightarrow\mathbb{N}_0$ an out-degree assignment. An $\alpha$-orientation is an orientation $X$ of $G$ such that $\text{out-deg}_X(v) = \alpha(v)$ for all $v$. A flip is the reversal of all edges in a directed cycle. The Number of Flips between $\alpha$-orientations $X,Y$ is

$$\mathrm{NoF}(X,Y) := \min \left\{ k : \exists \ X=Z_0, Z_1, \dots, Z_k=Y,\ \text{each}\ Z_{i} \ \text{from}\ Z_{i-1}\ \text{by flipping a cycle} \right\}.$$

(Aichholzer et al., 2019)

• Geometric Segments/Multigraphs (TSP, Matching, Multigraph): Given $\alpha:V(G)\rightarrow\mathbb{N}_0$0 segments $\alpha:V(G)\rightarrow\mathbb{N}_0$1 in the plane (obeying a constraint $\alpha:V(G)\rightarrow\mathbb{N}_0$2), a flip consists of replacing a crossing pair with their non-crossing counterparts, preserving feasibility. The maximum NoF over all $\alpha:V(G)\rightarrow\mathbb{N}_0$3, $\alpha:V(G)\rightarrow\mathbb{N}_0$4, measures the worst-case length of any legal flip sequence, and $\alpha:V(G)\rightarrow\mathbb{N}_0$5 (Fonseca et al., 2022).
• Combinatorial Triangulations: Given two triangulations $\alpha:V(G)\rightarrow\mathbb{N}_0$6 of a point set, a flip exchanges one diagonal of a convex quadrilateral for the other. The flip graph’s distance is the minimal flip sequence length—i.e., NoF($\alpha:V(G)\rightarrow\mathbb{N}_0$7) (Feng et al., 2019).
• Surface Graphs/Topology: On a surface with fixed combinatorics (e.g., marked boundary points), flips correspond to diagonal replacements in triangulations or facial circuit reversals in orientations; NoF measures minimal path length in the modular flip-graph (Parlier et al., 2015, Zhang et al., 2020).
• Burnt Pancake Graphs: Configurations are signed permutations; a flip reverses and negates the first $\alpha:V(G)\rightarrow\mathbb{N}_0$8 elements. NoF is the minimal number of prefix flips sorting a given input to the identity (Jäger et al., 14 Jan 2026).

Regardless of context, NoF always defines a natural metric structure on the state graph induced by flips and determines the "diameter" and "geodesics" of reconfiguration spaces.

2. Structural and Asymptotic Bounds

NoF in Geometric and Combinatorial Settings

• For segment untangling and related models, the sharpest general bound is $\alpha:V(G)\rightarrow\mathbb{N}_0$9, with best lower bounds $\alpha$0 for perfect matchings and TSP tours; the convex configuration tightens to $\alpha$1. For nearly convex position (with $\alpha$2 non-hull points), $\alpha$3 (Fonseca et al., 2022).
• The maximum number of distinct flips on $\alpha$4 segments improves to $\alpha$5 (Fonseca et al., 2022).
• In the flip graph of combinatorial triangulations on $\alpha$6 vertices, the diameter is at least $\alpha$7, representing the tightest known linear lower bound for any pair of triangulations (Frati, 2015).
• For triangulations of one-holed surfaces of genus $\alpha$8 with $\alpha$9 boundary points, the modular flip-graph diameter satisfies $X$0, with explicit leading constants given for the torus $X$1 (Parlier et al., 2015).
• For non-crossing spanning trees on $X$2 points in convex position, the flip-graph diameter is sandwiched as

$X$3

with NP-hardness even for the basic decision problem (Bjerkevik et al., 23 Mar 2026).

Summary Table: Principal Asymptotic Bounds

Model/Setting	Upper Bound	Lower Bound	Notes
General segments in plane	$X$4	$X$5	(Fonseca et al., 2022)
Convex position segments	$X$6	$X$7	(Fonseca et al., 2022)
Triangulation flip-graph diameter	$X$8	$X$9	(Frati, 2015)
One-holed surface, genus $G$0	$G$1	$G$2	(Parlier et al., 2015)
Spanning trees, convex $G$3 points	$G$4	$G$5	(Bjerkevik et al., 23 Mar 2026)
Burnt pancake sorting (odd $G$6)	$G$7	$G$8	(Jäger et al., 14 Jan 2026)

3. Complexity and Algorithms

• NP-Completeness: Deciding whether NoF$G$9 for planar $\text{out-deg}_X(v) = \alpha(v)$0-orientations, perfect matchings in planar bipartite graphs, or even for non-crossing spanning trees in convex position is NP-complete (Aichholzer et al., 2019, Bjerkevik et al., 23 Mar 2026). This intractability persists for compatible flips and rotations.
• Tractable Cases: For $\text{out-deg}_X(v) = \alpha(v)$1-orientations restricted to source/sink flips (vertex-cuts), the flip-graph becomes the cover of a distributive lattice supporting polynomial-time shortest path algorithms (Aichholzer et al., 2019). For certain lattice triangulations, optimal flip sequences can be computed in $\text{out-deg}_X(v) = \alpha(v)$2 time, with solutions arising as linear extensions of a unique poset, the minimum flip plan (Sims et al., 2020).
• Parameterized Algorithmics: The flip distance between two triangulations admits an FPT algorithm: given parameter $\text{out-deg}_X(v) = \alpha(v)$3 (distance threshold), the minimal flip sequence can be found in $\text{out-deg}_X(v) = \alpha(v)$4 time (Feng et al., 2019).
• Burnt Pancake Sorting: The NoF for the canonical stack $\text{out-deg}_X(v) = \alpha(v)$5 is exactly $\text{out-deg}_X(v) = \alpha(v)$6 for all odd $\text{out-deg}_X(v) = \alpha(v)$7; for even $\text{out-deg}_X(v) = \alpha(v)$8, it is either $\text{out-deg}_X(v) = \alpha(v)$9 or $v$0, an open problem (Jäger et al., 14 Jan 2026).

4. Geometric, Topological, and Algebraic Interpretations

• Matroid Polytopes and Lattices: Flip graphs of $v$1-orientations correspond to skeletons of base polytopes for matroid intersections, and some planar cases relate to alcoved polytopes, highlighting polyhedral and zonotopal structures underlying NoF (Aichholzer et al., 2019).
• Distributive Lattice Structure: When flips correspond to vertex-cuts in $v$2-orientations, the flip-graph structure can be embedded as a distributive lattice. Geodesics correspond to monotone chains in the cover graph and shortest NoF sequences decompose into laminar collections of minimal dicuts with explicit weight/sign assignments (Aichholzer et al., 2019).
• Farey Sequences in Lattice Triangulations: Minimum flip plans for lattice triangulations are constructed by recursive application of Farey mediant operations, yielding a unique dependency poset whose linear extensions parameterize all shortest flip sequences (Sims et al., 2020).

5. Key Proof Methods and Analytical Techniques

• Potential Function Techniques: Upper bounds on NoF frequently utilize potential functions, such as sum-of-crossings or product-of-depths, that strictly decrease under flips. The design of such potentials is closely tailored to the geometric or combinatorial structure and available flip-choices (Fonseca et al., 2022, Fonseca et al., 2023).
• Conflict Graphs: For non-crossing trees, the introduction of conflict graphs enables both the characterization of NP-hardness and the derivation of upper/lower bounds on NoF. The acyclic subset size $v$3 of the conflict graph $v$4 controls the minimal flip distance (Bjerkevik et al., 23 Mar 2026).
• Common-edge and Recurrence Arguments: For triangulation flip-graphs, lower bounds are derived from limits on the number of shared edges under isomorphisms (the "common-edge" lemma), and upper/lower bounds on surfaces are analyzed through recursive inequalities exploiting ear-deletions and local configurations (Frati, 2015, Parlier et al., 2015).
• Explicit Constructions: Tight worst-case bounds, especially in pancake sorting and flip-graph diameters, employ explicit sequences or families of instances that realize the extremal NoF (Jäger et al., 14 Jan 2026, Parlier et al., 2015).

6. Generalizations, Extensions, and Open Problems

• Forbidden Flips and Homology: For $v$5-orientations on surfaces, the minimal NoF subject to forbidden facial circuits is exactly computed by the formula

$v$6

where $v$7 is a homological potential function and $v$8 is the set of facial circuits (Zhang et al., 2020).

• Simultaneous Flips and Layered Posets: For lattice triangulations, simultaneous flips correspond to height levels in the flip plan poset; the poset height gives the minimal number of rounds for parallel reconfiguration (Sims et al., 2020).
• Open Gaps: Central open problems include closing the quadratic-cubic gap for D(n) in general position, determining the exact modular flip-graph diameter for surfaces of genus $v$9, and resolving the even case of burnt pancake sorting (Fonseca et al., 2022, Parlier et al., 2015, Jäger et al., 14 Jan 2026).
• Algorithmic Frontiers: While special cases admit FPT or polynomial algorithms, the general computation of NoF remains hard—prompting continued work on structural decompositions, bounding techniques, and parameterized approaches (Feng et al., 2019, Aichholzer et al., 2019).

7. Significance and Broader Impact

The theory of NoF bridges several domains: enumerative and algebraic combinatorics, polyhedral geometry, computational topology, parameterized complexity, and applied discrete geometry. It quantifies the navigability of combinatorial state spaces, provides universal metrics for flip-graphs, and connects the theoretical reconfiguration distance with algorithmic practices in mesh processing, graph theory, and combinatorial optimization. Ongoing research targets the tightening of asymptotic gaps, the identification of new tractable subclasses, and the development of multidimensional generalizations across combinatorics and geometry.