Abstract
The realization that selfish interests need to be accounted for in the design of algorithms has produced many interesting and valuable contributions in computer science under the general umbrella of algorithmic mechanism design. Novel algorithmic properties and paradigms have been identified and studied in the literature. Our work stems from the observation that selfishness is different from rationality; agents will attempt to strategize whenever they perceive it to be convenient according to their imperfect rationality. Recent work in economics [18] has focused on a particular notion of imperfect rationality, namely absence of contingent reasoning skills, and defined obvious strategyproofness (OSP) as a way to deal with the selfishness of these agents. Essentially, this definition states that to care for the incentives of these agents, we need not only pay attention about the relationship between input and output, but also about the way the algorithm is run. However, it is not clear to date what algorithmic approaches ought to be used for OSP. In this paper, we rather surprisingly show that, for binary allocation problems, OSP is fully captured by a natural combination of two well-known and extensively studied algorithmic techniques: forward and reverse greedy. We call two-way greedy this underdeveloped algorithmic design paradigm.
Our main technical contribution establishes the connection between OSP and two-way greedy. We build upon the recently introduced cycle monotonicity technique for OSP [9]. By means of novel structural properties of cycles and queries of OSP mechanisms, we fully characterize these mechanisms in terms of extremal implementations. These are protocols that ask each agent to consistently separate one extreme of their domain at the current history from the rest. Through the natural connection with the greedy paradigm, we are able to import a host of known approximation bounds to OSP and strengthen the strategic properties of this family of algorithms. Finally, we begin exploring the full power of two-way greedy (and, in turns, OSP) in the context of set systems.
Diodato Ferraioli is supported by GNCS-INdAM and the Italian MIUR PRIN 2017 Project ALGADIMAR “Algorithms, Games, and Digital Markets”. Carmine Ventre acknowledges funding from the UKRI Trustworthy Autonomous Systems Hub (EP/V00784X/1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
It may appear that an alternative formalization of the interleaving between in- and out-priorities could be a query where the type is fully revealed; this would not work as there is still one type for which the outcome is undetermined.
- 2.
Note that a syntactically (but not semantically) alternative definition of forward greedy algorithms could do without \(\mathcal I\) by requiring an extra property on the priority functions (i.e., adaptively floor all the priorities of infeasible players).
- 3.
For notational simplicity, we here assume that there are not ties between the priority functions.
- 4.
The algorithm must not necessarily have a definition for the priority functions for all the combinations of type/history as some might never get explored. In this case, we set all the undefined entries to sufficiently small (tie-less, for simplicity) values.
References
Ausubel, L.M.: An efficient ascending-bid auction for multiple objects. AER 94(5), 1452–1475 (2004)
Avis, D.: A survey of heuristics for the weighted matching problem. Networks 13(4), 475–493 (1983)
Bade, S., Gonczarowski, Y.: Gibbard-satterthwaite success stories and obvious strategyproofness. In: EC, p. 565 (2017)
Borodin, A., Nielsen, M.N., Rackoff, C.: (Incremental) priority algorithms. Algorithmica 37, 295–326 (2003)
Clarkson, K.L.: A modification of the greedy algorithm for vertex cover. Inf. Process. Lett. 16(1), 23–25 (1983)
de Keijzer, B., Kyropoulou, M., Ventre, C.: Obviously strategyproof single-minded combinatorial auctions. In: ICALP, pp. 71:1–71:17 (2020)
Dütting, P., Gkatzelis, V., Roughgarden, T.: The performance of deferred-acceptance auctions. Math. Oper. Res. 42(4), 897–914 (2017)
Ferraioli, D., Meier, A., Penna, P., Ventre, C.: Automated optimal OSP mechanisms for set systems. In: Caragiannis, I., Mirrokni, V., Nikolova, E. (eds.) WINE 2019. LNCS, vol. 11920, pp. 171–185. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-35389-6_13
Ferraioli, D., Meier, A., Penna, P., Ventre, C.: Obviously strategyproof mechanisms for machine scheduling. In: ESA, pp. 46:1–46:15 (2019)
Ferraioli, D., Ventre, C.: Probabilistic verification for obviously strategyproof mechanisms. In: IJCAI, pp. 240–246 (2018)
Ferraioli, D., Ventre, C.: Approximation guarantee of OSP mechanisms: the case of machine scheduling and facility location. Algorithmica 83(2), 695–725 (2021)
Gkatzelis, V., Markakis, E., Roughgarden, T.: Deferred-acceptance auctions for multiple levels of service. In: EC (2017)
Hausmann, D., Korte, B., Jenkyns, T.A.: Worst case analysis of greedy type algorithms for independence systems. In: Padberg, M.W. (ed.) Combinatorial Optimization, pp. 120–131. Springer, Heidelberg (1980). https://doi.org/10.1007/BFb0120891
Kagel, J.H., Harstad, R.M., Levin, D.: Information impact and allocation rules in auctions with affiliated private values: a laboratory study. Econometrica 55(6), 1275–1304 (1987)
Kruskal, J.B.: On the shortest spanning subtree of a graph and the traveling salesman problem. Proc. Am. Math. Soc. 7(1), 48–50 (1956)
Kyropoulou, M., Ventre, C.: Obviously strategyproof mechanisms without money for scheduling. In: AAMAS, pp. 1574–1581 (2019)
Lehmann, D., O’Callaghan, L., Shoham, Y.: Truth revelation in approximately efficient combinatorial auctions. J. ACM 49(5), 577–602 (2002)
Li, S.: Obviously strategy-proof mechanisms. AER 107(11), 3257–87 (2017)
Mackenzie, A.: A revelation principle for obviously strategy-proof implementation. Games Econ. Behav. 124, 512–533 (2018)
Milgrom, P., Segal, I.: Clock auctions and radio spectrum reallocation. J. Polit. Econ. 128(1), 1–31 (2020)
Nisan, N., Roughgarden, T., Tardos, E., Vazirani, V. (eds.) Algorithmic Game Theory. Cambridge University Press, Cambridge (2007)
Saks, M., Yu, L.: Weak monotonicity suffices for truthfulness on convex domains. In: EC (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Ferraioli, D., Penna, P., Ventre, C. (2022). Two-Way Greedy: Algorithms for Imperfect Rationality. In: Feldman, M., Fu, H., Talgam-Cohen, I. (eds) Web and Internet Economics. WINE 2021. Lecture Notes in Computer Science(), vol 13112. Springer, Cham. https://doi.org/10.1007/978-3-030-94676-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-94676-0_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-94675-3
Online ISBN: 978-3-030-94676-0
eBook Packages: Computer ScienceComputer Science (R0)