这一结果将传统的显式图搜索与隐式图搜索，求一个解的局部搜索与求全体解的遍历搜索，全部统一到同一个模型和若干算法中去。
This result have unified the traditional explicit graph searching and implicit graph search , partial searching for one solution and complete searching for all solutions into a same model and some algorithms .
隐式图