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

Nodoka Okada, Taiki Todo, Makoto Yokoo

研究成果: 著書/レポートタイプへの貢献会議での発言

抜粋

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
出版物ステータス出版済み - 1 1 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
イタリア
Turin
期間10/28/1910/31/19

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Okada, N., Todo, T., & Yokoo, M. (2019). SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location. : M. Baldoni, M. Dastani, B. Liao, Y. Sakurai, & R. Zalila Wenkstern (版), PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings (pp. 321-337). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11873 LNAI). Springer. https://doi.org/10.1007/978-3-030-33792-6_20