请实现一个函数，用来判断一棵二叉树是不是对称的。如果一棵二叉树和它的镜像一样，那么它是对称的。
这是一道简单题。
这道题的关键是如何移动双指针，决定如何移动的关键在于对于公式的理解。
这道题有递归和迭代两种不同的思路，考验了链表操作和函数调用的特点。