Soft nonlinearity constraints and their lower-arity decomposition

Venkatesh Ramamoorthy, Marius C. Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo

研究成果: Contribution to conferencePaper査読

抄録

In this paper we express nonlinearity requirements in terms of soft global n-ary constraints. We describe a method to project global nonlinearity constraints into redundant lowerarity hard constraints. The nonlinearity constraints apply to the inputs and outputs of discrete functions f : ℤ2n → ℤ2m mapping n-bit inputs to m-bit outputs, n > m. No output bit (or linear function on a subset of output bits) of the function f should be too close to a linear function of (a subset of) its input bits. For example, if we select any output bit position and any subset of the six input bit positions, the fraction of inputs for which this output bit equals the exclusive-OR of these input bits should not be close to 0 or 1, but rather should be near 1/2. We analyze this constraint and find that the obtained redundant constraints increase the efficiency of an arc consistency maintenance solver by several orders of magnitude.

本文言語英語
出版ステータス出版済み - 12 1 2012
イベントInternational Symposium on Artificial Intelligence and Mathematics, ISAIM 2012 - Fort Lauderdale, FL, 米国
継続期間: 1 9 20121 11 2012

その他

その他International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012
国/地域米国
CityFort Lauderdale, FL
Period1/9/121/11/12

All Science Journal Classification (ASJC) codes

  • 人工知能
  • 応用数学

フィンガープリント

「Soft nonlinearity constraints and their lower-arity decomposition」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル