Fault Diagnosis NP-Hard problem Algorithms Variable Elimination Belief Propagation Random Sampling Maximum a Posteriori (MAP) argmax = = e.g. most likely Image Segmentation NP-Hard problem Algorithms Variable Elimination Belief Propagation Optimization 16