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

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

1. 不一致部分状态剪枝研究

1.1 实验结果分析

在解决困难的RLFAP实例时，使用dom/wdeg方法进行实验，允许时间为1800秒。以下是不同实例的实验结果：
| 实例 | ¬ρ | ρuni | ρunex | ρprf | ρprex |
| — | — | — | — | — | — |
| scen11 - f8（#V = 680） |
| - 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（#V = 680） |
| - 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 |
| scen11 - f6（#