Pub Date : 2024-02-10DOI: 10.1007/s00373-023-02747-4
Rachid Saad
Given an edge-colored graph (G_c), a set of p pairs of vertices ((a_i,b_i)) together with p numbers (k_1,k_2, ldots k_p) associated with the pairs, can we find a set of alternating paths linking the pairs ((a_1,b_1)), ((a_2,b_2), ldots ), in their respective numbers (k_1,k_2,ldots k_p)? Such is the question addressed in this paper. The problem being highly intractable, we consider a restricted version of it to edge-colored complete graphs. Even so restricted, the problem remains intractable if the paths/trails must be edge-disjoint, but it ceases to be so if the paths/trails are to be vertex-disjoint, as is proved in this paper. An approximation algorithm is presented in the end, with a performance ratio asymptotically close to 3/4 for a restricted version of the problem.
{"title":"Parallel Connectivity in Edge-Colored Complete Graphs: Complexity Results","authors":"Rachid Saad","doi":"10.1007/s00373-023-02747-4","DOIUrl":"https://doi.org/10.1007/s00373-023-02747-4","url":null,"abstract":"<p>Given an edge-colored graph <span>(G_c)</span>, a set of <i>p</i> pairs of vertices <span>((a_i,b_i))</span> together with <i>p</i> numbers <span>(k_1,k_2, ldots k_p)</span> associated with the pairs, can we find a set of alternating paths linking the pairs <span>((a_1,b_1))</span>, <span>((a_2,b_2), ldots )</span>, in their respective numbers <span>(k_1,k_2,ldots k_p)</span>? Such is the question addressed in this paper. The problem being highly intractable, we consider a restricted version of it to edge-colored complete graphs. Even so restricted, the problem remains intractable if the paths/trails must be edge-disjoint, but it ceases to be so if the paths/trails are to be vertex-disjoint, as is proved in this paper. An approximation algorithm is presented in the end, with a performance ratio asymptotically close to 3/4 for a restricted version of the problem.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"88 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758146","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}
Pub Date : 2024-02-10DOI: 10.1007/s00373-024-02753-0
Rong Chen, Kaiyang Lan, Xinheng Lin, Yidong Zhou
The Borodin–Kostochka Conjecture states that for a graph G, if (Delta (G)ge 9), then (chi (G)le max {Delta (G)-1,omega (G)}). In this paper, we prove the Borodin–Kostochka Conjecture holding for odd-hole-free graphs.
{"title":"Borodin–Kostochka Conjecture Holds for Odd-Hole-Free Graphs","authors":"Rong Chen, Kaiyang Lan, Xinheng Lin, Yidong Zhou","doi":"10.1007/s00373-024-02753-0","DOIUrl":"https://doi.org/10.1007/s00373-024-02753-0","url":null,"abstract":"<p>The Borodin–Kostochka Conjecture states that for a graph <i>G</i>, if <span>(Delta (G)ge 9)</span>, then <span>(chi (G)le max {Delta (G)-1,omega (G)})</span>. In this paper, we prove the Borodin–Kostochka Conjecture holding for odd-hole-free graphs.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758390","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}
We deal with a variant of the 1–2–3 Conjecture introduced by Gao, Wang, and Wu (Graphs Combin 32:1415–1421, 2016) . This variant asks whether all graphs can have their edges labelled with 1 and 2 so that when computing the sums of labels incident to the vertices, no monochromatic cycle appears. In the aforementioned seminal work, the authors mainly verified their conjecture for a few classes of graphs, namely graphs with maximum average degree at most 3 and series–parallel graphs, and observed that it also holds for simple classes of graphs (cycles, complete graphs, and complete bipartite graphs). In this work, we provide a deeper study of this conjecture, establishing strong connections with other, more or less distant notions of graph theory. While this conjecture connects quite naturally to other notions and problems surrounding the 1–2–3 Conjecture, it can also be expressed so that it relates to notions such as the vertex-arboricity of graphs. Exploiting such connections, we provide easy proofs that the conjecture holds for bipartite graphs and 2-degenerate graphs, thus generalising some of the results of Gao, Wang, and Wu. We also prove that the conjecture holds for graphs with maximum average degree less than (frac{10}{3}), thereby strengthening another of their results. Notably, this also implies the conjecture holds for planar graphs with girth at least 5. All along the way, we also raise observations and results highlighting why the conjecture might be of greater interest.
{"title":"On Inducing Degenerate Sums Through 2-Labellings","authors":"Julien Bensmail, Hervé Hocquard, Pierre-Marie Marcille","doi":"10.1007/s00373-024-02758-9","DOIUrl":"https://doi.org/10.1007/s00373-024-02758-9","url":null,"abstract":"<p>We deal with a variant of the 1–2–3 Conjecture introduced by Gao, Wang, and Wu (Graphs Combin 32:1415–1421, 2016) . This variant asks whether all graphs can have their edges labelled with 1 and 2 so that when computing the sums of labels incident to the vertices, no monochromatic cycle appears. In the aforementioned seminal work, the authors mainly verified their conjecture for a few classes of graphs, namely graphs with maximum average degree at most 3 and series–parallel graphs, and observed that it also holds for simple classes of graphs (cycles, complete graphs, and complete bipartite graphs). In this work, we provide a deeper study of this conjecture, establishing strong connections with other, more or less distant notions of graph theory. While this conjecture connects quite naturally to other notions and problems surrounding the 1–2–3 Conjecture, it can also be expressed so that it relates to notions such as the vertex-arboricity of graphs. Exploiting such connections, we provide easy proofs that the conjecture holds for bipartite graphs and 2-degenerate graphs, thus generalising some of the results of Gao, Wang, and Wu. We also prove that the conjecture holds for graphs with maximum average degree less than <span>(frac{10}{3})</span>, thereby strengthening another of their results. Notably, this also implies the conjecture holds for planar graphs with girth at least 5. All along the way, we also raise observations and results highlighting why the conjecture might be of greater interest.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758136","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}
Pub Date : 2024-02-09DOI: 10.1007/s00373-024-02752-1
Fawwaz Fakhrurrozi Hadiputra, Valentino Vito
For graphs F, G, and H, we write (F rightarrow (G,H)) if every red-blue coloring of the edges of F produces a red copy of G or a blue copy of H. The graph F is said to be (G, H)-minimal if it is subgraph-minimal with respect to this property. The characterization problem for Ramsey-minimal graphs is classically done for finite graphs. In 2021, Barrett and the second author generalized this problem to infinite graphs. They asked which pairs (G, H) admit a Ramsey-minimal graph and which ones do not. We show that any pair of star forests such that at least one of them involves an infinite-star component admits no Ramsey-minimal graph. Also, we construct a Ramsey-minimal graph for a finite star forest versus a subdivision graph. This paper builds upon the results of Burr et al. (Discrete Math 33:227–237, 1981) on Ramsey-minimal graphs for finite star forests.
对于图 F、G 和 H,如果 F 边的每一个红蓝着色都会产生 G 的一个红色副本或 H 的一个蓝色副本,我们就将其写为(F /rightarrow (G,H)/ )。拉姆齐最小图的表征问题是针对有限图的经典问题。2021 年,巴雷特和第二位作者将这一问题推广到了无限图。他们问哪些图对(G, H)允许有拉姆齐最小图,哪些不允许有拉姆齐最小图。我们证明,任何一对星形森林,只要其中至少有一个涉及无限星形成分,就不会有拉姆齐最小图。此外,我们还为有限星形森林与细分图构建了拉姆齐最小图。本文建立在 Burr 等人(Discrete Math 33:227-237, 1981)关于有限星形林的拉姆齐最小图的研究成果之上。
{"title":"Infinite Ramsey-Minimal Graphs for Star Forests","authors":"Fawwaz Fakhrurrozi Hadiputra, Valentino Vito","doi":"10.1007/s00373-024-02752-1","DOIUrl":"https://doi.org/10.1007/s00373-024-02752-1","url":null,"abstract":"<p>For graphs <i>F</i>, <i>G</i>, and <i>H</i>, we write <span>(F rightarrow (G,H))</span> if every red-blue coloring of the edges of <i>F</i> produces a red copy of <i>G</i> or a blue copy of <i>H</i>. The graph <i>F</i> is said to be (<i>G</i>, <i>H</i>)-minimal if it is subgraph-minimal with respect to this property. The characterization problem for Ramsey-minimal graphs is classically done for finite graphs. In 2021, Barrett and the second author generalized this problem to infinite graphs. They asked which pairs (<i>G</i>, <i>H</i>) admit a Ramsey-minimal graph and which ones do not. We show that any pair of star forests such that at least one of them involves an infinite-star component admits no Ramsey-minimal graph. Also, we construct a Ramsey-minimal graph for a finite star forest versus a subdivision graph. This paper builds upon the results of Burr et al. (Discrete Math 33:227–237, 1981) on Ramsey-minimal graphs for finite star forests.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"106 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758196","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}
Pub Date : 2024-02-07DOI: 10.1007/s00373-024-02751-2
Richard A. Brualdi, Geir Dahl
We consider multipermutations and a certain partial order, the weak Bruhat order, on this set. This generalizes the Bruhat order for permutations, and is defined in terms of containment of inversions. Different characterizations of this order are given. We also study special multipermutations called Stirling multipermutations and their properties.
{"title":"Multipermutations and Stirling Multipermutations","authors":"Richard A. Brualdi, Geir Dahl","doi":"10.1007/s00373-024-02751-2","DOIUrl":"https://doi.org/10.1007/s00373-024-02751-2","url":null,"abstract":"<p>We consider multipermutations and a certain partial order, the weak Bruhat order, on this set. This generalizes the Bruhat order for permutations, and is defined in terms of containment of inversions. Different characterizations of this order are given. We also study special multipermutations called Stirling multipermutations and their properties.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"163 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758142","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}
Pub Date : 2024-02-07DOI: 10.1007/s00373-023-02749-2
Abstract
Lattice path matroids and bicircular matroids are two well-known classes of transversal matroids. In the seminal work of Bonin and de Mier about structural properties of lattice path matroids, the authors claimed that lattice path matroids significantly differ from bicircular matroids. Recently, it was proved that all cosimple lattice path matroids have positive double circuits, while it was shown that there is a large class of cosimple bicircular matroids with no positive double circuits. These observations support Bonin and de Miers’ claim. Finally, Sivaraman and Slilaty suggested studying the intersection of lattice path matroids and bicircular matroids as a possibly interesting research topic. In this work, we exhibit the excluded bicircular matroids for the class of lattice path matroids, and we propose a characterization of the graph family whose bicircular matroids are lattice path matroids. As an application of this characterization, we propose a geometric description of 2-connected lattice path bicircular matroids.
{"title":"Lattice Path Bicircular Matroids","authors":"","doi":"10.1007/s00373-023-02749-2","DOIUrl":"https://doi.org/10.1007/s00373-023-02749-2","url":null,"abstract":"<h3>Abstract</h3> <p>Lattice path matroids and bicircular matroids are two well-known classes of transversal matroids. In the seminal work of Bonin and de Mier about structural properties of lattice path matroids, the authors claimed that lattice path matroids significantly differ from bicircular matroids. Recently, it was proved that all cosimple lattice path matroids have positive double circuits, while it was shown that there is a large class of cosimple bicircular matroids with no positive double circuits. These observations support Bonin and de Miers’ claim. Finally, Sivaraman and Slilaty suggested studying the intersection of lattice path matroids and bicircular matroids as a possibly interesting research topic. In this work, we exhibit the excluded bicircular matroids for the class of lattice path matroids, and we propose a characterization of the graph family whose bicircular matroids are lattice path matroids. As an application of this characterization, we propose a geometric description of 2-connected lattice path bicircular matroids.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"221 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758141","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}
Pub Date : 2024-02-06DOI: 10.1007/s00373-023-02745-6
Sarah Allred, Emelie Curl, Shaun Fallat, Shahla Nasserasr, Houston Schuerger, Ralihe R. Villagrán, Prateek K. Vishwakarma
The utility of a matrix satisfying the Strong Spectral Property has been well established particularly in connection with the inverse eigenvalue problem for graphs. More recently the class of graphs in which all associated symmetric matrices possess the Strong Spectral Property (denoted ({mathcal {G}}^textrm{SSP})) were studied, and along these lines we aim to study properties of graphs that exhibit a so-called barbell partition. Such a partition is a known impediment to membership in the class ({mathcal {G}}^textrm{SSP}). In particular we consider the existence of barbell partitions under various standard and useful graph operations. We do so by considering both the preservation of an already present barbell partition after performing said graph operations as well as barbell partitions which are introduced under certain graph operations. The specific graph operations we consider are the addition and removal of vertices and edges, the duplication of vertices, as well as the Cartesian products, tensor products, strong products, corona products, joins, and vertex sums of two graphs. We also identify a correspondence between barbell partitions and graph substructures called forts, using this correspondence to further connect the study of zero forcing and the Strong Spectral Property.
{"title":"The Strong Spectral Property of Graphs: Graph Operations and Barbell Partitions","authors":"Sarah Allred, Emelie Curl, Shaun Fallat, Shahla Nasserasr, Houston Schuerger, Ralihe R. Villagrán, Prateek K. Vishwakarma","doi":"10.1007/s00373-023-02745-6","DOIUrl":"https://doi.org/10.1007/s00373-023-02745-6","url":null,"abstract":"<p>The utility of a matrix satisfying the Strong Spectral Property has been well established particularly in connection with the inverse eigenvalue problem for graphs. More recently the class of graphs in which all associated symmetric matrices possess the Strong Spectral Property (denoted <span>({mathcal {G}}^textrm{SSP})</span>) were studied, and along these lines we aim to study properties of graphs that exhibit a so-called barbell partition. Such a partition is a known impediment to membership in the class <span>({mathcal {G}}^textrm{SSP})</span>. In particular we consider the existence of barbell partitions under various standard and useful graph operations. We do so by considering both the preservation of an already present barbell partition after performing said graph operations as well as barbell partitions which are introduced under certain graph operations. The specific graph operations we consider are the addition and removal of vertices and edges, the duplication of vertices, as well as the Cartesian products, tensor products, strong products, corona products, joins, and vertex sums of two graphs. We also identify a correspondence between barbell partitions and graph substructures called forts, using this correspondence to further connect the study of zero forcing and the Strong Spectral Property.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"37 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758140","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}
Pub Date : 2024-01-28DOI: 10.1007/s00373-023-02746-5
Thomas W. Mattman
Using the special value at (u=1) of the Artin-Ihara L-function, we give a short proof of the count of the number of spanning trees in the n-cube.
利用阿尔丁-伊哈拉 L 函数在 (u=1)处的特殊值,我们给出了 n 立方体中生成树数目的简短证明。
{"title":"A Novel Count of the Spanning Trees of a Cube","authors":"Thomas W. Mattman","doi":"10.1007/s00373-023-02746-5","DOIUrl":"https://doi.org/10.1007/s00373-023-02746-5","url":null,"abstract":"<p>Using the special value at <span>(u=1)</span> of the Artin-Ihara <i>L</i>-function, we give a short proof of the count of the number of spanning trees in the <i>n</i>-cube.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"14 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139581674","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}
Pub Date : 2024-01-28DOI: 10.1007/s00373-023-02741-w
Peter Dankelmann, Jane Morgan, Emily Rivett-Carnac
Let G be a bridgeless graph. An orientation of G is a digraph obtained from G by assigning a direction to each edge. The oriented diameter of G is the minimum diameter among all strong orientations of G. The connected domination number (gamma _c(G)) of G is the minimum cardinality of a set S of vertices of G such that every vertex of G is in S or adjacent to some vertex of S, and which induces a connected subgraph in G. We prove that the oriented diameter of a bridgeless graph G is at most (2 gamma _c(G) +3) if (gamma _c(G)) is even and (2 gamma _c(G) +2) if (gamma _c(G)) is odd. This bound is sharp. For (d in {mathbb {N}}), the d-distance domination number (gamma ^d(G)) of G is the minimum cardinality of a set S of vertices of G such that every vertex of G is at distance at most d from some vertex of S. As an application of a generalisation of the above result on the connected domination number, we prove an upper bound on the oriented diameter of the form ((2d+1)(d+1)gamma ^d(G)+ O(d)). Furthermore, we construct bridgeless graphs whose oriented diameter is at least ((d+1)^2 gamma ^d(G) +O(d)), thus demonstrating that our above bound is best possible apart from a factor of about 2.
设 G 是无桥图。G 的定向是通过给每条边分配一个方向而得到的数图。G 的定向直径是 G 的所有强定向中的最小直径。G 的连通支配数(gamma _c(G))是 G 的顶点集合 S 的最小卡片度,该集合使得 G 的每个顶点都在 S 中或与 S 的某个顶点相邻,并且在 G 中诱导出一个连通子图。我们证明,如果 (gamma _c(G)) 是偶数,那么无桥图 G 的定向直径最多为 (2 gamma _c(G) +3) ;如果 (gamma _c(G)) 是奇数,那么无桥图 G 的定向直径最多为 (2 gamma _c(G) +2) 。这个界限很尖锐。对于 (d in {mathbb {N}}), G 的 d-distance domination number (gamma ^d(G))是 G 的顶点集合 S 的最小卡片度,这样 G 的每个顶点到 S 的某个顶点的距离最多为 d。作为上述连通支配数结果的推广应用,我们证明了形式为 ((2d+1)(d+1)gamma ^d(G)+O(d))的定向直径上限。此外,我们构造的无桥图的有向直径至少是 ((d+1)^2 gamma ^d(G)+O(d)),从而证明了我们的上述约束除了约 2 倍的系数外是最好的。
{"title":"The Oriented Diameter of Graphs with Given Connected Domination Number and Distance Domination Number","authors":"Peter Dankelmann, Jane Morgan, Emily Rivett-Carnac","doi":"10.1007/s00373-023-02741-w","DOIUrl":"https://doi.org/10.1007/s00373-023-02741-w","url":null,"abstract":"<p>Let <i>G</i> be a bridgeless graph. An orientation of <i>G</i> is a digraph obtained from <i>G</i> by assigning a direction to each edge. The oriented diameter of <i>G</i> is the minimum diameter among all strong orientations of <i>G</i>. The connected domination number <span>(gamma _c(G))</span> of <i>G</i> is the minimum cardinality of a set <i>S</i> of vertices of <i>G</i> such that every vertex of <i>G</i> is in <i>S</i> or adjacent to some vertex of <i>S</i>, and which induces a connected subgraph in <i>G</i>. We prove that the oriented diameter of a bridgeless graph <i>G</i> is at most <span>(2 gamma _c(G) +3)</span> if <span>(gamma _c(G))</span> is even and <span>(2 gamma _c(G) +2)</span> if <span>(gamma _c(G))</span> is odd. This bound is sharp. For <span>(d in {mathbb {N}})</span>, the <i>d</i>-distance domination number <span>(gamma ^d(G))</span> of <i>G</i> is the minimum cardinality of a set <i>S</i> of vertices of <i>G</i> such that every vertex of <i>G</i> is at distance at most <i>d</i> from some vertex of <i>S</i>. As an application of a generalisation of the above result on the connected domination number, we prove an upper bound on the oriented diameter of the form <span>((2d+1)(d+1)gamma ^d(G)+ O(d))</span>. Furthermore, we construct bridgeless graphs whose oriented diameter is at least <span>((d+1)^2 gamma ^d(G) +O(d))</span>, thus demonstrating that our above bound is best possible apart from a factor of about 2.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"154 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139581863","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}
Pub Date : 2024-01-25DOI: 10.1007/s00373-023-02734-9
J. L. Álvarez-Rebollar, J. Cravioto-Lagos, N. Marín, O. Solé-Pi, J. Urrutia
Let S be a set of n points in the plane in general position. Two line segments connecting pairs of points of Scross if they have an interior point in common. Two vertex-disjoint geometric graphs with vertices in Scross if there are two edges, one from each graph, which cross. A set of vertex-disjoint geometric graphs with vertices in S is called mutually crossing if any two of them cross. We show that there exists a constant c such that from any family of n mutually-crossing triangles, one can always obtain a family of at least (n^c) mutually-crossing 2-paths (each of which is the result of deleting an edge from one of the triangles) and provide an example that implies that c cannot be taken to be larger than 2/3. Then, for every n we determine the maximum number of crossings that a Hamiltonian cycle on a set of n points might have, and give examples achieving this bound. Next, we construct a point set whose longest perfect matching contains no crossings. We also consider edges consisting of a horizontal and a vertical line segment joining pairs of points of S, which we call elbows, and prove that in any point set S there exists a family of (lfloor n/4 rfloor ) vertex-disjoint mutually-crossing elbows. Additionally, we show a point set that admits no more than n/3 mutually-crossing elbows. Finally we study intersecting families of graphs, which are not necessarily vertex disjoint. A set of edge-disjoint graphs with vertices in S is called an intersecting family if for any two graphs in the set we can choose an edge in each of them such that they cross. We prove a conjecture by Lara and Rubio-Montiel (Acta Math Hung 15(2):301–311, 2019, https://doi.org/10.1007/s10474-018-0880-1), namely, that any set S of n points in general position admits a family of intersecting triangles with a quadratic number of elements. For points in convex position we prove that any set of 3n points in convex position contains a family with at least (n^2) intersecting triangles.
设 S 是平面上 n 个点的集合,且处于一般位置。如果连接 S 中点对的两条线段有一个共同的内点,则这两条线段相交。两个顶点相交的几何图形的顶点都在 S 中,如果有两条边(每条边都来自一个图形)相交,则这两个图形相交。如果顶点在 S 中的顶点相交的两个几何图形有两条边相交,则称这两个几何图形为互交图。我们证明存在一个常数 c,使得从任意 n 个相互交叉的三角形族中,总能得到至少一个相互交叉的 2 路径族(每个路径都是从其中一个三角形中删除一条边的结果),并举例说明 c 不能大于 2/3。然后,对于每 n 个点,我们确定一个哈密顿循环在 n 个点集合上可能具有的最大交叉次数,并举例说明如何实现这一约束。接下来,我们构建一个点集,其最长的完美匹配不包含交叉点。我们还考虑了由连接 S 的成对点的一条水平线段和一条垂直线段组成的边,我们称之为肘,并证明在任何一个点集 S 中都存在一个顶点相交的肘族。此外,我们还展示了一个点集,它允许不超过 n/3 个相互交叉的肘。最后,我们研究了不一定是顶点相交的相交图族。如果对于集合中的任意两个图形,我们都能在其中选择一条边使它们相交,那么顶点在 S 中的边相交图形集合就被称为相交族。我们证明了 Lara 和 Rubio-Montiel 的一个猜想(Acta Math Hung 15(2):301-311, 2019, https://doi.org/10.1007/s10474-018-0880-1),即在一般位置上,任何由 n 个点组成的集合 S 都包含一个元素数为二次方的相交三角形族。对于凸位置中的点,我们证明凸位置中任何 3n 个点的集合都包含一个至少有 (n^2)个相交三角形的族。
{"title":"Crossing and intersecting families of geometric graphs on point sets","authors":"J. L. Álvarez-Rebollar, J. Cravioto-Lagos, N. Marín, O. Solé-Pi, J. Urrutia","doi":"10.1007/s00373-023-02734-9","DOIUrl":"https://doi.org/10.1007/s00373-023-02734-9","url":null,"abstract":"<p>Let <i>S</i> be a set of <i>n</i> points in the plane in general position. Two line segments connecting pairs of points of <i>S</i> <i>cross</i> if they have an interior point in common. Two vertex-disjoint geometric graphs with vertices in <i>S</i> <i>cross</i> if there are two edges, one from each graph, which cross. A set of vertex-disjoint geometric graphs with vertices in <i>S</i> is called <i>mutually crossing</i> if any two of them cross. We show that there exists a constant <i>c</i> such that from any family of <i>n</i> mutually-crossing triangles, one can always obtain a family of at least <span>(n^c)</span> mutually-crossing 2-paths (each of which is the result of deleting an edge from one of the triangles) and provide an example that implies that <i>c</i> cannot be taken to be larger than 2/3. Then, for every <i>n</i> we determine the maximum number of crossings that a Hamiltonian cycle on a set of <i>n</i> points might have, and give examples achieving this bound. Next, we construct a point set whose longest perfect matching contains no crossings. We also consider edges consisting of a horizontal and a vertical line segment joining pairs of points of <i>S</i>, which we call <i>elbows</i>, and prove that in any point set <i>S</i> there exists a family of <span>(lfloor n/4 rfloor )</span> vertex-disjoint mutually-crossing elbows. Additionally, we show a point set that admits no more than <i>n</i>/3 mutually-crossing elbows. Finally we study <i>intersecting families</i> of graphs, which are not necessarily vertex disjoint. A set of edge-disjoint graphs with vertices in <i>S</i> is called an <i>intersecting family</i> if for any two graphs in the set we can choose an edge in each of them such that they cross. We prove a conjecture by Lara and Rubio-Montiel (Acta Math Hung 15(2):301–311, 2019, https://doi.org/10.1007/s10474-018-0880-1), namely, that any set <i>S</i> of <i>n</i> points in general position admits a family of intersecting triangles with a quadratic number of elements. For points in convex position we prove that any set of 3<i>n</i> points in convex position contains a family with at least <span>(n^2)</span> intersecting triangles.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"164 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139560035","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}