Arkadii Slinko
University of Auckland
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Arkadii Slinko.
Annals of Pure and Applied Logic | 2002
Denis R. Hirschfeldt; Bakhadyr Khoussainov; Richard A. Shore; Arkadii Slinko
Abstract Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so forth. One way to give positive answers to this question is to adapt the original proof to the new setting. However, this can be an unnecessary duplication of effort, and lacks generality. Another method is to code the original structure into a structure in the given class in a way that is effective enough to preserve the property in which we are interested. In this paper, we show how to transfer a number of computability-theoretic properties from directed graphs to structures in the following classes: symmetric, irreflexive graphs; partial orderings; lattices; rings (with zero-divisors); integral domains of arbitrary characteristic; commutative semigroups; and 2-step nilpotent groups. This allows us to show that several theorems about degree spectra of relations on computable structures, nonpreservation of computable categoricity, and degree spectra of structures remain true when we restrict our attention to structures in any of the classes on this list. The codings we present are general enough to be viewed as establishing that the theories mentioned above are computably complete in the sense that, for a wide range of computability-theoretic nonstructure type properties, if there are any examples of structures with such properties then there are such examples that are models of each of these theories.
algorithmic game theory | 2009
Edith Elkind; Piotr Faliszewski; Arkadii Slinko
In voting theory, bribery is a form of manipulative behavior in which an external actor (the briber) offers to pay the voters to change their votes in order to get her preferred candidate elected. We investigate a model of bribery where the price of each vote depends on the amount of change that the voter is asked to implement. Specifically, in our model the briber can change a voters preference list by paying for a sequence of swaps of consecutive candidates. Each swap may have a different price; the price of a bribery is the sum of the prices of all swaps that it involves. We prove complexity results for this model, which we call swap bribery , for a broad class of voting rules, including variants of approval and k -approval, Borda, Copeland, and maximin.
adaptive agents and multi-agents systems | 2014
Edith Elkind; Piotr Faliszewski; Piotr Skowron; Arkadii Slinko
A committee selection rule (or, multiwinner voting rule) is a mapping that takes a collection of strict preference rankings and a positive integer k as input, and outputs one or more subsets of candidates of size k. In this paper we consider committee selection rules that can be viewed as generalizations of single-winner scoring rules, including SNTV, Bloc, k-Borda, STV, as well as several variants of the Chamberlin–Courant rule and the Monroe rule and their approximations. We identify two natural broad classes of committee selection rules, and show that many of the existing rules belong to one or both of these classes. We then formulate a number of desirable properties of committee selection rules, and evaluate the rules we consider with respect to these properties.
electronic commerce | 2012
Edith Elkind; Piotr Faliszewski; Arkadii Slinko
In elections, a set of candidates ranked consecutively (though possibly in different order) by all voters is called a clone set, and its members are called clones. A clone structure is the family of all clone sets of a given election. In this paper we study properties of clone structures. In particular, we give an axiomatic characterization of clone structures, show that they are organized hierarchically, and analyze clone structures in single-peaked and single-crossing elections. We describe a polynomial-time algorithm that finds a minimal collection of clones that need to be collapsed for an election to become single-peaked, and we show that this problem is NP-hard for single-crossing elections.
Journal of Artificial Intelligence Research | 2011
Edith Elkind; Piotr Faliszewski; Arkadii Slinko
We consider the problem of manipulating elections by cloning candidates. In our model, a manipulator can replace each candidate c by several clones, i.e., new candidates that are so similar to c that each voter simply replaces c in his vote with a block of these new candidates, ranked consecutively. The outcome of the resulting election may then depend on the number of clones as well as on how each voter orders the clones within the block. We formalize what it means for a cloning manipulation to be successful (which turns out to be a surprisingly delicate issue), and, for a number of common voting rules, characterize the preference profiles for which a successful cloning manipulation exists. We also consider the model where there is a cost associated with producing each clone, and study the complexity of finding a minimum-cost cloning manipulation. Finally, we compare cloning with two related problems: the problem of control by adding candidates and the problem of possible (co)winners when new alternatives can join.
Theory and Decision | 2002
Arkadii Slinko
We show that, when the number of participating agents n tends to infinity, all classical social choice rules are asymptotically strategy-proof with the proportion of manipulable profiles being of order O (1/√n).
Mathematical Social Sciences | 2004
Arkadii Slinko
Abstract Assuming the IC conjecture, we show that, for any faithful scoring rule, when the number of participating agents n tends to infinity, the probability that a random profile will be manipulable for a coalition of size Cn α , with 0≤ α C constant, is of order O (1/ n 1/2− α ).
Mathematical Social Sciences | 2011
Tatiana Gvozdeva; Arkadii Slinko
In this paper we give necessary and sufficient conditions for a simple game to have rough weights. We define two functions f(n) and g(n) that measure the deviation of a simple game from a weighted majority game and roughly weighted majority game, respectively. We formulate known results in terms of lower and upper bounds for these functions and improve those bounds. We also investigate rough weightedness of simple games with a small number of players.
Social Choice and Welfare | 2002
Arkadii Slinko
In this paper we prove that the plurality rule and the run-off procedure are asymptotically strategy-proof for any number of alternatives and that the proportion of profiles, at which a successful attempt to manipulate might take place, is in both cases bounded from above by
International Journal of Game Theory | 2013
Tatiana Gvozdeva; Lane A. Hemaspaandra; Arkadii Slinko