แนวคิดหลัก
本文研究了偏序集標記的推廣算子特性,特別關注於糾結標記的計數問題,並探討了排序時間生成函數及其對應的累積生成函數的性質。
本文深入探討了 Defant 和 Kravitz 對 Sch¨utzenberger 推廣算子的推廣,該算子適用於有限偏序集的任意標記。作者從兩個方向對其進行了研究:糾結標記的計數和排序時間生成函數的性質。
糾結標記的計數
Defant 和 Kravitz 證明了將推廣算子應用於 n 個元素的偏序集標記 n-1 次後,總會得到該偏序集的自然標記。他們將需要完整的 n-1 次推廣才能達到自然標記的標記稱為糾結標記,並推測對於 n 個元素的任何偏序集,糾結標記的數量最多為 (n-1)!。
本文提出了一個更強的猜想,即 (n-2)! 猜想,該猜想根據標記為 n-1 的元素對糾結標記進行劃分。作者證明了這個更強的猜想適用於膨脹根森林偏序集和一類新的稱為鞋帶偏序集的偏序集。
排序時間生成函數
除了糾結標記,本文還探討了非糾結標記的排序時間,並引入了相關的生成函數。作者通過反例證明了先前關於排序時間單峰性的猜想不成立。此外,本文還研究了反鏈序數和的排序時間生成函數,並證明了其累積生成函數的係數是對數凹的。
提出了 (n-2)! 猜想,該猜想比 Defant 和 Kravitz 的原始猜想更強,並證明了其適用於膨脹根森林偏序集和鞋帶偏序集。
通過反例證明了先前關於排序時間單峰性的猜想不成立。
完整地確定了反鏈序數和的排序時間生成函數。
證明了反鏈序數和的累積生成函數的係數是對數凹的。