{"title":"A Fan-type condition for cycles in 1-tough and k-connected (P2 ∪ kP1)-free graphs","authors":"Zhiquan Hu, Jie Wang, Changlong Shen","doi":"10.1016/j.amc.2025.129300","DOIUrl":null,"url":null,"abstract":"For a graph <ce:italic>G</ce:italic>, define <mml:math altimg=\"si1.svg\"><mml:msub><mml:mrow><mml:mi>μ</mml:mi></mml:mrow><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>G</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo>:</mml:mo><mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\">=</mml:mo><mml:mi mathvariant=\"normal\">min</mml:mi><mml:mo></mml:mo><mml:mspace width=\"0.25em\"></mml:mspace><mml:mo stretchy=\"false\">{</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant=\"normal\">max</mml:mi></mml:mrow><mml:mrow><mml:mi>x</mml:mi><mml:mo>∈</mml:mo><mml:mi>S</mml:mi></mml:mrow></mml:msub><mml:mo></mml:mo><mml:msub><mml:mrow><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>G</mml:mi></mml:mrow></mml:msub><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo>:</mml:mo><mml:mspace width=\"0.25em\"></mml:mspace><mml:mi>S</mml:mi><mml:mo>∈</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant=\"script\">S</mml:mi></mml:mrow><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo stretchy=\"false\">}</mml:mo></mml:math>, where <mml:math altimg=\"si2.svg\"><mml:msub><mml:mrow><mml:mi mathvariant=\"script\">S</mml:mi></mml:mrow><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub></mml:math> is the set consisting of all independent sets <mml:math altimg=\"si3.svg\"><mml:mo stretchy=\"false\">{</mml:mo><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo stretchy=\"false\">}</mml:mo></mml:math> of <ce:italic>G</ce:italic> such that some vertex, say <mml:math altimg=\"si4.svg\"><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math> (<mml:math altimg=\"si5.svg\"><mml:mn>1</mml:mn><mml:mo>≤</mml:mo><mml:mi>i</mml:mi><mml:mo>≤</mml:mo><mml:mi>k</mml:mi></mml:math>), is at distance two from every other vertex in it. A graph <ce:italic>G</ce:italic> is called 1-tough if for each cut set <mml:math altimg=\"si6.svg\"><mml:mi>S</mml:mi><mml:mo>⊆</mml:mo><mml:mi>V</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>G</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:math>, <mml:math altimg=\"si7.svg\"><mml:mi>G</mml:mi><mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\">−</mml:mo><mml:mi>S</mml:mi></mml:math> has no more than <mml:math altimg=\"si8.svg\"><mml:mo stretchy=\"false\">|</mml:mo><mml:mi>S</mml:mi><mml:mo stretchy=\"false\">|</mml:mo></mml:math> components. Recently, Shi and Shan <ce:cross-ref ref>[19]</ce:cross-ref> conjectured that for each integer <mml:math altimg=\"si62.svg\"><mml:mi>k</mml:mi><mml:mo>≥</mml:mo><mml:mn>4</mml:mn></mml:math>, being 2<ce:italic>k</ce:italic>-connected is sufficient for 1-tough <mml:math altimg=\"si10.svg\"><mml:mo stretchy=\"false\">(</mml:mo><mml:msub><mml:mrow><mml:mi>P</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub><mml:mo>∪</mml:mo><mml:mi>k</mml:mi><mml:msub><mml:mrow><mml:mi>P</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo stretchy=\"false\">)</mml:mo></mml:math>-free graphs to be hamiltonian, which was confirmed by Xu et al. <ce:cross-ref ref>[20]</ce:cross-ref> and Ota and Sanka <ce:cross-ref ref>[16]</ce:cross-ref>, respectively. In this article, we generalize the above results through the following Fan-type theorem: If <ce:italic>G</ce:italic> is a 1-tough and <ce:italic>k</ce:italic>-connected <mml:math altimg=\"si10.svg\"><mml:mo stretchy=\"false\">(</mml:mo><mml:msub><mml:mrow><mml:mi>P</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub><mml:mo>∪</mml:mo><mml:mi>k</mml:mi><mml:msub><mml:mrow><mml:mi>P</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo stretchy=\"false\">)</mml:mo></mml:math>-free graph and satisfies <mml:math altimg=\"si11.svg\"><mml:msub><mml:mrow><mml:mi>μ</mml:mi></mml:mrow><mml:mrow><mml:mi>k</mml:mi><mml:mo linebreak=\"badbreak\" linebreakstyle=\"after\">+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>G</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo>≥</mml:mo><mml:mfrac><mml:mrow><mml:mn>7</mml:mn><mml:mi>k</mml:mi><mml:mo linebreak=\"badbreak\" linebreakstyle=\"after\">−</mml:mo><mml:mn>6</mml:mn></mml:mrow><mml:mrow><mml:mn>5</mml:mn></mml:mrow></mml:mfrac></mml:math>, where <mml:math altimg=\"si12.svg\"><mml:mi>k</mml:mi><mml:mo>≥</mml:mo><mml:mn>2</mml:mn></mml:math> is an integer, then <ce:italic>G</ce:italic> is hamiltonian or the Petersen graph.","PeriodicalId":55496,"journal":{"name":"Applied Mathematics and Computation","volume":"23 1","pages":""},"PeriodicalIF":3.5000,"publicationDate":"2025-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Applied Mathematics and Computation","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1016/j.amc.2025.129300","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
For a graph G, define μk(G):=min{maxx∈SdG(x):S∈Sk}, where Sk is the set consisting of all independent sets {u1,…,uk} of G such that some vertex, say ui (1≤i≤k), is at distance two from every other vertex in it. A graph G is called 1-tough if for each cut set S⊆V(G), G−S has no more than |S| components. Recently, Shi and Shan [19] conjectured that for each integer k≥4, being 2k-connected is sufficient for 1-tough (P2∪kP1)-free graphs to be hamiltonian, which was confirmed by Xu et al. [20] and Ota and Sanka [16], respectively. In this article, we generalize the above results through the following Fan-type theorem: If G is a 1-tough and k-connected (P2∪kP1)-free graph and satisfies μk+1(G)≥7k−65, where k≥2 is an integer, then G is hamiltonian or the Petersen graph.
期刊介绍:
Applied Mathematics and Computation addresses work at the interface between applied mathematics, numerical computation, and applications of systems – oriented ideas to the physical, biological, social, and behavioral sciences, and emphasizes papers of a computational nature focusing on new algorithms, their analysis and numerical results.
In addition to presenting research papers, Applied Mathematics and Computation publishes review articles and single–topics issues.