[论文解读] The Maximum Number of Pentagons in a Planar Graph

Ervin Győri, Addisu Paulos+3 more|arXiv (Cornell University)|Sep 30, 2019

Advanced Graph Theory Research被引用 7

一句话总结

本文證實了Hakimi與Schmeichel於1979年提出的猜想：在n個頂點的平面圖中，五邊形（C₅）的最大數量為2n² − 10n + 12（n ≥ 8且n ≠ 8,11），並明確構造出極值圖Dₙ。當n = 8與n = 11時，另有兩個極值圖A₈與A₁₁達成相同的最大值。證明過程結合結構圖論與基於頂點度數及平面圖中環貢獻的案例分析。

ABSTRACT

In 1979, Hakimi and Schmeichel considered the problem of maximizing the number of cycles of a given length in an $n$-vertex planar graph. They precisely determined the maximum number of triangles and $4$-cycles and presented a conjecture for the maximum number of pentagons. In this work, we confirm their conjecture. Even more, we characterize the $n$-vertex, planar graphs with the maximum number of pentagons.

研究动机与目标

• 解決Hakimi與Schmeichel（1979年）關於n個頂點的平面圖中5-環（五邊形）最大數量的長期懸而未決猜想。
• 對每個n，特徵化所有達成五邊形最大數量的n個頂點的平面圖。
• 透過精確確定極值函數f(n, C₅)，推廣平面圖的極值圖論結果。
• 對平面圖中的C₅提供完整的極值圖分類，包含n=8與n=11的例外情況。
• 建立一個利用度數約束與結構分解分析平面圖中環計數的框架。

提出的方法

• 基於頂點度數與鄰域結構的案例分析，特別著重於度數至少為5的頂點。
• 使用外部路徑與環貢獻（類型1、類型2、類型0）的概念，比較圖G與修改後圖G′中五環的數量。
• 應用平面性約束，限制由環所包圍區域中的頂點數量，確保子結構不會重複計數。
• 運用收縮與嵌入技術，比較給定圖G與簡化圖G′之間的環計數，證明G不可能超過該界。
• 利用已知的極值界與引理（例如，外部路徑的引理2）控制中心頂點鄰域之外頂點的貢獻。
• 根據頂點閉鄰域內外的鄰接模式，對五環總數的貢獻進行詳細計數。

实验结果

研究问题

• RQ1 在n個頂點的平面圖中，最多可存在多少個5-環（五邊形）？
• RQ2 哪些n個頂點的平面圖能達成五環的最大數量？
• RQ3 對於所有n ≥ 8，平面圖中五環數量的猜想界2n² − 10n + 12是否成立？
• RQ4 是否存在超出Dₙ族的例外圖，在特定n值下也達成最大環數？
• RQ5 如最小度數與平面性等結構約束，如何限制圖中五環的數量？

主要发现

• 對於所有n ≥ 8且n ≠ 8,11，n個頂點的平面圖中五環的最大數量恰好為2n² − 10n + 12。
• 當n = 8與n = 11時，極值圖不唯一：D₈與A₈，以及D₁₁與A₁₁，均達成五環的最大數量。
• 對於所有其他n ≥ 8（n ≠ 8,11），唯一達成最大值的極值圖為Dₙ，即將兩個頂點分別連接到長度為n−2的環上所有頂點所構成的圖。
• f(5, C₅) = 6 與 f(7, C₅) = 41，顯示該公式在小規模n下不成立。
• 證明顯示，任何平面圖中五環的數量都不可能超過界2n² − 10n + 12，從而證實1979年的猜想。
• 分析表明，中心頂點鄰域之外頂點貢獻的五環數量嚴格受限於4(n−3)，確保整體界成立。