Python判断二叉树同构算法详解

Leo

发布时间：2026-10-13 | 6人浏览过

原创

本文详细解析如何使用Python判断两棵二叉树是否同构。文章首先明确同构定义及包含空节点的输入格式，随后介绍一种基于单向链表的完整求解思路，并附带相关代码实现与注意事项，帮助开发者理解树结构处理与链表操作的综合应用。

题意理解与输入格式

一、题意理解

题目要求判断给定的两棵二叉树T1和T2是否同构。所谓同构，是指T1经过若干次左右子树交换操作后，能够完全转化为T2。

输入格式包含两棵二叉树的具体信息：

首先在一行中给出该树的结点总数，随后跟随N行数据。

第i行对应编号为第i个的结点，依次给出该结点存储的字符、其左孩子结点的编号以及右孩子结点的编号。

若某个孩子结点不存在，则在相应位置使用“-”表示。

如下图所示，存在多种数据表示方式，本文列出以下两种常见形式：

基于单向链表的求解思路

二、求解思路

参考了相关解题文章，发现其并未完全采用单向链表的方法。因此，本文研究并实现了一种完全基于单向链表的解决方案：

实际上，可能存在更优雅的删除整个单向列表的方法，例如将头指针设为None，这或许能进一步优化代码。


# python语言实现

L1 = list(map(int, input().split()))
L2 = list(map(int, input().split()))


# 节点
class Node:
  def __init__(self, coef, exp):
    self.coef = coef
    self.exp = exp
    self.next = None


# 单链表
class List:
  def __init__(self, node=None):
    self.__head = node

  # 为了访问私有类
  def gethead(self):
    return self.__head

  def travel(self):
    cur1 = self.__head
    cur2 = self.__head
    if cur1.next != None:
      cur1 = cur1.next
    else:
      print(cur2.coef, cur2.exp, end="")
      return
    while cur1.next != None:
      print(cur2.coef, cur2.exp, end=" ")
      cur1 = cur1.next
      cur2 = cur2.next

    print(cur2.coef, cur2.exp, end=" ")
    cur2 = cur2.next
    print(cur2.coef, cur2.exp, end="")

  # add item in the tail
  def append(self, coef, exp):
    node = Node(coef, exp)
    if self.__head == None:
      self.__head = node
    else:
      cur = self.__head
      while cur.next != None:
        cur = cur.next
      cur.next = node


def addl(l1, l2):
  p1 = l1.gethead()
  p2 = l2.gethead()
  l3 = List()
  while (p1 is not None) & (p2 is not None):
    if (p1.exp > p2.exp):
      l3.append(p1.coef, p1.exp)
      p1 = p1.next
    elif (p1.exp < p2.exp):
      l3.append(p2.coef, p2.exp)
      p2 = p2.next
    else:
      if (p1.coef + p2.coef == 0):
        p1 = p1.next
        p2 = p2.next
      else:
        l3.append(p2.coef + p1.coef, p1.exp)
        p2 = p2.next
        p1 = p1.next
  while p1 is not None:
    l3.append(p1.coef, p1.exp)
    p1 = p1.next
  while p2 is not None:
    l3.append(p2.coef, p2.exp)
    p2 = p2.next
  if l3.gethead() == None:
    l3.append(0, 0)
  return l3


def mull(l1, l2):
  p1 = l1.gethead()
  p2 = l2.gethead()
  l3 = List()
  l4 = List()
  if (p1 is not None) & (p2 is not None):
    while p1 is not None:
      while p2 is not None:
        l4.append(p1.coef * p2.coef, p1.exp + p2.exp)
        p2 = p2.next
      l3 = addl(l3, l4)
      l4 = List()
      p2 = l2.gethead()
      p1 = p1.next
  else:
    l3.append(0, 0)
  return l3


def L2l(L):
  l = List()
  L.pop(0)
  for i in range(0, len(L), 2):
    l.append(L[i], L[i + 1])
  return l


l1 = L2l(L1)
l2 = L2l(L2)
l3 = List()
l3 = mull(l1, l2)
l3.travel()
print("")
l3 = List()
l3 = addl(l1, l2)
l3.travel()

以上就是本次介绍的全部内容知识点，相关内容可以参阅下方知识点，感谢大家对本站的支持。