As the title says, could anybody please explain me what 'tractable/intractable' means? I could not find the definition in any books (just common sense, maybe?).

Thank you in advance for your help.

asked Nov 28 '13 at 08:06

Khue's gravatar image

Khue
21225


2 Answers:

I have seen these concepts being loosely used to give a sense of the computational complexity of computing marginals/evaluating the evidence on a graphical model; 'intractability' would mean these tasks are 'hard' (I think #P-hard would the appropriate thing to say in this case).

If I'm not mistaken, you can find a discussion on this in Wainwright and Jordan's book (pdf)

answered Nov 28 '13 at 09:35

Andre%20Manoel's gravatar image

Andre Manoel
1113

edited Nov 28 '13 at 09:35

Thanks, Andre. I will take a look at the book and get back to you.

(Nov 28 '13 at 15:27) Khue

Basically, all known exact inference algorithms have in general worst-case time complexities that are exponential in some parameter of a given Bayesian network, or probabilistic graphical model. (typically it is the treewidth of the model)

Darwiche has a chapter on the computational complexity of different probabilistic reasoning tasks in his book. Roughly, if you can compute the MPE, then you can find satisfying assignments of a CNF (which is NP-complete). If you can compute the probability of evidence, then you can count the number of satisfying assignments (which is PP-complete, which basically contains NP and is at least as hard as finding a satisfying assignment).

answered Nov 29 '13 at 04:06

arthur's gravatar image

arthur
463

Your answer
toggle preview

powered by OSQA

User submitted content is under Creative Commons: Attribution - Share Alike; Other things copyright (C) 2010, MetaOptimize LLC.