English

Maximum Reachability Orientation of Mixed Graphs

Computational Complexity 2025-09-24 v2 Discrete Mathematics

Abstract

We aim to find orientations of mixed graphs optimizing the total reachability, a problem that has applications in causality and biology. For given a digraph DD, we use P(D)P(D) for the set of ordered pairs of distinct vertices in V(D)V(D) and we define κD:P(D){0,1}\kappa_D:P(D)\rightarrow \{0,1\} by κD(u,v)=1\kappa_D(u,v)=1 if vv is reachable from uu in DD, and κD(u,v)=0\kappa_D(u,v)=0, otherwise. We use R(D)=(u,v)P(D)κD(u,v)R(D)=\sum_{(u,v)\in P(D)}\kappa_D(u,v). Now, given a mixed graph GG, we aim to find an orientation G\vec{G} of GG that maximizes R(G)R(\vec{G}). Hakimi, Schmeichel, and Young proved that the problem can be solved in polynomial time when restricted to undirected inputs. They inquired about the complexity in mixed graphs. We answer this question by showing that this problem is NP-hard, and, moreover, APX-hard. We then develop a finer understanding of how quickly the problem becomes difficult when going from undirected to mixed graphs. To this end, we consider the parameterized complexity of the problem with respect to the number kk of preoriented arcs of GG, a poorly understood form of parameterization. We show that the problem can be solved in time nO(k)n^{O(k)} and that a (1ϵ)(1-\epsilon)-approximation can be computed in time f(k,ϵ)nO(1)f(k,\epsilon)n^{O(1)} for any ϵ>0\epsilon > 0.

Keywords

Cite

@article{arxiv.2506.16171,
  title  = {Maximum Reachability Orientation of Mixed Graphs},
  author = {Florian Hörsch},
  journal= {arXiv preprint arXiv:2506.16171},
  year   = {2025}
}
R2 v1 2026-07-01T03:24:56.413Z