15、IPC领域中的其他问题探讨

IPC领域中的其他问题探讨

在规划领域中，存在多个不同的领域，它们各自有着独特的特点和挑战。下面我们将详细介绍其中的几个领域。

1. 部分问题与PDDL模型的差异

在某些问题的证明中，硬度证明并不需要特定的队列，并且这些队列也未出现在竞争领域中，所以这并不产生影响。另外，由于PDDL定义存在缺陷，进程只有在最多有一个外向转移的状态下才会被识别为阻塞；即使所有转移都被阻塞，当某个进程在其当前局部状态中有两个外向转移而陷入死锁时，这也不被视为一种解决方案。不过，这并不影响竞争领域的证明，但意味着PSPACE硬度证明不能直接应用于PDDL规范，不过可以轻松调整以绕过这个缺陷。

在PDDL模型中，由于难以简洁地表达队列更新和死锁条件，我们模型中的一个动作对应PDDL模型中的四个动作序列（假设使用ADL构造和派生谓词的PDDL公式，还有其他替代公式），并且对于当前状态中有外向转移的每个阻塞进程，在计划结束时还需要一个额外的动作。以Promela - Philosophers和Promela - OpticalTelegraph为例，其计划长度在PDDL模型中有相应的变化：
| 任务 | 原计划长度 | PDDL模型计划长度 | 最优并行计划长度 |
| ---- | ---- | ---- | ---- |
| Promela - Philosophers | 2n | 9n | 9 |
| Promela - OpticalTelegraph | 3n | 14n | 11 |

2. 电力供应恢复（PSR）领域

2.1 PSR任务定义

PSR任务由一个6元组 ⟨D, C, L, F