关于路的字母度

我们验证了 Petkovšec 的一个猜想，证明 n 顶点路的字母度恰为 $\left\lfloor \frac{n+4}{3}\right\rfloor$。