本文提出了基于C++程序的广义规划（GP）问题的新型表示方法，证明了其终止性和渐近复杂度。实验结果表明该方法优于以往的启发式搜索方法。C++程序在传统规划实例上执行无冗余和无搜索，可验证大型测试实例的解决方案。