On market-inspired approaches to propositional satisfiability

William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman

研究成果: Contribution to journalArticle査読

5 被引用数 (Scopus)

抄録

We describe three market-inspired approaches to propositional satisfiability. The first is based on a formulation of satisfiability as production on a supply chain, where producers of particular variable assignments must acquire licenses to fail to satisfy particular clauses. Experiments show that although this general supply-chain protocol can converge to market allocations corresponding to satisfiable truth assignments, it is impractically slow. We find that a simplified market structure and a variation on the pricing method can improve performance significantly. We compare the performance of the three market-based protocols with distributed breakout algorithm and GSAT on benchmark 3-SAT problems. We identify a tradeoff between performance and economic realism in the market protocols, and a tradeoff between performance and the degree of decentralization between the market protocols and distributed breakout. We also conduct informal and experimental analyses to gain insight into the operation of price-guided search.

本文言語英語
ページ(範囲)125-156
ページ数32
ジャーナルArtificial Intelligence
144
1-2
DOI
出版ステータス出版済み - 3 2003
外部発表はい

All Science Journal Classification (ASJC) codes

  • 言語および言語学
  • 言語学および言語
  • 人工知能

フィンガープリント

「On market-inspired approaches to propositional satisfiability」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル