Treffer: On the PoA conjecture: Trees versus biconnected components

Title:
On the PoA conjecture: Trees versus biconnected components
Contributors:
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals
Publisher Information:
Society for Industrial and Applied Mathematics (SIAM)
Publication Year:
2023
Collection:
Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
Document Type:
Fachzeitschrift article in journal/newspaper
File Description:
23 p.; application/pdf
Language:
English
Relation:
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/TIN2017-86727-C2-1-R/ES/MODELOS Y METODOS BASADOS EN GRAFOS PARA LA COMPUTACION EN GRAN ESCALA/; http://hdl.handle.net/2117/396946
DOI:
10.1137/21M1466426
Rights:
Open Access
Accession Number:
edsbas.7E73975D
Database:
BASE

Weitere Informationen

In the classical model of network creation games introduced by Fabrikant et al. [Ona network creation game, in Proceedings of the Twenty-Second Annual Symposium on Principlesof Distributed Computing (PODC`03), 2003, pp. 347--351],nplayers correspond to the nodes of anetwork buying links of price\alpha and to the other players with the goal of being well-connected tothe resulting network. Still as an open problem, theconstantPoAconjecturestates that thePriceof Anarchy(PoA) is constant for any\alpha . When tackling this problem distinct behaviors must betaken into the account depending on whether\alpha has either large or low value. It is known that for\alpha >4n - 13 everyneis a tree and for\alpha =O(n1 - \delta ) with\delta \geq 1/lognthe diameter of networks thatare in equilibrium when restricting to deviations that consist only in buying links (buying equilibria)is at most a constant. These results imply that the PoA is constant for the disjoint union of thetwo ranges, and thus the constant PoA conjecture seems to be true for most of all the possiblevalues\alpha . In this paper we study the PoA for the remaining range of\alpha and we show the following:(i) For\alpha > n(1 +\epsilon ) the PoA is constant by proving that the size of any biconnected componentof an equilibrium graph is constant. (ii) For\alpha \leq n(1 +\epsilon ) we have that PoA = \Theta (dmax), wheredmaxis the maximum diameter of an equilibrium graph for the same range of\alpha . Therefore if theconstant PoA conjecture was false, it would suffice to construct equilibria of nonconstant diameter.Towards this direction we find nontrivialbuying equilibriaof nonconstant diameter when\alpha > n1 - \delta and\delta =O(2 - \surd \mathrm{l}\mathrm{o}\mathrm{g}n), exploring new intimate relationships betweendistance-uniform graphsandbuying equilibria. ; This work was partially supported by funds from the Spanish Ministry for Economy and Competitiveness (MINECO) and the European Union (FEDER funds) under grant GRAMM (TIN2017-86727-C2-1-R), from ...