arXiv reaDer
バイナリサブモジュラー関数の表現力
The Expressive Power of Binary Submodular Functions
 以前は、すべてのブールサブモジュラー関数を、より大きな変数のセットでバイナリサブモジュラー関数の合計に分解できるかどうかは未解決の問題でした。この問題は、コンピュータービジョン、人工知能、疑似ブール最適化など、コンピューターサイエンスのさまざまなコンテキスト内で考慮されています。評価された制約の表現力と関数の特定の代数的性質との関係を使用して、この質問に否定的に答えます。結果にはいくつかの結果があります。まず、アリティ4のどのサブモジュラー関数がバイナリサブモジュラー関数で表現できるかを正確に特徴付けます。次に、バイナリサブモジュラー関数で表現できる、任意のアリティのサブモジュラー関数の新しいクラスを識別します。したがって、Min-Cut問題に対するいわゆる表現可能性の削減を使用して効率的に最小化します。さらに重要なことは、我々の結果はこの種の削減に対する制限を暗示し、一般に任意のサブモジュラー関数を最小化するために一般に使用できないことを初めて確立します。最後に、ブールサブモジュラー関数の円錐の極端な光線の構造に関するプロミスローとヤングの推測に反論します。
It has previously been an open problem whether all Boolean submodular functions can be decomposed into a sum of binary submodular functions over a possibly larger set of variables. This problem has been considered within several different contexts in computer science, including computer vision, artificial intelligence, and pseudo-Boolean optimisation. Using a connection between the expressive power of valued constraints and certain algebraic properties of functions, we answer this question negatively. Our results have several corollaries. First, we characterise precisely which submodular functions of arity 4 can be expressed by binary submodular functions. Next, we identify a novel class of submodular functions of arbitrary arities which can be expressed by binary submodular functions, and therefore minimised efficiently using a so-called expressibility reduction to the Min-Cut problem. More importantly, our results imply limitations on this kind of reduction and establish for the first time that it cannot be used in general to minimise arbitrary submodular functions. Finally, we refute a conjecture of Promislow and Young on the structure of the extreme rays of the cone of Boolean submodular functions.
updated: Wed Nov 12 2008 17:21:08 GMT+0000 (UTC)
published: Wed Nov 12 2008 17:21:08 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)
Amazon.co.jpアソシエイト