Polytope model とは

多面体モデル(ポリトープ法とも呼ばれる)は、明示的に列挙するには大きすぎる多数の操作を実行するプログラムのための数学的枠組みであり、コンパクトな表現が要求されます。ネストされたループプログラムは典型的な例ですが、唯一の例ではありません。このモデルの最も一般的な使用法は、プログラム最適化におけるループネストの最適化です。多面体法は、ネストされたループ内の各ループ反復を多面体と呼ばれる数学的オブジェクト内の格子点として扱い、アフィン変換またはポリトープのタイル張りなどのより一般的な非アフィン変換を実行し、変換されたポリトープを同等目標を絞った最適化目標)、多面体スキャンによるループネスト