Courcelle 定理

MSO2

參數化複雜度新突破：MSO2 公式可用 SDD 與 OBDD 線性表示

本研究延伸 Courcelle 定理，探討含自由變數的 MSO2 公式模型能否以決策圖表示。研究顯示，當以圖的樹寬或路徑寬作為參數時，SDD 與 OBDD 的大小皆可達到線性上界；然而亦證明存有樹寬受限的圖族，其 OBDD 無法以樹寬參數化。此結果為圖論與知識表示提供新連結。