English

A Note on the Complexity of Directed Clique

Computational Complexity 2026-02-13 v1 Combinatorics

Abstract

For a directed graph GG, and a linear order \ll on the vertices of GG, we define backedge graph GG^\ll to be the undirected graph on the same vertex set with edge {u,w}\{u,w\} in GG^\ll if and only if (u,w)(u,w) is an arc in GG and wuw \ll u. The directed clique number of a directed graph GG is defined as the minimum size of the maximum clique in the backedge graph GG^\ll taken over all linear orders \ll on the vertices of GG. A natural computational problem is to decide for a given directed graph GG and a positive integer tt, if the directed clique number of GG is at most tt. This problem has polynomial algorithm for t=1t=1 and is known to be \NP-complete for every fixed t3t\ge3, even for tournaments. In this note we prove that this problem is Σ2P\Sigma^\mathsf{P}_{2}-complete when tt is given on the input.

Keywords

Cite

@article{arxiv.2602.11773,
  title  = {A Note on the Complexity of Directed Clique},
  author = {Grzegorz Gutowski and Mikołaj Rams},
  journal= {arXiv preprint arXiv:2602.11773},
  year   = {2026}
}
R2 v1 2026-07-01T10:33:22.691Z