×

The parameterized complexity of welfare guarantees in Schelling segregation. (English) Zbl 07921860

Summary: Schelling’s model considers \(k\) types of agents each of whom needs to select a vertex on an undirected graph and prefers neighboring agents of the same type. We are motivated by a recent line of work that studies solutions which are optimal with respect to notions related to the welfare of the agents. We explore the parameterized complexity of computing such solutions. We focus on the well-studied notions of social welfare (WO) and Pareto optimality (PO), alongside the recently proposed notions of group-welfare optimality (GWO) and utility-vector optimality (UVO), both of which lie between WO and PO. Firstly, we focus on the fundamental case where \(k = 2\) with \(r\) red agents and \(b\) blue agents. We show that all solution-notions we consider are intractable even when \(b = 1\) and that they do not admit any FPT algorithm when parameterized by \(r\) and \(b\), unless \(\textsf{FPT} = \text{W} [1]\). In addition, we show that WO and GWO remain intractable even on cubic graphs. We complement these negative results with an FPT algorithm parameterized by \(r, b\) and the maximum degree of the graph. For the general case with \(k \geq 2\) types of agents, we prove that for any of the notions we consider the problem remains hard when parameterized by \(k\) for a large family of graphs that includes trees. We accompany these negative results with an XP algorithm parameterized by \(k\) and the treewidth of the graph.

MSC:

68Qxx Theory of computing

References:

[1] Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A., Schelling games on graphs, Artif. Intell., 301, Article 103576 pp., 2021 · Zbl 1481.91037
[2] Barmpalias, George; Elwes, Richard; Lewis-Pye, Andy, Tipping points in 1-dimensional Schelling models with switching agents, J. Stat. Phys., 158, 4, 806-852, 2015 · Zbl 1316.82018
[3] Barmpalias, George; Elwes, Richard; Lewis-Pye, Andrew, Unperturbed Schelling segregation in two or three dimensions, J. Stat. Phys., 164, 6, 1460-1487, 2016 · Zbl 1353.60082
[4] Barmpalias, George; Elwes, Richard; Lewis-Pye, Andrew, Digital morphogenesis via Schelling segregation, Nonlinearity, 31, 4, 1593, 2018 · Zbl 1391.82032
[5] Barmpalias, George; Elwes, Richard; Lewis-Pye, Andrew, Minority population in the one-dimensional Schelling model of segregation, J. Stat. Phys., 173, 5, 1408-1458, 2018 · Zbl 1418.91421
[6] Bilò, Davide; Bilò, Vittorio; Lenzner, Pascal; Molitor, Louise, Topological influence and locality in swap Schelling games, Auton. Agents Multi-Agent Syst., 36, 2, 1-60, 2022 · Zbl 07559386
[7] Bodlaender, Hans L.; Drange, Pål Grønås; Dregi, Markus S.; Fomin, Fedor V.; Lokshtanov, Daniel; Pilipczuk, Michal, A \(c^k n 5\)-approximation algorithm for treewidth, SIAM J. Comput., 45, 2, 317-378, 2016 · Zbl 1333.05282
[8] Bui, Thang Nguyen; Chaudhuri, Soma; Leighton, Frank Thomson; Sipser, Michael, Graph bisection algorithms with good average case behavior, Combinatorica, 7, 2, 171-191, 1987
[9] Bullinger, Martin; Suksompong, Warut; Voudouris, Alexandros A., Welfare guarantees in Schelling segregation, J. Artif. Intell. Res., 71, 143-174, 2021 · Zbl 1521.91102
[10] Chauhan, Ankit; Lenzner, Pascal; Molitor, Louise, Schelling segregation with strategic agents, (International Symposium on Algorithmic Game Theory, 2018, Springer), 137-149 · Zbl 1415.91053
[11] Clark, William A. V.; Fossett, Mark, Understanding the social context of the Schelling segregation model, Proc. Natl. Acad. Sci. USA, 105, 11, 4109-4114, 2008
[12] Cygan, Marek; Fomin, Fedor V.; Kowalik, Lukasz; Lokshtanov, Daniel; Marx, Dániel; Pilipczuk, Marcin; Pilipczuk, Michal; Saurabh, Saket, Parameterized Algorithms, 2015, Springer · Zbl 1334.90001
[13] Diestel, Reinhard, Graph Theory, Graduate Texts in Mathematics, vol. 173, 2012, Springer
[14] Downey, Rodney G.; Fellows, Michael R., Fundamentals of Parameterized Complexity, Texts in Computer Science, 2013, Springer Verlag · Zbl 1358.68006
[15] Echzell, Hagen; Friedrich, Tobias; Lenzner, Pascal; Molitor, Louise; Pappik, Marcus; Schöne, Friedrich; Sommer, Fabian; Stangl, David, Convergence and hardness of strategic Schelling segregation, (International Conference on Web and Internet Economics, 2019, Springer), 156-170 · Zbl 1435.91135
[16] Friedrich, Tobias; Lenzner, Pascal; Molitor, Louise; Seifert, Lars, Single-peaked jump Schelling games, (Deligkas, Argyrios; Filos-Ratsikas, Aris, Algorithmic Game Theory - 16th International Symposium, Proceedings. Algorithmic Game Theory - 16th International Symposium, Proceedings, SAGT 2023, Egham, UK, September 4-7, 2023. Algorithmic Game Theory - 16th International Symposium, Proceedings. Algorithmic Game Theory - 16th International Symposium, Proceedings, SAGT 2023, Egham, UK, September 4-7, 2023, Lecture Notes in Computer Science, vol. 14238, 2023, Springer), 111-126 · Zbl 1537.91052
[17] Immorlica, Nicole; Kleinberg, Robert; Lucier, Brendan; Zadomighaddam, Morteza, Exponential segregation in a two-dimensional Schelling model with tolerant individuals, (Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017, SIAM), 984-993 · Zbl 1417.91400
[18] Jansen, Klaus; Kratsch, Stefan; Marx, Dániel; Schlotter, Ildikó, Bin packing with fixed number of bins revisited, J. Comput. Syst. Sci., 79, 1, 39-49, 2013 · Zbl 1261.68065
[19] Johnson, David S.; Papadimitriou, Christos H.; Yannakakis, Mihalis, How easy is local search?, J. Comput. Syst. Sci., 37, 1, 79-100, 1988 · Zbl 0655.68074
[20] Kanellopoulos, Panagiotis; Kyropoulou, Maria; Voudouris, Alexandros A., Modified Schelling games, Theor. Comput. Sci., 880, 1-19, 2021 · Zbl 1512.91021
[21] Kanellopoulos, Panagiotis; Kyropoulou, Maria; Voudouris, Alexandros A., Not all strangers are the same: the impact of tolerance in Schelling games, Theor. Comput. Sci., 971, Article 114065 pp., 2023 · Zbl 07729841
[22] Kloks, T., Treewidth: Computations and Approximations, 1994, Springer Verlag: Springer Verlag Berlin · Zbl 0825.68144
[23] Korhonen, Tuukka, A single-exponential time 2-approximation algorithm for treewidth, (62nd IEEE Annual Symposium on Foundations of Computer Science. 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022, 2021, IEEE), 184-192
[24] Kreisel, Luca; Boehmer, Niclas; Froese, Vincent; Niedermeier, Rolf, Equilibria in Schelling games: computational hardness and robustness, Auton. Agents Multi-Agent Syst., 38, 1, 1-42, 2024
[25] Lin, Bingkai, The parameterized complexity of the k-biclique problem, J. ACM, 65, 5, aug 2018 · Zbl 1426.68131
[26] Megiddo, Nimrod; Papadimitriou, Christos H., On total functions, existence theorems and computational complexity, Theor. Comput. Sci., 81, 2, 317-324, 1991 · Zbl 0731.68036
[27] Niedermeier, Rolf, Invitation to Fixed-Parameter Algorithms, Oxford Lecture Series in Mathematics and Its Applications, 2006, Oxford University Press: Oxford University Press Oxford · Zbl 1095.68038
[28] Papadimitriou, Christos H., On the complexity of the parity argument and other inefficient proofs of existence, J. Comput. Syst. Sci., 48, 3, 498-532, 1994 · Zbl 0806.68048
[29] Schelling, Thomas C., Models of segregation, Am. Econ. Rev., 59, 2, 488-493, 1969
[30] Zhang, Junfu, A dynamic model of residential segregation, J. Math. Sociol., 28, 3, 147-170, 2004 · Zbl 1101.91311
[31] Zhang, Junfu, Residential segregation in an all-integrationist world, J. Econ. Behav. Organ., 54, 4, 533-550, 2004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.