题目描述
请判断一个链表是否为回文链表。
示例 1:
输入: 1->2
输出: false
示例 2:
输入: 1->2->2->1
输出: true
进阶:
你能否用 O(n) 时间复杂度和 O(1) 空间复杂度解决此题?
通过的代码
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* ListNode *next;
* ListNode(int x) : val(x), next(NULL) {}
* };
*/
class Solution {
public:
bool isPalindrome(ListNode* head) {
ListNode* fast=head,*low=head,*LastNode=NULL,*NextNode,*NewHead;
while(fast)//找本题中的中点,可见下面解释
{
low=low->next;
fast=(fast->next)?(fast->next->next):(fast->next);
}
while(low!=NULL)//对后半部分链表反转
{
NextNode=low->next;
low->next=LastNode;
LastNode=low;
low=NextNode;
}
NewHead=LastNode;
while(NewHead)//判断反转的后半部分链表是否和未反转的前半部分链表相同
{
if(NewHead->val!=head->val)
return false;
NewHead=NewHead->next;
head=head->next;
}
return true;
}
};
解题思路
这个题目要求时间复杂度为O(n),空间复杂度为O(1)。时间复杂度很容易满足,空间复杂度为O(1)就意味着不能使用额外的空间,比如数组,vector,map,set这些都算是额外空间。不能使用额外的数组,就意味着我们要直接在链表上进行操作和判断。刚开始抖机灵,一直在想怎么通过对链表中的值求和,求异或等等来判断是否为回文链表(异或这里是因为刚做了一个leetcode136,通过异或来获得只出现一次的数字,有点启发)。但是最后发现,很难考虑到所有的情况,永远只能通过部分样例。后来看了看别人的思路,其实就是直接在链表上操作,先找到链表的中点值(其实也不是严格意义上的中点)。这里的中点其实是,我们通常认为的中点值的下一个值。可以看下面两个例子,对应了两种回文链表(其实回文链表也就这两种),加粗表示该链表在本题中对应的中点:
(1)1->2->2->1
(2)1->2->2->2->1
之所以要这样定义中点,是因为我们后面要反转(reverse)以中点作为初始结点的后半部分链表,然后再循环判断这后半部分链表是否与前半部分链表相同,相同就是回文链表,否则就不是。其实也好理解,我们的回文链表,对应于上面两种情况,第一种肯定就是比较1->2和反转2->1后的链表是否相同;第二种情况就是比较1->2和反转2->1后的链表是否相同。在第二种情况下,最中间的2其实是不需要被比较的,它只是一个分隔结点。