junction trees mpe inference and variable elimination complexity 43178