Multi-Winner Voting with Approval Preferences

From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic

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

Multi-Winner Voting with Approval Preferences

Approval-based committee (ABC) rules are voting rules that output a fixed-size subset of candidates, a so-called committee. ABC rules select committees based on dichotomous preferences, i.e., a voter either approves or disapproves a candidate. This simple type of preferences makes ABC rules widely suitable for practical use. In this book, we summarize the current understanding of ABC rules from the viewpoint of computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications.Comment: This is a draft of the upcoming book "Multi-Winner Voting with Approval Preferences

LIPIcs, Volume 274, ESA 2023, Complete Volume

LIPIcs, Volume 274, ESA 2023, Complete Volum

On the Practice and Application of Context-Free Language Reachability

The Context-Free Language Reachability (CFL-R) formalism relates to some of the most important computational problems facing researchers and industry practitioners. CFL-R is a generalisation of graph reachability and language recognition, such that pairs in a labelled graph are reachable if and only if there is a path between them whose labels, joined together in the order they were encountered, spell a word in a given context-free language. The formalism finds particular use as a vehicle for phrasing and reasoning about program analysis, since complex relationships within the data, logic or structure of computer programs are easily expressed and discovered in CFL-R. Unfortunately, The potential of CFL-R can not be met by state of the art solvers. Current algorithms have scalability and expressibility issues that prevent them from being used on large graph instances or complex grammars. This work outlines our efforts in understanding the practical concerns surrounding CFL-R, and applying this knowledge to improve the performance of CFL-R applications. We examine the major difficulties with solving CFL-R-based analyses at-scale, via a case-study of points-to analysis as a CFL-R problem. Points-to analysis is fundamentally important to many modern research and industry efforts, and is relevant to optimisation, bug-checking and security technologies. Our understanding of the scalability challenge motivates work in developing practical CFL-R techniques. We present improved evaluation algorithms and declarative optimisation techniques for CFL-R, capitalising on the simplicity of CFL-R to creating fully automatic methodologies. The culmination of our work is a general-purpose and high-performance tool called Cauliflower, a solver-generator for CFL-R problems. We describe Cauliflower and evaluate its performance experimentally, showing significant improvement over alternative general techniques

Advances in Fundamental Physics

This Special Issue celebrates the opening of a new section of the journal Foundation: Physical Sciences. Theoretical and experimental studies related to various areas of fundamental physics are presented in this Special Issue. The published papers are related to the following topics: dark matter, electron impact excitation, second flavor of hydrogen atoms, quantum antenna, molecular hydrogen, molecular hydrogen ion, wave pulses, Brans-Dicke theory, hydrogen Rydberg atom, high-frequency laser field, relativistic mean field formalism, nonlocal continuum field theories, parallel universe, charge exchange, van der Waals broadening, greenhouse effect, strange and unipolar electromagnetic pulses, quasicrystals, Wilhelm-Weber’s electromagnetic force law, axions, photoluminescence, neutron stars, gravitational waves, diatomic molecular spectroscopy, information geometric measures of complexity. Among 21 papers published in this Special Issue, there are 5 reviews and 16 original research papers

Course Catalogue of the Massachusetts Institute of Technology 1932 - 1933

Massachusetts Institute of Technology Catalogue for the Academic Year 1932-1933. Includes special courses arranged for officers of the United States Army and for officers of the United States Navy. Digitized from microfiche copies. Digital version may contain microfiche headers and targets

LIPIcs, Volume 251, ITCS 2023, Complete Volume

LIPIcs, Volume 251, ITCS 2023, Complete Volum