How hard is control in singlecrossing elections?
Abstract
Election control problems model situations where some entity (traditionally called the election chair) wants to ensure some candidate’s victory by either adding or deleting candidates or voters. The complexity of deciding if such control actions can be successful is wellstudied for many typical voting rules and, usually, such control problems are \(\mathrm {NP}\)complete. However, Faliszewski et al. (Inf Comput 209(2):89–107, 2011) have shown that many control problems become polynomialtime solvable when we consider singlepeaked elections. In this paper we show that a similar phenomenon applies to the case of singlecrossing elections. Specifically, we consider the complexity of control by adding/deleting candidates/voters under plurality, Condorcet, and approval voting. For each of these control types and each of the rules, we show that if the control type is \(\mathrm {NP}\)complete in general, it becomes polynomialtime solvable for singlecrossing elections.
Keywords
Elections Control Complexity Singlecrossing Approval Condorcet Plurality1 Introduction
The goal of this paper is to study the complexity of election control, for the case where voters’ preferences are singlecrossing. While in general, without any restrictions on voters’ preferences, the complexity of control problems tends to be high, Faliszewski et al. [25] have shown that it can drop significantly if we assume preferences to be singlepeaked. We complement their results by showing the same phenomenon under the singlecrossing assumption.
On the intuitive level, election control problems model settings where some entity (traditionally referred to as the election chair) is interested in affecting the result of a given election by changing its structure. Typical cases include, e.g., control by deleting candidates or control by adding voters. The former may correspond, e.g., to a situation where an election organizer prevents some candidates from registering, whereas the latter may correspond, e.g., to campaigns aimed at convincing members of the society to cast their votes (of course, a political party that runs such a campaign is most interested in convincing the people that support the party).
Election control problems arise not only in standard political elections, but also (or, perhaps, mostly) in multiagent systems. Ephrati and Rosenschein [17] proposed votingbased solutions for multiagent planning problems, and there control by adding (deleting) candidates can correspond to a particular agent proposing (or arguing for dismissal of) particular variants of the constructed plan. Voting is a natural tool for recommendation systems [27, 31], and there adding/deleting voters can correspond to a situation where an insincere user of a recommendation algorithm tries to manipulate its results by limiting/extending the available preference data. (For example, this insincere user may want to manipulate the results if he or she is trying to influence some other entity’s business decisions and these decisions are based on the output of the recommendation system.) Finally, in the wellknown scenario where one uses a votingbased metasearch engine for the Web [13] (i.e., an algorithm that treats other web search engines as voters and aggregates their results using voting mechanisms), control by adding/deleting candidates/voters corresponds to a particular selection of the web pages and search engines to use. (Again, the owner of such a metasearch engine might want to skew its results in some way.)
Election control typically corresponds to negative actions (though, we should stress that this is not always the case) and, so, we would like control to be as hard as possible.^{1} Indeed, this idea was at the heart of the research line started by Bartholdi et al. [2], who introduced the study of the complexity of election control problems and who have shown that candidate control is \(\mathrm {NP}\)hard for the plurality rule and that voter control is hard for the Condorcet rule (we point the reader to Sect. 2 for detailed definitions). Bartholdi et al. focused on constructive control, where the manipulating entity tries to ensure some given candidate’s victory. Later, Hemaspaandra et al. [28] extended the control model to include destructive control, where the goal is to prevent a particular candidate from winning.
1.1 Election control in restricted domains
We quickly review some research regarding the complexity of election control at the end of this section. However, briefly put, we have that “for most of the typical voting rules, most of the typical (constructive) control problems are \(\mathrm {NP}\)hard.” (Note that we do not want to neglect the value of studying control for various voting rules and we think that such research is important; our point is that control problems tend to have high computational complexity.) In light of the previous discussion, we should take it as good news. However, this is so only on the surface. \(\mathrm {NP}\)hardness is a worstcase notion and many of the electioncontrol \(\mathrm {NP}\)hardness proofs rely on building very contrived elections which are unlikely to appear in real life. Indeed, if in some political elections a voter thinks that a leftwing candidate is the best one, then we would not expect this voter to consider an extreme rightwing candidate to be the second best. In real life, we would expect voters’ preference orders to have a natural structure and we certainly would not expect to see all the possible orders.
Social choice theory offers several models that capture such more structured preferences of the voters. Among these models, the two most popular are the singlepeaked assumption introduced by Black [3] and the singlecrossing assumption, introduced by Mirrlees [34] and Roberts [39]. In the former, the idea is that there is some global order of the candidates (e.g., modeling the lefttoright political spectrum of opinions) and for each integer k and each voter v, v’s k most preferred candidates form a consecutive block with respect to this global order. The idea of the singlecrossing assumption is that we can order the voters in such a way that the following holds: If a and b are two candidates, then the voters that prefer a to b form a consecutive block on one end of the voter order, and the voters who prefer b to a form a consecutive block on the other end. (In political elections, one could say that the voters are ordered from the extremeleft one to the extremeright one, and for each two candidates a and b, if a is more “leftist” than b, then the leftwing voters prefer a to b, whereas the rightwing voters prefer b to a.)
Both singlepeaked and singlecrossing assumptions are quite convincing (as far as idealized models go, of course). Indeed, as argued by a number of economists, singlecrossing profiles arise naturally in many settings (with taxation issues being prominently represented; we point interested readers to the book of Persson and Tabellini [37] for several settings where singlecrossing profiles arise). Singlepeaked profiles have been studied for much longer and they arise in many natural settings as well (see, e.g., the classic work of Black [3], where singlepeaked profiles were introduced). In effect, it is very interesting that Faliszewski et al. [25] and Brandt et al. [5] have shown that if elections are singlepeaked, then control by adding/deleting candidates/voters is solvable in polynomial time for plurality, Condorcet, and approval rules (and, indeed, for many other voting rules as well). These results suggest that many of the known hardness proofs for control problems rely on building elections that are unlikely to occur in practice. This view was strengthened by Faliszewski et al. [23] who also considered nearly singlepeaked elections. In this paper, we provide further evidence that hardness of election control comes from looking at contrived preference profiles by showing that all the control by adding/deleting candidates/voters problems for plurality, Condorcet, and approval are solvable in polynomialtime for singlecrossing elections (see Table 1 for a summary).
1.2 Related work
The study of the complexity of control problems was initiated by Bartholdi et al. [2], who introduced the topic and defined the constructive variants of the problem. Their work was extended by Hemaspaandra et al. [28] to include the destructive cases. Since these two papers, many researchers studied the complexity of control for various voting rules [18, 24, 36], considered various different extensions of the control problems [22, 33], and different formal approaches to their study [19, 30] (the references here are just examples; we point the reader to the surveys of Faliszewski et al. [21] and Faliszewski and Rothe [20] for detailed accounts). The study of the complexity of control for restricted domains was initiated by Faliszewski et al. [25], who considered control in singlepeaked elections (and who themselves were motivated by the results of Walsh [45] and Conitzer [9]). Brandt et al. [5] and Faliszewski et al. [23] continued this line of work by studying further voting rules and considering nearly singlepeaked elections. However, until very recently, there were no papers on control for singlecrossing elections. Indeed, to the best of our knowledge, our work is the first that tackles this topic. Recently, Bulteau et al. [7] also considered control in singlecrossing elections (their main focus was on combinatorial control, where one can add/delete whole groups of candidates/voters; in their model it turned out that a certain variant of control by adding voters is polynomialtime solvable for singlecrossing elections, but is \(\mathrm {NP}\)complete for singlepeaked ones).
In general, there are relatively few papers that study the complexity of election problems under the singlecrossing assumption. The few examples include, e.g., the works of Elkind et al. [16] and Cornaz et al. [10], where the authors consider the problem of decloning candidates to obtain a singlecrossing election, the work of Skowron et al. [44], who study the complexity of proportional representation in singlecrossing elections, and the work of Elkind et al. [15], who study the complexity of recognizing incomplete singlecrossing profiles.
From our perspective, one of the most relevant papers is that of Elkind and Lackner [14]. In this work the authors put forward a number of restricted domains for elections where the voters have dichotomous preferences (that is, each voter approves of some candidates and disapproves of the others). While the notion of singlepeakedness for dichotomous preferences was introduced by Faliszewski et al. [25], Elkind and Lackner discuss (among other notions) dichotomous singlecrossing elections. We use one of their notions in Sect. 5, where we consider approval elections.
1.3 Organization of the paper
The complexity of control problems for plurality, Condorcet, and approval rules, for the unrestricted domain (denoted “Un.”) [2, 28], the singlepeaked domain (denoted “SP”) [5, 25], the singlecrossing domain (denoted “SC”), and the voterinterval domain [14] (a variant of the singlecrossing domain for approval elections, denoted “VI”; results in bold are due to this paper, the other ones follow from the unrestricted cases)
Problem  Plurality  Condorcet  Approval  

Un./SP/SC  Un./SP/SC  Un./SP/VI  
CC  AC  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  –  – 
DC  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  
AV  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  
DV  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  
DC  AC  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\) 
DC  \(\mathrm {NP}\)com./\(\mathrm {P}\)/\(\mathrm {\mathbf {P}}\)  –  –  
AV  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  
DV  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\)  \(\mathrm {P}\)/\(\mathrm {P}\)/\(\mathrm {P}\) 
2 Preliminaries
For each positive integer s, we let [s] denote the set \(\{1,\ldots ,s\}\).We assume that the reader is familiar with basic notions of complexity theory, such as the classes \(\mathrm {P}\) and \(\mathrm {NP}\), the notions of \(\mathrm {NP}\)hardness and \(\mathrm {NP}\)completeness, and basic reducibility types (see, e.g., the textbook of Papadimitriou [35] for more details).
Elections In the ordinal model, an election is a pair \(E = (C,V)\) where C is a set of candidates and V is a set of voters. Each voter \(\upsilon \) in V has a preference order \(\succ _\upsilon \), i.e., a linear order over C that ranks all the candidates from the most desirable one to the least desirable one. For the case of approval voting, elections are defined in the same way, except that voters do not rank the candidates but simply provide the sets of candidates that they approve of (they disapprove of the other ones). Such voters are said to have dichotomous preferences.
Throughout this paper we mostly focus on the elections in the ordinal model, and we indicate clearly when we mean approval voting (this is almost exclusively limited to Sect. 5).
Voting rules We focus on three voting rules, the plurality rule, the Condorcet rule, and the approval rule. Let \(E = (C,V)\) be an election (in the ordinal model). The plurality score of a candidate c in election E, denoted \( score ^P_{E}(c)\), is the number of voters in V that rank c first. A candidate is a plurality winner if he or she has the highest plurality score. (In effect, we assume the unique winner model, i.e., we require the winner to be the only candidate with the highest score; however, all our results hold in the nonunique winner model as well.)
A candidate is a Condorcet winner if he or she defeats every other candidate in a pairwise contest. Formally, for an election \(E = (C,V)\) and two candidates \(c, c' \in C\), we write \(N_E(c,c')\) to denote the number of voters from V that prefer c to \(c'\). A candidate c is a Condorcet winner if for each candidate \(c' \in C \setminus \{c\}\) we have \(N_E(c,c') > N_E(c',c)\). Naturally, it is possible that there is no Condorcet winner in an election. In such a case, the election has no winners according to the Condorcet rule (while this may seem a bit strange, it is an inherent property of the Condorcet rule, which aims at choosing a candidate that reflects a form of consensus; if there is no consensus, the rule cannot provide a winner).
The approval rule is defined for elections where the voters have dichotomous preferences. An approval score of candidate c in election E, denoted \( score ^A_E(c)\), is the number of voters in E that approve of c. An approval winner is the candidate with the highest approval score.
Singlecrossing elections The standard notion of singlecrossing elections applies to the ordinal model of elections and here we focus on this case. We discuss an analogous notion for approval voting in Sect. 5.
Let \(E = (C,V)\) be an election (in the ordinal model), where C is a set of candidates and V is a set of voters. We can alternatively represent the same election by replacing V with an ordered sequence of the same voters, denoted \(\hat{V} = (\hat{\upsilon }_1,\ldots ,\hat{\upsilon }_n)\). Using this notation, we define a singlecrossing election as follows [34, 39]:^{2}
Definition 1
Let \(E = (C,V)\) be an election and let \(\hat{V} = (\hat{\upsilon }_1,\ldots ,\hat{\upsilon }_n)\) be an ordered sequence of the voters from V. We say that \(\hat{V}\) is a single crossing order of voters V in election E if for each pair of candidates a, b such that \(a \succ _{\hat{\upsilon }_1} b\), there exists a value \(t_{a,b} \in [n]\) such that \(\{i \in [n] \mid a \succ _{\hat{\upsilon }_i} b\} = [t_{a,b}]\).
Definition 2
An election \(E = (C,V)\) is singlecrossing if there is a singlecrossing order of V for E.
Intuitively, the above definitions say that as we consider the voters in the singlecrossing order from one end of the order to the other, the relative ranking of each two candidates changes at most once (that is, each pair of candidates “crosses” at most once).
In our proofs we will often use the notation \(t_{a,b}\) in the sense of Definition 1. While this notation does not specify the election on which it is used, this election will always be clear from the context.
Example 1
There are efficient polynomialtime algorithms that given an election \(E = (C,V)\) check if it is singlecrossing and, if so, provide the singlecrossing order of the voters [6, 11, 16]. Thus, from now on, we will assume that each singlecrossing election comes together with a singlecrossing order.
Control problems We are interested in four variants of election control: control by adding candidates (AC), control by deleting candidates (DC), control by adding voters (AV) and control by deleting voters (DV). For each of these control types we are interested both in constructive control (CC), where the goal is to ensure a given candidate’s victory, and in destructive control (DC), where the goal is to prevent some candidate from winning.
Definition 3
 1.
In constructive control by adding voters (RCCAV), we ask whether there exists a set \(W' \subseteq W\), such that p is the unique winner of Relection \((C, V \cup W')\), where \(\Vert W'\Vert \le k\).
 2.
In constructive control by deleting voters (RCCDV), we ask whether there exists a set \(V' \subseteq V\), such that p is the unique winner of Relection \((C, V \setminus V')\), where \(\Vert V'\Vert \le k\).
 3.
In constructive control by adding candidates (RCCAC), we ask whether there exists a set \(A' \subseteq A\), such that p is the unique winner of Relection \((C \cup A, V)\), where \(\Vert A'\Vert \le k\).
 4.
In constructive control by deleting candidates (RCCDC), we ask whether there exists a set \(C' \subseteq C\), such that p is the unique winner of Relection \((C \setminus C', V)\), where \(\Vert C'\Vert \le k\).
When we speak of control problems for the case of singlecrossing elections, we mean that the election that contains all the candidates and voters specified in the problem is singlecrossing (thus, for example, in CCAC we require that election \((C \cup A,V)\) is singlecrossing, and in CCAV we require that election \((C,V \cup W)\) is singlecrossing).
3 Plurality elections
We now present our results for the plurality rule (see Table 1 for a quick summary). Voter control problems (that is, the problems of constructive and destructive control by adding/deleting voters) are polynomialtime solvable under plurality [2, 28], so we focus on the candidate control problems, which are known to be \(\mathrm {NP}\)complete in the unrestricted case [2, 28].
In plurality elections, it is important to note that by adding a candidate we can never increase the score of any other candidate who already is in the election. Let us formulate the following definition, which will be used across different proofs in this section.
Definition 4
Let \(I = (C,A,V,p,k)\) be an instance of the control by adding candidates problem for the plurality rule. For a set \(A' \subseteq A\) and a candidate \(a \in C \cup A\), we write that a reduces the score of p in election \((C \cup A', V)\) if and only if \(score^P_{((C \cup A') \setminus \{a\},V)}(p) > score^P_{(C \cup A' \cup \{a\},V)}(p)\).
In other words, if candidate \(a \in A'\) reduces the score of p in \(((C \cup A') \setminus \{a\}, V)\), then adding a to this election would lower the score of p.
3.1 Constructive control cases
We show that constructive control by adding/deleting candidates can be solved in polynomial time for the case of plurality rule, provided that the underlying election is singlecrossing. Both these results are based on the same (quite involved) dynamic programming algorithm that solves a slightly more general problem of control by adding an exact number of candidates. The main idea behind this algorithm is to note that the singlecrossing order of the voters implies a certain order in which the candidates should be considered. This is captured in the following (folklore) lemma.
Lemma 1
In a singlecrossing election \(E = (C,V)\), if \(\hat{V} = (\hat{\upsilon }_1,\ldots ,\hat{\upsilon }_n)\) is a singlecrossing order for E, then for each candidate \(c \in C\) the set of voters who rank c first is a contiguous subsequence of \(\hat{V}\).
Proof
Assume to the contrary that there exist two candidates \(a,b \in C\) and integers \(k_1\), \(k_2\), and \(k_3\), \(1 \le k_1< k_2 < k_3 \le n\), such that \(\hat{\upsilon }_{k_1}\) and \(\hat{\upsilon }_{k_3}\) rank a first while \(\hat{\upsilon }_{k_2}\) ranks b first. Clearly, this means that \(\hat{V}\) is not a singlecrossing order for E (the relative order of a and b changes more than once as we consider the voters in the singlecrossing order \(\hat{V}\)).\(\square \)
The next theorem is the main technical tool for solving constructive candidate control problems under plurality rule. In essence, it gives a polynomialtime algorithm for the problem of control by adding an exact number of candidates for plurality, for the case, where the set of unregistered candidates does not contain a candidate that after being added would affect the score of our preferred candidate p.
Theorem 1
A variant of PluralityCCAC for the case of singlecrossing elections, where the set of unregistered candidates does not contain candidates which would reduce the score of the preferred candidate and where it is required to add exactly a given number of candidates, is in \(\mathrm {P}\).
Proof
Observation 1
Let \(a_{ last }\) be the last candidate from A under \(\mathrel {L}\). Since no candidate from A can “steal” points from candidate p (this follows from our assumption on the input data), p can be made the unique winner of the election by adding exactly k candidates from A if and only if \(f(k,a_{ last }) < score ^P_{(C,V)}(p)\).
The above is true because \( PreA (a_{ last }) = A\), so the value of \(f(k,a_{ last })\) describes the minimal possible score of the best candidate other than p in election \((C \cup A', V)\) across all possible sets \(A' \subseteq A\) of size k. Therefore if that score is lower than the score of p in (C, V), then p will be the winner of \((C \cup A', V)\) (by assumption the score of p cannot change after adding candidates).
Example 2
Example 3
Clearly, \(g(2,d,\upsilon _2) = 1\) as the only set \(A'\) to consider is \(\{e,d\}\). In this case, voter \(\upsilon _1\) gives his or her point to e and voter \(\upsilon _2\) gives his or her point to d. Similarly, we have \(g(2,c,\upsilon _3) = 2\). In this case we need to consider election among voters \(\upsilon _1\), \(\upsilon _2\), and \(\upsilon _3\) either with added candidates \(\{e,c\}\) or with added candidates \(\{d,c\}\). In either case, there is a candidate (who is not p) that receives exactly two points. Finally, one can verify that \(g(2,c,\upsilon _4) = 2\) (this time by considering the first four voters and the same two sets of candidates to add).

Condition 1 (\(\varvec{ last (c') < first (c)}\)). In this case the visibility intervals of c and \(c'\) do not overlap and we return the maximum of \(g(u1,c', last (c'))\) and \( maxscore (C \cup \{c\}, PreV (c) \setminus PreV (c'))\).

Condition 2 (\(\varvec{ first (c') > first (c)}\)). In this case the visibility interval of \(c'\) is within the visibility interval of c. Since V is singlecrossing, we know that if both c and \(c'\) take part in the election, candidate \(c'\) will score no points. We skip this case for now and take it into account later.

Condition 3 (\(\varvec{ last (c') \ge first (c)}\)). In this case the visibility intervals of c and \(c'\) overlap. We return the maximum of \(g(u1,c',t_{c',c})\) and \( maxscore (C \cup \{c\}, PreV (c) \setminus PreV (t_{c',c}))\), where \(t_{c',c}\) is such that all the voters \(\hat{\upsilon }_1, \ldots , \hat{\upsilon }_{t_{c',c}}\) prefer \(c'\) to c, and the remaining ones prefer c to \(c'\) (recall Definition 1).
Given the recursive formulation, expressed as Algorithm 1, we use standard dynamic programming techniques to compute g in polynomial time (strictly speaking, for each nonnegative integer \(u < \Vert A\Vert \), each candidate \(c \in A\) and each voter \(\upsilon \in V\), \(g(u,c, \upsilon )\) is computable in time \({\text {O}}\left( n^2 \Vert A\Vert ^3\right) \)). Using Eq. (1), we compute f(u, i) for each nonnegative \(u \le \Vert A\Vert \) and for each \(c \in A\), in time \({\text {O}}\left( n^2 \Vert A\Vert ^4\right) \). As per Observation 1, being able to compute f suffices to solve our problem.
Now we generalize the above theorem by lifting the restriction that adding a candidate cannot hurt our preferred candidate.
Theorem 2
A variant of PluralityCCAC for the case of singlecrossing elections, where it is required to add exactly a given number of candidates, is in \(\mathrm {P}\).
Proof
We show a Turing reduction of our current problem to the one from Theorem 1 (in other words, we show how we can solve our current problem using the algorithm from Theorem 1 as a subroutine). Let \(I = (C,A,V,p,k)\) be our input instance. Let \(\hat{V} = (\hat{\upsilon }_1,\ldots , \hat{\upsilon }_n)\) be a singlecrossing order of voters from V. For each set \(H \subseteq C \cup A\) and each set \(G \subseteq A\) such that \(G \cap H = \emptyset \), let \(J(H,G) = (H,G,V,p,k\Vert H \cap A\Vert )\) be an instance of the problem in the format for Theorem 1 (though, to use Theorem 1, we would have to make sure the set of candidates G does not contain a candidate that would affect the score of p after being added to the election).
For each pair of candidates \(a,b \in A\) (we allow \(a = b\)), let \(G_{a,b}\) be a subset of A created by removing from set A candidates a, b and all candidates that can reduce the score of p (in the sense from Definition 4) in election \((C \cup \{a,b\}, V)\). Now we claim that for \(k > 2\), I has a solution if and only if there exist \(a,b \in A\), such that \(J(C \cup \{a,b\}, G_{a,b})\) has a solution. The righttoleft implication is trivial, so let us focus on proving the other direction.
Let us assume that instance I has a solution and let \(A'\) be the set of candidates added in order to solve I. Let L be a subset of candidates from \(A'\) which are preferred to p by \(\hat{\upsilon }_1\). We consider the case in which both L and \(A' \setminus L\) are nonempty sets. We will later show how to generalize the following reasoning to the case where one of those sets is empty. Now let x be a candidate from L with maximum value of \(t_{x,p}\) (recall Definition 1). If more than one candidate reaches the maximum value, let us select the one that is most preferred over all the others by the voter at index \(t_{x,p}\) in \(\hat{V}\). Similarly, let us select candidate y from \(A' \setminus L\) with minimum value of \(t_{p,y}\) (we break ties by selecting the one that is most preferred by the voter at index \(t_{p,y}\) in \(\hat{V}\)). From Lemma 1, we know that the set of voters who rank p first in \((C \cup A', V)\) is a contiguous subsequence of \(\hat{V}\). Clearly, this subsequence is located between indices \(t_{x,p}\) and \(t_{p,y}\). Thus it is easy to see that no candidate from \(A' \setminus \{x,y\}\) can reduce the score of p in \((C \cup \{x,y\},V)\). Therefore, clearly, set \(A'\) is a subset of \(G_{x,y} \cup \{x,y\}\), and since \(\Vert A' \setminus \{x,y\}\Vert = k  2\), it is easy to see that by adding candidates from \(A' \setminus \{x,y\}\) we can solve instance \(J(C \cup \{x,y\}, G_{x,y})\). It should be obvious now, that in case when either L or \(A' \setminus L\) is empty, we can solve instances \(J(C \cup \{x\}, G_{x,x})\) or \(J(C \cup \{y\}, G_{y,y})\) respectively.
The case where \(k \in \{0,1\}\) is trivial since then we can solve our problem by bruteforce. Therefore, in order to determine whether I has a solution we need to verify whether the solution exists for at least one out of less than \(\Vert A\Vert ^2\) instances of the problem from Theorem 1. Since the described reduction to the problem from Theorem 1 is polynomialtime and this problem is in \(\mathrm {P}\), we conclude our problem is in \(\mathrm {P}\) as well.\(\square \)
Finally, it is easy to prove our main result of this section.
Theorem 3
PluralityCCAC and PluralityCCDC for singlecrossing elections are both in \(\mathrm {P}\).
Proof
We Turingreduce PluralityCCAC and PluralityCCDC for singlecrossing elections to the problem from Theorem 2.
Let \(I_{CCAC} = (C,A,V,p,k)\) be an instance of PluralityCCAC problem. That is, we are given a set of candidates C, a set of unregistered candidates A, a voter collection V, a designated candidate \(p \in C\), and a nonnegative integer k—the upper bound for the number of unregistered candidates that can be added to the election. In addition, we know that \(E = (C \cup A,V)\) is singlecrossing. The reduction proceeds as follows. For each nonnegative integer s let \(J_s = (C,A,V,p,s)\) be an instance of the problem from Theorem 2. It is easy to see that there exists a solution for \(I_{CCAC}\) if and only if for some \(s \in \{0,\ldots ,k\}\) there exists a solution for \(J_s\). Clearly, the reduction runs in polynomialtime and, thus, PluralityCCAC for singlecrossing elections is in \(\mathrm {P}\).
Let \(I_{CCDC} = (C,V,p,k)\) be an instance of PluralityCCDC problem, where election \(E = (C \cup A, V)\) is singlecrossing. For each nonnegative integer s, let \(J'_s = (\{p\},C \setminus \{p\},V,p,s)\) be an instance of the problem from Theorem 2. It is easy to see that solution for \(I_{CCDC}\) exists if and only if there exists a solution of \(J'_s\) for some \(s \in \{m1k,\ldots ,m1\}\). (In other words, it exists in some instance \(J'_s\), where we have to “bring back” all the candidate except up to k of them.) The reduction clearly runs in polynomialtime and, so, PluralityCCDC for singlecrossing election is in \(\mathrm {P}\).\(\square \)
3.2 Destructive control cases
Let us now consider the case of destructive candidate control under plurality. For the case of control by deleting candidates, we simply use an adapted version of the algorithm for the constructive case. For control by adding candidates we derive a dedicated, faster algorithm. To this end, we use the following result.
Lemma 2
If destructive control by adding candidates is possible in singlecrossing election under plurality, then it can be achieved by adding at most three candidates from the set of unregistered ones.
Proof
We are given a set of candidates C, a set of unregistered candidates A, a collection of voters V, and a designated candidate p. We know that election \(E = (C \cup A, V)\) is singlecrossing.
Assume that there exists \(A' \subseteq A\), \(\Vert A'\Vert \ge 4\), such that in election \((C \cup A', V)\) candidate p is not a unique winner under plurality rule. Let \(\hat{V} = (\upsilon _1,\ldots ,\upsilon _n)\) be the singlecrossing order of voters from V in election (C, V). From Lemma 1, we know that voters that rank p first in (C, V) represent a consecutive subsequence of \(\hat{V}\) and we refer to that sequence as \(\hat{V}^p\) from now on. Another observation is that if some candidate \(a \in A'\) reduces the score of p in (C, V), then the set of voters that rank a first in \((C \cup \{a\}, V)\) but that rank p first in (C, V) is a consecutive subsequence of \(\hat{V}^p\) and is either a prefix of \(\hat{V}^p\) or a suffix of \(\hat{V}^p\). This is so because, due to Lemma 1, the set of voters that rank p first cannot be split into two consecutive subsequences. A corollary of this is the following observation.\(\square \)
Observation 2
For every three distinct candidates \(a,b,c \in A'\) that each reduce the score of p in (C, V), there exists one candidate \(x \in \{a,b, c\}\) that does not reduce the score of p in \((C \cup \{a,b,c\}, V)\).
(For example, if both a and b reduced the score of p in \((C \cup \{a,b,c\}, V)\), then it would have to be the case that one of them were ranked first by some prefix of the voters in \(\hat{V}^p\), whereas the other one were ranked first by some suffix of these voters. However, if c also reduced the score of p in \((C \cup \{a,b,c\}, V)\) then either some prefix or some suffix of the voters from \(\hat{V}^p\) would have to rank c first, which would be impossible.)
 1.
At least two candidates from \(\{a,b,c,d\}\) do not reduce the score of p in (C, V). Let \(x \in \{a,b,c,d\}\) be one of those candidates with the lowest score in \(E = (C \cup A', V)\) (we break ties in an arbitrary fashion). We know that x is not a unique winner of \((C \cup A')\). Since x does not reduce the score of p in (C, V), the score of p will remain the same after we remove x from the election E (the scores of other candidates may increase). Therefore in election \((C \cup A \setminus \{x\})\) candidate p is not a unique winner.
 2.
Exactly three candidates from \(\{a,b,c,d\}\) reduce the score of p in (C, V). Let us name those three candidates x, y, z and let us name the remaining 4th candidate r. Based on Observation 2, in group x, y, z, there is one candidate g that does not reduce the score of p in \((C \cup \{x,y,z\}, V)\). If g has lower score than r in \(E = (C \cup A', V)\) we see that g can be safely removed from E without making p a unique winner. Otherwise we can remove r, retaining the same characteristics.
 3.
All candidates from \(\{a,b,c,d\}\) reduce the score of p in (C, V). Based on Observation 2, we can now select two candidates \(x,y \in \{a,b,c,d\}\) that do not reduce the score of p in \((C \cup \{a,b,c,d\}, V)\). Similarly as in the case above, we can remove the one with lower score in \((C \cup A, V)\), thereby not improving the score of candidate p and not removing the previous best scoring candidate.
In effect, to solve PluralityDCAC it suffices to try all uptothreeelements subsets of candidates to add. This leads to an algorithm that is much faster than the one for the constructive case.
Theorem 4
PluralityDCAC for singlecrossing elections is in \(\mathrm {P}\).
Proof
We are given a set of candidates C, a set of unregistered candidates A, a collection of voters V, a designated candidate p and an integer k, the upper bound for the number of voters from A that can be added to the election. We are given that \(E = (C \cup A,V)\) is singlecrossing. From Lemma 2 follows that if destructive control by adding candidates is possible in E, then it can be achieved by adding at most three candidates. Therefore we can scan through all the subsets of A of size at most \(\min (3,k)\) and check whether adding each given subset of candidates render that p is not a unique winner. Since there are no more than \(\Vert A\Vert ^3\) such subsets, we can find a solution of PluralityDCAC in polynomial time.\(\square \)
For the case of destructive control by deleting candidates, we invoke the constructive algorithm for every candidate other than the designated one (taking into account small modification due to fact that we use the uniquewinner model and that it is illegal to delete the designated candidate).
Theorem 5
PluralityDCDC for singlecrossing elections is in \(\mathrm {P}\).
Proof
We are given a set of candidates C, a collection of voters V such that \(E = (C,V)\) is singlecrossing, and a designated candidate p. We show a Turing reduction from the modified PluralityCCDC for singlecrossing elections, where (a) the designated candidate p wins when no other candidate has higher score, and (b) where there is another designated candidates, d, that cannot be deleted. The modified version of PluralityCCDC can be easily proved to be in \(\mathrm {P}\) by minor modifications in the proofs from Theorems 2 and 3. Let \(I = (C,V,p,k)\) be an instance of PluralityDCDC for singlecrossing election. For each candidate \(c \in C\), let \(J_c = (C,V,c,p,k)\) be an instance of the modified PluralityCCDC for singlecrossing (p is the candidate that cannot be deleted). It is easy to see that I has a solution if and only if there exists a solution of \(J_c\) for some \(c \in C \setminus \{p\}\). Thus the reduction is correct and runs in polynomialtime.\(\square \)
4 Condorcet elections
Let us now move on to the case of Condorcet elections. Under the Condorcet rule, candidate control and destructive voter control problems are easy even in the unrestricted setting, but constructive voter control problems are \(\mathrm {NP}\)complete [2, 28]. Yet, these problems are polynomialtime solvable for the case of singlepeaked elections and here we show that the same holds for singlecrossing elections (see Table 1).
Our algorithms rely on a variant of the median voter theorem for singlecrossing elections (see the paper of Rothstein [42] and the discussion in the work of Saporiti and Tohmé [43]). For the sake of completeness, below we state and prove the exact variant of this theorem that we use (recall Definition 1 for the meaning of notation \(t_{a,b}\) where a and b are two candidates).
Lemma 3
Let \(E = (C, V)\) be a singlecrossing election and let \(\hat{V} = (\hat{\upsilon }_1,\ldots ,\hat{\upsilon }_n)\) be a singlecrossing order of the voters from V. Candidate \(p \in C\) is a Condorcet winner if and only if it is the most preferred candidate by the median voter (\(\hat{\upsilon }_{\lceil n/2 \rceil }\)) or both median voters in case n is even (\(\hat{\upsilon }_{n/2}\) and \(\hat{\upsilon }_{n/2 + 1}\)).
Proof
Let \(c_P\) be the the most preferred candidate by the median voter or both median voters when n is even. Let \(C_L = \{ c \in C \mid c \succ _{\hat{\upsilon }_1} c_P\}\) and \(C_R = \{c \in C \mid c_P \succ _{\hat{\upsilon }_1} c\}\). From the definition of singlecrossingness, it is easy to see that for each candidate \(c_R \in C_R\), \(c_P\) is preferred over \(c_R\) by all the voters from \(\{ \hat{\upsilon }_1, \ldots , \hat{ \upsilon }_{\lceil n/2 \rceil } \}\). Similarly, for each candidate \(c_L \in C_L\), \(c_P\) is preferred over \(c_L\) by all the voters from \(\{ \hat{\upsilon }_{\lceil n/2 \rceil }, \ldots , \hat{\upsilon }_n \}\). Since, clearly, \(C_L \cup C_R = V \setminus \{c_P\}\) we see that \(c_P\) is preferred by more than half of the voters over each candidate from \(V \setminus \{c_P\}\) and thus is a Condorcet winner, which ends the proof for the lefttoright direction.
Correctness of the righttoleft direction for the case when n is odd comes directly from the above as in that case median voter always exists. For the case when n is even, it is sufficient to note that when each of the two median voters prefers a different candidate then Condorcet winner does not exist at all.\(\square \)
Using this result, it is possible to derive simple greedy algorithms for CondorcetCCDV and CondorcetCCAV.
Theorem 6
CondorcetCCDV and CondorcetCCAV for singlecrossing elections are in \(\mathrm {P}\).
Proof
Proofs for the cases of adding and deleting voters are very similar. To solve CCDV and CCAV we simply try to delete/add voters in a correct place considering the singlecrossing order of voters until the median voter ranks p first. Below we formalize those steps for both CCDV and CCAV.
For CondorcetCCDV we are given a set of candidates C, a set of voters V of size n, a designated candidate \(p \in C\), and an integer k, the upper bound on the number of voters that we can remove. By assumption, we know that \(E = (C,V)\) is singlecrossing and we are given a singlecrossing order \(\hat{V} = (\hat{\upsilon } _1,\ldots ,\hat{\upsilon }_n)\) of the voters.
We define \(V_P\) to be the set of voters from \(\hat{V}\) that rank p first. Note that voters from \(V_P\) form a contiguous block within \(\hat{V}\). Let \(V_L\) be the set of voters that precede the voters from \(V_P\) (under \(\hat{V}\)) and, similarly, let \(V_R\) be the set of voters that follow the voters from \(V_P\). We now focus on finding a way for a voter from \(V_P\) to become the median voter (or a way for two voters from \(V_P\) to become the two median voters). If \(V_P = \emptyset \) then p can never be a Condorcet winner, so let us assume that this is not the case. If we have \(\Vert V_L\Vert < n/2\) and \(\Vert V_R\Vert < n/2\) then no voter needs to be deleted and p is a Condorcet winner. In all the remaining cases, at most one of those two sets has more than n / 2 voters. Let us assume without loss of generality that \(\Vert V_L\Vert > \Vert V_R\Vert \). It suffices to keep on deleting voters from \(V_L\) until either p becomes a Condorcet winner or we delete more voters than we are allowed. It is easy to see that we can calculate sets \(V_P\), \(V_L\) and \(V_R\) in polynomial time and, thus, CondorcetCCDV is in \(\mathrm {P}\).
Let us now consider the adding voters case. As an additional part of the input, we are given a set W of size \(n'\) of unregistered voters. We know that election \((C, V \cup W)\) is singlecrossing. Let \(\hat{V} = \{\hat{\upsilon }_1,\ldots ,\hat{\upsilon }_{n+n'}\}\) be a singlecrossing order of the voters in this election. We use the same definition for sets \(V_P\), \(V_L\) and \(V_R\) as in the deletingvoters case. In addition we define \(W_P\), \(W_L\) and \(W_R\) as subsets of W in a similar manner: \(W_P\) is the set of voters from W that rank p first, \(W_L\) is the set of voters from W that precede those from \(V_p \cup W_p\) (under \(\hat{V}\)), and \(W_R\) is the set of voters from W that follow those from \(V_P \cup W_P\). Based on Lemma 3, we can express the CondorcetCCAV problem as that of finding a set \(W' \subseteq W\) of size at most k, such that the median voter from the set \(V \cup W'\) (under \(\hat{V}\)) is from \(V_P \cup (W_P \cap W')\) (or, that both the median voters in \(V \cup W'\) are from \(V_P \cup (W_P \cap W')\), if \(\Vert V\Vert + \Vert W'\Vert \) is even). It is easy to see that we can always start by adding all the voters from \(W_P\) (at most k of them). So, without loss of generality, we may assume \(W_P\) to be empty (if it is not empty, we add at most k elements from \(W_P\) to \(V_P\) and reduce k by the number of voters we have added). With that assumption in mind, we reject if \(V_p\) is empty (it is impossible for p to become a Condorcet winner). Then we verify if the median voter (or, both median voters if the number of voters in the election is even) is from the set \(V_P\). If so, then p already is a Condorcet winner and we don’t need to add any voters. Otherwise we will be adding voters from either \(W_L\) or \(W_R\). Without loss of generality, we assume that \(\Vert V_L\Vert > \Vert V_R\Vert \). We keep on adding voters from \(V_R\) until either p becomes the Condorcet winner or we cannot add any more voters. Polynomial running time of the algorithm is straightforward to verify.\(\square \)
Theorem 6 has immediate consequences regarding winner determination under the Young’s rule. The winner(s) under the Young’s rule are those candidates that can become Condorcet winners after deleting the fewest voters [46]. While it is wellknown that computing Young winners is \(\mathrm {NP}\)hard (indeed, complete for parallel access to \(\mathrm {NP}\) [40]), there is a polynomialtime algorithm for the case of singlepeaked elections [5]. As an immediate corollary of Theorem 6, we get a polynomialtime algorithm for the case of singlecrossing elections.
Corollary 1
There is a polynomialtime algorithm that given a singlecrossing election computes Young winners of this election.
For more information regarding various Condorcetbased election rules and their complexity, we point the readers to the recent surveys of Brandt et al. [4], Fischer et al. [26] and Caragiannis et al. [8].
5 Approval elections
The notion of singlecrossing elections is wellestablished for the ordinal model of elections. On the other hand, the case of singlecrossing elections has, so far, been almost completely neglected. To the best of our knowledge, the only paper that discusses this notion is a very recent work of Elkind and Lackner [14]. Among a wealth of other domain restrictions for approval elections, Elkind and Lackner provide the following definition of voterinterval restriction (VI) that, to our taste, is an appealing analog of singlecrossing elections for approval voting.
Definition 5
Let \(E = (C,V)\) be an approval election and let \(\hat{V} = (\hat{\upsilon }_1,\ldots ,\hat{\upsilon }_n)\) be an ordered sequence of the voters from V. We say that \(\hat{V}\) is a voterinterval order of voters V in election E if for every candidate c it holds that the voters that approve of c form an interval with respect to \(\hat{V}\) (i.e., there are numbers f(c) and e(c) such that exactly voters \(\hat{\upsilon }_{f(c)}, \hat{\upsilon }_{f(c)+1}, \ldots , \hat{\upsilon }_{e(c)}\) approve of c).
Definition 6
An approval election \(E = (C,V)\) has the voter interval property if there is a voterinterval order of V for E.
Elkind and Lackner show that there is a polynomialtime algorithm that given an approval election decides if it has the voterinterval property and, if so, computes the voterinterval order.
The reader may wonder why this definition is natural. There are at least two good arguments in its favor. First, the voterinterval property is, in some sense, a notion orthogonal to that of singlepeakedness for approval voting. While we have not discussed singlepeakedness in detail in this work, let us briefly explain the relation between these two notions. The notion of singlepeakedness for approval elections was defined by Faliszewski et al. [25] as follows: An approval election is singlepeaked if it is possible to order the candidates so that for each voter v, the candidates that v approves of form an interval. The voterinterval property is defined in the same way, with the exception that we swap the roles of candidates and voters. Since in the ordinal election model singlepeakedness and singlecrossingness also “feel orthogonal” (although this is not a formal statement), we take it as an argument in favor or the voterinterval property.
Second, the voterinterval property seems to follow, to some extent, the intuition that lead to defining the singlecrossing notion of ordinal preferences. One view of the notion of singlecrossingness in ordinal elections is as follows: We consider two candidates, a and b, where one is more “leftwing” and the other one is more “rightwing”. As we pass on over the order of voters, say from left to right, we first consider very leftwing voters who prefer a to b, we move toward more centrist ones, eventually we see the first voter who prefers b to a and then we move on toward more and more rightwing voters. For the case of the voterinterval property the situation is similar. We take candidate c and we move over the voter spectrum from the lefthand side toward the righthand side. While c might not be approved by the extremist voters, eventually it would move toward the range of voters for whom c is a “good enough” candidate, that approve him or her. Eventually, we pass over those voters and, once again, reach extremist voters who disapprove of c.
Yet, the voterinterval property is not a perfect analog of singlecrossingness. Let us consider the following example.
Example 4
In spite of this shortcoming, we still believe that the voterinterval property is a very interesting domain restriction that captures many intuitions behind the notion of singlecrossing elections. It is also useful algorithmically. In particular, below we show that constructive control by adding/deleting voters in voterinterval elections is polynomialtime solvable.
Theorem 7
ApprovalCCDV for voterinterval elections is in \(\mathrm {P}\).
Proof
Consider an instance of ApprovalCCDV with candidate set C, voter set V, bound k on the number of voters that can be deleted, and preferred candidate p. We assume that election \(E = (C,V)\) has the voterinterval property and we let \(\hat{V} = (\hat{\upsilon _1}, \ldots , \hat{\upsilon _n})\) be a voterinterval order of the voters from V. We assume that p is approved of by at least one voter. Otherwise we can output the negative solution for our problem immediately.
Clearly, it never makes sense to delete voters that approve of p. For each candidate \(c \in C \setminus \{p\}\), we define \(\gamma (c)\) to be \( score _E^A(c) score _E^A(p)\), that is, the difference between the score of c and the score of p in the original election. Let \(\widetilde{C}\) be the set of candidates \(c \in C \setminus \{p\}\) for whom \(\gamma (c) \ge 0\).
Let \(V'\) be the subset of voters from V who do not approve of p, and let \(n' = \Vert V'\Vert \). Let \((\upsilon '_1, \ldots , \upsilon '_{n'})\) be a voterinterval order of the voters from \(V'\) (it is easy to see that this order exists). For each candidate \(c \in \widetilde{C}\), let f(c) and e(c) be two numbers such that in \(V'\) exactly voters \(\upsilon '_{f(c)}, \upsilon '_{f(c)+1}, \ldots , \upsilon '_{e(c)}\) approve of p. (Technically, these numbers may not be welldefined. However, this happens only for those candidates in \(\widetilde{C}\) of whom no voter in \(V'\) approves. Such candidates are approved of exactly by the same voters as p and, thus, if they exist it is impossible to ensure that p is a unique winner of the election through deleting voters).
Our algorithm proceeds by executing the following (greedy) operation until either we ensure that p is a winner or exceed the number of voters that we can delete. First, we find a candidate \(c \in \widetilde{C}\) for whom e(c) is minimal (we break ties arbitrarily). We check if \(e(c)\gamma (c)+1 \ge f(c)\). If so, we delete the \(\gamma (c)\) voters \(\upsilon '_{e(c)}, \upsilon '_{e(c)1}, \ldots , \upsilon '_{e(c)\gamma (c)+1}\). If not, we reject (it is impossible to delete sufficiently many voters that approve of c). Finally, we recalculate \(V'\), the values \(\gamma \), and \(\widetilde{C}\) (taking into account the fact that we deleted some voters). If \(\widetilde{C}\) is not empty, then we repeat the above procedure. If it is, we check if we deleted at most k voters. If so, we accept. Otherwise, we reject. \(\square \)
Example 5
p  \(c_1\)  \(c_2\)  \(c_3\)  \(c_4\)  \(c_5\)  

\(v_1\)  \(+\)  
\(v_2\)  \(+\)  \(+\)  
\(v_3\)  \(+\)  \(+\)  \(+\)  
\(v_4\)  \(+\)  \(+\)  
\(v_5\)  \(+\)  \(+\)  \(+\)  
\(v_6\)  \(+\)  \(+\)  \(+\)  \(+\)  
\(v_7\)  \(+\)  \(+\)  \(+\)  
\(v_8\)  \(+\)  \(+\)  
\(v_9\)  \(+\) 
We see that the election has the voterinterval property for the natural ordering of the voters. The approval score of p is three, whereas every other candidate has score three or higher. Since voters \(v_5, v_6\) and \(v_7\) approve p, we never delete either of them. For all the candidates (not counting p), candidate \(c_5\) has the smallest \(e(\cdot )\) value and so we first delete voter \(v_3\). This ensures that \(c_5\) has score two (lower than p). The next candidates to consider (in the order of the lowest \(e(\cdot )\) value among the candidates whose score matches or exceeds that of p) are \(c_1\) and \(c_2\). We can choose either of them and we pick \(c_1\). In effect, we delete voter \(v_4\). Then we have to consider \(c_2\) and delete voter \(v_2\). Finally, due to candidate \(c_4\), we need to delete voter \(v_8\) (which also takes care of candidate \(c_3\)). All in all, we see that to ensure that p is the unique winner, we need to delete voters \(v_1, v_2, v_3, v_4\) and \(v_8\). One can verify that, indeed, this is an optimal solution.
To see why this algorithm is correct, it suffices to show the correctness of the first greedy step performed in the algorithm. Let \(V'\), values \(\gamma \), and \(\widetilde{C}\) be as just before deleting the first voter, and let c be the candidate chosen by the algorithm in the first iteration. We have to delete \(\gamma (c)\) voters that approve of c, that is, some \(\gamma (c)\) voters among \(\upsilon '_{f(c)}, \ldots , \upsilon '_{e(c)}\). For each two numbers i, j such that \(f(c) \le i < j \le e(c)\) it holds that the set of candidates approved by \(\upsilon '_i\) is equal to or is a subset of the candidates approved by \(\upsilon '_j\). (This is due to the fact that the election is voterinterval and due to the choice of c.) Thus deleting voters \(\upsilon '_{e(c)}, \upsilon '_{e(c)1}, \ldots , \upsilon '_{e(c)\gamma (c)+1}\) is optimal. After executing one iteration of our algorithm we face a problem of the same type and we proceed iteratively. This completes the proof
The case of constructive control by adding voters turns out to be quite similar. We first add all the votes that approve of the preferred candidate and then delete sufficiently many of them, to not exceed the number of voters that we can add.
Theorem 8
ApprovalCCAV for voterinterval elections is in \(\mathrm {P}\).
Proof
Consider an instance of ApprovalCCAV with candidate set C, voter set V, set of unregistered voters W, bound k on the number of voters that we can add, and preferred candidate p. We assume that election \((C,V \cup W)\) has the voterinterval property. Further, without loss of generality, we assume that every voter in W approves of p (otherwise we could remove this voter from W because it is never beneficial to add a voter who does not approve of p).
We form election \(E = (C, V \cup W)\). If p is not a unique winner in this election then, clearly, it is impossible to ensure his or her victory (this is because every voter in W approves of p). We compute number \(k' = \max (\Vert W\Vert k,0)\). Intuitively, \(k'\) is the number of Wvoters that we need to delete from E to make sure that it can be obtained from (C, V) by adding k voters from W (since every voter in W approves of p, we can focus on the case where we add exactly k voters).
After we delete \(k'\) of the Wvoters from E, the score of p will decrease to \( score _E^A(p)k'\). Thus, we have to delete voters in such a way that afterward every candidate in \(C \setminus \{p\}\) has lower score. For each candidate \(c \in C \setminus \{p\}\) we define \(\gamma (c) = score _E^A(c)  ( score _E^A(p)k') + 1\). Intuitively, for each \(c \in C \setminus \{p\}\), \(\gamma (c)\) is the number of Wvoters that approve of c, that we need to delete.
At this point, our problem is, in essence, the same as in the case of control by deleting voters. We consider an election \(E' = (C,W)\), which has the voterinterval property, we have to delete exactly \(k'\) voters, and we have to make sure that for each \(c \in C\setminus \{p\}\) we delete at least \(\gamma (c)\) voters that approve of c. Thus we use the same algorithm as in the proof of Theorem 7 above. (Note that, technically, the algorithm from the above theorem might delete fewer than \(k'\) voters to ensure the constraints regarding the \(\gamma \) values; in this case we pick further voters to delete arbitrarily).
The correctness of the algorithm and the running time follow directly from its construction.\(\square \)
6 Conclusions
We have studied the complexity of control for plurality and Condorcet voting rules, for the case of elections that satisfy the singlecrossing assumption. We have shown that, as in the case of singlepeaked elections, all our control problems turn out to be polynomialtime solvable (whereas, without assumptions on the nature of voters’ preferences, candidate control problems are \(\mathrm {NP}\)complete for plurality and constructive voter control problems are \(\mathrm {NP}\)complete for Condorcet’s rule). We believe that our results are significant for at least two reasons. First, they provide another argument that \(\mathrm {NP}\)hardness results regarding election problems for the unrestricted domain are a weak sign of their practical difficulty. Second, currently there are only few computational results regarding the complexity of singlecrossing elections and it is useful to provide results and techniques that can be used to study this domain restriction.
There is a number of research directions motivated by our work. Naturally, it would be interesting to study the complexity of control for singlecrossing elections for other voting rules. Second, it would be interesting to find other variants of the notion of singlecrossingness for approvalbased elections than the voter interval property. It would also be interesting to see how close reallife elections are to being singlecrossing, and if algorithms and approaches similar to ours could be used on nearly singlecrossing elections (using PrefLib [32] data, such tests would be possible). Finally, we would like to find out to what extent our results could be generalized to the notion of topmonotonicity of Barberà and Moreno [1] that captures both the notions of singlepeaked and singlecrossing elections.
Footnotes
 1.
One could even say that it would be ideal if control were not possible at all. This, however, is neither feasible nor desirable. After all, if sufficiently many voters with particular preferences joined the election, we would want them to be able to sway the result in their favor. Similarly, if a particularly desirable candidate joined the race, it would be natural that he or she should win. Indeed, for candidate control there even are results suggesting that candidate control is unavoidable in principle [12] (see also recent work on the topic [29, 38]).
 2.
Strictly speaking, Mirrlees [34] and Roberts [39] deal with continuous domains. What we discuss here is sometimes referred to as orderrestricted preferences [41]. Nonetheless, we chose to use the term single crossing because it is far more informative and because using it in this meaning is common within (computational) social choice literature [6, 10, 15, 16, 43, 44].
 3.
Strictly speaking, candidates which cannot score any points might still be needed. Consider a case where A contains a single candidate who is ranked last by all the voters, p is the current winner, and we ask if there is a set \(A'\) of size exactly one, such that p is a winner in \((C \cup A',V)\). We would have to take \(A' = A\) and that would mean taking the candidate for whom \( first \) and \( last \) are not defined. However, with the way we use Theorem 1 in the paper, such a situation is never relevant. Handling this possibility is easy, but we omit it for the sake of clarity and brevity.
Notes
Acknowledgments
We would like to thank the ECAI reviewers for a very useful set of comments. This work was supported in part by NCN grants 2012/06/M/ST1/00358, and by the Polish Ministry of Science and Higher Education (under AGH University Grant 11.11.230.015; statutory research).
References
 1.Barberà, S., & Moreno, B. (2011). Top monotonicity: A common root for single peakedness, single crossing and the median voter result. Games and Economic Behavior, 73(2), 345–359.MathSciNetCrossRefMATHGoogle Scholar
 2.Bartholdi, J, I. I. I., Tovey, C., & Trick, M. (1992). How hard is it to control an election? Mathematical and Computer Modeling, 16(8/9), 27–40.MathSciNetCrossRefMATHGoogle Scholar
 3.Black, D. (1958). The theory of committees and elections. Cambridge: Cambridge University Press.MATHGoogle Scholar
 4.Brandt, F., Brill, M., & Harrenstein, P. (2016). Tournament solutions. In F. Brandt, V. Conitzer, U. Endriss, J. Lang, & A. D. Procaccia (Eds.), Handbook of computational social choice, Chap. 3. Cambridge: Cambridge University Press.Google Scholar
 5.Brandt, F., Brill, M., Hemaspaandra, E., & Hemaspaandra, L. (2015). Bypassing combinatorial protections: Polynomialtime algorithms for singlepeaked electorates. Journal of Artificial Intelligence Research, 53, 439–496.MathSciNetMATHGoogle Scholar
 6.Bredereck, R., Chen, J., & Woeginger, G. (2013). A characterization of the singlecrossing domain. Social Choice and Welfare, 41(4), 989–998.MathSciNetCrossRefMATHGoogle Scholar
 7.Bulteau, L., Chen, J., Faliszewski, P., Niedermeier, R., & Talmon, N. (2015). Combinatorial voter control in elections. Theoretical Computer Science, 589, 99–120.MathSciNetCrossRefMATHGoogle Scholar
 8.Caragiannis, I., Hemaspaandra, E., & Hemaspaandra, L. (2016). Dodgson’s rule and Young’s rule. In F. Brandt, V. Conitzer, U. Endriss, J. Lang, & A. D. Procaccia (Eds.), Handbook of computational social choice, Chap. 5. Cambridge: Cambridge University Press.Google Scholar
 9.Conitzer, V. (2009). Eliciting singlepeaked preferences using comparison queries. Journal of Artificial Intelligence Research, 35, 161–191.MathSciNetMATHGoogle Scholar
 10.Cornaz, D., Galand, L., & Spanjaard, O. (2013). Kemeny elections with bounded singlepeaked or singlecrossing width. In Proceedings of the 23rd international joint conference on artificial intelligence (pp. 76–82).Google Scholar
 11.Doignon, J., & Falmagne, J. (1994). A polynomial time algorithm for unidimensional unfolding representations. Journal of Algorithms, 16(2), 218–233.MathSciNetCrossRefMATHGoogle Scholar
 12.Dutta, B., Jackson, M. O., & Le Breton, M. (2001). Strategic candidacy and voting procedures. Econometrica, 69(4), 1013–1037.MathSciNetCrossRefMATHGoogle Scholar
 13.Dwork, C., Kumar, R., Naor, M., & Sivakumar, D. (2001). Rank aggregation methods for the web. In Proceedings of the 10th international World Wide Web conference (March 2001) (pp. 613–622). New York: ACM Press.Google Scholar
 14.Elkind, E., & Lackner, M. (2015). Structure in dichotomous preferences. In Proceedings of the 24th international joint conference on artificial intelligence (2015).Google Scholar
 15.Elkind, E., Faliszewski, P., Lackner, M., & Obraztsova, S. (2015). The complexity of recognizing incomplete singlecrossing preferences. In Proceedings of the 29th AAAI conference on artificial intelligence (pp. 865–871).Google Scholar
 16.Elkind, E., Faliszewski, P., & Slinko, A.(2012). ‘Clone structures in voters’ preferences’. In Proceedings of the 13th ACM conference on electronic commerce (June 2012) (pp. 496–513).Google Scholar
 17.Ephrati, E., & Rosenschein, J. (1997). A heuristic technique for multiagent planning. Annals of Mathematics and Artificial Intelligence, 20(1–4), 13–67.MathSciNetCrossRefMATHGoogle Scholar
 18.Erdélyi, G., & Rothe, J. (2010). Control complexity in fallback voting. In Proceedings of computing: The 16th Australasian theory symposium. Conferences in Research and Practice in Information Technology Series (January 2010) (Vol. 32, pp. 39–48). Sydney: Australian Computer Society.Google Scholar
 19.Erdélyi, G., Fellows, M., Rothe abd, J., & Schend, L. (2015). Control complexity in Bucklin and fallback voting: An experimental analysis. Journal of Computer and System Sciences, 81(4), 661–670.MathSciNetCrossRefMATHGoogle Scholar
 20.Faliszewski, P., & Rothe, J. (2015). Control and bribery in voting. In F. Brandt, V. Conitzer, U. Endriss, J. Lang, & A. D. Procaccia (Eds.), Handbook of computational social choice, Chap. 7. Cambridge: Cambridge University Press.Google Scholar
 21.Faliszewski, P., Hemaspaandra, E., & Hemaspaandra, L. (2010). Using complexity to protect elections. Communications of the ACM, 53(11), 74–82.CrossRefGoogle Scholar
 22.Faliszewski, P., Hemaspaandra, E., & Hemaspaandra, L. (2011). Multimode control attacks on elections. Journal of Artificial Intelligence Research, 40, 305–351.MathSciNetMATHGoogle Scholar
 23.Faliszewski, P., Hemaspaandra, E., & Hemaspaandra, L. (2014). The complexity of manipulative attacks in nearly singlepeaked electorates. Artificial Intelligence, 207, 69–99.MathSciNetCrossRefMATHGoogle Scholar
 24.Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L., & Rothe, J. (2009). Llull and Copeland voting computationally resist bribery and constructive control. Journal of Artificial Intelligence Research, 35, 275–341.MathSciNetMATHGoogle Scholar
 25.Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L., & Rothe, J. (2011). The shield that never was: Societies with singlepeaked preferences are more open to manipulation and control. Information and Computation, 209(2), 89–107.MathSciNetCrossRefMATHGoogle Scholar
 26.Fischer, F., Hudry, O., & Niedermeier, R. (2016). Weighted tournament solutions. In F. Brandt, V. Conitzer, U. Endriss, J. Lang, & A. D. Procaccia (Eds.), Handbook of computational social choice, Chap. 4. Cambridge: Cambridge University Press.Google Scholar
 27.Ghosh, S., Mundhe, M., Hernandez, K., & Sen, S. (1999). Voting for movies: The anatomy of recommender systems. In Proceedings of the 3rd annual conference on autonomous agents (1999) (pp. 434–435). New York: ACM Press.Google Scholar
 28.Hemaspaandra, E., Hemaspaandra, L., & Rothe, J. (2007). Anyone but him: The complexity of precluding an alternative. Artificial Intelligence, 171(5–6), 255–285.MathSciNetCrossRefMATHGoogle Scholar
 29.Lang, J., Maudet, N., & Polukarov, M. (2013). New results on equilibria in strategic candidacy. In Proceedings of the 6th international symposium on algorithmic game theory. LNCS (October 2013) (Vol 8146, pp. 13–25). Berlin: Springer.Google Scholar
 30.Liu, H., Feng, H., Zhu, D., & Luan, J. (2009). Parameterized computational complexity of control problems in voting systems. Theoretical Computer Science, 410(27–29), 2746–2753.MathSciNetCrossRefMATHGoogle Scholar
 31.Lu, T., & Boutilier, C. (2011). Budgeted social choice: From consensus to personalized decision making. In Proceedings of the 22nd international joint conference on artificial intelligence (pp. 280–286).Google Scholar
 32.Mattei, N., & Walsh, T. (2013). Preflib: A library for preferences. In Proceedings of the 3rd international conference on algorithmic decision theory (pp. 259–270).Google Scholar
 33.Meir, R., Procaccia, A., Rosenschein, J., & Zohar, A. (2008). The complexity of strategic behavior in multiwinner elections. Journal of Artificial Intelligence Research, 33, 149–178.MathSciNetMATHGoogle Scholar
 34.Mirrlees, J. (1971). An exploration in the theory of optimal income taxation. Review of Economic Studies, 38, 175–208.CrossRefMATHGoogle Scholar
 35.Papadimitriou, C. (1994). Computational complexity. Reading: AddisonWesley.MATHGoogle Scholar
 36.Parkes, D., & Xia, L. (2012). A complexityofstrategicbehavior comparison between Schulze’s rule and ranked pairs. In Proceedings of the 26th AAAI conference on artificial intelligence (July 2012) (pp. 1429–1435).Google Scholar
 37.Persson, T., & Tabellini, G. (2000). Political economics: Explaining economic policy. Cambridge: MIT Press.Google Scholar
 38.Polukarov, M., Obraztsova, S., Rabinovich, Z., Kruglyi, A., & Jennings, N. (2015). Convergence to equilibria in strategic candidacy. In Proceedings of the 24th international joint conference on artificial intelligence.Google Scholar
 39.Roberts, K. (1977). Voting over income tax schedules. Journal of Public Economics, 8(3), 329–340.CrossRefGoogle Scholar
 40.Rothe, J., Spakowski, H., & Vogel, J. (2003). Exact complexity of the winner problem for Young elections. Theory of Computing Systems, 36(4), 375–386.MathSciNetCrossRefMATHGoogle Scholar
 41.Rothstein, P. (1990). Order restricted preferences and majority rule. Social Choice and Welfare, 7(4), 331–342.MathSciNetCrossRefMATHGoogle Scholar
 42.Rothstein, P. (1991). Representative voter theorems. Public Choice, 72(2–3), 193–212.CrossRefGoogle Scholar
 43.Saporiti, A., & Tohmé, F. (2006). Singlecrossing, strategic voting and the median choice rule. Social Choice and Welfare, 26(2), 363–383.MathSciNetCrossRefMATHGoogle Scholar
 44.Skowron, P., Yu, L., Faliszewski, P., & Elkind, E. (2013). The complexity of fully proportional representation for singlecrossing electorates. In Proceedings of the 6th international symposium on algorithmic game theory (pp. 1–12).Google Scholar
 45.Walsh, T. (2007). Uncertainty in preference elicitation and aggregation. In Proceedings of the 22nd AAAI conference on artificial intelligence (July 2007) (pp. 3–8). Menlo Park: AAAI Press.Google Scholar
 46.Young, H. (1977). Extending Condorcet’s rule. Journal of Economic Theory, 16(2), 335–353.MathSciNetCrossRefMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.