[论文解读] Linial arrangements and local binary search trees

David Forge|arXiv (Cornell University)|Nov 28, 2014

Advanced Combinatorial Mathematics参考文献 4被引用 8

一句话总结

本文建立了林尼排列的NBC（无断裂电路）集合与局部二叉搜索树（LBS）之间的构造性双射，并将该对应关系推广至两类林尼型排列的k叉标记树。关键贡献在于一种基于高度函数的递归构造方法，通过加权分解将带权图与组合树结构联系起来，扩展了已知的辫子、希和卡塔兰排列的双射关系。

ABSTRACT

We study the set of NBC sets (no broken circuit sets) of the Linial arrangement and deduce a constructive bijection to the set of local binary search trees. We then generalize this construction to two families of Linial type arrangements for which the bijections are with some $k$-ary labelled trees that we introduce for this purpose.

研究动机与目标

• 建立林尼排列的NBC集合与局部二叉搜索树（LBS）之间的构造性双射。
• 通过k叉标记树将该双射推广至两类林尼型排列。
• 通过高度函数和边加权递归分解，定义并表征k-推广的LBS树。
• 将NBC到树的对应关系从辫子、希和卡塔兰排列扩展至林尼情形及其更广范围。

提出的方法

• 定义整数增益图，其增益值位于区间[a,b]内，且满足a + b = 2，特别关注[1,1]（林尼情形）以及[1,k+1]、[-k+1,k+1]用于k-推广。
• 在顶点集[n]上引入高度函数h，以诱导边的顺序O_h，并定义满足h(j) - h(i) = g的协调边，其中g为边(i,j)的增益值。
• 通过识别增益图中的角点与次角点，递归构造NBC集合，并将其分解为对应于局部LBS或k叉树的子树。
• 根据高度差为子树分配权重：对于标签较小的后代为k - i + 1，对于标签较大的后代为k - i，根子树则作相应调整。
• 通过将每个子树映射为加权左叶有序k叉搜索树（LLkS）或SLLkS，建立NBC集合与k叉树之间的双射。
• 通过根、带色、带标签的树重新表述该对应关系，其中内部顶点为下降点或S-下降点，边颜色取自[k]，下降条件基于最小子节点标签。

实验结果

研究问题

• RQ1 如何将林尼排列的NBC集合双射映射到局部二叉搜索树？
• RQ2 当增益值位于[1,k+1]或[-k+1,k+1]时，从林尼型排列的NBC集合中可得到何种局部二叉搜索树的推广形式？
• RQ3 高度函数与边顺序如何诱导NBC集合向子树的递归分解？
• RQ4 在增益值位于[1,k+1]或[-k+1,k+1]的增益图中，k叉树的何种结构特性对应于NBC集合？
• RQ5 能否通过带色、带标签的根树（带下降条件）重新表述NBC到树的对应关系？

主要发现

• 建立了林尼排列的NBC集合与局部二叉搜索树（LBS）之间的构造性双射，扩展了辫子与希排列的已知结果。
• 对于增益值在[1,k+1]与[-k+1,k+1]的情形，本文引入了k-推广的LBS树，其为(k+1)叉树，并与对应增益图的NBC集合建立双射。
• 证明了n个顶点的林尼排列的NBC集合数量等于n个节点的局部二叉搜索树数量，与已知计数结果一致。
• 该双射为递归构造，基于高度函数：角点与次角点定义子树根，边权重根据高度差与标签顺序分配。
• 通过根、带色、带标签的树重新表述该对应关系，其中内部顶点为下降点（LkS）或S-下降点（SLkS），边颜色取自[k]，下降条件基于最小子节点标签。
• 该构造可推广至完全增益图K_n^{[1-k2,k1+k2]}，通过定义两组权重W1 = [k1]、W2 = [k2]的下降条件，生成新的k叉树族。