The Complexity of Tournament Fixing: Subset FAS Number and Acyclic Neighborhoods

TL;DR

This paper investigates the fixed-parameter tractability of the Tournament Fixing Problem (TFP) based on the subset FAS number of a player, providing complexity results and conditions for guaranteed victory.

Contribution

It resolves an open question by showing TFP is NP-hard with constant subset FAS number unless certain acyclicity conditions are met, and proves FPT when both neighborhoods are acyclic.

Findings

TFP remains NP-hard with constant subset FAS number if either neighborhood is cyclic.

TFP is fixed-parameter tractable when both neighborhoods are acyclic.

Conditions are identified under which a player can win regardless of the subset FAS number.

Abstract

The \textsc{Tournament Fixing Problem} (TFP) asks whether a knockout tournament can be scheduled to guarantee that a given player $v^*$ wins. Although TFP is NP-hard in general, it is known to be \emph{fixed-parameter tractable} (FPT) when parameterized by the feedback arc/vertex set number, or the in/out-degree of $v^*$ (AAAI 17; IJCAI 18; AAAI 23; AAAI 26). However, it remained open whether TFP is FPT with respect to the \emph{subset FAS number of $v^*$} -- the minimum number of arcs intersecting all cycles containing $v^*$ -- a parameter that is never larger than the aforementioned ones (AAAI 26). In this paper, we resolve this question negatively by proving that TFP stays NP-hard even when the subset FAS number of $v^*$ is constant $\geq 1$ and either the subgraph induced by the in-neighbors $D[N_{\mathrm{in}}(v^*)]$ or the out-neighbors $D[N_{\mathrm{out}}(v^*)]$ is acyclic. Conversely, when both $D[N_{\mathrm{in}}(v^*)]$ and $D[N_{\mathrm{out}}(v^*)]$ are acyclic, we show that TFP becomes FPT parameterized by the subset FAS number of $v^*$. Furthermore, we provide sufficient conditions under which $v^*$ can win even when this parameter is unbounded.