מושגי ליבה
本文證明了有序 L-相交集系統大小的新上界,改進了先前針對無序 L-相交集系統的結果。
本文證明了有序 L-相交集系統大小的新上界。
簡介
L-相交集系統 F 是指 [n] 的子集族,其中任意兩個不同子集的交集大小屬於集合 L。
Frankl 和 Wilson 證明了 L-相交集系統大小的上界。
Snevily 提出並證明了當 L 中所有元素都為正整數時,L-相交集系統大小的更精確的上界。
本文的研究
本文考慮有序 L-相交集系統,即可以根據子集大小和是否包含元素 n 進行排序的系統。
主要結果是證明了有序 L-相交集系統大小的新上界,該上界與 Snevily 針對無序 L-相交集系統證明の上界相同。
證明方法
證明基於線性代數方法和三角準則。
通過構造一組線性獨立的多項式來證明上界,這些多項式的數量等於有序 L-相交集系統的大小。
利用多項式的線性獨立性和向量空間的維數關係得到上界。
結果的意義
本文的結果改進了先前針對無序 L-相交集系統的結果,證明了有序性並不影響上界。
本文的證明方法可以應用於其他極值集論問題。
סטטיסטיקה
集合 L 的大小為 s。
有序 L-相交集系統 F 的大小為 m。