-
Towards a Baranyai theorem with additional condition
Authors:
Gyula O. H. Katona,
Gyula Y. Katona
Abstract:
A $(k,\ell )$ partial partition of an $n$-element set is a collection of $\ell $ pairwise disjoint $k$-element subsets. It is proved that, if $n$ is large enough, one can find $\left\lfloor {n\choose k}/{\ell}\right\rfloor$ such partial partitions in such a way that if $A_1$ and $A_2$ are distinct classes in one of the partial partitions, $B_1$ and $B_2$ are distinct classes in another one, then o…
▽ More
A $(k,\ell )$ partial partition of an $n$-element set is a collection of $\ell $ pairwise disjoint $k$-element subsets. It is proved that, if $n$ is large enough, one can find $\left\lfloor {n\choose k}/{\ell}\right\rfloor$ such partial partitions in such a way that if $A_1$ and $A_2$ are distinct classes in one of the partial partitions, $B_1$ and $B_2$ are distinct classes in another one, then one of the intersections $A_1\cap B_1, A_2\cap B_2$ has size at most ${k\over 2}$.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
On minimally tough chordal graphs
Authors:
Clément Dallard,
Blas Fernández,
Gyula Y. Katona,
Martin Milanič,
Kitti Varga
Abstract:
Katona and Varga showed that for any rational number $t \in (1/2,1]$, no chordal graph is minimally $t$-tough. We conjecture that no chordal graph is minimally $t$-tough for $t>1/2$ and prove several results supporting the conjecture. In particular, we show that for $t>1/2$, no strongly chordal graph is minimally $t$-tough, no split graph is minimally $t$-tough, and no chordal graph with a univers…
▽ More
Katona and Varga showed that for any rational number $t \in (1/2,1]$, no chordal graph is minimally $t$-tough. We conjecture that no chordal graph is minimally $t$-tough for $t>1/2$ and prove several results supporting the conjecture. In particular, we show that for $t>1/2$, no strongly chordal graph is minimally $t$-tough, no split graph is minimally $t$-tough, and no chordal graph with a universal vertex is minimally $t$-tough.
△ Less
Submitted 3 October, 2023; v1 submitted 1 October, 2022;
originally announced October 2022.
-
Minimally tough chordal graphs with toughness at most $1/2$
Authors:
Gyula Y. Katona,
Humara Khan
Abstract:
Let $t$ be a positive real number. A graph is called \emph{$t$-tough} if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. A graph is \emph…
▽ More
Let $t$ be a positive real number. A graph is called \emph{$t$-tough} if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. A graph is \emph{chordal} if it does not contain an induced cycle of length at least $4$.
We characterize the minimally $t$-tough, chordal graphs for all $t\le 1/2$. As a corollary, a characterization of minimally $t$-tough, interval graphs is obtained for $t\le 1/2$.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
Strengthening some complexity results on toughness of graphs
Authors:
Gyula Y Katona,
Kitti Varga
Abstract:
Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.
The main results of this paper are the following. For any positive rational number $t \le 1$ and for any $k \ge 2$ and $r \ge 6$ integers recognizing $t$-toug…
▽ More
Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.
The main results of this paper are the following. For any positive rational number $t \le 1$ and for any $k \ge 2$ and $r \ge 6$ integers recognizing $t$-tough bipartite graphs is coNP-complete (the case $t=1$ was already known), and this problem remains coNP-complete for $k$-connected bipartite graphs, and so does the problem of recognizing 1-tough r-regular bipartite graphs. To prove these statements we also deal with other related complexity problems on toughness. % In this paper we prove the following. For any positive rational number $t$, deciding whether $τ(G)=t$ is DP-complete and if $t < 1$, this problem remains DP-complete for bipartite graphs. For any integer $k \ge 2$ and positive rational number $t \le 1$, recognizing $t$-tough $k$-connected bipartite graphs is coNP-complete. For any integer $r \ge 5$, recognizing $1/2$-tough $r$-regular graphs is coNP-complete. For any integer $r \ge 6$, recognizing 1-tough $r$-regular bipartite graphs is coNP-complete. For any positive rational number $t < 2/3$ we give a polynomial time algorithm for recognizing 3-regular graphs with toughness $t$. Finally, we prove that every connected 4-regular graph is 1/2-tough.
△ Less
Submitted 19 October, 2019;
originally announced October 2019.
-
Optimal pebbling number of the square grid
Authors:
Ervin Győri,
Gyula Y. Katona,
László F. Papp
Abstract:
A pebbling move on a graph removes two pebbles from a vertex and adds one pebble to an adjacent vertex. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The optimal pebbling number $π_{opt}$ is the smallest number m needed to guarantee a pebble distribution of m pebbles from which any vertex is reachable. The optimal pebbling…
▽ More
A pebbling move on a graph removes two pebbles from a vertex and adds one pebble to an adjacent vertex. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The optimal pebbling number $π_{opt}$ is the smallest number m needed to guarantee a pebble distribution of m pebbles from which any vertex is reachable. The optimal pebbling number of the square grid graph $P_n\square P_m$ was investigated in several papers. In this paper, we present a new method using some recent ideas to give a lower bound on $π_{opt}$. We apply this technique to prove that $π_{opt}(P_n\square P_m)\geq \frac{2}{13}nm$. Our method also gives a new proof for $π_{opt}(P_n)=π_{opt}(C_n)=\left\lceil\frac{2n}{3}\right\rceil$.
△ Less
Submitted 24 February, 2020; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Optimal pebbling number of graphs with given minimum degree
Authors:
Andrzej Czygrinow,
Glenn Hurlbert,
Gyula Y. Katona,
László F. Papp
Abstract:
Consider a distribution of pebbles on a connected graph $G$. A pebbling move removes two pebbles from a vertex and places one to an adjacent vertex. A vertex is reachable under a pebbling distribution if it has a pebble after the application of a sequence of pebbling moves. The optimal pebbling number $π^*(G)$ is the smallest number of pebbles which we can distribute in such a way that each vertex…
▽ More
Consider a distribution of pebbles on a connected graph $G$. A pebbling move removes two pebbles from a vertex and places one to an adjacent vertex. A vertex is reachable under a pebbling distribution if it has a pebble after the application of a sequence of pebbling moves. The optimal pebbling number $π^*(G)$ is the smallest number of pebbles which we can distribute in such a way that each vertex is reachable. It was known that the optimal pebbling number of any connected graph is at most $\frac{4n}{δ+1}$, where $δ$ is the minimum degree of the graph. We strengthen this bound by showing that equality cannot be attained and that the bound is sharp. If $\operatorname{diam}(G)\geq 3$ then we further improve the bound to $π^*(G)\leq\frac{3.75n}{δ+1}$. On the other hand, we show that for arbitrary large diameter and any $ε>0$ there are infinitely many graphs whose optimal pebbling number is bigger than $\left(\frac{8}{3}-ε\right)\frac{n}{(δ+1)}$.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
Decomposition of a graph into two disjoint odd subgraphs
Authors:
Mikio Kano,
Gyula Y. Katona,
Kitti Varga
Abstract:
An odd (resp. even) subgraph in a multigraph is its subgraph in which every vertex has odd (resp. even) degree. We say that a multigraph can be decomposed into two odd subgraphs if its edge set can be partitioned into two sets so that both form odd subgraphs. In this paper we give a necessary and sufficient condition for the decomposability of a multigraph into two odd subgraphs. We also present a…
▽ More
An odd (resp. even) subgraph in a multigraph is its subgraph in which every vertex has odd (resp. even) degree. We say that a multigraph can be decomposed into two odd subgraphs if its edge set can be partitioned into two sets so that both form odd subgraphs. In this paper we give a necessary and sufficient condition for the decomposability of a multigraph into two odd subgraphs. We also present a polynomial time algorithm for finding such a decomposition or showing its non-existence. We also deal with the case of the decomposability into an even subgraph and an odd subgraph.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
Minimal toughness in special graph classes
Authors:
Gyula Y. Katona,
Kitti Varga
Abstract:
Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components, and all graphs are considered 0-tough. The toughness of a graph is the largest $t$ for which the graph is $t$-tough, whereby the toughness of complete graphs is defined as infinity. A graph is minimally $t$-tough if the toughness of the g…
▽ More
Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components, and all graphs are considered 0-tough. The toughness of a graph is the largest $t$ for which the graph is $t$-tough, whereby the toughness of complete graphs is defined as infinity. A graph is minimally $t$-tough if the toughness of the graph is $t$, and the deletion of any edge from the graph decreases the toughness. In this paper, we investigate the minimum degree and the recognizability of minimally $t$-tough graphs in the classes of chordal graphs, split graphs, claw-free graphs, and $2K_2$-free graphs.
△ Less
Submitted 13 November, 2023; v1 submitted 31 January, 2018;
originally announced February 2018.
-
Optimal pebbling and rubbling of graphs with given diameter
Authors:
Ervin Győri,
Gyula Y. Katona,
László F. Papp
Abstract:
A pebbling move on a graph removes two pebbles from a vertex and adds one pebble to an adjacent vertex. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The optimal pebbling number $π_{opt}$ is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. A rubbling move i…
▽ More
A pebbling move on a graph removes two pebbles from a vertex and adds one pebble to an adjacent vertex. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The optimal pebbling number $π_{opt}$ is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. A rubbling move is similar to a pebbling move, but it can remove the two pebbles from two different vertex. The optimal rubbling number $ρ_{opt}$ is defined analogously to the optimal pebbling number.
In this paper we give lower bounds on both the optimal pebbling and rubbling numbers by the distance $k$ domination number. With this bound we prove that for each $k$ there is a graph $G$ with diameter $k$ such that $ρ_{opt}(G)=π_{opt}(G)=2^k$.
△ Less
Submitted 30 August, 2017;
originally announced August 2017.
-
The complexity of recognizing minimally tough graphs
Authors:
Gyula Y Katona,
István Kovács,
Kitti Varga
Abstract:
A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. The complexity class DP is the set of all languages that c…
▽ More
A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. The complexity class DP is the set of all languages that can be expressed as the intersection of a language in NP and a language in coNP. In this paper, we prove that recognizing minimally $t$-tough graphs is DP-complete for any positive rational number $t$. We introduce a new notion called weighted toughness, which has a key role in our proof.
△ Less
Submitted 23 November, 2020; v1 submitted 30 May, 2017;
originally announced May 2017.
-
The Optimal Pebbling Number of Staircase Graphs
Authors:
Ervin Győri,
Gyula Y. Katona,
László F. Papp,
Casey Tompkins
Abstract:
Let G be a graph with a distribution of pebbles on its vertices. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The optimal pebbling number of G is the smallest number of pebbles which can placed on the vertices of G such that, for any vertex v of G, there is a sequence of pebbling moves resulting in at least one pebble on v. We deter…
▽ More
Let G be a graph with a distribution of pebbles on its vertices. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The optimal pebbling number of G is the smallest number of pebbles which can placed on the vertices of G such that, for any vertex v of G, there is a sequence of pebbling moves resulting in at least one pebble on v. We determine the optimal pebbling number for several classes of induced subgraphs of the square grid, which we call staircase graphs.
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Properties of minimally $t$-tough graphs
Authors:
Gyula Y. Katona,
Dániel Soltész,
Kitti Varga
Abstract:
A graph $G$ is minimally $t$-tough if the toughness of $G$ is $t$ and the deletion of any edge from $G$ decreases the toughness. Kriesell conjectured that for every minimally $1$-tough graph the minimum degree $δ(G)=2$. We show that in every minimally $1$-tough graph $δ(G)\le\frac{n+2}{3}$. We also prove that every minimally $1$-tough claw-free graph is a cycle. On the other hand, we show that for…
▽ More
A graph $G$ is minimally $t$-tough if the toughness of $G$ is $t$ and the deletion of any edge from $G$ decreases the toughness. Kriesell conjectured that for every minimally $1$-tough graph the minimum degree $δ(G)=2$. We show that in every minimally $1$-tough graph $δ(G)\le\frac{n+2}{3}$. We also prove that every minimally $1$-tough claw-free graph is a cycle. On the other hand, we show that for every $t \in \mathbb{Q}$ any graph can be embedded as an induced subgraph into a minimally $t$-tough graph.
△ Less
Submitted 11 August, 2017; v1 submitted 10 April, 2016;
originally announced April 2016.
-
Constructions for the optimal pebbling of grids
Authors:
Ervin Győri,
Gyula Y. Katona,
László F. Papp
Abstract:
In [C. Xue, C. Yerger: Optimal Pebbling on Grids, Graphs and Combinatorics] the authors conjecture that if every vertex of an infinite square grid is reachable from a pebble distribution, then the covering ratio of this distribution is at most $3.25$. First we present such a distribution with covering ratio $3.5$, disproving the conjecture. The authors in the above paper also claim to prove that t…
▽ More
In [C. Xue, C. Yerger: Optimal Pebbling on Grids, Graphs and Combinatorics] the authors conjecture that if every vertex of an infinite square grid is reachable from a pebble distribution, then the covering ratio of this distribution is at most $3.25$. First we present such a distribution with covering ratio $3.5$, disproving the conjecture. The authors in the above paper also claim to prove that the covering ratio of any pebble distribution is at most $6.75$. The proof contains some errors. We present a few interesting pebble distributions that this proof does not seem to cover and highlight some other difficulties of this topic.
△ Less
Submitted 6 April, 2017; v1 submitted 10 January, 2016;
originally announced January 2016.
-
SIS epidemic propagation on hypergraphs
Authors:
Ágnes Bodó,
Gyula Y. Katona,
Péter L. Simon
Abstract:
Mathematical modeling of epidemic propagation on networks is extended to hypergraphs in order to account for both the community structure and the nonlinear dependence of the infection pressure on the number of infected neighbours. The exact master equations of the propagation process are derived for an arbitrary hypergraph given by its incidence matrix. Based on these, moment closure approximation…
▽ More
Mathematical modeling of epidemic propagation on networks is extended to hypergraphs in order to account for both the community structure and the nonlinear dependence of the infection pressure on the number of infected neighbours. The exact master equations of the propagation process are derived for an arbitrary hypergraph given by its incidence matrix. Based on these, moment closure approximation and mean-field models are introduced and compared to individual-based stochastic simulations. The simulation algorithm, developed for networks, is extended to hypergraphs. The effects of hypergraph structure and the model parameters are investigated via individual-based simulation results.
△ Less
Submitted 21 September, 2015;
originally announced September 2015.
-
The Optimal Rubbling Number of Ladders, Prisms and Möbius-ladders
Authors:
Gyula Y. Katona,
László F. Papp
Abstract:
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to t…
▽ More
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using rubbling moves. The optimal rubbling number is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. We determine the optimal rubbling number of ladders ($P_n\square P_2$), prisms ($C_n\square P_2$) and Möblus-ladders.
△ Less
Submitted 9 January, 2016; v1 submitted 4 November, 2014;
originally announced November 2014.
-
Bounds on the Number of Edges in Hypertrees
Authors:
Gyula Y. Katona,
Péter G. N. Szabó
Abstract:
Let $\mathcal{H}$ be a $k$-uniform hypergraph. A chain in $\mathcal{H}$ is a sequence of its vertices such that every $k$ consecutive vertices form an edge. In 1999 Katona and Kierstead suggested to use chains in hypergraphs as the generalisation of paths. Although a number of results have been published on hamiltonian chains in recent years, the generalization of trees with chains has still remai…
▽ More
Let $\mathcal{H}$ be a $k$-uniform hypergraph. A chain in $\mathcal{H}$ is a sequence of its vertices such that every $k$ consecutive vertices form an edge. In 1999 Katona and Kierstead suggested to use chains in hypergraphs as the generalisation of paths. Although a number of results have been published on hamiltonian chains in recent years, the generalization of trees with chains has still remained an open area. We generalize the concept of trees for uniform hypergraphs. We say that a $k$-uniform hypergraph $\mathcal{F}$ is a hypertree if every two vertices of $\mathcal{F}$ are connected by a chain, and an appropriate kind of cycle-free property holds. An edge-minimal hypertree is a hypertree whose edge set is minimal with respect to inclusion. After considering these definitions, we show that a $k$-uniform hypertree on $n$ vertices has at least $n-(k-1)$ edges up to a finite number of exceptions, and it has at most $\binom{n}{k-1}$ edges. The latter bound is asymptotically sharp in 3-uniform case.
△ Less
Submitted 25 April, 2014;
originally announced April 2014.
-
Bounds on the Rubbling and Optimal Rubbling Numbers of Graphs
Authors:
Gyula Y. Katona,
Nandor Sieben
Abstract:
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to t…
▽ More
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using rubbling moves. The rubbling number is the smallest number $m$ needed to guarantee that any vertex is reachable from any pebble distribution of $m$ pebbles. The optimal rubbling number is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. We give bounds for rubbling and optimal rubbling numbers. In particular, we find an upper bound for the rubbling number of $n$-vertex, diameter $d$ graphs, and estimates for the maximum rubbling number of diameter 2 graphs. We also give a sharp upper bound for the optimal rubbling number, and sharp upper and lower bounds in terms of the diameter.
△ Less
Submitted 27 September, 2010;
originally announced September 2010.