Graphs and CombinatoricsPub Date : 2025-01-01Epub Date: 2025-04-25DOI: 10.1007/s00373-025-02929-2
Michaela Borzechowski, Simon Weber
{"title":"On Flipping Edge Sets in Unique Sink Orientations.","authors":"Michaela Borzechowski, Simon Weber","doi":"10.1007/s00373-025-02929-2","DOIUrl":"https://doi.org/10.1007/s00373-025-02929-2","url":null,"abstract":"<p><p>A <i>unique sink orientation</i> (USO) is an orientation of the <i>n</i>-dimensional hypercube graph such that every non-empty face contains a unique sink. We consider the only known connected <i>flip graph</i> on USOs. This flip graph is based on the following theorem due to Schurr: given any <i>n</i>-dimensional USO and any one dimension <math><mrow><mi>i</mi> <mo>∈</mo> <mo>[</mo> <mi>n</mi> <mo>]</mo></mrow> </math> , the set <math><msub><mi>E</mi> <mi>i</mi></msub> </math> of edges connecting vertices along dimension <i>i</i> can be decomposed into equivalence classes (so-called <i>phases</i>), such that flipping the direction of any <math><mrow><mi>S</mi> <mo>⊆</mo> <msub><mi>E</mi> <mi>i</mi></msub> </mrow> </math> yields another USO if and only if <i>S</i> is the union of some of these phases. In this paper we provide an algorithm to compute the phases of a given USO in <math><mrow><mi>O</mi> <mo>(</mo> <mi>n</mi> <mo>·</mo> <msup><mn>3</mn> <mi>n</mi></msup> <mo>)</mo></mrow> </math> time, significantly improving upon the previously known <math><mrow><mi>O</mi> <mo>(</mo> <mi>n</mi> <mo>·</mo> <msup><mn>4</mn> <mi>n</mi></msup> <mo>)</mo></mrow> </math> trivial algorithm. We also show that the phase containing a given edge can be flipped using only <i>poly</i>(<i>n</i>) space additional to the space required to store the USO. We contrast this by showing that given a boolean circuit of size <i>poly</i>(<i>n</i>) succinctly encoding an <i>n</i>-dimensional USO, it is <math><mi>PSPACE</mi></math> -complete to determine whether two given edges are in the same phase. Finally, we also prove some new results on the structure of phases.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"41 3","pages":"64"},"PeriodicalIF":0.6,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12031957/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144007340","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An Efficient Algorithm to Compute the Toughness in Graphs with Bounded Treewidth","authors":"Gyula Y. Katona, Humara Khan","doi":"10.1007/s00373-024-02828-y","DOIUrl":"https://doi.org/10.1007/s00373-024-02828-y","url":null,"abstract":"<p>Let <i>t</i> be a positive real number. A graph is called <i>t</i>-<i>tough</i> if the removal of any vertex set <i>S</i> that disconnects the graph leaves at most |<i>S</i>|/<i>t</i> components. The toughness of a graph is the largest <i>t</i> for which the graph is <i>t</i>-tough. We prove that toughness is fixed-parameter tractable parameterized with the treewidth. More precisely, we give an algorithm to compute the toughness of a graph <i>G</i> with running time <span>({mathcal {O}}(|V(G)|^3cdot textrm{tw}(G)^{2textrm{tw}(G)}))</span> where <span>(textrm{tw}(G))</span> is the treewidth. If the treewidth is bounded by a constant, then this is a polynomial algorithm.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the Complexity of Local-Equitable Coloring in Claw-Free Graphs with Small Degree","authors":"Zuosong Liang","doi":"10.1007/s00373-024-02826-0","DOIUrl":"https://doi.org/10.1007/s00373-024-02826-0","url":null,"abstract":"<p>An <i>equitable </i><i>k</i><i>-partition </i>(<span>(kge 2)</span>) of a vertex set <i>S</i> is a partition of <i>S</i> into <i>k</i> subsets (may be empty sets) such that the sizes of any two subsets of <i>S</i> differ by at most one. A <i>local-equitable k-coloring </i>(<span>(kge 2)</span>) of <i>G</i> is an assignment of <i>k</i> colors to the vertices of <i>G</i> such that, for every maximal clique <i>H</i> of <i>G</i>, the coloring on <i>H</i> forms an equitable <i>k</i>-partition of <i>H</i>. Local-equitable coloring of graphs is a generalization of the proper vertex coloring of graphs and also a stronger version of clique-coloring of graphs. Claw-free graphs with maximum degree four are proved to be 2-clique-colorable [Discrete Math. Theoret. Comput. Sci. 11 (2) (2009), 15–24] but not necessary local-equitably 2-colorable. In this paper, given a claw-free graph <i>G</i> with maximum degree at most four, we present a linear time algorithm to give a local-equitable 2-coloring of <i>G</i> or decide that <i>G</i> is not local-equitably 2-colorable. As a corollary, we get that claw-free perfect graphs with maximum degree at most four are local-equitably 2-colorable.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185851","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"New Tools to Study 1-11-Representation of Graphs","authors":"Mikhail Futorny, Sergey Kitaev, Artem Pyatkin","doi":"10.1007/s00373-024-02825-1","DOIUrl":"https://doi.org/10.1007/s00373-024-02825-1","url":null,"abstract":"<p>The notion of a <i>k</i>-11-representable graph was introduced by Jeff Remmel in 2017 and studied by Cheon et al. in 2019 as a natural extension of the extensively studied notion of word-representable graphs, which are precisely 0-11-representable graphs. A graph <i>G</i> is <i>k</i>-11-representable if it can be represented by a word <i>w</i> such that for any edge (resp., non-edge) <i>xy</i> in <i>G</i> the subsequence of <i>w</i> formed by <i>x</i> and <i>y</i> contains at most <i>k</i> (resp., at least <span>(k+1)</span>) pairs of consecutive equal letters. A remarkable result of Cheon at al. is that <i>any</i> graph is 2-11-representable, while it is unknown whether every graph is 1-11-representable. Cheon et al. showed that the class of 1-11-representable graphs is strictly larger than that of word-representable graphs, and they introduced a useful toolbox to study 1-11-representable graphs. In this paper, we introduce new tools for studying 1-11-representation of graphs. We apply them for establishing 1-11-representation of Chvátal graph, Mycielski graph, split graphs, and graphs whose vertices can be partitioned into a comparability graph and an independent set.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"7 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Vertex Arboricity of 1-Planar Graphs","authors":"Dongdong Zhang, Juan Liu, Yongjie Li, Hehua Yang","doi":"10.1007/s00373-024-02820-6","DOIUrl":"https://doi.org/10.1007/s00373-024-02820-6","url":null,"abstract":"<p>The vertex arboricity <i>a</i>(<i>G</i>) of a graph <i>G</i> is the minimum number of colors required to color the vertices of <i>G</i> such that no cycle is monochromatic. A graph <i>G</i> is 1-planar if it can be drawn in the plane so that each edge has at most one crossing. In this paper, we proved that every 1-planar graph without 5-cycles has minimum degree at most 5; Every 1-planar graph of girth at least 7 has minimum degree at most 3. The following conclusions can be obtained by combining the existing conclusions and our proofs: if <i>G</i> is a 1-planar graph without 5-cycles, then <span>(a(G)le 3)</span>; if <i>G</i> is a 1-planar graph with <span>(g(G)ge 7)</span>, then <span>(a(G)le 2)</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"10 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141948477","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Maximal Colourings for Graphs","authors":"Raffaella Mulas","doi":"10.1007/s00373-024-02823-3","DOIUrl":"https://doi.org/10.1007/s00373-024-02823-3","url":null,"abstract":"<p>We consider two different notions of graph colouring, namely, the <i>t</i>-periodic colouring for vertices that has been introduced in 1974 by Bondy and Simonovits, and the periodic colouring for oriented edges that has been recently introduced in the context of spectral theory of non-backtracking operators. For each of these two colourings, we introduce the corresponding colouring number which is given by maximising the possible number of colours. We first investigate these two new colouring numbers individually, and we then show that there is a deep relationship between them.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"5 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141948476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Independence Number and Maximal Chromatic Polynomials of Connected Graphs","authors":"Shude Long, Junliang Cai","doi":"10.1007/s00373-024-02824-2","DOIUrl":"https://doi.org/10.1007/s00373-024-02824-2","url":null,"abstract":"<p>Let <span>({mathcal {C}}_{k}(n))</span> denote the family of all connected graphs of order <i>n</i> with chromatic number <i>k</i>. In this paper we show that the conjecture proposed by Tomescu which if <span>(xge kge 4)</span> and <span>(Gin {mathcal {C}}_{k}(n))</span>, then </p><span>$$begin{aligned} P(G,x)le (x)_{k} (x-1)^{n-k} end{aligned}$$</span><p>holds under the additional condition that <i>G</i> has an independent cut-set <i>T</i> of size at most 2 such that the number of components in <span>(G{setminus } T)</span> is equal to the independence number of <i>G</i>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"83 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141948479","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Normalized Laplacian Eigenvalues of Hypergraphs","authors":"Leyou Xu, Bo Zhou","doi":"10.1007/s00373-024-02815-3","DOIUrl":"https://doi.org/10.1007/s00373-024-02815-3","url":null,"abstract":"<p>In this paper, we give tight bounds for the normalized Laplacian eigenvalues of hypergraphs that are not necessarily uniform, and provide an edge version interlacing theorem, a Cheeger inequality, and a discrepancy inequality that are related to the normalized Laplacian eigenvalues for uniform hypergraphs.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"30 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141969775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the Sequence with Fewer Subsequence Sums in Finite Abelian Groups","authors":"Jiangtao Peng, Yue Sun","doi":"10.1007/s00373-024-02818-0","DOIUrl":"https://doi.org/10.1007/s00373-024-02818-0","url":null,"abstract":"<p>Let <i>G</i> be a finite abelian group and <i>S</i> a sequence with elements of <i>G</i>. Let |<i>S</i>| denote the length of <i>S</i>. Let <span>(mathrm {Sigma }(S)subset G)</span> denote the set of group elements which can be expressed as a sum of a nonempty subsequence of <i>S</i>. It is known that if <span>(0not in mathrm {Sigma }(S))</span> then <span>(|mathrm {Sigma }(S)|ge |S|)</span>. In this paper, we study the sequence <i>S</i> satisfying <span>(|mathrm {Sigma }(S)cup {0}|le |S|)</span>. We prove that if <span>(|mathrm {Sigma }(S)cup {0}|)</span> is a prime number <i>p</i>, then <span>(langle Srangle )</span> is a cyclic group of <i>p</i> elements.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"19 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872550","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Gallai-Ramsey Multiplicity for Rainbow Small Trees","authors":"Xueliang Li, Yuan Si","doi":"10.1007/s00373-024-02819-z","DOIUrl":"https://doi.org/10.1007/s00373-024-02819-z","url":null,"abstract":"<p>Let <i>G</i>, <i>H</i> be two non-empty graphs and <i>k</i> be a positive integer. The Gallai-Ramsey number <span>({text {gr}}_k(G:H))</span> is defined as the minimum positive integer <i>N</i> such that for all <span>(nge N)</span>, every <i>k</i>-edge-coloring of <span>(K_n)</span> contains either a rainbow subgraph <i>G</i> or a monochromatic subgraph <i>H</i>. The Gallai-Ramsey multiplicity <span>({text {GM}}_k(G:H))</span> is defined as the minimum total number of rainbow subgraphs <i>G</i> and monochromatic subgraphs <i>H</i> for all <i>k</i>-edge-colored <span>(K_{{text {gr}}_k(G:H)})</span>. In this paper, we get some exact values of the Gallai-Ramsey multiplicity for rainbow small trees versus general monochromatic graphs under a sufficiently large number of colors. We also study the bipartite Gallai-Ramsey multiplicity.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"15 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}