如何判断回文链表
本文讲解的例题
LeetCode | 力扣 | 难度 |
---|---|---|
234. Palindrome Linked List | 234. 回文链表 | 🟢 |
前文 数组双指针技巧汇总 讲解了回文串和回文序列相关的问题,先来简单回顾下。
寻找回文串的核心思想是从中心向两端扩展:
// 在 s 中寻找以 s[left] 和 s[right] 为中心的最长回文串
String palindrome(String s, int left, int right) {
// 防止索引越界
while (left >= 0 && right < s.length()
&& s.charAt(left) == s.charAt(right)) {
// 双指针,向两边展开
left--;
right++;
}
// 返回以 s[left] 和 s[right] 为中心的最长回文串
return s.substring(left + 1, right);
}
// 在 s 中寻找以 s[left] 和 s[right] 为中心的最长回文串
string palindrome(string s, int left, int right) {
// 防止索引越界
while (left >= 0 && right < s.length()
&& s[left] == s[right]) {
// 双指针,向两边展开
left--;
right++;
}
// 返回以 s[left] 和 s[right] 为中心的最长回文串
return s.substr(left + 1, right - left - 1);
}
# 在 s 中寻找以 s[left] 和 s[right] 为中心的最长回文串
def palindrome(s: str, left: int, right: int) -> str:
# 防止索引越界
while left >= 0 and right < len(s) and s[left] == s[right]:
# 双指针,向两边展开
left -= 1
right += 1
# 返回以 s[left] 和 s[right] 为中心的最长回文串
return s[(left + 1):right]
// 在 s 中寻找以 s[left] 和 s[right] 为中心的最长回文串
func palindrome(s string, left int, right int) string {
// 防止索引越界
for left >= 0 && right < len(s) && s[left] == s[right] {
// 双指针,向两边展开
left--
right++
}
// 返回以 s[left] 和 s[right] 为中心的最长回文串
return s[(left + 1):right]
}
// 在 s 中寻找以 s[left] 和 s[right] 为中心的最长回文串
var palindrome = function(s, left, right) {
// 防止索引越界
while (left >= 0 && right < s.length && s.charAt(left) == s.charAt(right)) {
// 双指针,向两边展开
left--;
right++;
}
// 返回以 s[left] 和 s[right] 为中心的最长回文串
return s.substring(left + 1, right);
};
因为回文串长度可能为奇数也可能是偶数,长度为奇数时只存在一个中心点,而长度为偶数时存在两个中心点,所以上面这个函数需要传入 l
和 r
。
而判断一个字符串是不是回文串就简单很多,不需要考虑奇偶情况,只需要双指针技巧,从两端向中间逼近即可:
boolean isPalindrome(String s) {
// 一左一右两个指针相向而行
int left = 0, right = s.length() - 1;
while (left < right) {
if (s.charAt(left) != s.charAt(right)) {
return false;
}
left++;
right--;
}
return true;
}
bool isPalindrome(string s) {
// 一左一右两个指针相向而行
int left = 0, right = s.length() - 1;
while (left < right) {
if (s[left] != s[right]) {
return false;
}
left++;
right--;
}
return true;
}
def isPalindrome(s: str) -> bool:
# 一左一右两个指针相向而行
left, right = 0, len(s) - 1
while left < right:
if s[left] != s[right]:
return False
left += 1
right -= 1
return True
func isPalindrome(s string) bool {
// 一左一右两个指针相向而行
left, right := 0, len(s) - 1
for left < right {
if s[left] != s[right] {
return false
}
left++
right--
}
return true
}
var isPalindrome = function(s) {
// 一左一右两个指针相向而行
let left = 0, right = s.length - 1;
while (left < right) {
if (s.charAt(left) !== s.charAt(right)) {
return false;
}
left++;
right--;
}
return true;
};
以上代码很好理解吧,因为回文串是对称的,所以正着读和倒着读应该是一样的,这一特点是解决回文串问题的关键。
下面扩展这一最简单的情况,来解决:如何判断一个「单链表」是不是回文。
一、判断回文单链表
看下力扣第 234 题「回文链表」:
234. 回文链表 | 力扣 | LeetCode |
给你一个单链表的头节点 head
,请你判断该链表是否为回文链表。如果是,返回 true
;否则,返回 false
。
示例 1:
输入:head = [1,2,2,1] 输出:true
示例 2:
输入:head = [1,2] 输出:false
提示:
- 链表中节点数目在范围
[1, 105]
内 0 <= Node.val <= 9
进阶:你能否用 O(n)
时间复杂度和 O(1)
空间复杂度解决此题?
函数签名如下:
boolean isPalindrome(ListNode head);
这道题的关键在于,单链表无法倒着遍历,无法使用双指针技巧。
那么最简单的办法就是,把原始链表反转存入一条新的链表,然后比较这两条链表是否相同。关于如何反转链表,可以参见前文 递归翻转链表的一部分。
我在 学习数据结构的框架思维 中说过,链表兼具递归结构,树结构不过是链表的衍生。那么,链表其实也可以有前序遍历和后序遍历,借助二叉树后序遍历的思路,不需要显式反转原始链表也可以倒序遍历链表:
// 二叉树遍历框架
void traverse(TreeNode root) {
// 前序遍历代码
traverse(root.left);
// 中序遍历代码
traverse(root.right);
// 后序遍历代码
}
// 递归遍历单链表
void traverse(ListNode head) {
// 前序遍历代码
traverse(head.next);
// 后序遍历代码
}
// 二叉树遍历框架
void traverse(TreeNode* root) {
// 前序遍历代码
traverse(root->left);
// 中序遍历代码
traverse(root->right);
// 后序遍历代码
}
// 递归遍历单链表
void traverse(ListNode* head) {
// 前序遍历代码
traverse(head->next);
// 后序遍历代码
}
# 二叉树遍历框架
def traverse(root: TreeNode) -> None:
# 前序遍历代码
traverse(root.left)
# 中序遍历代码
traverse(root.right)
# 后序遍历代码
# 递归遍历单链表
def traverse(head: ListNode) -> None:
# 前序遍历代码
traverse(head.next)
# 后序遍历代码
// 二叉树遍历框架
func traverse(root *TreeNode) {
// 前序遍历代码
traverse(root.left)
// 中序遍历代码
traverse(root.right)
// 后序遍历代码
}
// 递归遍历单链表
func traverse(head *ListNode) {
// 前序遍历代码
traverse(head.Next)
// 后序遍历代码
}
// 二叉树遍历框架
var traverse = function(root) {
// 前序遍历代码
traverse(root.left);
// 中序遍历代码
traverse(root.right);
// 后序遍历代码
};
// 递归遍历单链表
var traverse = function(head) {
// 前序遍历代码
traverse(head.next);
// 后序遍历代码
};
这个框架有什么指导意义呢?如果我想正序打印链表中的 val
值,可以在前序遍历位置写代码;反之,如果想倒序遍历链表,就可以在后序遍历位置操作:
// 倒序打印单链表中的元素值
void traverse(ListNode head) {
if (head == null) return;
traverse(head.next);
// 后序遍历代码
print(head.val);
}
// 倒序打印单链表中的元素值
void traverse(ListNode* head) {
if (head == NULL) return;
traverse(head->next);
// 后序遍历代码
print(head->val);
}
# 倒序打印单链表中的元素值
def traverse(head: ListNode):
if head is None:
return
traverse(head.next)
# 后序遍历代码
print(head.val)
// 倒序打印单链表中的元素值
func traverse(head *ListNode) {
if head == nil {
return
}
traverse(head.Next)
// 后序遍历代码
print(head.Val)
}
// 倒序打印单链表中的元素值
function traverse(head) {
if (head === null) {
return;
}
traverse(head.next);
// 后序遍历代码
console.log(head.val);
}
说到这了,其实可以稍作修改,模仿双指针实现回文判断的功能:
class Solution {
// 从左向右移动的指针
ListNode left;
// 从右向左移动的指针
ListNode right;
// 记录链表是否为回文
boolean res = true;
boolean isPalindrome(ListNode head) {
left = head;
traverse(head);
return res;
}
void traverse(ListNode right) {
if (right == null) {
return;
}
// 利用递归,走到链表尾部
traverse(right.next);
// 后序遍历位置,此时的 right 指针指向链表右侧尾部
// 所以可以和 left 指针比较,判断是否是回文链表
if (left.val != right.val) {
res = false;
}
left = left.next;
}
}
class Solution {
public:
// 从左向右移动的指针
ListNode* left;
// 从右向左移动的指针
ListNode* right;
// 记录链表是否为回文
bool res = true;
bool isPalindrome(ListNode* head) {
left = head;
traverse(head);
return res;
}
void traverse(ListNode* right) {
if (right == nullptr) {
return;
}
// 利用递归,走到链表尾部
traverse(right->next);
// 后序遍历位置,此时的 right 指针指向链表右侧尾部
// 所以可以和 left 指针比较,判断是否是回文链表
if (left->val != right->val) {
res = false;
}
left = left->next;
}
};
class Solution:
# 从左向右移动的指针
left = None
# 从右向左移动的指针
right = None
# 记录链表是否为回文
res = True
def isPalindrome(self, head: ListNode) -> bool:
self.left = head
self.traverse(head)
return self.res
def traverse(self, right: ListNode):
if right is None:
return
# 利用递归,走到链表尾部
self.traverse(right.next)
# 后序遍历位置,此时的 right 指针指向链表右侧尾部
# 所以可以和 left 指针比较,判断是否是回文链表
if self.left.val != right.val:
self.res = False
self.left = self.left.next
func isPalindrome(head *ListNode) bool {
// 从左向右移动的指针
left := head
// 从右向左移动的指针
var right *ListNode
// 记录链表是否为回文
res := true
var traverse func(right *ListNode)
traverse = func(right *ListNode) {
if right == nil {
return
}
// 利用递归,走到链表尾部
traverse(right.Next)
// 后序遍历位置,此时的 right 指针指向链表右侧尾部
// 所以可以和 left 指针比较,判断是否是回文链表
if left.Val != right.Val {
res = false
}
left = left.Next
}
right = head
traverse(right)
return res
}
var isPalindrome = function(head) {
// 从左向右移动的指针
let left = head;
// 从右向左移动的指针
let right = null;
// 记录链表是否为回文
let res = true;
var traverse = function(right) {
if (right === null) {
return;
}
// 利用递归,走到链表尾部
traverse(right.next);
// 后序遍历位置,此时的 right 指针指向链表右侧尾部
// 所以可以和 left 指针比较,判断是否是回文链表
if (left.val !== right.val) {
res = false;
}
left = left.next;
};
right = head;
traverse(right);
return res;
};
这么做的核心逻辑是什么呢?实际上就是把链表节点放入一个栈,然后再拿出来,这时候元素顺序就是反的,只不过我们利用的是递归函数的堆栈而已。如果不好理解,可以看下面这个可视化面板,你可以不断点击 traverse(right.next);
这一行代码,就能看出 left, right
的移动过程了:
当然,无论造一条反转链表还是利用后序遍历,算法的时间和空间复杂度都是 O(N)。下面我们想想,能不能不用额外的空间,解决这个问题呢?
二、优化空间复杂度
更好的思路是这样的:
1、先通过 链表双指针技巧 中的快慢指针来找到链表的中点:
ListNode slow, fast;
slow = fast = head;
while (fast != null && fast.next != null) {
slow = slow.next;
fast = fast.next.next;
}
// slow 指针现在指向链表中点
ListNode* slow, *fast;
slow = fast = head;
while (fast != nullptr && fast->next != nullptr) {
slow = slow->next;
fast = fast->next->next;
}
// slow 指针现在指向链表中点
slow, fast = head, head
while fast and fast.next:
slow = slow.next
fast = fast.next.next
# slow 指针现在指向链表中点
var slow, fast *ListNode
slow, fast = head, head
for fast != nil && fast.Next != nil {
slow = slow.Next
fast = fast.Next.Next
}
// slow 现在指向链表的中点
var slow, fast;
slow = fast = head;
while (fast !== null && fast.next !== null) {
slow = slow.next;
fast = fast.next.next;
}
// slow 指针现在指向链表中点
2、如果fast
指针没有指向null
,说明链表长度为奇数,slow
还要再前进一步:
if (fast != null)
slow = slow.next;
3、从slow
开始反转后面的链表,现在就可以开始比较回文串了:
ListNode left = head;
ListNode right = reverse(slow);
while (right != null) {
if (left.val != right.val)
return false;
left = left.next;
right = right.next;
}
return true;
ListNode* left = head;
ListNode* right = reverse(slow);
while (right != nullptr) {
if (left->val != right->val)
return false;
left = left->next;
right = right->next;
}
return true;
left, right = head, reverse(slow)
while right:
if left.val != right.val:
return False
left, right = left.next, right.next
return True
left := head
right := reverse(slow)
for right != nil {
if left.Val != right.Val {
return false
}
left = left.Next
right = right.Next
}
return true
let left = head;
let right = reverse(slow);
while (right !== null) {
if (left.val !== right.val)
return false;
left = left.next;
right = right.next;
}
return true;
至此,把上面 3 段代码合在一起就高效地解决这个问题了,其中 reverse
函数可以参考 翻转单链表:
class Solution {
public boolean isPalindrome(ListNode head) {
ListNode slow, fast;
slow = fast = head;
while (fast != null && fast.next != null) {
slow = slow.next;
fast = fast.next.next;
}
if (fast != null)
slow = slow.next;
ListNode left = head;
ListNode right = reverse(slow);
while (right != null) {
if (left.val != right.val)
return false;
left = left.next;
right = right.next;
}
return true;
}
ListNode reverse(ListNode head) {
ListNode pre = null, cur = head;
while (cur != null) {
ListNode next = cur.next;
cur.next = pre;
pre = cur;
cur = next;
}
return pre;
}
}
class Solution {
public:
bool isPalindrome(ListNode* head) {
ListNode* slow, *fast;
slow = fast = head;
while (fast != nullptr && fast->next != nullptr) {
slow = slow->next;
fast = fast->next->next;
}
if (fast != nullptr)
slow = slow->next;
ListNode* left = head;
ListNode* right = reverse(slow);
while (right != nullptr) {
if (left->val != right->val)
return false;
left = left->next;
right = right->next;
}
return true;
}
ListNode* reverse(ListNode* head) {
ListNode* pre = nullptr, *cur = head;
while (cur != nullptr) {
ListNode* next = cur->next;
cur->next = pre;
pre = cur;
cur = next;
}
return pre;
}
};
class Solution:
def isPalindrome(self, head: ListNode) -> bool:
slow = fast = head
while fast and fast.next:
slow = slow.next
fast = fast.next.next
if fast:
slow = slow.next
left = head
right = self.reverse(slow)
while right:
if left.val != right.val:
return False
left = left.next
right = right.next
return True
def reverse(self, head: ListNode) -> ListNode:
pre = None
cur = head
while cur:
next = cur.next
cur.next = pre
pre = cur
cur = next
return pre
func isPalindrome(head *ListNode) bool {
var slow, fast *ListNode
slow, fast = head, head
for fast != nil && fast.Next != nil {
slow = slow.Next
fast = fast.Next.Next
}
if fast != nil {
slow = slow.Next
}
left, right := head, reverse(slow)
for right != nil {
if left.Val != right.Val {
return false
}
left = left.Next
right = right.Next
}
return true
}
func reverse(head *ListNode) *ListNode {
var pre, cur *ListNode
pre, cur = nil, head
for cur != nil {
next := cur.Next
cur.Next = pre
pre = cur
cur = next
}
return pre
}
var isPalindrome = function(head) {
let slow, fast;
slow = fast = head;
while (fast !== null && fast.next !== null) {
slow = slow.next;
fast = fast.next.next;
}
if (fast !== null)
slow = slow.next;
let left = head;
let right = reverse(slow);
while (right !== null) {
if (left.val !== right.val)
return false;
left = left.next;
right = right.next;
}
return true;
};
function reverse(head) {
let pre = null, cur = head;
while (cur !== null) {
let next = cur.next;
cur.next = pre;
pre = cur;
cur = next;
}
return pre;
}
算法过程如下 GIF 所示:
算法总体的时间复杂度 O(N),空间复杂度 O(1),已经是最优的了。
我知道肯定有读者会问:这种解法虽然高效,但破坏了输入链表的原始结构,能不能避免这个瑕疵呢?
其实这个问题很好解决,关键在于得到p, q
这两个指针位置:
这样,只要在函数 return 之前加一段代码即可恢复原先链表顺序:
p.next = reverse(q);
篇幅所限,我就不写了,读者可以自己尝试一下。
三、最后总结
首先,寻找回文串是从中间向两端扩展,判断回文串是从两端向中间收缩。对于单链表,无法直接倒序遍历,可以造一条新的反转链表,可以利用链表的后序遍历,也可以用栈结构倒序处理单链表。
具体到回文链表的判断问题,由于回文的特殊性,可以不完全反转链表,而是仅仅反转部分链表,将空间复杂度降到 O(1)。