关于完全二部图的条可见数

图的一个 $t$-条可见表示将每个顶点分配在平面上至多 $t$ 条水平条，使得两个顶点相邻当且仅当其中一个顶点的某条条能通过一条具有正宽度的无阻挡垂直通道看到另一个顶点的某条条。使得 $G$ 具有 $t$-条可见表示的最小 $t$ 称为 $G$ 的条可见数，记为 $b(G)$。对于完全二部图 $K_{m,n}$，由欧拉公式得到的下界 $b(K_{m,n})\ge\lceil{\frac{mn+4}{2m+2n}}\rceil$ 是众所周知的。我们证明该等式成立。