Pub Date : 2023-12-23DOI: 10.1007/s00373-023-02738-5
Peter Frankl, Jian Wang
Let ([n]=X_1cup X_2cup X_3) be a partition with (lfloor frac{n}{3}rfloor le |X_i|le lceil frac{n}{3}rceil ) and define ({mathcal {G}}={Gsubset [n]:|Gcap X_i|le 1, 1le ile 3}). It is easy to check that the trace ({mathcal {G}}_{mid Y}:={Gcap Y:Gin {mathcal {G}}}) satisfies (|{mathcal {G}}_{mid Y}|le 12) for all 4-sets (Ysubset [n]). In the present paper, we prove that if ({mathcal {F}}subset 2^{[n]}) satisfies (|{mathcal {F}}|>|{mathcal {G}}|) and (nge 28), then (|{mathcal {F}}_{mid C}|ge 13) for some (Csubset [n]), (|C|=4). Several further results of a similar flavor are established as well.
让 ([n]=X_1cup X_2cup X_3) 是一个具有 (lfloor frac{n}{3}rfloor le |X_i|le lceil frac{n}{3}rceil )的分区,并定义 ({mathcal {G}}={Gsubset [n]:|Gcap X_i|le 1, 1le ile 3}).我们可以很容易地检验出,对于所有的4集合(Y子集[n]),迹线({mathcal {G}}_{mid Y}:={Gcap Y:Gin {mathcal {G}}}) 满足(|{mathcal {G}}_{mid Y}}|le 12).在本文中,我们将证明如果 ({mathcal {F}}subset 2^{[n]}) 满足 (|{mathcal {F}}|>;|和 (nge 28), then (|{mid C}|ge 13) for some (Csubset [n]), (|C|=4).我们还建立了几个类似的结果。
{"title":"Four-vertex traces of finite sets","authors":"Peter Frankl, Jian Wang","doi":"10.1007/s00373-023-02738-5","DOIUrl":"https://doi.org/10.1007/s00373-023-02738-5","url":null,"abstract":"<p>Let <span>([n]=X_1cup X_2cup X_3)</span> be a partition with <span>(lfloor frac{n}{3}rfloor le |X_i|le lceil frac{n}{3}rceil )</span> and define <span>({mathcal {G}}={Gsubset [n]:|Gcap X_i|le 1, 1le ile 3})</span>. It is easy to check that the trace <span>({mathcal {G}}_{mid Y}:={Gcap Y:Gin {mathcal {G}}})</span> satisfies <span>(|{mathcal {G}}_{mid Y}|le 12)</span> for all 4-sets <span>(Ysubset [n])</span>. In the present paper, we prove that if <span>({mathcal {F}}subset 2^{[n]})</span> satisfies <span>(|{mathcal {F}}|>|{mathcal {G}}|)</span> and <span>(nge 28)</span>, then <span>(|{mathcal {F}}_{mid C}|ge 13)</span> for some <span>(Csubset [n])</span>, <span>(|C|=4)</span>. Several further results of a similar flavor are established as well.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"3 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139028538","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-23DOI: 10.1007/s00373-023-02733-w
Weichan Liu, Guiying Yan
A weak-dynamic coloring of a graph is a vertex coloring (not necessarily proper) in such a way that each vertex of degree at least two sees at least two colors in its neighborhood. It is proved that the weak-dynamic chromatic number of the class of k-planar graphs (resp. IC-planar graphs) is equal to (resp. at most) the chromatic number of the class of 2k-planar graphs (resp. 1-planar graphs), and therefore every IC-planar graph has a weak-dynamic 6-coloring (being sharp) and every 1-planar graph has a weak-dynamic 9-coloring. Moreover, we conclude that the well-known Four Color Theorem is equivalent to the proposition that every planar graph has a weak-dynamic 4-coloring, or even that every (C_4)-free bipartite planar graph has a weak-dynamic 4-coloring. It is also showed that deciding if a given graph has a weak-dynamic k-coloring is NP-complete for every integer (kge 3).
{"title":"Weak-Dynamic Coloring of Graphs Beyond-Planarity","authors":"Weichan Liu, Guiying Yan","doi":"10.1007/s00373-023-02733-w","DOIUrl":"https://doi.org/10.1007/s00373-023-02733-w","url":null,"abstract":"<p>A weak-dynamic coloring of a graph is a vertex coloring (not necessarily proper) in such a way that each vertex of degree at least two sees at least two colors in its neighborhood. It is proved that the weak-dynamic chromatic number of the class of <i>k</i>-planar graphs (resp. IC-planar graphs) is equal to (resp. at most) the chromatic number of the class of 2<i>k</i>-planar graphs (resp. 1-planar graphs), and therefore every IC-planar graph has a weak-dynamic 6-coloring (being sharp) and every 1-planar graph has a weak-dynamic 9-coloring. Moreover, we conclude that the well-known Four Color Theorem is equivalent to the proposition that every planar graph has a weak-dynamic 4-coloring, or even that every <span>(C_4)</span>-free bipartite planar graph has a weak-dynamic 4-coloring. It is also showed that deciding if a given graph has a weak-dynamic <i>k</i>-coloring is NP-complete for every integer <span>(kge 3)</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"112 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139028557","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-20DOI: 10.1007/s00373-023-02732-x
Abstract
Let (P_4) denote the path on four vertices. A (P_4)-packing of a graph G is a collection of vertex-disjoint copies of (P_4) in G. The maximum (P_4)-packing problem is to find a (P_4)-packing of maximum cardinality in a graph. In this paper, we prove that every simple cubic graph G on v(G) vertices has a (P_4)-packing covering at least (frac{2v(G)}{3}) vertices of G and that this lower bound is sharp. Our proof provides a quadratic-time algorithm for finding such a (P_4)-packing of a simple cubic graph.
摘要 让 (P_4) 表示四个顶点上的路径。一个图 G 的 (P_4) -packing是 G 中 (P_4) 的顶点互不相交的副本的集合。最大 (P_4) -packing问题是在一个图中找到一个最大心数的(P_4) -packing。在本文中,我们证明了在 v(G) 个顶点上的每个简单立方图 G 都有一个至少覆盖了 G 的 (frac{2v(G)}{3}) 个顶点的 (P_4) -packing,并且这个下界是尖锐的。我们的证明提供了一种四元时间算法,用于找到简单立方图的(P_4) -packing。
{"title":"The Maximum 4-Vertex-Path Packing of a Cubic Graph Covers At Least Two-Thirds of Its Vertices","authors":"","doi":"10.1007/s00373-023-02732-x","DOIUrl":"https://doi.org/10.1007/s00373-023-02732-x","url":null,"abstract":"<h3>Abstract</h3> <p>Let <span> <span>(P_4)</span> </span> denote the path on four vertices. A <span> <span>(P_4)</span> </span>-packing of a graph <em>G</em> is a collection of vertex-disjoint copies of <span> <span>(P_4)</span> </span> in <em>G</em>. The maximum <span> <span>(P_4)</span> </span>-packing problem is to find a <span> <span>(P_4)</span> </span>-packing of maximum cardinality in a graph. In this paper, we prove that every simple cubic graph <em>G</em> on <em>v</em>(<em>G</em>) vertices has a <span> <span>(P_4)</span> </span>-packing covering at least <span> <span>(frac{2v(G)}{3})</span> </span> vertices of <em>G</em> and that this lower bound is sharp. Our proof provides a quadratic-time algorithm for finding such a <span> <span>(P_4)</span> </span>-packing of a simple cubic graph.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"33 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138817769","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-14DOI: 10.1007/s00373-023-02731-y
Ye Wang, Yusheng Li, Yan Li
For graphs (H_1,H_2,dots ,H_k), the k-color Turán number (ex(n,H_1,H_2,dots ,H_k)) is the maximum number of edges in a k-colored graph of order n that does not contain monochromatic (H_i) in color i as a subgraph, where (1le ile k). In this note, we show that if (H_i) is a bipartite graph with at least two edges for (1le ile k), then (ex(n,H_1,H_2,dots ,H_k)=(1+o(1))sum _{i=1}^kex(n,H_i)) as (nrightarrow infty ), in which the non-constructive proof for some cases can be derandomized.
对于图(H_1,H_2,dots ,H_k),k-color Turán number (ex(n,H_1,H_2,dots ,H_k))是阶数为 n 的 k-color图中不包含颜色 i 的单色图(H_i)作为子图的最大边数,其中 (1le ile k).在本说明中,我们将证明如果 (H_i) 是一个至少有两条边的二(2)方图,那么 (ex(n,H_1,H_2,dots 、H_k)=(1+o(1))sum _{i=1}^kex(n,H_i)) as (nrightarrow infty ), in which the non-constructive proof for some cases can be derandomized.
{"title":"Turán Numbers of Several Bipartite Graphs","authors":"Ye Wang, Yusheng Li, Yan Li","doi":"10.1007/s00373-023-02731-y","DOIUrl":"https://doi.org/10.1007/s00373-023-02731-y","url":null,"abstract":"<p>For graphs <span>(H_1,H_2,dots ,H_k)</span>, the <i>k</i>-color Turán number <span>(ex(n,H_1,H_2,dots ,H_k))</span> is the maximum number of edges in a <i>k</i>-colored graph of order <i>n</i> that does not contain monochromatic <span>(H_i)</span> in color <i>i</i> as a subgraph, where <span>(1le ile k)</span>. In this note, we show that if <span>(H_i)</span> is a bipartite graph with at least two edges for <span>(1le ile k)</span>, then <span>(ex(n,H_1,H_2,dots ,H_k)=(1+o(1))sum _{i=1}^kex(n,H_i))</span> as <span>(nrightarrow infty )</span>, in which the non-constructive proof for some cases can be derandomized.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"292 1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138684139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-14DOI: 10.1007/s00373-023-02712-1
András Sebő
Tashkinov-trees have been used as a tool for proving bounds on the chromatic index, and are becoming a fundamental tool for edge-coloring. Was its publication in a language different from English an obstacle for the accessibility of a clean and complete proof of Tashkinov’s fundamental theorem? Tashkinov’s original, Russian paper offers a clear presentation of this theorem and its proof. The theorem itself has been well understood and successfully applied, but the proof is more difficult. It builds a truly amazing recursive machine, where the various cases necessitate a refined and polished analysis to fit into one another with surprising smoothness and accuracy. The difficulties were brilliantly unknotted by the author, deserving repeated attention. The present work is the result of reading, translating, reorganizing, rewriting, completing, shortcutting and annotating Tashkinov’s proof. It is essentially the same proof, with non-negligeable communicational differences though, for instance completing it wherever it occurred to be necessary, and simplifying it whenever it appeared to be possible, at the same time trying to adapt it to the habits and taste of the international graph theory community.
{"title":"Tashkinov-Trees: An Annotated Proof","authors":"András Sebő","doi":"10.1007/s00373-023-02712-1","DOIUrl":"https://doi.org/10.1007/s00373-023-02712-1","url":null,"abstract":"<p>Tashkinov-trees have been used as a tool for proving bounds on the chromatic index, and are becoming a fundamental tool for edge-coloring. Was its publication in a language different from English an obstacle for the accessibility of a clean and complete proof of Tashkinov’s fundamental theorem? Tashkinov’s original, Russian paper offers a clear presentation of this theorem and its proof. The theorem itself has been well understood and successfully applied, but the proof is more difficult. It builds a truly amazing recursive machine, where the various cases necessitate a refined and polished analysis to fit into one another with surprising smoothness and accuracy. The difficulties were brilliantly unknotted by the author, deserving repeated attention. The present work is the result of reading, translating, reorganizing, rewriting, completing, shortcutting and annotating Tashkinov’s proof. It is essentially the same proof, with non-negligeable communicational differences though, for instance completing it wherever it occurred to be necessary, and simplifying it whenever it appeared to be possible, at the same time trying to adapt it to the habits and taste of the international graph theory community.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"32 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138684207","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-04DOI: 10.1007/s00373-023-02728-7
Jingru Yan
Given a graph H and a positive integer n, the Turán number of H of the order n, denoted by ex(n, H), is the maximum size of a simple graph of order n that does not contain H as a subgraph. Given graphs G and H, (G vee H) denotes the join of G and H. In this paper, we prove (ex(n, K_m vee C_{2k-1}) = leftlfloor frac{(m+1)n^2}{2(m+2)}rightrfloor ) for (nge 2(m+2)k-3(m+2)-1).
给定一个图H和一个正整数n,用ex(n, H)表示的n阶H的个数Turán是不包含H作为子图的n阶简单图的最大大小。给定图G和图H, (G vee H)表示G和H的连接。本文证明了(nge 2(m+2)k-3(m+2)-1)的(ex(n, K_m vee C_{2k-1}) = leftlfloor frac{(m+1)n^2}{2(m+2)}rightrfloor )。
{"title":"On the Turán Number of $$K_m vee C_{2k-1}$$","authors":"Jingru Yan","doi":"10.1007/s00373-023-02728-7","DOIUrl":"https://doi.org/10.1007/s00373-023-02728-7","url":null,"abstract":"<p>Given a graph <i>H</i> and a positive integer <i>n</i>, the Turán number of <i>H</i> of the order <i>n</i>, denoted by <i>ex</i>(<i>n</i>, <i>H</i>), is the maximum size of a simple graph of order <i>n</i> that does not contain <i>H</i> as a subgraph. Given graphs <i>G</i> and <i>H</i>, <span>(G vee H)</span> denotes the join of <i>G</i> and <i>H</i>. In this paper, we prove <span>(ex(n, K_m vee C_{2k-1}) = leftlfloor frac{(m+1)n^2}{2(m+2)}rightrfloor )</span> for <span>(nge 2(m+2)k-3(m+2)-1)</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"15 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138530253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-04DOI: 10.1007/s00373-023-02730-z
Jagdeep Singh
A graph that can be generated from (K_1) using joins and 0-sums is called a cograph. We define a sesquicograph to be a graph that can be generated from (K_1) using joins, 0-sums, and 1-sums. We show that, like cographs, sesquicographs are closed under induced minors. Cographs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We obtain an analogue of this result for sesquicographs, that is, we find those non-sesquicographs for which every proper induced subgraph is a sesquicograph.
{"title":"Cographs and 1-Sums","authors":"Jagdeep Singh","doi":"10.1007/s00373-023-02730-z","DOIUrl":"https://doi.org/10.1007/s00373-023-02730-z","url":null,"abstract":"<p>A graph that can be generated from <span>(K_1)</span> using joins and 0-sums is called a cograph. We define a sesquicograph to be a graph that can be generated from <span>(K_1)</span> using joins, 0-sums, and 1-sums. We show that, like cographs, sesquicographs are closed under induced minors. Cographs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We obtain an analogue of this result for sesquicographs, that is, we find those non-sesquicographs for which every proper induced subgraph is a sesquicograph.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"12 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138530258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-11-29DOI: 10.1007/s00373-023-02725-w
Guangfu Wang, Zhikun Xiong, Lijun Chen
A connected graph G is called (l_{1})-embeddable, if it can be isometrically embedded into the (l_{1})-space. The shifted quadrilateral cylinder graph (O_{m,n,k}) is a class of quadrilateral tilings on a cylinder obtained by rolling the grid graph (P_{m}square P_{n}) via shifting k positions. In this article, we determine that all the (O_{m,n,k}) are not (l_{1})-embeddable except for (O_{m,n,0}) and (O_{m,3,1}).
{"title":"$$l_{1}$$ -embeddability of shifted quadrilateral cylinder graphs","authors":"Guangfu Wang, Zhikun Xiong, Lijun Chen","doi":"10.1007/s00373-023-02725-w","DOIUrl":"https://doi.org/10.1007/s00373-023-02725-w","url":null,"abstract":"<p>A connected graph <i>G</i> is called <span>(l_{1})</span>-embeddable, if it can be isometrically embedded into the <span>(l_{1})</span>-space. The shifted quadrilateral cylinder graph <span>(O_{m,n,k})</span> is a class of quadrilateral tilings on a cylinder obtained by rolling the grid graph <span>(P_{m}square P_{n})</span> via shifting <i>k</i> positions. In this article, we determine that all the <span>(O_{m,n,k})</span> are not <span>(l_{1})</span>-embeddable except for <span>(O_{m,n,0})</span> and <span>(O_{m,3,1})</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"195 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138530293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-11-28DOI: 10.1007/s00373-023-02726-9
Michael A. Henning, Kusum, Arti Pandey, Kaustav Paul
Let (G=(V,E)) be a graph with no isolated vertices. A vertex v totally dominates a vertex w ((w ne v)), if v is adjacent to w. A set (D subseteq V) called a total dominating set of G if every vertex (vin V) is totally dominated by some vertex in D. The minimum cardinality of a total dominating set is the total domination number of G and is denoted by (gamma _t(G)). A total dominator coloring of graph G is a proper coloring of vertices of G, so that each vertex totally dominates some color class. The total dominator chromatic number (chi _{{textrm{td}}}(G)) of G is the least number of colors required for a total dominator coloring of G. The Total Dominator Coloring problem is to find a total dominator coloring of G using the minimum number of colors. It is known that the decision version of this problem is NP-complete for general graphs. We show that it remains NP-complete even when restricted to bipartite, planar and split graphs. We further study the Total Dominator Coloring problem for various graph classes, including trees, cographs and chain graphs. First, we characterize the trees having (chi _{{textrm{td}}}(T)=gamma _t(T)+1), which completes the characterization of trees achieving all possible values of (chi _{{textrm{td}}}(T)). Also, we show that for a cograph G, (chi _{{textrm{td}}}(G)) can be computed in linear-time. Moreover, we show that (2 le chi _{{textrm{td}}}(G) le 4) for a chain graph G and then we characterize the class of chain graphs for every possible value of (chi _{{textrm{td}}}(G)) in linear-time.
设(G=(V,E))是一个没有孤立顶点的图。如果v与w相邻,顶点v完全支配顶点w ((w ne v))。如果每个顶点(vin V)完全被d中的某个顶点支配,则集合(D subseteq V)称为G的总支配集。总支配集的最小基数是G的总支配数,用(gamma _t(G))表示。图G的完全支配着色是G的顶点的适当着色,使得每个顶点完全支配某个颜色类。G的总支配子色数(chi _{{textrm{td}}}(G))是G的总支配子着色所需的最少色数。总支配子着色问题是用最少色数找到G的总支配子着色。已知对于一般图,该问题的决策版本是np完全的。我们证明了即使在二部图、平面图和分割图中,它仍然是np完全的。我们进一步研究了各种图类的总支配子着色问题,包括树图、图和链图。首先,我们对具有(chi _{{textrm{td}}}(T)=gamma _t(T)+1)的树进行表征,这样就完成了对达到(chi _{{textrm{td}}}(T))所有可能值的树的表征。此外,我们还证明了对于图G, (chi _{{textrm{td}}}(G))可以在线性时间内计算。此外,我们证明了链图G的(2 le chi _{{textrm{td}}}(G) le 4),然后我们刻画了链图在线性时间内(chi _{{textrm{td}}}(G))的每一个可能值的类别。
{"title":"Complexity of Total Dominator Coloring in Graphs","authors":"Michael A. Henning, Kusum, Arti Pandey, Kaustav Paul","doi":"10.1007/s00373-023-02726-9","DOIUrl":"https://doi.org/10.1007/s00373-023-02726-9","url":null,"abstract":"<p>Let <span>(G=(V,E))</span> be a graph with no isolated vertices. A vertex <i>v</i> totally dominates a vertex <i>w</i> (<span>(w ne v)</span>), if <i>v</i> is adjacent to <i>w</i>. A set <span>(D subseteq V)</span> called a <i>total dominating set</i> of <i>G</i> if every vertex <span>(vin V)</span> is totally dominated by some vertex in <i>D</i>. The minimum cardinality of a total dominating set is the <i>total domination number</i> of <i>G</i> and is denoted by <span>(gamma _t(G))</span>. A <i>total dominator coloring</i> of graph <i>G</i> is a proper coloring of vertices of <i>G</i>, so that each vertex totally dominates some color class. The total dominator chromatic number <span>(chi _{{textrm{td}}}(G))</span> of <i>G</i> is the least number of colors required for a total dominator coloring of <i>G</i>. The <span>Total Dominator Coloring</span> problem is to find a total dominator coloring of <i>G</i> using the minimum number of colors. It is known that the decision version of this problem is NP-complete for general graphs. We show that it remains NP-complete even when restricted to bipartite, planar and split graphs. We further study the <span>Total Dominator Coloring</span> problem for various graph classes, including trees, cographs and chain graphs. First, we characterize the trees having <span>(chi _{{textrm{td}}}(T)=gamma _t(T)+1)</span>, which completes the characterization of trees achieving all possible values of <span>(chi _{{textrm{td}}}(T))</span>. Also, we show that for a cograph <i>G</i>, <span>(chi _{{textrm{td}}}(G))</span> can be computed in linear-time. Moreover, we show that <span>(2 le chi _{{textrm{td}}}(G) le 4)</span> for a chain graph <i>G</i> and then we characterize the class of chain graphs for every possible value of <span>(chi _{{textrm{td}}}(G))</span> in linear-time.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"72 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138530250","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-11-23DOI: 10.1007/s00373-023-02721-0
Rui Li, Tao Wang
DP-coloring was introduced by Dvořák and Postle as a generalization of list coloring and signed coloring. A new coloring, strictly f-degenerate transversal, is a further generalization of DP-coloring and L-forested-coloring. In this paper, we present some structural results on planar and toroidal graphs with forbidden configurations, and establish some sufficient conditions for the existence of strictly f-degenerate transversal based on these structural results. Consequently, (i) every toroidal graph without subgraphs in Fig. 2 is DP-4-colorable, and has list vertex arboricity at most 2, (ii) every toroidal graph without 4-cycles is DP-4-colorable, and has list vertex arboricity at most 2, (iii) every planar graph without subgraphs isomorphic to the configurations in Fig. 3 is DP-4-colorable, and has list vertex arboricity at most 2. These results improve upon previous results on DP-4-coloring (Kim and Ozeki in Discrete Math 341(7):1983–1986. https://doi.org/10.1016/j.disc.2018.03.027, 2018; Sittitrai and Nakprasit in Bull Malays Math Sci Soc 43(3):2271–2285. https://doi.org/10.1007/s40840-019-00800-1, 2020) and (list) vertex arboricity (Choi and Zhang in Discrete Math 333:101–105. https://doi.org/10.1016/j.disc.2014.06.011, 2014; Huang et al. in Int J Math Stat 16(1):97–105, 2015; Zhang in Iranian Math Soc 42(5):1293–1303, 2016).
dp -着色是由Dvořák和Postle作为列表着色和符号着色的推广引入的。严格f-简并截线是dp -着色和l -森林着色的进一步推广。本文给出了禁止构型平面图和环面图上的一些结构结果,并在此基础上建立了严格f-简并截线存在的一些充分条件。因此,(i)图2中所有不含子图的环面图都是dp -4可色的,且列表顶点不超过2;(ii)所有不含4环的环面图都是dp -4可色的,且列表顶点不超过2;(iii)所有不含与图3构型同构的子图都是dp -4可色的,且列表顶点不超过2。这些结果改进了先前关于dp -4着色的结果(Kim和Ozeki在离散数学341(7):1983-1986)。https://doi.org/10.1016/j.disc.2018.03.027, 2018;马来数学与社会科学43(3):2271-2285。https://doi.org/10.1007/s40840-019-00800-1, 2020)和(list)顶点树性(Choi and Zhang in Discrete Math 333:101-105)。https://doi.org/10.1016/j.disc.2014.06.011, 2014;[J] .国际数学学报,16(1):97-105;伊朗数学学报42(5):1293-1303,2016)。
{"title":"Variable Degeneracy on Toroidal Graphs","authors":"Rui Li, Tao Wang","doi":"10.1007/s00373-023-02721-0","DOIUrl":"https://doi.org/10.1007/s00373-023-02721-0","url":null,"abstract":"<p>DP-coloring was introduced by Dvořák and Postle as a generalization of list coloring and signed coloring. A new coloring, strictly <i>f</i>-degenerate transversal, is a further generalization of DP-coloring and <i>L</i>-forested-coloring. In this paper, we present some structural results on planar and toroidal graphs with forbidden configurations, and establish some sufficient conditions for the existence of strictly <i>f</i>-degenerate transversal based on these structural results. Consequently, (i) every toroidal graph without subgraphs in Fig. 2 is DP-4-colorable, and has list vertex arboricity at most 2, (ii) every toroidal graph without 4-cycles is DP-4-colorable, and has list vertex arboricity at most 2, (iii) every planar graph without subgraphs isomorphic to the configurations in Fig. 3 is DP-4-colorable, and has list vertex arboricity at most 2. These results improve upon previous results on DP-4-coloring (Kim and Ozeki in Discrete Math 341(7):1983–1986. https://doi.org/10.1016/j.disc.2018.03.027, 2018; Sittitrai and Nakprasit in Bull Malays Math Sci Soc 43(3):2271–2285. https://doi.org/10.1007/s40840-019-00800-1, 2020) and (list) vertex arboricity (Choi and Zhang in Discrete Math 333:101–105. https://doi.org/10.1016/j.disc.2014.06.011, 2014; Huang et al. in Int J Math Stat 16(1):97–105, 2015; Zhang in Iranian Math Soc 42(5):1293–1303, 2016).</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"39 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138530252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}