60、条件任务图调度与不一致部分状态剪枝研究

条件任务图调度与不一致部分状态剪枝研究

1. 资源受限局部频率分配问题结果分析

在资源受限局部频率分配（RLFAP）的难题实例求解中，使用 dom/wdeg 方法（允许 1800 秒），对不同实例进行了测试，结果如下表所示：
| 实例 | ¬ρ | ρuni | ρunex | ρprf | ρprex |
| — | — | — | — | — | — |
| scen11 - f8 | | | | | |
| - cpu | 9.0 | 10.4 (8.54) | 12.3 (9.6) | 5.7 | 5.5 |
| - mem | 29 | 164 (65) | 49 (37) | 33 | 33 |
| - nodes | 15,045 | 13,319 (13,858) | 13,291 (13,309) | 1,706 | 1,198 |
| - elim | 39.0 (38.1) | 590.2 (590.2) | 643.3 | 656.0 | |
| scen11 - f7 | | | | | |
| - cpu | 26.0 | 11.1 (9.23) | 10.4 (10.06) | 5.5 | 5.6 |
| - mem | 29 | 168 (73) | 49 (37) | 33 | 33 |
| - nodes | 113K | 13,016 (14,265) | 12,988 (13,220) | 2,096 | 1,765 |
| - elim | 25.2 (25.4) | 584.1 (584.7) | 647.5 | 654.8 | |
| scen1