Showing 1–20 of 20 results for author: Kardoš, F

Note on robust coloring of planar graphs

Authors: František Kardoš, Borut Lužar, Roman Soták

Abstract: We consider the robust chromatic number $χかい_1(G)$ of planar graphs $G$ and show that there exists an infinite family of planar graphs $G$ with $χかい_1(G) = 3$, thus solving a recent problem of Bacsó~et~al. ({\em The robust chromatic number of graphs}, arXiv preprint no. 2305.01923). We consider the robust chromatic number $χかい_1(G)$ of planar graphs $G$ and show that there exists an infinite family of planar graphs $G$ with $χかい_1(G) = 3$, thus solving a recent problem of Bacsó~et~al. ({\em The robust chromatic number of graphs}, arXiv preprint no. 2305.01923). △ Less

Submitted 16 January, 2024; originally announced January 2024.

Three-cuts are a charm: acyclicity in 3-connected cubic graphs

Authors: František Kardoš, Edita Máčajová, Jean Paul Zerafa

Abstract: Let $G$ be a bridgeless cubic graph. In 2023, the three authors solved a conjecture (also known as the $S_4$-Conjecture) made by Mazzuoccolo in 2013: there exist two perfect matchings of $G$ such that the complement of their union is a bipartite subgraph of $G$. They actually show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbi… ▽ More Let $G$ be a bridgeless cubic graph. In 2023, the three authors solved a conjecture (also known as the $S_4$-Conjecture) made by Mazzuoccolo in 2013: there exist two perfect matchings of $G$ such that the complement of their union is a bipartite subgraph of $G$. They actually show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. This is a step closer to comprehend better the Fan--Raspaud Conjecture and eventually the Berge--Fulkerson Conjecture. The $S_4$-Conjecture, now a theorem, is also the weakest assertion in a series of three conjectures made by Mazzuoccolo in 2013, with the next stronger statement being: there exist two perfect matchings of $G$ such that the complement of their union is an acyclic subgraph of $G$. Unfortunately, this conjecture is not true: Jin, Steffen, and Mazzuoccolo later showed that there exists a counterexample admitting 2-cuts. Here we show that, despite of this, every cyclically 3-edge-connected cubic graph satisfies this second conjecture. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 21 pages, 12 figures. arXiv admin note: text overlap with arXiv:2204.10021

MSC Class: 05C15; 05C70

Disjoint odd circuits in a bridgeless cubic graph can be quelled by a single perfect matching

Authors: František Kardoš, Edita Máčajová, Jean Paul Zerafa

Abstract: Let $G$ be a bridgeless cubic graph. The Berge--Fulkerson Conjecture (1970s) states that $G$ admits a list of six perfect matchings such that each edge of $G$ belongs to exactly two of these perfect matchings. If answered in the affirmative, two other recent conjectures would also be true: the Fan--Raspaud Conjecture (1994), which states that $G$ admits three perfect matchings such that every edge… ▽ More Let $G$ be a bridgeless cubic graph. The Berge--Fulkerson Conjecture (1970s) states that $G$ admits a list of six perfect matchings such that each edge of $G$ belongs to exactly two of these perfect matchings. If answered in the affirmative, two other recent conjectures would also be true: the Fan--Raspaud Conjecture (1994), which states that $G$ admits three perfect matchings such that every edge of $G$ belongs to at most two of them; and a conjecture by Mazzuoccolo (2013), which states that $G$ admits two perfect matchings whose deletion yields a bipartite subgraph of $G$. It can be shown that given an arbitrary perfect matching of $G$, it is not always possible to extend it to a list of three or six perfect matchings satisfying the statements of the Fan--Raspaud and the Berge--Fulkerson conjectures, respectively. In this paper, we show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there always exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. Our result implies Mazzuoccolo's conjecture, but not only. It also implies that given any collection of disjoint odd circuits in $G$, there exists a perfect matching of $G$ containing at least one edge of each circuit in this collection. △ Less

Submitted 29 December, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 13 pages, 8 figures

MSC Class: 05C15; 05C70

Journal ref: J. Combin. Theory Ser. B 160, 1--14 (2023). Share Link: https://authors.elsevier.com/a/1gKfKLpTmV29P

Strengthening a theorem of Meyniel

Authors: Quentin Deschamps, Carl Feghali, František Kardoš, Clément Legrand-Duchesne, Théo Pierron

Abstract: For an integer $k \geq 1$ and a graph $G$, let $\mathcal{K}_k(G)$ be the graph that has vertex set all proper $k$-colorings of $G$, and an edge between two vertices $αあるふぁ$ and~$βべーた$ whenever the coloring~$βべーた$ can be obtained from $αあるふぁ$ by a single Kempe change. A theorem of Meyniel from 1978 states that $\mathcal{K}_5(G)$ is connected with diameter $O(5^{|V(G)|})$ for every planar graph $G$. We significan… ▽ More For an integer $k \geq 1$ and a graph $G$, let $\mathcal{K}_k(G)$ be the graph that has vertex set all proper $k$-colorings of $G$, and an edge between two vertices $αあるふぁ$ and~$βべーた$ whenever the coloring~$βべーた$ can be obtained from $αあるふぁ$ by a single Kempe change. A theorem of Meyniel from 1978 states that $\mathcal{K}_5(G)$ is connected with diameter $O(5^{|V(G)|})$ for every planar graph $G$. We significantly strengthen this result, by showing that there is a positive constant $c$ such that $\mathcal{K}_5(G)$ has diameter $O(|V(G)|^c)$ for every planar graph $G$. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Comments: 9 pages, 1 figure

Subcubic planar graphs of girth 7 are class I

Authors: Sebastien Bonduelle, František Kardoš

Abstract: We prove that planar graphs of maximum degree 3 and of girth at least 7 are 3-edge-colorable, extending the previous result for girth at least 8 by Kronk, Radlowski, and Franen from 1974. We prove that planar graphs of maximum degree 3 and of girth at least 7 are 3-edge-colorable, extending the previous result for girth at least 8 by Kronk, Radlowski, and Franen from 1974. △ Less

Submitted 22 April, 2022; v1 submitted 13 August, 2021; originally announced August 2021.

Comments: 7 pages plus 6 pages of annex; 11 figures

MSC Class: 05C15 ACM Class: G.2.2

Circular $(4-εいぷしろん)$-coloring of some classes of signed graphs

Authors: František Kardoš, Jonathan Narboni, Reza Naserasr, Zhouningxin Wang

Abstract: A circular $r$-coloring of a signed graph $(G, σしぐま)$ is an assignment $φふぁい$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, σしぐま)$ such that for each positive edge $uv$ of $(G, σしぐま)$ the distance of $φふぁい(v)$ and $φふぁい(v)$ is at least 1 and for each negative edge $uv$ the distance of $φふぁい(u)$ from the antipodal of $φふぁい(v)$ is at least 1. The circular chromatic number of $(G, σしぐま)$, denoted… ▽ More A circular $r$-coloring of a signed graph $(G, σしぐま)$ is an assignment $φふぁい$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, σしぐま)$ such that for each positive edge $uv$ of $(G, σしぐま)$ the distance of $φふぁい(v)$ and $φふぁい(v)$ is at least 1 and for each negative edge $uv$ the distance of $φふぁい(u)$ from the antipodal of $φふぁい(v)$ is at least 1. The circular chromatic number of $(G, σしぐま)$, denoted $χかい_c(G, σしぐま)$, is the infimum of $r$ such that $(G, σしぐま)$ admits a circular $r$-coloring. This notion is recently defined by Naserasr, Wang, and Zhu who, among other results, proved that for any signed $d$-degenerate simple graph $\hat{G}$ we have $χかい_c(\hat{G})\leq 2d$. For $d\geq 3$, examples of signed $d$-degenerate simple graphs of circular chromatic number $2d$ are provided. But for $d=2$ only examples of signed 2-degenerate simple graphs of circular chromatic number close enough to $4$ are given, noting that these examples are also signed bipartite planar graphs. In this work we first observe the following restatement of the 4-color theorem: If $(G,σしぐま)$ is a signed bipartite planar simple graph where vertices of one part are all of degree 2, then $χかい_c(G,σしぐま)\leq \frac{16}{5}$. Motivated by this observation, we provide an improved upper bound of $ 4-\dfrac{2}{\lfloor \frac{n+1}{2} \rfloor}$ for the circular chromatic number of a signed 2-degenerate simple graph on $n$ vertices and an improved upper bound of $ 4-\dfrac{4}{\lfloor \frac{n+2}{2} \rfloor}$ for the circular chromatic number of a signed bipartite planar simple graph on $n$ vertices. We then show that each of the bounds is tight for any value of $n\geq 4$. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Fractional vertex-arboricity of planar graphs

Authors: Marthe Bonamy, František Kardoš, Tom Kelly, Luke Postle

Abstract: We initiate a systematic study of the fractional vertex-arboricity of planar graphs and demonstrate connections to open problems concerning both fractional coloring and the size of the largest induced forest in planar graphs. In particular, the following three long-standing conjectures concern the size of a largest induced forest in a planar graph, and we conjecture that each of these can be gener… ▽ More We initiate a systematic study of the fractional vertex-arboricity of planar graphs and demonstrate connections to open problems concerning both fractional coloring and the size of the largest induced forest in planar graphs. In particular, the following three long-standing conjectures concern the size of a largest induced forest in a planar graph, and we conjecture that each of these can be generalized to the setting of fractional vertex-arboricity. In 1979, Albertson and Berman conjectured that every planar graph has an induced forest on at least half of its vertices, in 1987, Akiyama and Watanabe conjectured that every bipartite planar graph has an induced forest on at least five-eighths of its vertices, and in 2010, Kowalik, Lužar, and Škrekovski conjectured that every planar graph of girth at least five has an induced forest on at least seven-tenths of its vertices. We make progress toward the fractional generalization of the latter of these, by proving that every planar graph of girth at least five has fractional vertex-arboricity at most $2 - 1/324$. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 14 pages, 2 figures

At least half of the leapfrog fullerene graphs have exponentially many Hamilton cycles

Authors: František Kardoš, Martina Mockovčiaková

Abstract: A fullerene graph is a 3-connected cubic planar graph with pentagonal and hexagonal faces. The leapfrog transformation of a planar graph produces the trucation of the dual of the given graph. A fullerene graph is leapfrog if it can be obtained from another fullerene graph by the leapfrog transformation. We prove that leapfrog fullerene graphs on $n=12k-6$ vertices have at least $2^{k}$ Hamilton cy… ▽ More A fullerene graph is a 3-connected cubic planar graph with pentagonal and hexagonal faces. The leapfrog transformation of a planar graph produces the trucation of the dual of the given graph. A fullerene graph is leapfrog if it can be obtained from another fullerene graph by the leapfrog transformation. We prove that leapfrog fullerene graphs on $n=12k-6$ vertices have at least $2^{k}$ Hamilton cycles. △ Less

Submitted 9 October, 2019; originally announced October 2019.

On the 4-color theorem for signed graphs

Authors: František Kardoš, Jonathan Narboni

Abstract: There are several ways to generalize graph coloring to signed graphs. Máčajová, Raspaud and Škoviera introduced one of them and conjectured that in this setting, for signed planar graphs four colors are always enough, generalising thereby The Four Color Theorem. We disprove the conjecture. There are several ways to generalize graph coloring to signed graphs. Máčajová, Raspaud and Škoviera introduced one of them and conjectured that in this setting, for signed planar graphs four colors are always enough, generalising thereby The Four Color Theorem. We disprove the conjecture. △ Less

Submitted 13 June, 2019; originally announced June 2019.

The structure of binary matroids with no induced claw or Fano plane restriction

Authors: Marthe Bonamy, Frantisek Kardos, Tom Kelly, Peter Nelson, Luke Postle

Abstract: An 'induced restriction' of a simple binary matroid $M$ is a restriction $M|F$, where $F$ is a flat of $M$. We consider the class $\mathcal{M}$ of all simple binary matroids $M$ containing neither a free matroid on three elements (which we call a 'claw'), nor a Fano plane as an induced restriction. We give an exact structure theorem for this class; two of its consequences are that the matroids in… ▽ More An 'induced restriction' of a simple binary matroid $M$ is a restriction $M|F$, where $F$ is a flat of $M$. We consider the class $\mathcal{M}$ of all simple binary matroids $M$ containing neither a free matroid on three elements (which we call a 'claw'), nor a Fano plane as an induced restriction. We give an exact structure theorem for this class; two of its consequences are that the matroids in $\mathcal{M}$ have unbounded critical number, while the matroids in $\mathcal{M}$ not containing the clique $M(K_5)$ as an induced restriction have critical number at most $2$. △ Less

Submitted 13 November, 2019; v1 submitted 11 June, 2018; originally announced June 2018.

First order convergence of matroids

Authors: Frantisek Kardos, Daniel Kral, Anita Liebenau, Lukas Mach

Abstract: The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result:… ▽ More The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result: every first order convergent sequence of matroids with bounded branch-depth representable over a fixed finite field has a limit modeling, i.e., there exists an infinite matroid with the elements forming a probability space that has asymptotically the same first order properties. We show that neither of the bounded branch-depth assumption nor the representability assumption can be removed. △ Less

Submitted 13 August, 2016; v1 submitted 26 January, 2015; originally announced January 2015.

Comments: Accepted to the European Journal of Combinatorics

A computer-assisted proof of Barnette-Goodey conjecture: Not only fullerene graphs are Hamiltonian

Authors: František Kardoš

Abstract: Fullerene graphs, i.e., 3-connected planar cubic graphs with pentagonal and hexagonal faces, are conjectured to be Hamiltonian. This is a special case of a conjecture of Barnette and Goodey, stating that 3-connected planar graphs with faces of size at most 6 are Hamiltonian. We prove the conjecture. Fullerene graphs, i.e., 3-connected planar cubic graphs with pentagonal and hexagonal faces, are conjectured to be Hamiltonian. This is a special case of a conjecture of Barnette and Goodey, stating that 3-connected planar graphs with faces of size at most 6 are Hamiltonian. We prove the conjecture. △ Less

Submitted 16 August, 2017; v1 submitted 8 September, 2014; originally announced September 2014.

Sandwiching saturation number of fullerene graphs

Authors: Vesna Andova, František Kardoš, Riste Škrekovski

Abstract: The saturation number of a graph $G$ is the cardinality of any smallest maximal matching of $G$, and it is denoted by $s(G)$. Fullerene graphs are cubic planar graphs with exactly twelve 5-faces; all the other faces are hexagons. They are used to capture the structure of carbon molecules. Here we show that the saturation number of fullerenes on $n$ vertices is essentially $n/3$. The saturation number of a graph $G$ is the cardinality of any smallest maximal matching of $G$, and it is denoted by $s(G)$. Fullerene graphs are cubic planar graphs with exactly twelve 5-faces; all the other faces are hexagons. They are used to capture the structure of carbon molecules. Here we show that the saturation number of fullerenes on $n$ vertices is essentially $n/3$. △ Less

Submitted 9 May, 2014; originally announced May 2014.

Maximum edge-cuts in cubic graphs with large girth and in random cubic graphs

Authors: Frantisek Kardos, Daniel Kral, Jan Volec

Abstract: We show that for every cubic graph G with sufficiently large girth there exists a probability distribution on edge-cuts of G such that each edge is in a randomly chosen cut with probability at least 0.88672. This implies that G contains an edge-cut of size at least 1.33008n, where n is the number of vertices of G, and has fractional cut covering number at most 1.127752. The lower bound on the size… ▽ More We show that for every cubic graph G with sufficiently large girth there exists a probability distribution on edge-cuts of G such that each edge is in a randomly chosen cut with probability at least 0.88672. This implies that G contains an edge-cut of size at least 1.33008n, where n is the number of vertices of G, and has fractional cut covering number at most 1.127752. The lower bound on the size of maximum edge-cut also applies to random cubic graphs. Specifically, a random n-vertex cubic graph a.a.s. contains an edge cut of size 1.33008n. △ Less

Submitted 31 July, 2012; v1 submitted 31 August, 2011; originally announced August 2011.

Exponentially many perfect matchings in cubic graphs

Authors: Louis Esperet, Frantisek Kardos, Andrew King, Daniel Kral, Serguei Norine

Abstract: We show that every cubic bridgeless graph G has at least 2^(|V(G)|/3656) perfect matchings. This confirms an old conjecture of Lovasz and Plummer. This version of the paper uses a different definition of a burl from the journal version of the paper and a different proof of Lemma 18 is given. This simplifies the exposition of our arguments throughout the whole paper. We show that every cubic bridgeless graph G has at least 2^(|V(G)|/3656) perfect matchings. This confirms an old conjecture of Lovasz and Plummer. This version of the paper uses a different definition of a burl from the journal version of the paper and a different proof of Lemma 18 is given. This simplifies the exposition of our arguments throughout the whole paper. △ Less

Submitted 5 September, 2011; v1 submitted 13 December, 2010; originally announced December 2010.

Journal ref: Adv. Math. 227 (2011), 1646-1664

Minimum k-path vertex cover

Authors: Boštjan Brešar, František Kardoš, Ján Katrenič, Gabriel Semanišin

Abstract: A subset S of vertices of a graph G is called a k-path vertex cover if every path of order k in G contains at least one vertex from S. Denote by ψぷさい_k(G) the minimum cardinality of a k-path vertex cover in G. It is shown that the problem of determining ψぷさい_k(G) is NP-hard for each k \geq 2, while for trees the problem can be solved in linear time. We investigate upper bounds on the value of ψぷさい_k(G) and… ▽ More A subset S of vertices of a graph G is called a k-path vertex cover if every path of order k in G contains at least one vertex from S. Denote by ψぷさい_k(G) the minimum cardinality of a k-path vertex cover in G. It is shown that the problem of determining ψぷさい_k(G) is NP-hard for each k \geq 2, while for trees the problem can be solved in linear time. We investigate upper bounds on the value of ψぷさい_k(G) and provide several estimations and exact values of ψぷさい_k(G). We also prove that ψぷさい_3(G) \leq (2n + m)/6, for every graph G with n vertices and m edges. △ Less

Submitted 10 December, 2010; v1 submitted 9 December, 2010; originally announced December 2010.

Comments: submitted manuscript

Journal ref: Discrete Applied Mathematics Volume 159, Issue 12, 28 July 2011, Pages 1189-1195

Fractional colorings of cubic graphs with large girth

Authors: Frantisek Kardos, Daniel Kral, Jan Volec

Abstract: We show that every (sub)cubic n-vertex graph with sufficiently large girth has fractional chromatic number at most 2.2978 which implies that it contains an independent set of size at least 0.4352n. Our bound on the independence number is valid to random cubic graphs as well as it improves existing lower bounds on the maximum cut in cubic graphs with large girth. We show that every (sub)cubic n-vertex graph with sufficiently large girth has fractional chromatic number at most 2.2978 which implies that it contains an independent set of size at least 0.4352n. Our bound on the independence number is valid to random cubic graphs as well as it improves existing lower bounds on the maximum cut in cubic graphs with large girth. △ Less

Submitted 17 October, 2010; originally announced October 2010.

A superlinear bound on the number of perfect matchings in cubic bridgeless graphs

Authors: L. Esperet, F. Kardos, D. Kral'

Abstract: Lovasz and Plummer conjectured in the 1970's that cubic bridgeless graphs have exponentially many perfect matchings. This conjecture has been verified for bipartite graphs by Voorhoeve in 1979, and for planar graphs by Chudnovsky and Seymour in 2008, but in general only linear bounds are known. In this paper, we provide the first superlinear bound in the general case. Lovasz and Plummer conjectured in the 1970's that cubic bridgeless graphs have exponentially many perfect matchings. This conjecture has been verified for bipartite graphs by Voorhoeve in 1979, and for planar graphs by Chudnovsky and Seymour in 2008, but in general only linear bounds are known. In this paper, we provide the first superlinear bound in the general case. △ Less

Submitted 28 May, 2010; v1 submitted 25 February, 2010; originally announced February 2010.

Comments: 54 pages v2: a short (missing) proof of Lemma 10 was added

Journal ref: European J. Combin. 33(5) (2012), 767-798

The last fraction of a fractional conjecture

Authors: Frantisek Kardos, Daniel Kral, Jean-Sebastien Sereni

Abstract: Reed conjectured that for every $\varepsilon>0$ and every integer $Δでるた$, there exists $g$ such that the fractional total chromatic number of every graph with maximum degree $Δでるた$ and girth at least $g$ is at most $Δでるた+1+\varepsilon$. The conjecture was proven to be true when $Δでるた=3$ or $Δでるた$ is even. We settle the conjecture by proving it for the remaining cases. Reed conjectured that for every $\varepsilon>0$ and every integer $Δでるた$, there exists $g$ such that the fractional total chromatic number of every graph with maximum degree $Δでるた$ and girth at least $g$ is at most $Δでるた+1+\varepsilon$. The conjecture was proven to be true when $Δでるた=3$ or $Δでるた$ is even. We settle the conjecture by proving it for the remaining cases. △ Less

Submitted 4 December, 2009; v1 submitted 3 December, 2009; originally announced December 2009.

Comments: A typo has been corrected in the introduction (concerning the citation of the result by Ito, Kennedy and Reed)

MSC Class: 05C15

Fullerene graphs have exponentially many perfect matchings

Authors: Frantisek Kardos, Daniel Král', Jozef Miskuf, Jean-Sébastien Sereni

Abstract: A fullerene graph is a planar cubic 3-connected graph with only pentagonal and hexagonal faces. We show that fullerene graphs have exponentially many perfect matchings. A fullerene graph is a planar cubic 3-connected graph with only pentagonal and hexagonal faces. We show that fullerene graphs have exponentially many perfect matchings. △ Less

Submitted 27 May, 2010; v1 submitted 9 January, 2008; originally announced January 2008.

Comments: 7 pages, 3 figures

Report number: KAM-DIMATIA Series 2007-839 and ITI-Series 2008-368 MSC Class: 05C70; 92E10

Journal ref: Journal of Mathematical Chemistry 46(2):443--447, 2009