Vertex order with optimal number of adjacent predecessors

Jérémy Omer (1) , Tangi Migot (2)

1 IRMAR - Institut de Recherche Mathématique de Rennes
2 Department of Mathematics and Statistics [Guelph]

In this paper, we study the complexity of the selection of a graph discretization order with a stepwise linear cost function. Finding such vertex ordering has been proved to be an essential step to solve discretizable distance geometry problems (DDGPs). DDGPs constitute a class of graph realization problems where the vertices can be ordered in such a way that the search space of possible positions becomes discrete, usually represented by a binary tree. In particular, it is useful to find discretization orders that minimize an indicator of the size of the search tree. Our stepwise linear cost function generalizes this situation and allows to discriminate the vertices into three categories depending on the number of adjacent predecessors of each vertex in the order and on two parameters K and U. We provide a complete study of NP-completeness for fixed values of K and U. Our main result is that the problem is NP-complete in general for all values of K and U such that U ≥ K + 1 and U ≥ 2. A consequence of this result is that the minimization of vertices with exactly K adjacent predecessors in a discretization order is also NP-complete.

Mots clés: vertex ordering; distance geometry problem; discretization order; complexity analysis

Domaines: Optimisation et contrôle [math.OC]; Recherche opérationnelle [math.OC]; Complexité [cs.CC]

Jérémy Omer, Tangi Migot. Vertex order with optimal number of adjacent predecessors. 2019. ⟨hal-02025298v2⟩