数据结构

最近公共祖先 (图论)在图论和计算机科学中，树或有向无环图 (DAG) T 中两个节点 v 和 w 的最低公共祖先 (LCA)（也称为最小公共祖先）是同时具有 v 的最低（即...

术语索引在计算机科学中，术语索引是一种数据结构，用于促进逻辑程序、演绎数据库或自动定理检验器中的术语和条款的快速查找。术语索引的概述自动定理证明器...

什么是类型族在计算机科学中，类型族将数据类型与其他数据类型联系起来，使用由输入类型的有效实例和相应的输出类型的开放式集合定义的类型级函数。类型族是...