设计一个算法,判断无向图G是否一棵树