Algorithms and Complexity Results for Exact Bayesian Structure Learning
This work provides theoretical insights into the computational limits of Bayesian network learning, which is incremental but clarifies essential conditions for efficient algorithms in machine learning and AI.
The paper tackles the NP-hard problem of exact Bayesian structure learning by analyzing its computational complexity under graph-theoretic restrictions on the super-structure, showing it can be solved in non-uniform polynomial time with bounded treewidth and linear time with additional bounded degree, while proving these restrictions are essential for tractability.
Bayesian structure learning is the NP-hard problem of discovering a Bayesian network that optimally represents a given set of training data. In this paper we study the computational worst-case complexity of exact Bayesian structure learning under graph theoretic restrictions on the super-structure. The super-structure (a concept introduced by Perrier, Imoto, and Miyano, JMLR 2008) is an undirected graph that contains as subgraphs the skeletons of solution networks. Our results apply to several variants of score-based Bayesian structure learning where the score of a network decomposes into local scores of its nodes. Results: We show that exact Bayesian structure learning can be carried out in non-uniform polynomial time if the super-structure has bounded treewidth and in linear time if in addition the super-structure has bounded maximum degree. We complement this with a number of hardness results. We show that both restrictions (treewidth and degree) are essential and cannot be dropped without loosing uniform polynomial time tractability (subject to a complexity-theoretic assumption). Furthermore, we show that the restrictions remain essential if we do not search for a globally optimal network but we aim to improve a given network by means of at most k arc additions, arc deletions, or arc reversals (k-neighborhood local search).