编写算法判别给定二叉树是否为完全二叉树。