Pub Date : 2024-07-15DOI: 10.1016/j.disc.2024.114160
How many graphs on an n-point set can we find such that any two have connected intersection? Berger, Berkowitz, Devlin, Doppelt, Durham, Murthy and Vemuri showed that the maximum is exactly of all graphs. Our aim in this short note is to give a ‘directed’ version of this result; we show that a family of oriented graphs such that any two have strongly-connected intersection has size at most of all oriented graphs. We also show that a family of graphs such that any two have Hamiltonian intersection has size at most of all graphs, verifying a conjecture of the above authors.
{"title":"A Note on Hamiltonian-intersecting families of graphs","authors":"","doi":"10.1016/j.disc.2024.114160","DOIUrl":"10.1016/j.disc.2024.114160","url":null,"abstract":"<div><p>How many graphs on an <em>n</em>-point set can we find such that any two have connected intersection? Berger, Berkowitz, Devlin, Doppelt, Durham, Murthy and Vemuri showed that the maximum is exactly <span><math><mn>1</mn><mo>/</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> of all graphs. Our aim in this short note is to give a ‘directed’ version of this result; we show that a family of oriented graphs such that any two have strongly-connected intersection has size at most <span><math><mn>1</mn><mo>/</mo><msup><mrow><mn>3</mn></mrow><mrow><mi>n</mi></mrow></msup></math></span> of all oriented graphs. We also show that a family of graphs such that any two have Hamiltonian intersection has size at most <span><math><mn>1</mn><mo>/</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup></math></span> of all graphs, verifying a conjecture of the above authors.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141622396","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-07-14DOI: 10.1016/j.disc.2024.114155
Chak-On Chow
Chow (2024) recently computed expressions of the types B and D derangement polynomials and as tridiagonal and lower Hessenberg determinants of order n. Qi, Wang, and Guo (2016), based on a determinantal formula for the nth derivative of a quotient of two functions, derived an expression of the classical derangement number as a tridiagonal determinant of order . By q-extending the approach of Qi et al., we present in this work yet another determinantal expressions of and as determinants of order .
Chow (2024) 最近计算了 B 和 D 型失真多项式 dnB(q)=∑σ∈DnBqfmaj(σ) 和 dnD(q)=∑σ∈DnDqmaj(σ) 的表达式,它们是 n 阶的三对角和下海森伯行列式。Qi、Wang和Guo(2016)基于两个函数商的n次导数的行列式公式,推导出了经典失真数dn=n!∑k=0n(-1)k/k!作为n+1阶的三对角行列式的表达式。通过对齐等人的方法进行 q 扩展,我们在本文中提出了 dnB(q) 和 dnD(q) 作为 n+1 阶行列式的另一种行列式表达式。
{"title":"Some determinantal representations of derangement polynomials of types B and D","authors":"Chak-On Chow","doi":"10.1016/j.disc.2024.114155","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114155","url":null,"abstract":"<div><p>Chow (2024) recently computed expressions of the types <em>B</em> and <em>D</em> derangement polynomials <span><math><msubsup><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>B</mi></mrow></msubsup><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>σ</mi><mo>∈</mo><msubsup><mrow><mi>D</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>B</mi></mrow></msubsup></mrow></msub><msup><mrow><mi>q</mi></mrow><mrow><mi>fmaj</mi><mo>(</mo><mi>σ</mi><mo>)</mo></mrow></msup></math></span> and <span><math><msubsup><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>D</mi></mrow></msubsup><mo>(</mo><mi>q</mi><mo>)</mo><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>σ</mi><mo>∈</mo><msubsup><mrow><mi>D</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>D</mi></mrow></msubsup></mrow></msub><msup><mrow><mi>q</mi></mrow><mrow><mi>maj</mi><mo>(</mo><mi>σ</mi><mo>)</mo></mrow></msup></math></span> as tridiagonal and lower Hessenberg determinants of order <em>n</em>. Qi, Wang, and Guo (2016), based on a determinantal formula for the <em>n</em>th derivative of a quotient of two functions, derived an expression of the classical derangement number <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>=</mo><mi>n</mi><mo>!</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>n</mi></mrow></msubsup><msup><mrow><mo>(</mo><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mrow><mi>k</mi></mrow></msup><mo>/</mo><mi>k</mi><mo>!</mo></math></span> as a tridiagonal determinant of order <span><math><mi>n</mi><mo>+</mo><mn>1</mn></math></span>. By <em>q</em>-extending the approach of Qi et al., we present in this work yet another determinantal expressions of <span><math><msubsup><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>B</mi></mrow></msubsup><mo>(</mo><mi>q</mi><mo>)</mo></math></span> and <span><math><msubsup><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>D</mi></mrow></msubsup><mo>(</mo><mi>q</mi><mo>)</mo></math></span> as determinants of order <span><math><mi>n</mi><mo>+</mo><mn>1</mn></math></span>.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141606253","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-07-14DOI: 10.1016/j.disc.2024.114153
Alexandr Kostochka , Ruth Luo , Grace McCourt
We refine a property of 2-connected graphs described in the classical paper of Dirac from 1952 and use the refined property to somewhat shorten Dirac's proof of the fact that each 2-connected n-vertex graph with minimum degree at least k has a cycle of length at least .
我们完善了 1952 年狄拉克经典论文中描述的 2 连接图的一个性质,并利用这一完善的性质在一定程度上缩短了狄拉克对以下事实的证明:每个最小度至少为 k 的 2 连接 n 顶点图至少有一个长度为 min{n,2k} 的循环。
{"title":"On a property of 2-connected graphs and Dirac's Theorem","authors":"Alexandr Kostochka , Ruth Luo , Grace McCourt","doi":"10.1016/j.disc.2024.114153","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114153","url":null,"abstract":"<div><p>We refine a property of 2-connected graphs described in the classical paper of Dirac from 1952 and use the refined property to somewhat shorten Dirac's proof of the fact that each 2-connected <em>n</em>-vertex graph with minimum degree at least <em>k</em> has a cycle of length at least <span><math><mi>min</mi><mo></mo><mo>{</mo><mi>n</mi><mo>,</mo><mn>2</mn><mi>k</mi><mo>}</mo></math></span>.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0012365X2400284X/pdfft?md5=3cc9f5980d77b1fb7cc2f09f91437522&pid=1-s2.0-S0012365X2400284X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141606254","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-07-14DOI: 10.1016/j.disc.2024.114152
Huan Zhu, Jin Li, Shixin Zhu
BCH codes are a special subclass of cyclic codes. In many cases, BCH codes are best cyclic codes and they have wide applications in communication and storage systems. In this paper, we investigate the parameters of a class of narrow-sense BCH codes over of length with small and large dimensions. We study the q-cyclotomic cosets modulo , determine the dimensions of these BCH codes and give the lower bounds on their minimum distances. Furthermore, we present the lower bounds on the minimum distances of their dual codes.
{"title":"A class of BCH codes of length 2(q2m−1)q+1 and their duals","authors":"Huan Zhu, Jin Li, Shixin Zhu","doi":"10.1016/j.disc.2024.114152","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114152","url":null,"abstract":"<div><p>BCH codes are a special subclass of cyclic codes. In many cases, BCH codes are best cyclic codes and they have wide applications in communication and storage systems. In this paper, we investigate the parameters of a class of narrow-sense BCH codes over <span><math><mi>G</mi><mi>F</mi><mo>(</mo><mi>q</mi><mo>)</mo></math></span> of length <span><math><mfrac><mrow><mn>2</mn><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn><mi>m</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mrow><mi>q</mi><mo>+</mo><mn>1</mn></mrow></mfrac></math></span> with small and large dimensions. We study the <em>q</em>-cyclotomic cosets modulo <span><math><mfrac><mrow><mn>2</mn><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn><mi>m</mi></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mrow><mi>q</mi><mo>+</mo><mn>1</mn></mrow></mfrac></math></span>, determine the dimensions of these BCH codes and give the lower bounds on their minimum distances. Furthermore, we present the lower bounds on the minimum distances of their dual codes.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141607101","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-07-10DOI: 10.1016/j.disc.2024.114151
Shuchao Li , Yuantian Yu
Nosal (1970) and Nikiforov (2002) showed that if graph G is -free of size m, then the spectral radius of G satisfies , equality holds if and only if G is a complete bipartite graph. Lin, Ning and Wu (2021) extended this result as: If G is a -free non-bipartite graph of size m, then , equality holds if and only if . This result was extended by Li, Peng (2022) and Sun, Li (2023), independently, as the following: If G is a -free non-bipartite graph with m edges, then , equality holds if and only if m is odd and , where is obtained from by replacing one of its edges by a path of length 4. This upper bound could be attained only if m is odd, since the extremal graph is well-defined only in this case. Thus, it is interesting to determine the spectral extremal graph when m is even. Sun and Li (2023) proposed the following question: Determine the graphs attaining the maximum spectral radius o
Nosal (1970) 和 Nikiforov (2002) 发现,如果图 G 是大小为 m 的无 C3 图,则 G 的谱半径满足 λ(G)≤m,且只有当且仅当 G 是一个完整的双向图时,等式才成立。Lin、Ning 和 Wu (2021) 将这一结果扩展为:如果 G 是大小为 m 的无 C3 非双向图,那么只有当 G≅C5 时,λ(G)≤m-1,等式成立。李鹏(2022)和孙莉(2023)分别将这一结果扩展如下:如果 G 是一个有 m 条边的无{C3,C5}非双面图,那么λ(G)≤λ(S3(K2,m-32)),当且仅当 m 为奇数且 G≅S3(K2,m-32),其中 S3(K2,m-32) 是通过将 K2,m-32 的一条边替换为长度为 4 的路径得到的。只有当 m 为奇数时才能达到这个上限,因为极值图 S3(K2,m-32) 只有在这种情况下才定义明确。因此,确定 m 为偶数时的谱极值图是很有意义的。孙和李(2023 年)提出了以下问题:在本论文中,我们将回答 m≥150 时的这个问题。我们的证明技术主要基于图的特征值的 Cauchy 交错定理,并借助于宁和翟在特征值和图的大小方面的三角形计数法,以及 Lou, Lu 和 Huang (2023) 的特征向量法。
{"title":"Spectral extrema of graphs with fixed size: Forbidden triangles and pentagons","authors":"Shuchao Li , Yuantian Yu","doi":"10.1016/j.disc.2024.114151","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114151","url":null,"abstract":"<div><p>Nosal (1970) and Nikiforov (2002) showed that if graph <em>G</em> is <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span>-free of size <em>m</em>, then the spectral radius of <em>G</em> satisfies <span><math><mi>λ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><msqrt><mrow><mi>m</mi></mrow></msqrt></math></span>, equality holds if and only if <em>G</em> is a complete bipartite graph. Lin, Ning and Wu (2021) extended this result as: If <em>G</em> is a <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span>-free non-bipartite graph of size <em>m</em>, then <span><math><mi>λ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><msqrt><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msqrt></math></span>, equality holds if and only if <span><math><mi>G</mi><mo>≅</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub></math></span>. This result was extended by Li, Peng (2022) and Sun, Li (2023), independently, as the following: If <em>G</em> is a <span><math><mo>{</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>}</mo></math></span>-free non-bipartite graph with <em>m</em> edges, then <span><math><mi>λ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>λ</mi><mo>(</mo><msub><mrow><mi>S</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mo>,</mo><mfrac><mrow><mi>m</mi><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></msub><mo>)</mo><mo>)</mo></math></span>, equality holds if and only if <em>m</em> is odd and <span><math><mi>G</mi><mo>≅</mo><msub><mrow><mi>S</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mo>,</mo><mfrac><mrow><mi>m</mi><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></msub><mo>)</mo></math></span>, where <span><math><msub><mrow><mi>S</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mo>,</mo><mfrac><mrow><mi>m</mi><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></msub><mo>)</mo></math></span> is obtained from <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mo>,</mo><mfrac><mrow><mi>m</mi><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></msub></math></span> by replacing one of its edges by a path of length 4. This upper bound could be attained only if <em>m</em> is odd, since the extremal graph <span><math><msub><mrow><mi>S</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mo>,</mo><mfrac><mrow><mi>m</mi><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></msub><mo>)</mo></math></span> is well-defined only in this case. Thus, it is interesting to determine the spectral extremal graph when <em>m</em> is even. Sun and Li (2023) proposed the following question: Determine the graphs attaining the maximum spectral radius o","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141583139","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-07-09DOI: 10.1016/j.disc.2024.114156
Collier Gaiser
Let be the smallest positive integer n such that every r-coloring of has a monochromatic solution to the nonlinear equation where are not necessarily distinct. Brown and Rödl [3] proved that . In this paper, we prove that . The main ingredient in our proof is a finite set such that every 2-coloring of A has a monochromatic solution to the linear equation and the least common multiple of A is sufficiently small. This approach can also be used to study with . For example, a recent result of Boza et al. [2] implies that .
设 fr(k) 是最小的正整数 n,使得{1,2,...,n}的每一个 r 色都有非线性方程 1/x1+⋯+1/xk=1/y 的单色解,其中 x1,...xk 不一定是不同的。Brown 和 Rödl [3] 证明了 f2(k)=O(k6) 。本文将证明 f2(k)=O(k3)。我们证明的主要要素是一个有限集 A⊆N,使得 A 的每个 2 色都有线性方程 x1+⋯+xk=y 的单色解,并且 A 的最小公倍数足够小。例如,Boza 等人[2]的最新结果暗示 f3(k)=O(k43)。
{"title":"On Rado numbers for equations with unit fractions","authors":"Collier Gaiser","doi":"10.1016/j.disc.2024.114156","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114156","url":null,"abstract":"<div><p>Let <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>(</mo><mi>k</mi><mo>)</mo></math></span> be the smallest positive integer <em>n</em> such that every <em>r</em>-coloring of <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span> has a monochromatic solution to the nonlinear equation<span><span><span><math><mn>1</mn><mo>/</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><mn>1</mn><mo>/</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>=</mo><mn>1</mn><mo>/</mo><mi>y</mi><mo>,</mo></math></span></span></span> where <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> are not necessarily distinct. Brown and Rödl <span>[3]</span> proved that <span><math><msub><mrow><mi>f</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>k</mi><mo>)</mo><mo>=</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>6</mn></mrow></msup><mo>)</mo></math></span>. In this paper, we prove that <span><math><msub><mrow><mi>f</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>k</mi><mo>)</mo><mo>=</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></math></span>. The main ingredient in our proof is a finite set <span><math><mi>A</mi><mo>⊆</mo><mi>N</mi></math></span> such that every 2-coloring of <em>A</em> has a monochromatic solution to the linear equation <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>=</mo><mi>y</mi></math></span> and the least common multiple of <em>A</em> is sufficiently small. This approach can also be used to study <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>(</mo><mi>k</mi><mo>)</mo></math></span> with <span><math><mi>r</mi><mo>></mo><mn>2</mn></math></span>. For example, a recent result of Boza et al. <span>[2]</span> implies that <span><math><msub><mrow><mi>f</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><mi>k</mi><mo>)</mo><mo>=</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>43</mn></mrow></msup><mo>)</mo></math></span>.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141583140","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-07-03DOI: 10.1016/j.disc.2024.114148
Juan Gutiérrez , Christian Valqui
A conjecture attributed to Smith states that every two longest cycles in a k-connected graph intersect in at least k vertices. In this paper, we show that every two longest cycles in a k-connected graph on n vertices intersect in at least vertices, which confirms Smith's conjecture when . An analog conjecture for paths instead of cycles was stated by Hippchen. By a simple reduction, we relate both conjectures, showing that Hippchen's conjecture is valid when either or .
Smith 提出的一个猜想是:在 k 个连通图中,每两个最长循环至少在 k 个顶点上相交。在本文中,我们证明了当 k≥(n+16)/7 时,n 个顶点上 k 个连接图中的每两个最长循环至少相交于 min{n,8k-n-16} 个顶点,这证实了 Smith 的猜想。希普钦(Hippchen)针对路径而非循环提出了类似猜想。通过简单的还原,我们将这两个猜想联系起来,证明当 k≤7 或 k≥(n+9)/7 时,希普钦的猜想是有效的。
{"title":"On two conjectures about the intersection of longest paths and cycles","authors":"Juan Gutiérrez , Christian Valqui","doi":"10.1016/j.disc.2024.114148","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114148","url":null,"abstract":"<div><p>A conjecture attributed to Smith states that every two longest cycles in a <em>k</em>-connected graph intersect in at least <em>k</em> vertices. In this paper, we show that every two longest cycles in a <em>k</em>-connected graph on <em>n</em> vertices intersect in at least <span><math><mi>min</mi><mo></mo><mo>{</mo><mi>n</mi><mo>,</mo><mn>8</mn><mi>k</mi><mo>−</mo><mi>n</mi><mo>−</mo><mn>16</mn><mo>}</mo></math></span> vertices, which confirms Smith's conjecture when <span><math><mi>k</mi><mo>≥</mo><mo>(</mo><mi>n</mi><mo>+</mo><mn>16</mn><mo>)</mo><mo>/</mo><mn>7</mn></math></span>. An analog conjecture for paths instead of cycles was stated by Hippchen. By a simple reduction, we relate both conjectures, showing that Hippchen's conjecture is valid when either <span><math><mi>k</mi><mo>≤</mo><mn>7</mn></math></span> or <span><math><mi>k</mi><mo>≥</mo><mo>(</mo><mi>n</mi><mo>+</mo><mn>9</mn><mo>)</mo><mo>/</mo><mn>7</mn></math></span>.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141540726","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-07-02DOI: 10.1016/j.disc.2024.114149
Yuanpei Wang , Zhenyu Ni , Yichong Liu , Liying Kang
Given a graph H and an integer , the edge blow-up of H is the graph obtained by replacing each edge in H with a clique of order , where the new vertices of the cliques are all distinct. The generalized Turán number denote the maximum number of copies of in an n-vertex F-free graph. In this paper, we determine the exact value of generalized Turán number for edge blow-up of star forests and characterize the unique graph for sufficiently large n.
给定一个图 H 和一个整数 p≥2,H 的边炸开 Hp+1 是将 H 中的每条边替换为 p+1 阶的簇后得到的图,其中簇的新顶点都是不同的。广义图兰数 ex(n,Km,F) 表示无 n 个顶点的 F 图中 Km 的最大副本数。本文确定了星形森林边缘膨胀的广义图兰数的精确值,并描述了足够大 n 的唯一图的特征。
{"title":"Generalized Turán results for edge blow-up of star forests","authors":"Yuanpei Wang , Zhenyu Ni , Yichong Liu , Liying Kang","doi":"10.1016/j.disc.2024.114149","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114149","url":null,"abstract":"<div><p>Given a graph <em>H</em> and an integer <span><math><mi>p</mi><mo>≥</mo><mn>2</mn></math></span>, the edge blow-up <span><math><msup><mrow><mi>H</mi></mrow><mrow><mi>p</mi><mo>+</mo><mn>1</mn></mrow></msup></math></span> of <em>H</em> is the graph obtained by replacing each edge in <em>H</em> with a clique of order <span><math><mi>p</mi><mo>+</mo><mn>1</mn></math></span>, where the new vertices of the cliques are all distinct. The generalized Turán number <span><math><mi>e</mi><mi>x</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>m</mi></mrow></msub><mo>,</mo><mi>F</mi><mo>)</mo></math></span> denote the maximum number of copies of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> in an <em>n</em>-vertex <em>F</em>-free graph. In this paper, we determine the exact value of generalized Turán number for edge blow-up of star forests and characterize the unique graph for sufficiently large <em>n</em>.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141540725","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-06-28DOI: 10.1016/j.disc.2024.114146
Andries E. Brouwer , Dean Crnković , Andrea Švob
In this paper, we prove the existence of directed strongly regular graphs with parameters . We construct a pair of nonisomorphic dsrg(63,11,8,1,2), where one is obtained from the other by reversing all arrows. Both directed strongly regular graphs have as the full automorphism group.
{"title":"A construction of directed strongly regular graphs with parameters (63,11,8,1,2)","authors":"Andries E. Brouwer , Dean Crnković , Andrea Švob","doi":"10.1016/j.disc.2024.114146","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114146","url":null,"abstract":"<div><p>In this paper, we prove the existence of directed strongly regular graphs with parameters <span><math><mo>(</mo><mn>63</mn><mo>,</mo><mn>11</mn><mo>,</mo><mn>8</mn><mo>,</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>. We construct a pair of nonisomorphic dsrg(63,11,8,1,2), where one is obtained from the other by reversing all arrows. Both directed strongly regular graphs have <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mn>8</mn><mo>)</mo><mo>:</mo><mn>3</mn></math></span> as the full automorphism group.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141483486","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-06-26DOI: 10.1016/j.disc.2024.114145
Erika Bérczi-Kovács , András Frank
Clar number and Fries number are two thoroughly investigated parameters of plane graphs emerging from mathematical chemistry to measure stability of organic molecules. First, we introduce a common generalization of these two concepts for bipartite plane graphs, and then we extend it further to the notion of source-sink pairs of subsets of nodes in a general (not necessarily planar) directed graph. The main result is a min-max formula for the maximum weight of a source-sink pair. The proof is based on the recognition that the convex hull of source-sink pairs can be obtained as the projection of a network tension polyhedron. The construction makes it possible to apply any standard cheapest network flow algorithm to compute both a maximum weight source-sink pair and a minimizer of the dual optimization problem formulated in the min-max theorem. As a consequence, our approach gives rise to the first purely combinatorial, strongly polynomial algorithm to compute a largest (or even a maximum weight) Fries-set of a perfectly matchable plane bipartite graph and an optimal solution to the dual minimization problem.
{"title":"A network flow approach to a common generalization of Clar and Fries numbers","authors":"Erika Bérczi-Kovács , András Frank","doi":"10.1016/j.disc.2024.114145","DOIUrl":"https://doi.org/10.1016/j.disc.2024.114145","url":null,"abstract":"<div><p>Clar number and Fries number are two thoroughly investigated parameters of plane graphs emerging from mathematical chemistry to measure stability of organic molecules. First, we introduce a common generalization of these two concepts for bipartite plane graphs, and then we extend it further to the notion of source-sink pairs of subsets of nodes in a general (not necessarily planar) directed graph. The main result is a min-max formula for the maximum weight of a source-sink pair. The proof is based on the recognition that the convex hull of source-sink pairs can be obtained as the projection of a network tension polyhedron. The construction makes it possible to apply any standard cheapest network flow algorithm to compute both a maximum weight source-sink pair and a minimizer of the dual optimization problem formulated in the min-max theorem. As a consequence, our approach gives rise to the first purely combinatorial, strongly polynomial algorithm to compute a largest (or even a maximum weight) Fries-set of a perfectly matchable plane bipartite graph and an optimal solution to the dual minimization problem.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141483485","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}