Merge pull request #6 from heniancheng/master

Merge
改进了BFSDPOP的cross-edge计算方法
修正了若干小错误
Merge remote-tracking branch 'upstream/master'

Conflicts:
	DCOPSolver/dfsTree.txt