The Gaussian frontier coefficient

frontierCoefficient = (3/(2π)) arccos ((1 + 2√2)/4) ≈ 0.14035 is the pathwidth coefficient of edge-score decompositions of cubic graphs built from Gaussian distance-kernel scores.

noncomputable def Algebraic.Cutwidth.Gaussian.frontierCoefficient : ℝ

The cubic pathwidth coefficient of the Gaussian edge-score decomposition, (3/(2π)) arccos ((1 + 2√2)/4).

Equations

• Algebraic.Cutwidth.Gaussian.frontierCoefficient = 3 / (2 * Real.pi) * Real.arccos ((1 + 2 * √2) / 4)