ntnt/mcm-mfp
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

latex

Browse Source
This commit is contained in:
ntnt
2026-01-20 03:45:15 +08:00
parent 101e8b7e8e
commit 1498209b0e
147 changed files with 13055 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
task1/paper_tables/table4_validation_results.csv Normal file
View File

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