Pub Date : 2024-05-24DOI: 10.1016/j.ejc.2024.103995
Serafino Cicerone , Gabriele Di Stefano , Sandi Klavžar , Ismael G. Yero
The mutual-visibility problem in a graph asks for the cardinality of a largest set of vertices so that for any two vertices there is a shortest -path so that all internal vertices of are not in . This is also said as are visible with respect to , or -visible for short. Variations of this problem are known, based on the extension of the visibility property of vertices that are in and/or outside . Such variations are called total, outer and dual mutual-visibility problems. This work is focused on studying the corresponding four visibility parameters in graphs of diameter two, throughout showing bounds and/or closed formulae for these parameters.
The mutual-visibility problem in the Cartesian product of two complete graphs is equivalent to (an instance of) the celebrated Zarankiewicz’s problem. Here we study the dual and outer mutual-visibility problem for the Cartesian product of two complete graphs and all the mutual-visibility problems for the direct product of such graphs as well. We also study all the mutual-visibility problems for the line graphs of complete and complete bipartite graphs. As a consequence of this study, we present several relationships between the mentioned problems and some instances of the classical Turán problem. Moreover, we study the visibility problems for cographs and several non-trivial diameter-two graphs of minimum size.
图 G 中的互见性问题是求最大的顶点集合 S⊆V(G)的贲门度,即对于任意两个顶点 x,y∈S 都有一条最短的 x,y 路径 P,使得 P 的所有内部顶点都不在 S 中。根据顶点在 S 内和/或 S 外的可见性属性的扩展,这个问题的变体已经为人所知,这些变体被称为总可见性问题、外可见性问题和对偶互可见性问题。这项工作的重点是研究直径为二的图中相应的四个可见性参数,并给出这些参数的边界和/或封闭公式。两个完整图的笛卡尔积中的互可见性问题等同于著名的扎兰凯维奇问题(Zarankiewicz 问题的一个实例)。在这里,我们研究了两个完整图的笛卡尔积的对偶互见问题和外互见问题,以及这些图的直接积的所有互见问题。我们还研究了完整图和完整二方图的线图的所有互见性问题。通过这项研究,我们提出了上述问题与经典图兰问题某些实例之间的若干关系。此外,我们还研究了 cographs 的可见性问题和几个最小尺寸的非难直径二图。
{"title":"Mutual-visibility problems on graphs of diameter two","authors":"Serafino Cicerone , Gabriele Di Stefano , Sandi Klavžar , Ismael G. Yero","doi":"10.1016/j.ejc.2024.103995","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103995","url":null,"abstract":"<div><p>The mutual-visibility problem in a graph <span><math><mi>G</mi></math></span> asks for the cardinality of a largest set of vertices <span><math><mrow><mi>S</mi><mo>⊆</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> so that for any two vertices <span><math><mrow><mi>x</mi><mo>,</mo><mi>y</mi><mo>∈</mo><mi>S</mi></mrow></math></span> there is a shortest <span><math><mrow><mi>x</mi><mo>,</mo><mi>y</mi></mrow></math></span>-path <span><math><mi>P</mi></math></span> so that all internal vertices of <span><math><mi>P</mi></math></span> are not in <span><math><mi>S</mi></math></span>. This is also said as <span><math><mrow><mi>x</mi><mo>,</mo><mi>y</mi></mrow></math></span> are visible with respect to <span><math><mi>S</mi></math></span>, or <span><math><mi>S</mi></math></span>-visible for short. Variations of this problem are known, based on the extension of the visibility property of vertices that are in and/or outside <span><math><mi>S</mi></math></span>. Such variations are called total, outer and dual mutual-visibility problems. This work is focused on studying the corresponding four visibility parameters in graphs of diameter two, throughout showing bounds and/or closed formulae for these parameters.</p><p>The mutual-visibility problem in the Cartesian product of two complete graphs is equivalent to (an instance of) the celebrated Zarankiewicz’s problem. Here we study the dual and outer mutual-visibility problem for the Cartesian product of two complete graphs and all the mutual-visibility problems for the direct product of such graphs as well. We also study all the mutual-visibility problems for the line graphs of complete and complete bipartite graphs. As a consequence of this study, we present several relationships between the mentioned problems and some instances of the classical Turán problem. Moreover, we study the visibility problems for cographs and several non-trivial diameter-two graphs of minimum size.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824000805/pdfft?md5=8b2737f5ff200dbacddcfc4e58622e8e&pid=1-s2.0-S0195669824000805-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141090829","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-05-18DOI: 10.1016/j.ejc.2024.103993
Toby Aldape , Jingyi Liu , Gregory Pylypovych , Adam Sheffer , Minh-Quan Vo
We study the minimum number of distinct distances between point sets on two curves in . Assume that one curve contains points and the other points. Our main results:
(a) When the curves are conic sections, we characterize all cases where the number of distances is . This includes new constructions for points on two parabolas, two ellipses, and one ellipse and one hyperbola. In all other cases, the number of distances is .
(b) When the curves are not necessarily algebraic but smooth and contained in perpendicular planes, we characterize all cases where the number of distances is . This includes a surprising new construction of non-algebraic curves that involve logarithms. In all other cases, the number of distances is .
我们研究 R3 中两条曲线上的点集之间的最小不同距离数。假设一条曲线包含 m 个点,另一条曲线包含 n 个点。我们的主要结果是:(a) 当曲线是圆锥截面时,我们描述了所有距离数为 O(m+n) 的情况。这包括两个抛物线、两个椭圆、一个椭圆和一个双曲线上点的新构造。(b) 当曲线不一定是代数曲线,而是光滑且包含在垂直平面内时,我们描述了距离数为 O(m+n) 的所有情况。这包括一个令人惊讶的涉及对数的非代数曲线的新构造。在所有其他情况下,距离数都是Ω(min{m2/3n2/3,m2,n2})。
{"title":"Distinct distances in R3 between quadratic and orthogonal curves","authors":"Toby Aldape , Jingyi Liu , Gregory Pylypovych , Adam Sheffer , Minh-Quan Vo","doi":"10.1016/j.ejc.2024.103993","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103993","url":null,"abstract":"<div><p>We study the minimum number of distinct distances between point sets on two curves in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span>. Assume that one curve contains <span><math><mi>m</mi></math></span> points and the other <span><math><mi>n</mi></math></span> points. Our main results:</p><p>(a) When the curves are conic sections, we characterize all cases where the number of distances is <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>m</mi><mo>+</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>. This includes new constructions for points on two parabolas, two ellipses, and one ellipse and one hyperbola. In all other cases, the number of distances is <span><math><mrow><mi>Ω</mi><mrow><mo>(</mo><mo>min</mo><mrow><mo>{</mo><msup><mrow><mi>m</mi></mrow><mrow><mn>2</mn><mo>/</mo><mn>3</mn></mrow></msup><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn><mo>/</mo><mn>3</mn></mrow></msup><mo>,</mo><msup><mrow><mi>m</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>,</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>}</mo></mrow><mo>)</mo></mrow></mrow></math></span>.</p><p>(b) When the curves are not necessarily algebraic but smooth and contained in perpendicular planes, we characterize all cases where the number of distances is <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>m</mi><mo>+</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>. This includes a surprising new construction of non-algebraic curves that involve logarithms. In all other cases, the number of distances is <span><math><mrow><mi>Ω</mi><mrow><mo>(</mo><mo>min</mo><mrow><mo>{</mo><msup><mrow><mi>m</mi></mrow><mrow><mn>2</mn><mo>/</mo><mn>3</mn></mrow></msup><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn><mo>/</mo><mn>3</mn></mrow></msup><mo>,</mo><msup><mrow><mi>m</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>,</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>}</mo></mrow><mo>)</mo></mrow></mrow></math></span>.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141068815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-09DOI: 10.1016/j.ejc.2024.103983
Gábor Hegedüs , Péter Frankl
Let be an -element set. A set-pair system is a collection of pairs of disjoint subsets of . It is called skew Bollobás system if for all . The best possible inequality is established along with some more results of similar flavor.
设 X 是一个 n 元素集合。如果对于所有 1≤i<j≤m 的 Ai∩Bj≠0̸ ,则称其为偏斜波罗巴系统。最佳不等式 ∑i=1m1|Ai|+|Bi||Ai|≤n+1.
{"title":"Variations on the Bollobás set-pair theorem","authors":"Gábor Hegedüs , Péter Frankl","doi":"10.1016/j.ejc.2024.103983","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103983","url":null,"abstract":"<div><p>Let <span><math><mi>X</mi></math></span> be an <span><math><mi>n</mi></math></span>-element set. A set-pair system <span><math><mrow><mi>P</mi><mo>=</mo><msub><mrow><mrow><mo>{</mo><mrow><mo>(</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><mo>}</mo></mrow></mrow><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>m</mi></mrow></msub></mrow></math></span> is a collection of pairs of disjoint subsets of <span><math><mi>X</mi></math></span>. It is called skew Bollobás system if <span><math><mrow><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∩</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>≠</mo><mo>0̸</mo></mrow></math></span> for all <span><math><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo><</mo><mi>j</mi><mo>≤</mo><mi>m</mi></mrow></math></span>. The best possible inequality <span><math><mrow><munderover><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><mfrac><mrow><mn>1</mn></mrow><mrow><mfenced><mfrac><mrow><mrow><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow><mo>+</mo><mrow><mo>|</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mrow><mrow><mrow><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mrow></mfrac></mfenced></mrow></mfrac><mo>≤</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>.</mo></mrow></math></span> is established along with some more results of similar flavor.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824000684/pdfft?md5=21ca6f2c126894c4d8c03cff15a181b3&pid=1-s2.0-S0195669824000684-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140902015","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-05-09DOI: 10.1016/j.ejc.2024.103985
Bernard L.S. Lin , Xiaowei Lin , Lei Zhang
In this paper, we explore the combinatorics behind an identity recorded in Ramanujan’s lost notebook. We present an interesting result, which not only generalizes two theorems of Bressoud, but also implies a bivariate form of Ramanujan’s original identity.
{"title":"An identity of Ramanujan and its combinatorics","authors":"Bernard L.S. Lin , Xiaowei Lin , Lei Zhang","doi":"10.1016/j.ejc.2024.103985","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103985","url":null,"abstract":"<div><p>In this paper, we explore the combinatorics behind an identity recorded in Ramanujan’s lost notebook. We present an interesting result, which not only generalizes two theorems of Bressoud, but also implies a bivariate form of Ramanujan’s original identity.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140902018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-09DOI: 10.1016/j.ejc.2024.103982
Kristina Oganesyan
We obtain estimates for the number of -dimensional integer partitions of a number . It is known that the two-sided inequality is always true and that whenever . However, establishing the right dependence of on remained an open problem. We show that if is sufficiently small with respect to , then does not depend on , which means that is up to an absolute constant equal to . Besides, we provide estimates of for different ranges of in terms of , which give the asymptotics of in each case.
众所周知,双面不等式 C1(d)n1-1/d<logpd(n)<C2(d)n1-1/d 始终为真,并且只要 logn>3d 时,C1(d)>1。然而,建立 C2 对 d 的 "正确 "依赖关系仍然是一个未决问题。我们的研究表明,如果 d 相对于 n 足够小,那么 C2 就不依赖于 d,这意味着 logpd(n) 的绝对常数等于 n1-1/d。此外,我们还给出了不同 d 范围内 pd(n) 对 n 的估计值,并给出了每种情况下 logpd(n) 的渐近线。
{"title":"Bounds for the number of multidimensional partitions","authors":"Kristina Oganesyan","doi":"10.1016/j.ejc.2024.103982","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103982","url":null,"abstract":"<div><p>We obtain estimates for the number <span><math><mrow><msub><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> of <span><math><mrow><mo>(</mo><mi>d</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow></math></span>-dimensional integer partitions of a number <span><math><mi>n</mi></math></span>. It is known that the two-sided inequality <span><math><mrow><msub><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow></msub><mrow><mo>(</mo><mi>d</mi><mo>)</mo></mrow><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>−</mo><mn>1</mn><mo>/</mo><mi>d</mi></mrow></msup><mo><</mo><mo>log</mo><msub><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mo><</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msub><mrow><mo>(</mo><mi>d</mi><mo>)</mo></mrow><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>−</mo><mn>1</mn><mo>/</mo><mi>d</mi></mrow></msup></mrow></math></span> is always true and that <span><math><mrow><msub><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow></msub><mrow><mo>(</mo><mi>d</mi><mo>)</mo></mrow><mo>></mo><mn>1</mn></mrow></math></span> whenever <span><math><mrow><mo>log</mo><mi>n</mi><mo>></mo><mn>3</mn><mi>d</mi></mrow></math></span>. However, establishing the <span><math><mi>“</mi></math></span>right<span><math><mi>”</mi></math></span> dependence of <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> on <span><math><mi>d</mi></math></span> remained an open problem. We show that if <span><math><mi>d</mi></math></span> is sufficiently small with respect to <span><math><mi>n</mi></math></span>, then <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> does not depend on <span><math><mi>d</mi></math></span>, which means that <span><math><mrow><mo>log</mo><msub><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> is up to an absolute constant equal to <span><math><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>−</mo><mn>1</mn><mo>/</mo><mi>d</mi></mrow></msup></math></span>. Besides, we provide estimates of <span><math><mrow><msub><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> for different ranges of <span><math><mi>d</mi></math></span> in terms of <span><math><mi>n</mi></math></span>, which give the asymptotics of <span><math><mrow><mo>log</mo><msub><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> in each case.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140902016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-09DOI: 10.1016/j.ejc.2024.103984
António Girão , Robert Hancock
Given graphs and , we say if every -colouring of the edges of contains a monochromatic copy of . Let denote the -blowup of . The blowup Ramsey number is the minimum such that . Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given , and such that , there exist constants and such that for all , . They conjectured that there exist some graphs for which the constant depending on is necessary. We prove this conjecture by showing that the statement is true in the case of being 3-chromatically connected, which in particular includes triangles. On the other hand, perhaps surprisingly, we show that for forests , there exists an upper bound for which is independent of .
Second, we show that for any
给定图 G 和 H,如果 G 的每一个 r 色边都包含 H 的一个单色副本,我们就说 G→rH。让 H[t] 表示 H 的 t 放大。福克斯、罗和维格德森完善了苏扎的一个上界,证明给定 G、H 和 r,使得 G→rH 时,存在常数 a=a(G,H,r)和 b=b(H,r),使得对于所有 t∈N,B(G→rH;t)≤abt。他们猜想存在一些图 H,对于这些图 H,取决于 G 的常数 a 是必要的。我们证明了这一猜想,表明在 H 是 3 色连接的情况下,尤其是包括三角形在内的情况下,该声明是正确的。另一方面,也许令人吃惊的是,我们证明了对于森林 F,存在一个与 G 无关的 B(G→rF;t)上界。其次,我们证明了对于任意 r,t∈N,n 个顶点上任意足够大的 r 边着色完整图,且每种颜色都有Ω(n2-1/t) 条边,都包含某个 r 边着色完整图有限族 Ftr 中的一个成员。这回答了鲍恩、汉斯伯格、蒙特亚诺和米耶塞尔的一个猜想。
{"title":"Two Ramsey problems in blowups of graphs","authors":"António Girão , Robert Hancock","doi":"10.1016/j.ejc.2024.103984","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103984","url":null,"abstract":"<div><p>Given graphs <span><math><mi>G</mi></math></span> and <span><math><mi>H</mi></math></span>, we say <span><math><mrow><mi>G</mi><mover><mrow><mo>→</mo></mrow><mrow><mrow><mi>r</mi></mrow></mrow></mover><mi>H</mi></mrow></math></span> if every <span><math><mi>r</mi></math></span>-colouring of the edges of <span><math><mi>G</mi></math></span> contains a monochromatic copy of <span><math><mi>H</mi></math></span>. Let <span><math><mrow><mi>H</mi><mrow><mo>[</mo><mi>t</mi><mo>]</mo></mrow></mrow></math></span> denote the <span><math><mi>t</mi></math></span>-blowup of <span><math><mi>H</mi></math></span>. The blowup Ramsey number <span><math><mrow><mi>B</mi><mrow><mo>(</mo><mi>G</mi><mover><mrow><mo>→</mo></mrow><mrow><mrow><mi>r</mi></mrow></mrow></mover><mi>H</mi><mo>;</mo><mi>t</mi><mo>)</mo></mrow></mrow></math></span> is the minimum <span><math><mi>n</mi></math></span> such that <span><math><mrow><mi>G</mi><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow><mover><mrow><mo>→</mo></mrow><mrow><mrow><mi>r</mi></mrow></mrow></mover><mi>H</mi><mrow><mo>[</mo><mi>t</mi><mo>]</mo></mrow></mrow></math></span>. Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given <span><math><mi>G</mi></math></span>, <span><math><mi>H</mi></math></span> and <span><math><mi>r</mi></math></span> such that <span><math><mrow><mi>G</mi><mover><mrow><mo>→</mo></mrow><mrow><mrow><mi>r</mi></mrow></mrow></mover><mi>H</mi></mrow></math></span>, there exist constants <span><math><mrow><mi>a</mi><mo>=</mo><mi>a</mi><mrow><mo>(</mo><mi>G</mi><mo>,</mo><mi>H</mi><mo>,</mo><mi>r</mi><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><mi>b</mi><mo>=</mo><mi>b</mi><mrow><mo>(</mo><mi>H</mi><mo>,</mo><mi>r</mi><mo>)</mo></mrow></mrow></math></span> such that for all <span><math><mrow><mi>t</mi><mo>∈</mo><mi>N</mi></mrow></math></span>, <span><math><mrow><mi>B</mi><mrow><mo>(</mo><mi>G</mi><mover><mrow><mo>→</mo></mrow><mrow><mrow><mi>r</mi></mrow></mrow></mover><mi>H</mi><mo>;</mo><mi>t</mi><mo>)</mo></mrow><mo>≤</mo><mi>a</mi><msup><mrow><mi>b</mi></mrow><mrow><mi>t</mi></mrow></msup></mrow></math></span>. They conjectured that there exist some graphs <span><math><mi>H</mi></math></span> for which the constant <span><math><mi>a</mi></math></span> depending on <span><math><mi>G</mi></math></span> is necessary. We prove this conjecture by showing that the statement is true in the case of <span><math><mi>H</mi></math></span> being 3-chromatically connected, which in particular includes triangles. On the other hand, perhaps surprisingly, we show that for forests <span><math><mi>F</mi></math></span>, there exists an upper bound for <span><math><mrow><mi>B</mi><mrow><mo>(</mo><mi>G</mi><mover><mrow><mo>→</mo></mrow><mrow><mrow><mi>r</mi></mrow></mrow></mover><mi>F</mi><mo>;</mo><mi>t</mi><mo>)</mo></mrow></mrow></math></span> which is independent of <span><math><mi>G</mi></math></span>.</p><p>Second, we show that for any <span><math><mrow><mi>r</mi><mo>,</mo><mi","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824000696/pdfft?md5=90c712e911fae05fd1803c79c5bbceb8&pid=1-s2.0-S0195669824000696-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140902017","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-05-06DOI: 10.1016/j.ejc.2024.103977
Alexander Natalchenko , Arsenii Sagdeev
For all non-degenerate triangles , we determine the minimum number of colors needed to color the plane such that no max-norm isometric copy of is monochromatic.
对于所有非退化三角形 T,我们要确定给平面着色所需的最少颜色数,从而使 T 的最大等距副本都不是单色的。
{"title":"Monochromatic triangles in the max-norm plane","authors":"Alexander Natalchenko , Arsenii Sagdeev","doi":"10.1016/j.ejc.2024.103977","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103977","url":null,"abstract":"<div><p>For all non-degenerate triangles <span><math><mi>T</mi></math></span>, we determine the minimum number of colors needed to color the plane such that no max-norm isometric copy of <span><math><mi>T</mi></math></span> is monochromatic.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140843589","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-04DOI: 10.1016/j.ejc.2024.103978
Philip P. Mummert
Austrian Solitaire is a variation of Bulgarian Solitaire. It may be described as a card game, a method of asset inventory management, or a discrete dynamical system on integer partitions. We prove that the limit cycles in Austrian Solitaire do not depend on the initial configuration; in other words, each state space is connected. We show that a full Farey sequence completely characterizes these unique (and balanced) cycles.
{"title":"Cycles in Austrian Solitaire","authors":"Philip P. Mummert","doi":"10.1016/j.ejc.2024.103978","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103978","url":null,"abstract":"<div><p>Austrian Solitaire is a variation of Bulgarian Solitaire. It may be described as a card game, a method of asset inventory management, or a discrete dynamical system on integer partitions. We prove that the limit cycles in Austrian Solitaire do not depend on the initial configuration; in other words, each state space is connected. We show that a full Farey sequence completely characterizes these unique (and balanced) cycles.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140842747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-04DOI: 10.1016/j.ejc.2024.103981
J. Bang-Jensen , Y. Wang
An out-branching (in-branching ) in a digraph is a connected spanning subdigraph of in which every vertex except the vertex , called the root, has in-degree (out-degree) one. A good-pair in is a pair of branchings which have no arc in common. Thomassen proved that it is NP-complete to decide if a digraph has any good pair. A digraph is semicomplete if it has no pair of non-adjacent vertices. A semicomplete composition is any digraph which is obtained from a semicomplete digraph by substituting an arbitrary digraph for each vertex of .
Recently the authors of this paper gave a complete classification of semicomplete digraphs which have a good -pair, where are prescribed vertices. They also gave a polynomial algorithm which for a given semicomplete digraph and vertices of , either produces a good -pair in or a certificate that has no such pair. In this paper we show how to use the result for semicomplete digraphs to completely solve the problem of characterizing semicomplete compositions which have a good -pair for given vertices . Our solution implies that the problem of deciding the existence of a good -pair and finding such a pair when it exists is polynomially solvable for all semicomplete compositions. We also completely solve the problem of deciding the existence of a good
数图 D 中的外分支 Bu+ (内分支 Bu-)是 D 的一个连通的跨子数图,其中除了顶点 u(称为根)之外,每个顶点的内(外)度都是 1。D 中的 good(u,v)-pair 是一对没有共同弧的分支 Bu+,Bv-。托马森(Thomassen)证明,判断一个数图是否有任何好的一对是 NP-完全的。如果一个数图没有一对不相邻的顶点,那么它就是半完整的。最近,本文作者给出了半完整数图的完整分类,这些数图都有一对好的 (u,v)-pair,其中 u,v 是规定的顶点。他们还给出了一种多项式算法,对于给定的半完备图 D 和 D 中的顶点 u,v 来说,这种算法要么能在 D 中生成一对良好的 (u,v)-pair ,要么能证明 D 中没有这样的一对。在本文中,我们展示了如何利用半完全数图的结果来彻底解决半完全合成图的特征问题,即在给定顶点 u,v 的情况下,半完全合成图具有良好的 (u,v) 对。我们的解决方案意味着,对于所有半完全组合图,决定是否存在好 (u,v)-pair 以及在存在好 (u,v)-pair 时找到好 (u,v)-pair 的问题都是多项式可解的。我们还完全解决了决定一个好的(u,v)配对是否存在以及当它存在时找到它的问题。结合这两个结果,我们得到了一种多项式算法,用于判断给定的准传递数图 D 对于给定的 D 的顶点 u,v 是否具有良好的 (u,v)-pair 。
{"title":"Arc-disjoint out- and in-branchings in compositions of digraphs","authors":"J. Bang-Jensen , Y. Wang","doi":"10.1016/j.ejc.2024.103981","DOIUrl":"https://doi.org/10.1016/j.ejc.2024.103981","url":null,"abstract":"<div><p>An out-branching <span><math><msubsup><mrow><mi>B</mi></mrow><mrow><mi>u</mi></mrow><mrow><mo>+</mo></mrow></msubsup></math></span> (in-branching <span><math><msubsup><mrow><mi>B</mi></mrow><mrow><mi>u</mi></mrow><mrow><mo>−</mo></mrow></msubsup></math></span>) in a digraph <span><math><mi>D</mi></math></span> is a connected spanning subdigraph of <span><math><mi>D</mi></math></span> in which every vertex except the vertex <span><math><mi>u</mi></math></span>, called the root, has in-degree (out-degree) one. A <strong>good</strong><span><math><mi>(u,v)</mi></math></span>-<strong>pair</strong> in <span><math><mi>D</mi></math></span> is a pair of branchings <span><math><mrow><msubsup><mrow><mi>B</mi></mrow><mrow><mi>u</mi></mrow><mrow><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>B</mi></mrow><mrow><mi>v</mi></mrow><mrow><mo>−</mo></mrow></msubsup></mrow></math></span> which have no arc in common. Thomassen proved that it is NP-complete to decide if a digraph has any good pair. A digraph is <strong>semicomplete</strong> if it has no pair of non-adjacent vertices. A <strong>semicomplete composition</strong> is any digraph <span><math><mi>D</mi></math></span> which is obtained from a semicomplete digraph <span><math><mi>S</mi></math></span> by substituting an arbitrary digraph <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>x</mi></mrow></msub></math></span> for each vertex <span><math><mi>x</mi></math></span> of <span><math><mi>S</mi></math></span>.</p><p>Recently the authors of this paper gave a complete classification of semicomplete digraphs which have a good <span><math><mrow><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo></mrow></math></span>-pair, where <span><math><mrow><mi>u</mi><mo>,</mo><mi>v</mi></mrow></math></span> are prescribed vertices. They also gave a polynomial algorithm which for a given semicomplete digraph <span><math><mi>D</mi></math></span> and vertices <span><math><mrow><mi>u</mi><mo>,</mo><mi>v</mi></mrow></math></span> of <span><math><mi>D</mi></math></span>, either produces a good <span><math><mrow><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo></mrow></math></span>-pair in <span><math><mi>D</mi></math></span> or a certificate that <span><math><mi>D</mi></math></span> has no such pair. In this paper we show how to use the result for semicomplete digraphs to completely solve the problem of characterizing semicomplete compositions which have a good <span><math><mrow><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo></mrow></math></span>-pair for given vertices <span><math><mrow><mi>u</mi><mo>,</mo><mi>v</mi></mrow></math></span>. Our solution implies that the problem of deciding the existence of a good <span><math><mrow><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo></mrow></math></span>-pair and finding such a pair when it exists is polynomially solvable for all semicomplete compositions. We also completely solve the problem of deciding the existence of a good <span><math><mrow><mo>(</mo><mi>u","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824000660/pdfft?md5=9f52566484a640f1db27537236930da5&pid=1-s2.0-S0195669824000660-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140843408","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-04-27DOI: 10.1016/j.ejc.2024.103980
Sam Spiro , Erlang Surya
Let denote the number of perfect matchings of a graph , and let denote the complete -partite graph where each part has size . Johnson, Kayll, and Palmer conjectured that for any perfect matching of , we have for divisible by