■

• 論文校正。Partial order に関する考察を追加。順序関係を課す場合の必要十分条件のみ入れました。順序関係はないという制約まで入れると、数値的判定法は (簡単に解けないケースの) parametric LP で表現される。かなりネバりましたが、そのあたりはまだ攻略できず、論文には載せないことにしました。
• 数値実験で採用している measure が適切かどうか、再考する必要あり。