回溯——5.复原IP地址

力扣题目链接

给定一个只包含数字的字符串，复原它并返回所有可能的 IP 地址格式。

有效的 IP 地址 正好由四个整数（每个整数位于 0 到 255 之间组成，且不能含有前导 0），整数之间用 '.' 分隔。

例如："0.1.2.201" 和 "192.168.1.1" 是 有效的 IP 地址，但是 "0.011.255.245"、"192.168.1.312" 和 "192.168@1.1" 是 无效的 IP 地址。

解题思路

1. 回溯法：通过回溯法，尝试在每个可能的位置插入分隔符（即点 .），并判断当前分割后的子字符串是否构成合法的 IP 段。
2. 合法性判断：每个 IP 段需要满足数字范围为 0 到 255，且不能以 '0' 开头（除非该段仅为 '0'）。
3. 递归：通过递归处理，逐步构造每一种可能的 IP 地址，直到处理完所有字符并得到合法结果。

这个算法的时间复杂度较高，但对于小输入长度来说是可以接受的。代码通过递归回溯的方式遍历所有可能的分隔方案，确保最终得到的 IP 地址都是合法的。

完整代码如下：

class Solution:
    def restoreIpAddresses(self, s: str) -> List[str]:
        result = []
        self.backtracking(s, 0, 0, "", result)
        return result

    def backtracking(self, s, start_index, point_num, current, result):
        if point_num == 3:  # 逗点数量为3时，分隔结束
            if self.is_valid(s, start_index, len(s) - 1):  # 判断第四段子字符串是否合法
                current += s[start_index:]  # 添加最后一段子字符串
                result.append(current)
            return

        for i in range(start_index, len(s)):
            if self.is_valid(s, start_index, i):  # 判断 [start_index, i] 这个区间的子串是否合法
                sub = s[start_index:i + 1]
                self.backtracking(s, i + 1, point_num + 1, current + sub + '.', result)
            else:
                break

    def is_valid(self, s, start, end):
        if start > end:
            return False
        if s[start] == '0' and start != end:  # 0开头的数字不合法
            return False
        num = 0
        for i in range(start, end + 1):
            if not s[i].isdigit():  # 遇到非数字字符不合法
                return False
            num = num * 10 + int(s[i])
            if num > 255:  # 如果大于255了不合法
                return False
        return True

def restoreIpAddresses(self, s: str) -> List[str]:
    result = []
    self.backtracking(s, 0, 0, "", result)
    return result

• 参数与返回值：输入是一个字符串 s，输出是一个包含所有可能的有效 IP 地址的列表 result。
• 主要操作：初始化一个空列表 result 用于存储最终结果，然后调用辅助函数 backtracking 进行递归回溯。最后返回 result。

def backtracking(self, s, start_index, point_num, current, result):
    if point_num == 3:  # 逗点数量为3时，分隔结束
        if self.is_valid(s, start_index, len(s) - 1):  # 判断第四段子字符串是否合法
            current += s[start_index:]  # 添加最后一段子字符串
            result.append(current)
        return

• 参数：

  • s：输入的字符串。
  • start_index：当前处理的字符串起始索引。
  • point_num：已经添加的点的数量。
  • current：当前构造的 IP 地址字符串。
  • result：保存最终结果的列表。

• 主要逻辑：

  • 如果 point_num 等于 3（即已经放置了三个点），则表示需要构造 IP 地址的最后一段。
  • 调用 is_valid 函数判断从 start_index 到字符串末尾的子字符串是否合法（符合 IP 地址段的条件）。
  • 如果合法，将其添加到 current，并将完整的 IP 地址添加到 result 中。

    for i in range(start_index, len(s)):
        if self.is_valid(s, start_index, i):  # 判断 [start_index, i] 这个区间的子串是否合法
            sub = s[start_index:i + 1]
            self.backtracking(s, i + 1, point_num + 1, current + sub + '.', result)
        else:
            break

主要逻辑：

• 从 start_index 开始，依次检查每个子字符串 s[start_index:i+1] 是否为合法 IP 段。
• 如果合法，递归调用 backtracking，将点的数量 point_num 加 1，并在 current 后加上当前子字符串和一个点 .。
• 如果发现不合法的子字符串（例如，数值超过 255），就停止继续检查。

def is_valid(self, s, start, end):
    if start > end:
        return False
    if s[start] == '0' and start != end:  # 0开头的数字不合法
        return False
    num = 0
    for i in range(start, end + 1):
        if not s[i].isdigit():  # 遇到非数字字符不合法
            return False
        num = num * 10 + int(s[i])
        if num > 255:  # 如果大于255了不合法
            return False
    return True

主要逻辑：

• 判断一个子字符串 s[start:end+1] 是否为合法的 IP 段。
• 若开头为 '0' 且长度大于 1（如 '01'），则不合法。
• 检查子字符串是否都是数字，且转换成整数后在 0 到 255 之间。