经过一整年的紧张编程,Bajtazar 决定驾车前往 Bajtlandia 度假。路上他经过许多路标,上面标注着到各城市的当前距离(公里,整数)。这些距离是对实际距离向下取整的近似值。度假归来,Bajtazar 总觉得路标信息不太对劲,怀疑有些路标并非专业人员设置,数据可能互相矛盾。他想找出最大的路标集合,使得其信息互不矛盾。由于任务太复杂他想请你帮忙。Bajtazar 记忆力超群,记得所有路标信息,但不清楚它们的具体位置或遇到顺序。
假设 Bajtlandia 是一条直线,城市为直线上的点,足够小可视为点。Bajtazar 旅途中未经过任何城市。路标集合无矛盾,意指可为路标和城市分配坐标,使路标上的向下取整距离符合实际。城市和路标坐标无需为整数,但不得有两城市或两路标重合。Bajtazar 确信,Bajtlandia 的路政人员并非特别无能(他曾亲自监理道路建设),至少 的路标信息无矛盾。