主要公开日志

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年7月15日 (二) 23:20 GaoKao 留言 贡献创建了页面TREE函数 （创建页面，内容为“'''TREE函数'''是由数理逻辑学家Harvey Friedman提出的图论函数。 == 定义 == === 树的嵌入 === 给定两棵树<math>A</math>和<math>B</math>，我们称<math>A</math>能嵌入到<math>B</math>中，如果<math>B</math>能通过有限次以下操作得到<math>A</math>： * 删除一个叶子节点。 * 若某点只有两条边和它连接，删除这个点，用一条边连接与它相邻的两个顶点(即将两条相邻的边合并成…”） 标签：可视化编辑