本研究围绕提升计划执行灵活性的核心概念展开，包括部分序计划、生产者‑消费者‑威胁形式化以及多种去序（deordering）和重序（reordering）策略。\ \ 从顺序计划生成部分序计划的常用做法是删除不必要的顺序约束，从而提升执行灵活性。已有多种方法针对该任务提出，本文从排序能力、动作处理、参数处理、计划结构、并发性以及复杂度六个维度进行系统分析，并在统一基准上进行横向比较。\ \ 核心发现是基于块去序的方案显著优于基于 MaxSAT 的方案。块去序通过块级分组和子计划替换重构因果依赖，能够改变原有因果结构，暴露出原本被视为必要的顺序约束；而 MaxSAT 只在已有因果结构内部寻找最小重序，受结构限制较大。\ \ 在实用性方面，块去序方法是 anytime 算法，总能返回有效结果；相对地，MaxSAT 编码在相当比例的计划上完全失效，且即使成功也不提供部分解。\ \ 块替换进一步通过形式化非并发约束扩展并行执行，但其收益主要局限于资源交互显著的领域。\ \ 效率上，块去序在单位计算时间内获得的灵活性提升最高，而 MaxSAT 编码则伴随巨大的计算开销。\ \ 点评：块去序通过结构性重构实现了更大的并行潜力和稳健性，是当前提升计划执行灵活性的首选技术。