代入なし関数型プログラミングはなぜ「簡単」か - Qiita

代入なし関数型プログラミングはなぜ「簡単」か - Qiita

(when (and (is destination five) (is source seven)) (add (is destination twelve)) (delete (is des...概要を表示 (when (and (is destination five) (is source seven)) (add (is destination twelve)) (delete (is destination five))) と表現できる。 こういった命令=アクションを組み合わせて目的状態を達成するプランを探索する問題のことを、古典プランニング問題(ないしSTRIPSプランニング)と呼ぶ。 プランニングの計算複雑性クラスはPSPACE-Hard. 削除効果がない = NP-Hard ここで、プランニング問題のうち、削除効果 (delete effect) がないが無いものを非削除(delete free)プランニング問題と呼ぶ。delete-free プランニング問題はナップサック問題と相互に変換でき、ナップサック問題はNP完全なので、delete-free プランニングはNP完全。 P