The Gaussian cutwidth coefficient

cutwidthCoefficient = (3/π)(3 - 2√2) ≈ 0.16384 is the prefix-cut coefficient achieved by Gaussian distance-kernel layouts of cubic graphs, below the 1/6 of the Monien–Preis and Fomin–Høie bounds.

noncomputable def Algebraic.Cutwidth.Gaussian.cutwidthCoefficient : ℝ

The cubic cutwidth coefficient of the Gaussian layout, (3/π)(3 - 2√2).

Equations

• Algebraic.Cutwidth.Gaussian.cutwidthCoefficient = 3 / Real.pi * (3 - 2 * √2)