顾律在草稿纸上画了两张图。
图一
图二
“很明显的可以看出，图一这种三颜色纵行分区排列所得分隔线，是66条，而图二这种三颜色t型排列，是56条。”
毕齐开口，“老师，56这个数字我也算出来了，但关键是，我不知道怎么去证明，这就是那个‘最小分隔线数’。”
的确，56这个数字只是通过臆想得到，而并没有严谨的证明过程。
顾律摆摆手，“不用着急，听我慢慢道来。”
他在草稿纸上写下一行行公式，缓缓讲述，“设分隔线条数为l，下面就是证明l≥56。将方格纸的行从上至下依次记为a1、a2、a3……，列从左至右依次记为b1、b2、b3……行ai中方格出现的颜色数记为n(ai)，列bi中方格出现的颜色个数记为n(bi).三种颜色分别记为c1，c2，c3……”
“……定义δ(bi，cj)，于是∑(n(ai)+n(bi))=∑∑(δ(ai，cj)+δ(bi，cj))=∑∑(δ(ai，cj)+δ(bi，cj))=∑n(cj)，由于……”
顾律每一个步骤都讲的很详细。
毕齐目光炯炯，听的很认真。
“……综上所述，分隔边条数的最小值等于56！”
顾律写完最后一笔，揉了揉有些发酸的手腕。
内容未完，下一页继续阅读