把行数翻倍大致只会多付出一个不可避免的红色圆圈,这正是以2为底的对数所表现的行为。
所求答案是 k=⌊log2n⌋+1k=\lfloor\log_2n\rfloor+1k=⌊log2n⌋+1;解答的其余部分证明了:既存在某个三角形使每条路径最多经过这么多红色圆圈,也证明了每个三角形都保证存在一条至少经过这么多红色圆圈的路径。