We prove that Y_6 is a spanner. Y_6 is the Yao graph on a set of planar points, which has an edge from each point x to a closest point y within each of the six angular cones of 60 deg surrounding x.
生成讲解博客的中文版本
生成AI智能校验的中文版本