On finding optimal polytrees

Serge Gaspers , Mikko Koivisto (1) , Mathieu Liedloff (2) , Ordyniak Sebastian (3) , Stefan Szeider (3)

1 HIIT - Helsinki Institute for Information Technology
2 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
3 Institute of Information Systems

We study the NP-hard problem of finding a directed acyclic graph (DAG) on a given set of nodes so as to maximize a given scoring function. The problem models the task of inferring a probabilistic network from data, which has been studied extensively in the fields of artificial intelligence and machine learning. Several variants of the problem, where the output DAG is constrained in several ways, are NP-hard as well, for example when the DAG is required to have bounded in-degree, or when it is required to be a polytree. Polynomial-time algorithms are known only for rare special cases, perhaps most notably for branchings, that is, polytrees in which the in-degree of every node is at most one. In this paper, we generalize this polynomial-time result to polytrees that can be turned into a branching by deleting a constant number of arcs. Our algorithm stems from a matroid intersection formulation. As the order of the polynomial time bound depends on the number of deleted arcs, the algorithm does not establish fixed-parameter tractability when parameterized by that number. We show that certain additional constraints on the sought polytree render the problem fixed-parameter tractable. We contrast this positive result by showing that if we parameterize by the number of deleted nodes, a somewhat more powerful parameter, the problem is not fixed-parameter tractable, subject to a complexity-theoretic assumption.

Domaines: Algorithme et structure de données [cs.DS]

Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Ordyniak Sebastian, Stefan Szeider. On finding optimal polytrees. Theoretical Computer Science, 2015, 592, pp.49-58. ⟨10.1016/j.tcs.2015.05.012⟩. ⟨hal-01216951⟩