首页 > 最新文献

Discrete Applied Mathematics最新文献

英文 中文
The structural properties of {(2,3),6}-spheres {(2,3),6}-球的结构性质
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-15 DOI: 10.1016/j.dam.2025.12.018
Rui Yang, Chengli Liu
A {(2,3),6}- sphere S is a 6-regular planar graph whose faces are only 2-length and 3-length. Furthermore, it consists of exactly six 2-length faces and even number of 3-length faces by Euler’s formula. A graph G is called cyclically k-edge-connected, if it cannot be separated into at least two components such that each contains cycles by deleting fewer than k edges. We denote the maximum value of kN such that G is cyclically k-edge-connected by cλ(G), then the positive integer cλ(G) is referred to as cyclical edge-connectivity of G. In this paper, we prove that the cyclical edge-connectivity of {(2,3),6}-sphere is 4 or 6 or 8, and we give the structures of {(2,3),6}-spheres with cyclical edge-connectivities 4 and 6, respectively. A face of G is called resonant if its boundary is M-alternating cycle, where M is a perfect matching of G. Furthermore, in this paper, we show that every 2-length face of a {(2,3),6}-sphere is resonant.
A{(2,3),6}-球面S是一个面只有2长和3长的6正则平面图。根据欧拉公式,它由6个2长面和偶数个3长面组成。如果图G不能被分成至少两个分量,使得每个分量通过删除少于k条边来包含循环,则图G被称为循环k边连通。我们指出k∈N的最大值使得G被cλ(G)循环k边连通,则正整数cλ(G)称为G的循环边连通。本文证明了{(2,3),6}-球的循环边连通性为4或6或8,并给出了{(2,3),6}-球的循环边连通性分别为4和6的结构。如果边界是M交替循环,则G的面称为共振面,其中M是G的完美匹配,进一步证明了{(2,3),6}球面的每一个2长面都是共振面的。
{"title":"The structural properties of {(2,3),6}-spheres","authors":"Rui Yang,&nbsp;Chengli Liu","doi":"10.1016/j.dam.2025.12.018","DOIUrl":"10.1016/j.dam.2025.12.018","url":null,"abstract":"<div><div>A <span><math><mrow><mrow><mo>{</mo><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>)</mo></mrow><mo>,</mo><mn>6</mn><mo>}</mo></mrow><mtext>-</mtext></mrow></math></span> sphere <span><math><mi>S</mi></math></span> is a <span><math><mrow><mn>6</mn><mtext>-</mtext></mrow></math></span>regular planar graph whose faces are only <span><math><mrow><mn>2</mn><mtext>-</mtext></mrow></math></span>length and <span><math><mrow><mn>3</mn><mtext>-</mtext></mrow></math></span>length. Furthermore, it consists of exactly six <span><math><mrow><mn>2</mn><mtext>-</mtext></mrow></math></span>length faces and even number of <span><math><mrow><mn>3</mn><mtext>-</mtext></mrow></math></span>length faces by Euler’s formula. A graph <span><math><mi>G</mi></math></span> is called <em>cyclically</em> <span><math><mrow><mi>k</mi><mtext>-</mtext></mrow></math></span><em>edge-connected</em>, if it cannot be separated into at least two components such that each contains cycles by deleting fewer than <span><math><mi>k</mi></math></span> edges. We denote the maximum value of <span><math><mrow><mi>k</mi><mo>∈</mo><mi>N</mi></mrow></math></span> such that <span><math><mi>G</mi></math></span> is cyclically <span><math><mrow><mi>k</mi><mtext>-</mtext></mrow></math></span>edge-connected by <span><math><mrow><mi>c</mi><mi>λ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, then the positive integer <span><math><mrow><mi>c</mi><mi>λ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> is referred to as <em>cyclical edge-connectivity</em> of <span><math><mi>G</mi></math></span>. In this paper, we prove that the cyclical edge-connectivity of <span><math><mrow><mrow><mo>{</mo><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>)</mo></mrow><mo>,</mo><mn>6</mn><mo>}</mo></mrow><mtext>-</mtext></mrow></math></span>sphere is 4 or 6 or 8, and we give the structures of <span><math><mrow><mrow><mo>{</mo><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>)</mo></mrow><mo>,</mo><mn>6</mn><mo>}</mo></mrow><mtext>-</mtext></mrow></math></span>spheres with cyclical edge-connectivities 4 and 6, respectively. A face of <span><math><mi>G</mi></math></span> is called <em>resonant</em> if its boundary is <span><math><mrow><mi>M</mi><mtext>-</mtext></mrow></math></span>alternating cycle, where <span><math><mi>M</mi></math></span> is a perfect matching of <span><math><mi>G</mi></math></span>. Furthermore, in this paper, we show that every <span><math><mrow><mn>2</mn><mtext>-</mtext></mrow></math></span>length face of a <span><math><mrow><mrow><mo>{</mo><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>)</mo></mrow><mo>,</mo><mn>6</mn><mo>}</mo></mrow><mtext>-</mtext></mrow></math></span>sphere is resonant.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 15-25"},"PeriodicalIF":1.0,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145748179","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}
引用次数: 0
Spectral extrema of graphs: Forbidden linear forests and non-bipartite graphs 图的谱极值:禁止线性森林与非二部图
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-15 DOI: 10.1016/j.dam.2025.12.017
Xuelian Mao, Zhenyu Ni, Ming-Zhu Chen
For a set of graphs F, a graph G is called F-free if it does not contain any graph in F as a subgraph. Let SPEX(n,F) denote the graphs with the maximum spectral radius among all F-free graphs of order n. In this paper, for any non-bipartite graph H, we give some characterizations for the graphs in SPEX(n,{i=1Pki,H}) for sufficiently large n, where 1, k1k2, and there exists at least one ki not equal to 3. As an application, we completely characterize the graphs in SPEX(n,{i=1Pki,Kk+1}) and SPEX(n,{i=1Pki,Fk}) for sufficiently large n, where Fk is a friendship graph on 2k+1 vertices consisting of k triangles which intersect in exactly one common vertex.
对于一组图F,如果图G不包含F中的任何图作为子图,则称为F自由图。设SPEX(n,F)表示在所有n阶的F-free图中具有最大谱半径的图。在本文中,对于任意非二部图H,我们给出了对于足够大的n,其中,r≥1,k≥1,k≥2,且存在至少一个ki不等于3的SPEX(n,{∈i=1∑Pki,H})中的图的一些刻画。作为一个应用,对于足够大的n,我们完全刻画了SPEX(n,{∈i=1 l Pki,Kk+1})和SPEX(n,{∈i=1 l Pki,Fk})中的图,其中Fk是由k个恰好相交于一个公共顶点的k个三角形组成的2k+1个顶点的友谊图。
{"title":"Spectral extrema of graphs: Forbidden linear forests and non-bipartite graphs","authors":"Xuelian Mao,&nbsp;Zhenyu Ni,&nbsp;Ming-Zhu Chen","doi":"10.1016/j.dam.2025.12.017","DOIUrl":"10.1016/j.dam.2025.12.017","url":null,"abstract":"<div><div>For a set of graphs <span><math><mi>F</mi></math></span>, a graph <span><math><mi>G</mi></math></span> is called <span><math><mi>F</mi></math></span>-free if it does not contain any graph in <span><math><mi>F</mi></math></span> as a subgraph. Let SPEX<span><math><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>F</mi><mo>)</mo></mrow></math></span> denote the graphs with the maximum spectral radius among all <span><math><mi>F</mi></math></span>-free graphs of order <span><math><mi>n</mi></math></span>. In this paper, for any non-bipartite graph <span><math><mi>H</mi></math></span>, we give some characterizations for the graphs in SPEX<span><math><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mrow><mo>{</mo><msubsup><mrow><mo>⋃</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>ℓ</mi></mrow></msubsup><msub><mrow><mi>P</mi></mrow><mrow><msub><mrow><mi>k</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub><mo>,</mo><mi>H</mi><mo>}</mo></mrow><mo>)</mo></mrow></math></span> for sufficiently large <span><math><mi>n</mi></math></span>, where <span><math><mrow><mi>ℓ</mi><mo>≥</mo><mn>1</mn></mrow></math></span>, <span><math><mrow><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≥</mo><mo>⋯</mo><mo>≥</mo><msub><mrow><mi>k</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>≥</mo><mn>2</mn></mrow></math></span>, and there exists at least one <span><math><msub><mrow><mi>k</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> not equal to 3. As an application, we completely characterize the graphs in SPEX<span><math><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mrow><mo>{</mo><msubsup><mrow><mo>⋃</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>ℓ</mi></mrow></msubsup><msub><mrow><mi>P</mi></mrow><mrow><msub><mrow><mi>k</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>}</mo></mrow><mo>)</mo></mrow></math></span> and SPEX<span><math><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mrow><mo>{</mo><msubsup><mrow><mo>⋃</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>ℓ</mi></mrow></msubsup><msub><mrow><mi>P</mi></mrow><mrow><msub><mrow><mi>k</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>}</mo></mrow><mo>)</mo></mrow></math></span> for sufficiently large <span><math><mi>n</mi></math></span>, where <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> is a friendship graph on <span><math><mrow><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></mrow></math></span> vertices consisting of <span><math><mi>k</mi></math></span> triangles which intersect in exactly one common vertex.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 8-14"},"PeriodicalIF":1.0,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145748178","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}
引用次数: 0
On partitions of edge-colored graphs under color degree constraints 色度约束下边色图的划分
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-15 DOI: 10.1016/j.dam.2025.12.031
Jing Lin , Huawen Ma
<div><div>A celebrated result of Stiebitz asserts that for positive integers <span><math><mi>s</mi></math></span> and <span><math><mi>t</mi></math></span>, each graph <span><math><mi>G</mi></math></span> with minimum degree <span><math><mrow><mi>s</mi><mo>+</mo><mi>t</mi><mo>+</mo><mn>1</mn></mrow></math></span> can be partitioned into vertex disjoint subgraphs <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> such that <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> has minimum degree at least <span><math><mi>s</mi></math></span> and <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> has minimum degree at least <span><math><mi>t</mi></math></span>. Fujita et al. (2019) conjectured that the partition of Stiebitz can be extended to edge-colored graphs. Let <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>,</mo><mi>c</mi><mo>)</mo></mrow></mrow></math></span> be a graph, where <span><math><mi>c</mi></math></span> is an edge coloring of <span><math><mi>G</mi></math></span>. For a vertex <span><math><mi>v</mi></math></span> of <span><math><mi>G</mi></math></span>, let <span><math><mrow><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></math></span> denote the edges of <span><math><mi>G</mi></math></span> incident to <span><math><mi>v</mi></math></span>, let <span><math><mrow><mi>d</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>|</mo><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>|</mo></mrow></mrow></math></span> be the degree of <span><math><mi>v</mi></math></span> in <span><math><mi>G</mi></math></span>, let <span><math><mrow><mi>c</mi><mrow><mo>(</mo><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow></math></span> be the color set which contains all colors appearing on <span><math><mrow><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></math></span> and let <span><math><mrow><msup><mrow><mi>d</mi></mrow><mrow><mi>c</mi></mrow></msup><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>|</mo><mi>c</mi><mrow><mo>(</mo><mi>E</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>)</mo></mrow><mo>|</mo></mrow></mrow></math></span> be the color degree of <span><math><mi>v</mi></math></span> in <span><math><mi>G</mi></math></span>. Furthermore, let <span><math><mrow><msup><mrow><mi>δ</mi></mrow><mrow><mi>c</mi></mrow></msup><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><mo>min</mo><mrow><mo>{</mo><msup><mrow><mi>d</mi></mrow><mrow><mi>c</mi></mrow></msup><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>∣</mo><mi>v</mi><mo>∈</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>}</mo></mrow></mrow></math></span> be the minimum color degree of <span><math><mi>G</mi></math></span> (with respect to <span><math><mi>c</mi></math><
Stiebitz的一个著名结果断言,对于正整数s和t,每个最小度为s+t+1的图G都可以划分为顶点不相交子图G1和G2,使得G1的最小度至少为s, G2的最小度至少为t。Fujita et al.(2019)推测Stiebitz的划分可以推广到边色图。让G = (V, E、c)是一个图表,其中c是一个边缘着色G的顶点V (G)让E (V)表示G事件V的边缘,让d (V) = | E (V) | G V的程度,让c (E (V))的颜色集包含所有颜色出现在E (V)和直流(V) = | c (E (V) |在G .此外,V的颜色程度让δc (G) =分钟{直流(V)∣V∈V (G)}是最低程度的颜色G(关于c)。当δc(G[S])≥S且δc(G[T])≥T时,V(G)的分割(S,T)是(S,T)可行的。其中G[U]表示顶点集U诱导出的G的子图。Fujita、Li和Wang推测,在δc(G)≥s+t+1和s≥t≥2的条件下,G具有(s,t)可行划分。本文证明了如果s≥t≥2,且对于每个v∈v (G), G具有(s,t)可行分割,且满足以下三个条件之一:(1)2dc(v)−d(v)≥s+t+1。(2) dc(v)≥ks+t+1,对于每个v∈v (G), G相对于c的每个色类最大度数不超过k。(3)dc(v)≥s+t+1,对于每个v∈v (G), c是传递着色(即如果P=(u,v,w)是G中的路径,且c(uv)=c(vw),则uw∈E(G), c(uv)=c(vw))。
{"title":"On partitions of edge-colored graphs under color degree constraints","authors":"Jing Lin ,&nbsp;Huawen Ma","doi":"10.1016/j.dam.2025.12.031","DOIUrl":"10.1016/j.dam.2025.12.031","url":null,"abstract":"&lt;div&gt;&lt;div&gt;A celebrated result of Stiebitz asserts that for positive integers &lt;span&gt;&lt;math&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, each graph &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; with minimum degree &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; can be partitioned into vertex disjoint subgraphs &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; such that &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; has minimum degree at least &lt;span&gt;&lt;math&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; has minimum degree at least &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. Fujita et al. (2019) conjectured that the partition of Stiebitz can be extended to edge-colored graphs. Let &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; be a graph, where &lt;span&gt;&lt;math&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; is an edge coloring of &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. For a vertex &lt;span&gt;&lt;math&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; of &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, let &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; denote the edges of &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; incident to &lt;span&gt;&lt;math&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, let &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;d&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; be the degree of &lt;span&gt;&lt;math&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; in &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, let &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; be the color set which contains all colors appearing on &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; and let &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;d&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; be the color degree of &lt;span&gt;&lt;math&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; in &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. Furthermore, let &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;δ&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mo&gt;min&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;d&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;∣&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; be the minimum color degree of &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; (with respect to &lt;span&gt;&lt;math&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;/math&gt;&lt;","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 1-7"},"PeriodicalIF":1.0,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145750379","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}
引用次数: 0
The strong (2,2)-Conjecture for more classes of graphs 多类图的强(2,2)猜想
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-15 DOI: 10.1016/j.dam.2025.12.011
Olivier Baudon , Julien Bensmail , Morgan Boivin , Igor Grzelec , Clara Marcille
The Strong (2,2)-Conjecture asks whether, for all connected graphs different from K2 and K3, we can assign to edges red and blue labels with value 1 or 2 so that no two adjacent vertices have the same sum of incident red labels or the same sum of incident blue labels. This conjecture, which can be perceived as a generalisation of the so-called 1–2–3 Conjecture, as, thus far, been proved only for a handful number of graph classes. In this work, we prove the Strong (2,2)-Conjecture holds for more classes of graphs. In particular, we prove the conjecture for cacti, subcubic outerplanar graphs, graphs with maximum average degree less than 94, and some Halin graphs, among others.
Strong(2,2)-猜想问的是,对于所有不同于K2和K3的连通图,我们是否可以给边分配值为1或2的红色和蓝色标签,从而没有两个相邻的顶点具有相同的事件红色标签和相同的事件蓝色标签和。这个猜想,可以看作是所谓的1-2-3猜想的推广,到目前为止,只证明了少数图类。在这项工作中,我们证明了强(2,2)-猜想对更多的图类成立。特别地,我们证明了仙人掌图、次立方外平面图、最大平均度小于94的图和一些Halin图等的猜想。
{"title":"The strong (2,2)-Conjecture for more classes of graphs","authors":"Olivier Baudon ,&nbsp;Julien Bensmail ,&nbsp;Morgan Boivin ,&nbsp;Igor Grzelec ,&nbsp;Clara Marcille","doi":"10.1016/j.dam.2025.12.011","DOIUrl":"10.1016/j.dam.2025.12.011","url":null,"abstract":"<div><div>The Strong <span><math><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>2</mn><mo>)</mo></mrow></math></span>-Conjecture asks whether, for all connected graphs different from <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span>, we can assign to edges red and blue labels with value 1 or 2 so that no two adjacent vertices have the same sum of incident red labels or the same sum of incident blue labels. This conjecture, which can be perceived as a generalisation of the so-called 1–2–3 Conjecture, as, thus far, been proved only for a handful number of graph classes. In this work, we prove the Strong <span><math><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>2</mn><mo>)</mo></mrow></math></span>-Conjecture holds for more classes of graphs. In particular, we prove the conjecture for cacti, subcubic outerplanar graphs, graphs with maximum average degree less than <span><math><mfrac><mrow><mn>9</mn></mrow><mrow><mn>4</mn></mrow></mfrac></math></span>, and some Halin graphs, among others.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"382 ","pages":"Pages 337-354"},"PeriodicalIF":1.0,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145790312","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}
引用次数: 0
A note on valid inequalities for PageRank optimization with edge selection constraints 边选择约束下PageRank优化的有效不等式注释
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-15 DOI: 10.1016/j.dam.2025.12.023
Shang-Ru Yang, Yung-Han Liao, Chih-Ching Chien, Hao-Hsiang Wu
Csáji, Jungers, and Blondel prove that while a PageRank optimization problem with edge selection constraints is NP-hard, it can be solved optimally in polynomial time for the unconstrained case. This theoretical result is accompanied by several observations, which we leverage to develop valid inequalities in polynomial time for this class of NP-hard problems. We show that these observations can be exploited to derive stronger inequalities than the standard valid inequality available in the literature. These valid inequalities provide a theoretical basis for reducing the optimality gap of the constrained PageRank problem without changing NP-hardness.
Csáji、Jungers和Blondel证明,虽然具有边选择约束的PageRank优化问题是np困难的,但对于无约束情况,它可以在多项式时间内得到最优解。这个理论结果伴随着几个观察结果,我们利用这些观察结果在多项式时间内为这类np困难问题开发了有效的不等式。我们表明,这些观察可以被利用来推导出比文献中可用的标准有效不等式更强的不等式。这些有效不等式为在不改变np -硬度的情况下减小受限PageRank问题的最优性差距提供了理论基础。
{"title":"A note on valid inequalities for PageRank optimization with edge selection constraints","authors":"Shang-Ru Yang,&nbsp;Yung-Han Liao,&nbsp;Chih-Ching Chien,&nbsp;Hao-Hsiang Wu","doi":"10.1016/j.dam.2025.12.023","DOIUrl":"10.1016/j.dam.2025.12.023","url":null,"abstract":"<div><div>Csáji, Jungers, and Blondel prove that while a PageRank optimization problem with edge selection constraints is NP-hard, it can be solved optimally in polynomial time for the unconstrained case. This theoretical result is accompanied by several observations, which we leverage to develop valid inequalities in polynomial time for this class of NP-hard problems. We show that these observations can be exploited to derive stronger inequalities than the standard valid inequality available in the literature. These valid inequalities provide a theoretical basis for reducing the optimality gap of the constrained PageRank problem without changing NP-hardness.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 44-51"},"PeriodicalIF":1.0,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145792198","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}
引用次数: 0
Non-adaptive prophet inequalities for minor-closed classes of matroids 拟阵小闭类的非自适应先知不等式
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-15 DOI: 10.1016/j.dam.2025.12.001
Kanstantsin Pashkovich, Alice Sayutina
We consider the matroid prophet inequality problem. This problem has been extensively studied in the case of adaptive mechanisms. In particular, there is a tight 2-competitive mechanism for all matroids (Kleinberg and Weinberg, 2012).
However, it is not known what classes of matroids admit non-adaptive mechanisms with constant guarantee. Recently, in Chawla et al. (2024) it was shown that there are constant-competitive non-adaptive mechanisms for graphic matroids. In this work, we show that various known classes of matroids admit constant-competitive non-adaptive mechanisms.
考虑一类拟阵的先知不等式问题。这个问题在自适应机制中得到了广泛的研究。特别是,所有拟阵都存在紧密的2-竞争机制(Kleinberg和Weinberg, 2012)。然而,尚不清楚哪类拟阵具有恒定保证的非自适应机制。最近,Chawla等人(2024)表明,图形拟阵存在持续竞争的非自适应机制。在这项工作中,我们证明了各种已知类拟阵承认不断竞争的非适应机制。
{"title":"Non-adaptive prophet inequalities for minor-closed classes of matroids","authors":"Kanstantsin Pashkovich,&nbsp;Alice Sayutina","doi":"10.1016/j.dam.2025.12.001","DOIUrl":"10.1016/j.dam.2025.12.001","url":null,"abstract":"<div><div>We consider the matroid prophet inequality problem. This problem has been extensively studied in the case of adaptive mechanisms. In particular, there is a tight 2-competitive mechanism for all matroids (Kleinberg and Weinberg, 2012).</div><div>However, it is not known what classes of matroids admit non-adaptive mechanisms with constant guarantee. Recently, in Chawla et al. (2024) it was shown that there are constant-competitive non-adaptive mechanisms for graphic matroids. In this work, we show that various known classes of matroids admit constant-competitive non-adaptive mechanisms.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 26-43"},"PeriodicalIF":1.0,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145748180","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}
引用次数: 0
Lines on digraphs of low diameter 低直径有向图上的线
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-13 DOI: 10.1016/j.dam.2025.12.015
Gabriela Araujo-Pardo , Martín Matamala , Juan Pablo Peña , José Zamora
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvátal in 2008 conjectured that the same result is true in metric spaces for an adequate definition of line. More recently, it was conjectured in 2018 by Aboulker et al. that any large enough bridgeless graph on n vertices defines a metric space that has at least n lines.
We study the natural extension of Aboulker et al.’s conjecture into the context of quasi-metric spaces defined by digraphs of low diameter. We prove that it is valid for quasi-metric spaces defined by bipartite digraphs of diameter at most three, oriented graphs of diameter two and, digraphs of diameter three and directed girth four.
欧几里得平面上n个非共线点的集合定义了至少n条不同的直线。Chen和Chvátal在2008年推测,同样的结果在度量空间中也成立,因为有足够的线的定义。最近,Aboulker等人在2018年推测,任何足够大的n个顶点的无桥图都定义了一个至少有n条线的度量空间。我们研究了Aboulker等人的猜想在由低直径有向图定义的准度量空间中的自然推广。我们证明了它对于由直径最多为3的二部有向图、直径为2的有向图、直径为3的有向图和有向周长为4的有向图所定义的拟度量空间是有效的。
{"title":"Lines on digraphs of low diameter","authors":"Gabriela Araujo-Pardo ,&nbsp;Martín Matamala ,&nbsp;Juan Pablo Peña ,&nbsp;José Zamora","doi":"10.1016/j.dam.2025.12.015","DOIUrl":"10.1016/j.dam.2025.12.015","url":null,"abstract":"<div><div>A set of <span><math><mi>n</mi></math></span> non-collinear points in the Euclidean plane defines at least <span><math><mi>n</mi></math></span> different lines. Chen and Chvátal in 2008 conjectured that the same result is true in metric spaces for an adequate definition of line. More recently, it was conjectured in 2018 by Aboulker et al. that any large enough bridgeless graph on <span><math><mi>n</mi></math></span> vertices defines a metric space that has at least <span><math><mi>n</mi></math></span> lines.</div><div>We study the natural extension of Aboulker et al.’s conjecture into the context of quasi-metric spaces defined by digraphs of low diameter. We prove that it is valid for quasi-metric spaces defined by bipartite digraphs of diameter at most three, oriented graphs of diameter two and, digraphs of diameter three and directed girth four.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"382 ","pages":"Pages 293-300"},"PeriodicalIF":1.0,"publicationDate":"2025-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145737341","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}
引用次数: 0
Bip-ordered bipartite Ramsey number 双序二部拉姆齐数
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-12 DOI: 10.1016/j.dam.2025.12.010
Ayun Zhang , Baoleer , Shinya Fujita , Yaping Mao , Gang Yang
<div><div>An <em>ordered graph</em> is a pair <span><math><mrow><msup><mrow><mi>G</mi></mrow><mrow><mo>≺</mo></mrow></msup><mo>=</mo><mrow><mo>(</mo><mi>G</mi><mo>,</mo><mo>≺</mo><mo>)</mo></mrow></mrow></math></span>, where <span><math><mo>≺</mo></math></span> is a total ordering of the vertex set <span><math><mrow><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>. In this paper, we define a <em>bip-ordered bipartite graph</em> as a pair <span><math><mrow><msup><mrow><mi>G</mi></mrow><mrow><mo><</mo></mrow></msup><mo>=</mo><mrow><mo>(</mo><mi>G</mi><mo>,</mo><mo><</mo><mo>)</mo></mrow></mrow></math></span>, where <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>(</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>,</mo><mi>E</mi><mo>)</mo></mrow></mrow></math></span> is a bipartite graph and where <span><math><mo><</mo></math></span> is a <em>bip-order</em> (for bipartite-order), namely, <span><math><mo><</mo></math></span> is a total bip-order on <span><math><mrow><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><mi>X</mi><mo>∪</mo><mi>Y</mi></mrow></math></span> such that every vertex of <span><math><mi>X</mi></math></span> precedes every vertex of <span><math><mi>Y</mi></math></span> (that is, <span><math><mrow><mi>x</mi><mo><</mo><mi>y</mi></mrow></math></span>, for any <span><math><mrow><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mo>∈</mo><mi>X</mi><mo>×</mo><mi>Y</mi></mrow></math></span>). For bip-ordered bipartite graphs <span><math><mrow><msubsup><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow><mrow><mo><</mo></mrow></msubsup><mo>,</mo><mo>…</mo><mo>,</mo><msubsup><mrow><mi>G</mi></mrow><mrow><mi>k</mi></mrow><mrow><mo><</mo></mrow></msubsup></mrow></math></span>, the <em>bip-ordered bipartite Ramsey number</em> <span><math><mrow><mover><mrow><mi>b</mi><mi>b</mi><mi>r</mi></mrow><mo>¯</mo></mover><mrow><mo>(</mo><msubsup><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow><mrow><mo><</mo></mrow></msubsup><mo>,</mo><mo>…</mo><mo>,</mo><msubsup><mrow><mi>G</mi></mrow><mrow><mi>k</mi></mrow><mrow><mo><</mo></mrow></msubsup><mo>)</mo></mrow></mrow></math></span> is the least positive integer <span><math><mi>N</mi></math></span> for which the following property holds: for any <span><math><mi>k</mi></math></span>-edge-coloring of <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>N</mi><mo>,</mo><mi>N</mi></mrow><mrow><mo><</mo></mrow></msubsup></math></span>, there is a color <span><math><mrow><mi>i</mi><mo>∈</mo><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>k</mi><mo>}</mo></mrow></mrow></math></span>, such that the subgraph of <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>N</mi><mo>,</mo><mi>N</mi></mrow><mrow><mo><</mo></mrow></msubsup></math></span> induced by edges of color <span><math><mi>i</mi></math></span> contains a copy of <span><math><msubsup><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow><mrow><mo><</mo></mrow></msubsup></math></span
有序图是一对G =(G, ),其中的是顶点集合V(G)的总有序。本文将双序二部图定义为一对G<;=(G,<),其中G=(X,Y,E)是二部图,且<;是双序(对于双序),即<;是V(G)=X∪Y上的全双序,使得X的每个顶点都先于Y的每个顶点(即X <; Y,对于任意(X,Y)∈X×Y)。对于双序二部图G1<;,…,Gk<,双序二部拉姆齐数bbr¯(G1<,…,Gk<)是满足以下性质的最小正整数N:对于KN,N<;的任意k边着色,存在一个颜色i∈{1,…,k},使得由颜色i的边诱导的KN,N<;的子图包含一个Gi<;的副本(不一定是诱导的)。我们引入了当k=2时具有特定双序的一些基本双序图的双序二部拉姆齐数的界和精确值,以及当k≥2时基于Lovász局部引理的一般界。
{"title":"Bip-ordered bipartite Ramsey number","authors":"Ayun Zhang ,&nbsp;Baoleer ,&nbsp;Shinya Fujita ,&nbsp;Yaping Mao ,&nbsp;Gang Yang","doi":"10.1016/j.dam.2025.12.010","DOIUrl":"10.1016/j.dam.2025.12.010","url":null,"abstract":"&lt;div&gt;&lt;div&gt;An &lt;em&gt;ordered graph&lt;/em&gt; is a pair &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;≺&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;≺&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, where &lt;span&gt;&lt;math&gt;&lt;mo&gt;≺&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; is a total ordering of the vertex set &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;. In this paper, we define a &lt;em&gt;bip-ordered bipartite graph&lt;/em&gt; as a pair &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, where &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;Y&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is a bipartite graph and where &lt;span&gt;&lt;math&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; is a &lt;em&gt;bip-order&lt;/em&gt; (for bipartite-order), namely, &lt;span&gt;&lt;math&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; is a total bip-order on &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;mo&gt;∪&lt;/mo&gt;&lt;mi&gt;Y&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; such that every vertex of &lt;span&gt;&lt;math&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; precedes every vertex of &lt;span&gt;&lt;math&gt;&lt;mi&gt;Y&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; (that is, &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, for any &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;mo&gt;×&lt;/mo&gt;&lt;mi&gt;Y&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;). For bip-ordered bipartite graphs &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, the &lt;em&gt;bip-ordered bipartite Ramsey number&lt;/em&gt; &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;b&lt;/mi&gt;&lt;mi&gt;b&lt;/mi&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;¯&lt;/mo&gt;&lt;/mover&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is the least positive integer &lt;span&gt;&lt;math&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; for which the following property holds: for any &lt;span&gt;&lt;math&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;-edge-coloring of &lt;span&gt;&lt;math&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;/math&gt;&lt;/span&gt;, there is a color &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, such that the subgraph of &lt;span&gt;&lt;math&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;/math&gt;&lt;/span&gt; induced by edges of color &lt;span&gt;&lt;math&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; contains a copy of &lt;span&gt;&lt;math&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;/math&gt;&lt;/span","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"382 ","pages":"Pages 327-336"},"PeriodicalIF":1.0,"publicationDate":"2025-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145737338","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}
引用次数: 0
Complexity of action path finding with small precondition sets 小前提条件下动作寻径的复杂性
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-12 DOI: 10.1016/j.dam.2025.12.009
Peter Damaschke , Karinne Ramirez-Amaro
Suppose that we are given a finite set of Boolean attributes and a set of actions defined on them. Every action has the effect of changing some attribute values and may also depend on further attribute values which are, however, not changed. The subset of attributes affected by an action is known as precondition. The goal is to find some sequence of executable actions that transform a given initial state into a desired target state. This type of problem appears, e.g., in robot motion planning. In this paper, we study cases of the problem where the precondition of every action only depends on a conjunction of terms with at most two attributes. We classify a number of cases as polynomial-time solvable or NP-complete. They amount to extended versions of some classic graph problems, among them topological orderings and perfect matchings. This appears to be the first systematic study of preconditions, despite the rich literature on many aspects of path finding in finite state spaces. A complete dichotomy of polynomial-time and NP-complete cases remains an open question.
假设给定一组有限的布尔属性和一组定义在这些属性上的动作。每个操作都会改变一些属性值,并且还可能依赖于未改变的其他属性值。受操作影响的属性子集称为先决条件。目标是找到将给定的初始状态转换为期望的目标状态的一些可执行动作序列。这种类型的问题出现,例如,在机器人运动规划。本文研究了每个动作的前提条件只依赖于最多两个属性项的合项的问题。我们将一些情况分类为多项式时间可解或np完全。它们相当于一些经典图问题的扩展版本,其中包括拓扑排序和完美匹配。这似乎是对前提条件的第一个系统研究,尽管在有限状态空间的寻路的许多方面有丰富的文献。多项式时间和np完全情况的完全二分法仍然是一个悬而未决的问题。
{"title":"Complexity of action path finding with small precondition sets","authors":"Peter Damaschke ,&nbsp;Karinne Ramirez-Amaro","doi":"10.1016/j.dam.2025.12.009","DOIUrl":"10.1016/j.dam.2025.12.009","url":null,"abstract":"<div><div>Suppose that we are given a finite set of Boolean attributes and a set of actions defined on them. Every action has the effect of changing some attribute values and may also depend on further attribute values which are, however, not changed. The subset of attributes affected by an action is known as precondition. The goal is to find some sequence of executable actions that transform a given initial state into a desired target state. This type of problem appears, e.g., in robot motion planning. In this paper, we study cases of the problem where the precondition of every action only depends on a conjunction of terms with at most two attributes. We classify a number of cases as polynomial-time solvable or NP-complete. They amount to extended versions of some classic graph problems, among them topological orderings and perfect matchings. This appears to be the first systematic study of preconditions, despite the rich literature on many aspects of path finding in finite state spaces. A complete dichotomy of polynomial-time and NP-complete cases remains an open question.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"381 ","pages":"Pages 339-348"},"PeriodicalIF":1.0,"publicationDate":"2025-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145790231","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}
引用次数: 0
Maximum bond incident degree indices for trees and unicyclic graphs with given maximum degree 给定最大度的树和单环图的最大键关联度指标
IF 1 3区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-12-12 DOI: 10.1016/j.dam.2025.12.021
Ioan Tomescu
The bond incident degree (BID) index Tf(G) of a connected graph G with edge-weight function f(x,y) is defined as Tf(G)=vivjE(G)f(d(vi),d(vj)), where f(x,y)>0 is a symmetric real function with x1 and y1 and d(u) is the degree of vertex u in G. In this paper, we find extremal trees and unicyclic graphs of order n with given maximum degree having maximum bond incident degree index Tf if edge-weight symmetric function f(x,y) satisfies five conditions. These conditions are fulfilled by sum-connectivity index, general sum-connectivity index, modified Sombor index and harmonic index.
定义具有边权函数f(x,y)的连通图G的键关联度(BID)指标Tf(G)为Tf(G)=∑vivj∈E(G)f(d(vi),d(vj)),其中f(x,y)>;0为x≥1,y≥1的对称实函数,d(u)为G中顶点u的度。本文在边权对称函数f(x,y)满足5个条件的情况下,得到具有最大键关联度的n阶极值树和单环图。这些条件由和连通性指数、一般和连通性指数、修正Sombor指数和调和指数来满足。
{"title":"Maximum bond incident degree indices for trees and unicyclic graphs with given maximum degree","authors":"Ioan Tomescu","doi":"10.1016/j.dam.2025.12.021","DOIUrl":"10.1016/j.dam.2025.12.021","url":null,"abstract":"<div><div>The bond incident degree (BID) index <span><math><mrow><msub><mrow><mi>T</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> of a connected graph <span><math><mi>G</mi></math></span> with edge-weight function <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow></mrow></math></span> is defined as <span><math><mrow><msub><mrow><mi>T</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><munder><mrow><mo>∑</mo></mrow><mrow><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∈</mo><mi>E</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></munder><mi>f</mi><mrow><mo>(</mo><mi>d</mi><mrow><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><mo>,</mo><mi>d</mi><mrow><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>)</mo></mrow><mo>)</mo></mrow><mo>,</mo></mrow></math></span> where <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mo>&gt;</mo><mn>0</mn></mrow></math></span> is a symmetric real function with <span><math><mrow><mi>x</mi><mo>≥</mo><mn>1</mn></mrow></math></span> and <span><math><mrow><mi>y</mi><mo>≥</mo><mn>1</mn></mrow></math></span> and <span><math><mrow><mi>d</mi><mrow><mo>(</mo><mi>u</mi><mo>)</mo></mrow></mrow></math></span> is the degree of vertex <span><math><mi>u</mi></math></span> in <span><math><mi>G</mi></math></span>. In this paper, we find extremal trees and unicyclic graphs of order <span><math><mi>n</mi></math></span> with given maximum degree having maximum bond incident degree index <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>f</mi></mrow></msub></math></span> if edge-weight symmetric function <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow></mrow></math></span> satisfies five conditions. These conditions are fulfilled by sum-connectivity index, general sum-connectivity index, modified Sombor index and harmonic index.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"382 ","pages":"Pages 272-276"},"PeriodicalIF":1.0,"publicationDate":"2025-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145737326","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}
引用次数: 0
期刊
Discrete Applied Mathematics
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1