核心概念
本文簡化了證明圖的堆疊數不受佇列數限制的過程,確認了佇列在圖形線性化處理中比堆疊更強大。
要約
圖的堆疊數與佇列數再探
本文重新探討了圖的堆疊數和佇列數之間的關係,並簡化了證明堆疊數不受佇列數限制的過程。
堆疊數與佇列數
- 堆疊數和佇列數是與圖的線性化概念相關的圖不變量。
- 圖的線性化是將圖的頂點排列在一条線上,並按照此順序處理圖的邊。
- 堆疊數 (sn(G)) 是指在不違反堆疊特性的情況下,用於儲存圖的所有邊所需的最少堆疊數量。
- 佇列數 (qn(G)) 是指在不違反佇列特性的情況下,用於儲存圖的所有邊所需的最少佇列數量。
研究背景
- Dujmović 和 Wood 在 2005 年強調了堆疊數和佇列數之間的關係問題。
- 長期以來,人們一直不清楚堆疊數是否受佇列數限制,反之亦然。
- 2022 年,Dujmović 等人建構了一類佇列數最多為 4 但堆疊數不受限制的圖,證明了堆疊數不受佇列數限制。
本文貢獻
- 本文基於 Dujmović 等人的研究成果,提供了一個更簡短、更簡單的證明,證明了圖的堆疊數不受佇列數限制。
- 證明過程利用了 Ramsey 定理、Erdős–Szekeres 定理和 Gale 定理等經典結果。
- 本文簡化了證明過程,省略了一些技術步驟,並以更直接的方式處理了成對交叉路徑的情況。
結論
- 本文證明了圖的堆疊數不受佇列數限制,確認了佇列在圖形線性化處理中比堆疊更強大。
- 該證明為理解堆疊數和佇列數之間的關係提供了新的見解。
統計
圖 Hn 是具有 n^2 個頂點的六邊形網格的平面對偶圖。
Sa 是具有 n 個葉子的星形圖。
G = Sa□Hn 是 Sa 和 Hn 的笛卡爾積。
qn(G) ≤ 4,即圖 G 的佇列數最多為 4。
選擇 n = 2s 和 a = R(2s, 4n^2s + 1)m,其中 m = 2n^2−1。
根據證明,圖 G 的堆疊數 sn(G) ≥ s。
引用
"The stack number is not bounded by the queue number."
"Queues are strictly better than stacks."