広い最適化問題のクラスに対し，最適化問題（の表現）が与えられたとき，以下の2つのプロセスからなる汎用のアルゴリズムスキームの確立を目指す． 【最適化問題の圧縮】与えられた最適化問題と等価で，かつ，サイズが小さい最適化問題（の表現）を求める． 【圧縮表現に対する最適化】上で得られた最適化問題の圧縮表現に対し，その最適解を効率よく求める．また，本スキームを，NP困難であることが知られている組合せ最適化問題に適用することで，従来のIPソルバーやSATソルバーに代わる，新しい厳密計算の枠組みを与えることも目指す．
