The computational complexity of monotonicity in probabilistic networks

  • Authors:

  • Johan Kwisthout

  • Affiliations:

  • Department of Information and Computer Sciences, University of Utrecht, The Netherlands

  • Venue:
  • FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many computational problems related to probabilistic networks are complete for complexity classes that have few 'real world' complete problems. For example, the decision variant of the inference problem (pr) is PP-complete, the map-problem is NPPP-complete and deciding whether a network is monotone in mode or distribution is CONPPP- complete. We take a closer look at monotonicity; more specific, the computational complexity of determining whether the values of the variables in a probabilistic network can be ordered, such that the network is monotone. We prove that this problem - which is trivially co-NPPP-hard - is complete for the class co-NPNPPP in networks which allow implicit representation.