为证明 575757 组总是足够,在同样的 201620162016 个城市上构造辅助有向图 HHH:只要 uuu 在 GGG 中可由 vvv 用至多 282828 次航班到达,就从 uuu 向 vvv 连一条边。由于 GGG 处处出度为 111,HHH 中每个顶点的出度至多为 282828(对应航班数 111 到 282828 各一个)。只要把城市划分成 575757 组使组内没有 HHH 的边,就解决了原问题。