junction tree algorithm 马尔科夫