SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location

Nodoka Okada, Taiki Todo, Makoto Yokoo

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

2 被引用数 (Scopus)

抄録

In the literature of mechanism design, market mechanisms have been developed by professionals based on their experience. The concept of automated mechanism design (AMD), initiated by Sandholm (2002), is a ground-breaking computer-aided framework to develop market mechanisms. In this paper, we apply a very recent AMD approach based on Boolean Satisfiability (SAT) to the mechanism design of false-name-proof facility location. We first provide a general theoretical characteristic of false-name-proof mechanisms, which enables a quite compact representation of target mechanisms. Our approach successfully reproduces several known results in the literature on false-name-proof facility locations over discrete structures. Furthermore, some unknown mechanisms are discovered for locating a public good on a 2-by-2 grid, and an impossibility result is revealed for locating a public bad, with an additional mild assumption, on a 2-by-3 grid. Finally, we demonstrate the extendability of our approach, by providing a new false-name-proof mechanism for a slightly modified problem of locating a public good.

本文言語英語
ホスト出版物のタイトルPRIMA 2019
ホスト出版物のサブタイトルPrinciples and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings
編集者Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila Wenkstern
出版社Springer
ページ321-337
ページ数17
ISBN(印刷版)9783030337919
DOI
出版ステータス出版済み - 2019
イベント22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019 - Turin, イタリア
継続期間: 10 28 201910 31 2019

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11873 LNAI
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

会議

会議22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019
国/地域イタリア
CityTurin
Period10/28/1910/31/19

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル