利用平面图的直径近似算法得到的解要求点之间的距离满足三角不等式是指在i要求空间复杂性为O(k)计数器x减少的次数依赖于有几个减少计数器的步骤