Pub Date : 2024-08-31DOI: 10.1016/j.dam.2024.08.016
Robert Scheffler
We present a new subclass of interval graphs that generalizes connected proper interval graphs. These graphs are characterized by vertex orderings called connected perfect elimination orderings (PEO), i.e., PEOs where consecutive vertices are adjacent. Alternatively, these graphs can also be characterized by special interval models and clique orderings. We present a linear-time recognition algorithm that uses PQ-trees. Furthermore, we study the behavior of multi-sweep graph searches on this graph class. This study also shows that Corneil’s well-known LBFS-recognition algorithm for proper interval graphs can be generalized to a large family of graph searches. Finally, we show that a strong result on the existence of Hamiltonian paths and cycles in proper interval graphs can be generalized to semi-proper interval graphs.
{"title":"Semi-proper interval graphs","authors":"Robert Scheffler","doi":"10.1016/j.dam.2024.08.016","DOIUrl":"10.1016/j.dam.2024.08.016","url":null,"abstract":"<div><p>We present a new subclass of interval graphs that generalizes connected proper interval graphs. These graphs are characterized by vertex orderings called connected perfect elimination orderings (PEO), i.e., PEOs where consecutive vertices are adjacent. Alternatively, these graphs can also be characterized by special interval models and clique orderings. We present a linear-time recognition algorithm that uses PQ-trees. Furthermore, we study the behavior of multi-sweep graph searches on this graph class. This study also shows that Corneil’s well-known LBFS-recognition algorithm for proper interval graphs can be generalized to a large family of graph searches. Finally, we show that a strong result on the existence of Hamiltonian paths and cycles in proper interval graphs can be generalized to semi-proper interval graphs.</p></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"360 ","pages":"Pages 22-41"},"PeriodicalIF":1.0,"publicationDate":"2024-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0166218X24003743/pdfft?md5=6110dc7ab7e08b99475c2042354b19c5&pid=1-s2.0-S0166218X24003743-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142097893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-31DOI: 10.1016/j.dam.2024.08.015
Kazuo Murota , Akihisa Tamura
The Shapley–Folkman theorem is a statement about the Minkowski sum of (non-convex) sets, expressing the closeness of the Minkowski sum to convexity in a quantitative manner. This paper establishes similar theorems for integrally convex sets, M-convex sets, and L-convex sets, which are major classes of discrete convex sets in discrete convex analysis.
{"title":"Shapley–Folkman-type theorem for integrally convex sets","authors":"Kazuo Murota , Akihisa Tamura","doi":"10.1016/j.dam.2024.08.015","DOIUrl":"10.1016/j.dam.2024.08.015","url":null,"abstract":"<div><p>The Shapley–Folkman theorem is a statement about the Minkowski sum of (non-convex) sets, expressing the closeness of the Minkowski sum to convexity in a quantitative manner. This paper establishes similar theorems for integrally convex sets, M<span><math><msup><mrow></mrow><mrow><mi>♮</mi></mrow></msup></math></span>-convex sets, and L<span><math><msup><mrow></mrow><mrow><mi>♮</mi></mrow></msup></math></span>-convex sets, which are major classes of discrete convex sets in discrete convex analysis.</p></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"360 ","pages":"Pages 42-50"},"PeriodicalIF":1.0,"publicationDate":"2024-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0166218X24003731/pdfft?md5=d073edec49748d4427d0a7829a4d4a66&pid=1-s2.0-S0166218X24003731-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142097894","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-31DOI: 10.1016/j.dam.2024.08.014
Geir Agnarsson , Elie Alhajjar , Aleyah Dawkins
<div><p>We first revisit and generalize a known result about a doubly exponential sequence that describes the number of <span><math><mi>k</mi></math></span>-ary ordered rooted trees of height <span><math><mi>h</mi></math></span> where <span><math><mrow><mi>k</mi><mo>≥</mo><mn>2</mn></mrow></math></span> is a fixed integer. Such a sequence has the form <span><math><msub><mrow><mrow><mo>(</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>h</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow><mrow><mi>h</mi><mo>≥</mo><mn>0</mn></mrow></msub></math></span> where <span><math><mrow><msub><mrow><mi>t</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>h</mi><mo>)</mo></mrow><mo>=</mo><mfenced><mrow><mi>c</mi><msup><mrow><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></mrow><mrow><msup><mrow><mi>k</mi></mrow><mrow><mi>h</mi></mrow></msup></mrow></msup></mrow></mfenced><mo>−</mo><mn>1</mn></mrow></math></span> for each given <span><math><mi>k</mi></math></span> and <span><math><mrow><mi>c</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>∈</mo></mrow></math></span>