算法设计：判断带头结点的双循环链表是否对称。