# Faster Algorithms for Feedback Arc Set Tournament, Kemeny Rank Aggregation and Betweenness Tournament

@article{Karpinski2010FasterAF, title={Faster Algorithms for Feedback Arc Set Tournament, Kemeny Rank Aggregation and Betweenness Tournament}, author={Marek Karpinski and Warren Schudy}, journal={ArXiv}, year={2010}, volume={abs/1006.4396} }

We study fixed parameter algorithms for three problems: Kemeny rank aggregation, feedback arc set tournament, and betweenness tournament. For Kemeny rank aggregation we give an algorithm with runtime \(O^*(2^{O(\sqrt{OPT})})\), where n is the number of candidates, \(OPT \le \binom{n}{2}\) is the cost of the optimal ranking, and O *(·) hides polynomial factors. This is a dramatic improvement on the previously best known runtime of O *(2 O(OPT)). For feedback arc set tournament we give an…

## 83 Citations

### Subexponential Parameterized Algorithm for Computing the Cutwidth of a Semi-complete Digraph

- Computer Science, MathematicsESA
- 2013

An algorithm with running time \(2^{O(\sqrt{k\log k})}\cdot n^{O(1)}\) that tests whether the cutwidth of a given n-vertex semi-complete digraph is at most k, improving upon the currently fastest algorithm of the second author [18] that works in 2 O(k)·n 2 time.

### Packing Arc-Disjoint Cycles in Bipartite Tournaments

- MathematicsWALCOM
- 2020

This work explores the parameterized complexity of the problem of determining if T has a cycle packing (a set of pairwise arc-disjoint cycles) of size k and shows that this problem can be solved in \(2^{\mathcal {O}(k \log k)} n^{O} (1)}\) time and admits a kernel with \(\mathcal (k^2)\) vertices.

### Parameterized Enumeration of (Locally-) Optimal Aggregations

- Computer Science, MathematicsWADS
- 2013

We present a parameterized enumeration algorithm for Kemeny Rank Aggregation, the problem of determining an optimal aggregation, a total order that is at minimum total τ-distance (kt) from the input…

### (Arc-disjoint) cycle packing in tournament: classical and parameterized complexity

- MathematicsArXiv
- 2018

This paper proves the NP-hardness of both MaxCT and MaxTT, and shows that deciding if a tournament has a cycle packing and a feedback arc set with the same size is an NP-complete problem.

### The Parameterized Complexity of Packing Arc-Disjoint Cycles in Tournaments

- MathematicsArXiv
- 2018

A systematic study on the parameterized complexity of the Arc-Disjoint Cycle Packing problem restricted to tournaments is initiated, showing that the problem is fixed-parameter tractable and admits a polynomial kernel when parameterized by the solution size $k$.

### Linear Vertex-kernels for Several Dense Ranking r -Constraint Satisfaction Problems

- Mathematics, Computer ScienceTAMC
- 2013

This paper proves that so-called l r -simply characterized ranking r-CSPs admit linear vertex-kernels whenever they admit constant-factor approximation algorithms, and obtains the first constant-Factor approximation algorithm for a particular case of the Dense Rooted Triplet Inconsistency problem.

### Heuristic, Branch-and-Bound Solver and Improved Space Reduction for the Median of Permutations Problem

- MathematicsIWOCA
- 2017

This article explores the NP-hard problem of finding a permutation that is the “closest” of the m given permutations using a well parameterized heuristic, an improved space search reduction technique and a refined branch-and-bound solver.

### Kernels for feedback arc set in tournaments

- MathematicsJ. Comput. Syst. Sci.
- 2009

This paper gives a polynomial time algorithm which given an input instance T to k-FAST obtains an equivalent instance T ′ on O(k) vertices, and improves the previous known bound of O( k2 ) on the kernel size for k- FAST.

### On the kernelization of ranking r-CSPs: Linear vertex-kernels for generalizations of Feedback Arc Set and Betweenness in tournaments

- Mathematics, Computer ScienceDiscret. Appl. Math.
- 2015

### Algorithms and Kernels for Feedback Set Problems in Generalizations of Tournaments

- MathematicsAlgorithmica
- 2015

This paper gives polynomial time algorithms on several digraph classes that given an instance (D, k) of the problem returns an equivalent instance(D',k') such that the size of D and k is at most kO(1), and designs a subexponential algorithm for k-FAS running in time.

## References

SHOWING 1-10 OF 37 REFERENCES

### Fixed-parameter tractability results for feedback set problems in tournaments

- MathematicsJ. Discrete Algorithms
- 2006

### Kernels for feedback arc set in tournaments

- MathematicsJ. Comput. Syst. Sci.
- 2009

This paper gives a polynomial time algorithm which given an input instance T to k-FAST obtains an equivalent instance T ′ on O(k) vertices, and improves the previous known bound of O( k2 ) on the kernel size for k- FAST.

### Ordering by weighted number of wins gives a good ranking for weighted tournaments

- MathematicsSODA '06
- 2006

An infinite family of (unweighted) tournaments for which the above algorithm, irrespective of how ties are broken) has an approximation ratio of 5 - ε.

### Faster FAST(Feedback Arc Set in Tournaments)

- Mathematics, Computer ScienceArXiv
- 2009

We present an algorithm that finds a feedback arc set of size $k$ in a tournament in time $n^{O(1)}2^{O(\sqrt{k})}$. This is asymptotically faster than the running time of previously known algorithms…

### Fixed-Parameter Algorithms for Computing Kemeny Scores - Theory and Practice

- Computer Science, MathematicsArXiv
- 2010

In a more theoretical part of this work, an improved fixed-parameter algorithm for the parameter "score of the consensus" having a better upper bound for the running time than previous algorithms is developed.

### Improved Bounds for Computing Kemeny Rankings

- Computer Science, EconomicsAAAI
- 2006

Improved bounding techniques are provided based on cycles in the pairwise majority graph, others are based on linear programs, and the relative strength of all of these bounds is characterized.

### Every Permutation CSP of arity 3 is Approximation Resistant

- Computer Science, Mathematics2009 24th Annual IEEE Conference on Computational Complexity
- 2009

It is shown that for *every* permCSP of arity $3$, beating the random ordering is Unique-Games hard and the *Betweenness* problem is hard to approximate beyond a factor $1/3$.

### How similarity helps to efficiently compute Kemeny rankings

- Computer Science, EconomicsAAMAS
- 2009

It is shown that the Kemeny score of an election can be computed efficiently whenever the average pairwise distance between two input votes is not too large, and fixed-parameter tractable with respect to the parameter "average pairwise Kendall-Tau distance".

### Fixed-Parameter Algorithms for Kemeny Scores

- Mathematics, Computer ScienceAAIM
- 2008

This work provides first, encouraging fixed-parameter tractability results for computing optimal scores, and second, extending the results to votes with ties and incomplete votes, thus, having no longer permutations as input.

### Computing Slater Rankings Using Similarities among Candidates

- Computer Science, EconomicsAAAI
- 2006

This paper shows how to decompose the Slater problem into smaller subproblems if there is a set of similar candidates, and uses the technique of similar sets to show that computing an optimal Slater ranking is NP-hard even in the absence of pairwise ties.