This preview shows page 1. Sign up to view the full content.
Unformatted text preview: ecognition,
where W = word and Q = phoneme.
• Most likely sequence of states (Viterbi/ MAP, maxproduct):
arg max P (q1:t, w1:te1:t)
q1:t,w1:t • Most likely sequence of words (Marginal MAP, maxsumproduct):
P (w1:t, q1:te1:t) arg max
w1:t q1:t • Maxproduct often used as computationally simpler approximation
to maxsumproduct (or can use A∗ decoding). Complexity of exact inference Decision problems • Determinining if PB (X = x) > 0 for some (discrete) variable X
and some Bayes net B is NPcomplete. • Defn: a decision problem is a task of the form: does there exist
a solution which satisﬁes these conditions? • What does this mean? • Example: boolean satisﬁability: • Roughly: The best algorithm for exact inference (in discretestate
models) probably takes exponential time, in the worst case.
• More formally: we need a review of basic computational complexity
theory. (q1 ∨ ¬q2 ∨ q3) ∧ ¬qq ∨ q2 ∨ ¬q3
is satisﬁable (q1 = q2 = q3=true)
• 3SAT is boolean satisﬁability where φ = C1 ∧ C2 . . . ∧ Cn, and
every clause Ci has 3 literals. P vs NP Proving NPcompleteness • Defn: A decision problem Π is in P if it can be solved in polynomial
time.
• Defn: Π is in NP if it can be solved in polynomial...
View
Full
Document
This document was uploaded on 03/28/2014 for the course CS 532 at The University of British Columbia.
 Fall '04
 KevinMurphy.

Click to edit the document details