14 research outputs found
LIPIcs, Volume 274, ESA 2023, Complete Volume
LIPIcs, Volume 274, ESA 2023, Complete Volum
Parameterized Complexity of Multi-winner Determination: More Effort Towards Fixed-Parameter Tractability
We study the parameterized complexity of Winners Determination for three
prevalent -committee selection rules, namely the minimax approval voting
(MAV), the proportional approval voting (PAV), and the Chamberlin-Courant's
approval voting (CCAV). It is known that Winners Determination for these rules
is NP-hard. Moreover, these problems have been studied from the parameterized
complexity point of view with respect to some natural parameters recently.
However, many results turned out to be W[1]-hard or W[2]-hard. Aiming at
deriving more fixed-parameter algorithms, we revisit these problems by
considering more natural and important single parameters, combined parameters,
and structural parameters.Comment: 31 pages, 2 figures, AAMAS 201
Preferences Single-Peaked on a Tree: Multiwinner Elections and Structural Results
A preference profile is single-peaked on a tree if the candidate set can be
equipped with a tree structure so that the preferences of each voter are
decreasing from their top candidate along all paths in the tree. This notion
was introduced by Demange (1982), and subsequently Trick (1989) described an
efficient algorithm for deciding if a given profile is single-peaked on a tree.
We study the complexity of multiwinner elections under several variants of the
Chamberlin-Courant rule for preferences single-peaked on trees. We show that
the egalitarian version of this problem admits a polynomial-time algorithm. For
the utilitarian version, we prove that winner determination remains NP-hard,
even for the Borda scoring function; however, a winning committee can be found
in polynomial time if either the number of leaves or the number of internal
vertices of the underlying tree is bounded by a constant. To benefit from these
positive results, we need a procedure that can determine whether a given
profile is single-peaked on a tree that has additional desirable properties
(such as, e.g., a small number of leaves). To address this challenge, we
develop a structural approach that enables us to compactly represent all trees
with respect to which a given profile is single-peaked. We show how to use this
representation to efficiently find the best tree for a given profile for use
with our winner determination algorithms: Given a profile, we can efficiently
find a tree with the minimum number of leaves, or a tree with the minimum
number of internal vertices among trees on which the profile is single-peaked.
We also consider several other optimization criteria for trees: for some we
obtain polynomial-time algorithms, while for others we show NP-hardness
results.Comment: 44 pages, extends works published at AAAI 2016 and IJCAI 201
Voting Rules for Expressing Conditional Preferences in Multiwinner Elections
Ο τομέας της Υπολογιστικής Θεωρίας Κοινωνικής Επιλογής μελετά, από αλγοριθμική σκοπιά, την αποτίμηση των προσωπικών προτιμήσεων προς μια συλλογική απόφαση. Πληθώρα προβλημάτων σε πολυπρακτορικά συστήματα, τεχνολογίες λήψης αποφάσεων, σχεδιασμό δικτύων, πολιτικό σχεδιασμό, συστήματα συστάσεων και άλλα, απαιτούν το σχεδιασμό και τη θεωρητική αξιολόγηση κανόνων ψηφοφορίας.
Στο πρώτο κεφάλαιο παρουσιάζουμε την προέλευση, ορισμένες εφαρμογές και υποπεριοχές μαζί με μία ιστορική επισκόπηση του αντικειμένου. Στο δεύτερο κεφάλαιο, εισάγουμε τον αναγνώστη σε εκλογικά σενάρια με περισσότερους από έναν νικητές, περιγράφοντας κάποιες επιθυμητές ιδιότητες των σχετικών κανόνων ψηφοφοριών και ορίζοντας τους πιο συχνά χρησιμοποιούμενους κανόνες μαζί με μία ματιά στα γνωστά αλγοριθμικά και υπολογιστικά τους αποτελέσματα. Μιας και σε πολλές περιπτώσεις, οι ψηφοφόροι επιθυμούν να τους επιτραπεί να εκφράσουν εξαρτήσεις μεταξύ των θεμάτων, όταν καλούνται να αποφασίσουν για περισσότερα από ένα θέματα, στο τρίτο κεφάλαιο εστιάζουμε σε εκλογές συνδυαστικής φύσεως, παρουσιάζοντας ορισμένες σχετικές εφαρμογές μαζί με λύσεις που έχουν προταθεί για την αντιμετώπιση αυτών των περιστάσεων. Τέλος, στο τέταρτο κεφάλαιο, περιγράφουμε ένα μοντέλο για χειρισμό ψήφων αποδοχής υπό συνθήκες σε πολλαπλά δυαδικά ζητήματα, ακολουθούμενο από ορισμένα νέα αποτελέσματα που αφορούν κυρίως βέλτιστους και προσεγγιστικούς αλγορίθμους για τον minisum και τον minimax κανόνα.Computational Social Choice studies the aggregation of individual preferences toward a collective decision from an algorithmic point of view. Various problems in multiagent systems, decision making technologies, network design, policy making, recommendation systems and so on, require the design and theoretical evaluation of a wide range of voting rules.
In the first chapter we present the origins, possible applications, some of the subtopics of Computational Social Choice as well as a historical overview of the field. In the second chapter we introduce the reader to election scenarios with more than a single winner by describing some commonly desired properties of multi-winner voting rules and defining the most widely used rules together with a glance at algorithmic and computational aspects. Since in many voting settings, voters wish to be allowed to express preferential dependencies, in the third chapter we focus on elections on combinatorial domains by presenting some specific applications along with some solutions which have been proposed in order to deal with combinatorial votes. Ultimately, in the fourth chapter we describe the recently proposed model for handling conditional approval preferences on multiple binary issues followed by new contributions which mainly concerns optimum and approximate results for minisum and minimax conditional approval voting rule