constraint,formula,expected,actual,passed,details
C1: 资源约束,Σk_i = 730,730,730,True,总访问次数 = 730
C2: 覆盖约束,k_i >= 1,>= 1,min = 2,True,"最小访问次数 = 2, 违反站点数 = 0"
C3: 日容量约束,每日站点数 = 2,所有天 = 2,"min=2, max=2",True,不满足的天数 = 0
C4: 无重复约束,site_1 ≠ site_2 (同一天),无重复,重复天数 = 0,True,无
C5: 排程一致性,排程次数 = k_i,所有站点一致,不一致站点数 = 0,True,全部一致
C6: 总天数,日历天数 = 365,365,365,True,日历包含 365 天
