Partial Verification as a Substitute for Money

被引：0
|
作者：
Ceppi, Sofia [1 ]
Kash, Ian [2 ]
Frongillo, Rafael [3 ]
机构：
[1] PROWLER Io, Cambridge, England
[2] Univ Illinois, Chicago, IL 60680 USA
[3] Univ Colorado, Boulder, CO 80309 USA
来源：
THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE | 2019年
关键词：
AUCTIONS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Recent work shows that we can use partial verification instead of money to implement truthful mechanisms. In this paper we develop tools to answer the following question. Given an allocation rule that can be made truthful with payments, what is the minimal verification needed to make it truthful without them? Our techniques leverage the geometric relationship between the type space and the set of possible allocations.
引用
收藏
页码：1837 / 1844
页数：8
相关论文
共 50 条
  • [21] Dynamic Partial Reconfiguration Verification Using Assertion Based Verification
    Ahmed, Islam
    Mostafa, Hassan
    Mohieldin, Ahmed Nader
    2018 13TH INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS 2018), 2018,
  • [22] Verification Runtime Analysis: Get the Most Out of Partial Verification
    Ring, Martin
    Bornebusch, Fritjof
    Lueth, Christoph
    Wille, Robert
    Drechsler, Rolf
    PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 873 - 878
  • [23] LYOPHILIZED PIG BLADDER AS A PARTIAL BLADDER WALL SUBSTITUTE
    KELAMI, A
    KUNKEL, M
    STOLPMANN, HJ
    FIEDLER, U
    UROLOGIA INTERNATIONALIS, 1976, 31 (03) : 211 - 216
  • [24] ALLOPLASTIC TRACHEA PARTIAL SUBSTITUTE WITH DACRON ON THE TRACHEA OF DOGS
    KAISER, D
    THORACIC AND CARDIOVASCULAR SURGEON, 1984, 32 : 75 - 75
  • [25] Immobilization Of Dredge Material As Partial Substitute For The Production Of Mortar
    Pangayao, Denvert
    Premacio, Andrew
    Borromeo, Cynthia
    JOURNAL OF APPLIED SCIENCE AND ENGINEERING, 2023, 26 (07): : 1039 - 1045
  • [26] Urea as a partial protein substitute in the feeding of dairy cattle
    Owen, EC
    Smith, JAB
    Wright, NC
    BIOCHEMICAL JOURNAL, 1943, 37 : 44 - 53
  • [27] Practically Feasible Robust Quantum Money with Classical Verification
    Kumar, Niraj
    CRYPTOGRAPHY, 2019, 3 (04) : 1 - 24
  • [28] PARTIAL ADJUSTMENT IN THE DEMAND FOR MONEY - THEORY AND EMPIRICS
    SANTOMERO, AM
    SEATER, JJ
    AMERICAN ECONOMIC REVIEW, 1981, 71 (04): : 566 - 578
  • [29] THE PARTIAL UNACCEPTABILITY OF MONEY IN REPAYMENT FOR NEIGHBORLY HELP
    WEBLEY, P
    LEA, SEG
    HUMAN RELATIONS, 1993, 46 (01) : 65 - 76
  • [30] Partial rotor rebuilds save time and money
    不详
    POWER ENGINEERING, 1998, 102 (06) : 66 - +
12345