A Structural Complexity Analysis of Hierarchical Task Network Planning

要約

私たちは、階層型タスク ネットワーク プランニングのコンテキストにおける 3 つの古典的な問題、つまり提供された計画の検証、実行可能な計画が存在するかどうか、および特定の状態に到達できるかどうかについて、洗練された複雑さ理論分析を実行します。
私たちは扱いやすさを生み出す構造特性を特定することに重点を置いています。
原始ネットワークの自然クラスに関する 3 つの問題すべてに対する新しい多項式アルゴリズムと、対応する下限を取得します。
また、多項式時間の可解性を原始タスク ネットワークから一般タスク ネットワークに引き上げるためのアルゴリズムのメタ定理を取得し、その前提条件が厳しいことを証明します。
最後に、3 つの問題のパラメータ化された複雑さを分析します。

要約(オリジナル)

We perform a refined complexity-theoretic analysis of three classical problems in the context of Hierarchical Task Network Planning: the verification of a provided plan, whether an executable plan exists, and whether a given state can be reached. Our focus lies on identifying structural properties which yield tractability. We obtain new polynomial algorithms for all three problems on a natural class of primitive networks, along with corresponding lower bounds. We also obtain an algorithmic meta-theorem for lifting polynomial-time solvability from primitive to general task networks, and prove that its preconditions are tight. Finally, we analyze the parameterized complexity of the three problems.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google