Source author record

Csilla Bujtás

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

26works
1topics
4close collaborators

Published work

26 publications

preprint2025arXiv

Revisiting dd-distance (independent) domination in trees and in bipartite graphs

The dd-distance pp-packing domination number γdp(G)γ_d^p(G) of GG is the minimum size of a set of vertices of GG which is both a dd-distance dominating set and a pp-packing. In 1994, Beineke and Henning conjectured that if d≥1d\ge 1 and TT is a tree of order n≥d+1n \geq d+1, then γd1(T)≤nd+1γ_d^1(T) \leq \frac{n}{d+1}. They supported the conjecture by proving it for d∈{1,2,3}d\in \{1,2,3\}. In this paper, it is proved that γd1(G)≤nd+1γ_d^1(G) \leq \frac{n}{d+1} holds for any bipartite graph GG of order n≥d+1n \geq d+1, and any d≥1d\ge 1. Trees TT for which γd1(T)=nd+1γ_d^1(T) = \frac{n}{d+1} holds are characterized. It is also proved that if TT has ℓ\ell leaves, then γd1(T)≤n−ℓdγ_d^1(T) \leq \frac{n-\ell}{d} (provided that n−ℓ≥dn-\ell \geq d), and γd1(T)≤n+ℓd+2γ_d^1(T) \leq \frac{n+\ell}{d+2} (provided that n≥dn\geq d). The latter result extends Favaron's theorem from 1992 asserting that γ11(T)≤n+ℓ3γ_1^1(T) \leq \frac{n+\ell}{3}. In both cases, trees that attain the equality are characterized and relevant conclusions for the dd-distance domination number of trees derived.

preprint2022arXiv

Fast winning strategies for Staller in the Maker-Breaker domination game

The Maker-Breaker domination game is played on a graph GG by two players, called Dominator and Staller, who alternately choose a vertex that has not been played so far. Dominator wins the game if his moves form a dominating set. Staller wins if she plays all vertices from a closed neighborhood of a vertex v∈V(G)v \in V(G). Dominator's fast winning strategies were studied earlier. In this work, we concentrate on the cases when Staller has a winning strategy in the game. We introduce the invariant γSMB′(G)γ'_{\rm SMB}(G) (resp., γSMB(G)γ_{\rm SMB}(G)) which is the smallest integer kk such that, under any strategy of Dominator, Staller can win the game by playing at most kk vertices, if Staller (resp., Dominator) plays first on the graph GG. We prove some basic properties of γSMB(G)γ_{\rm SMB}(G) and γSMB′(G)γ'_{\rm SMB}(G) and study the parameters' changes under some operators as taking the disjoint union of graphs or deleting a cut vertex. We show that the inequality δ(G)+1≤γSMB′(G)≤γSMB(G)δ(G)+1 \le γ'_{\rm SMB}(G) \le γ_{\rm SMB}(G) always holds and that for every three integers r,s,tr,s,t with 2≤r≤s≤t2\le r\le s\le t, there exists a graph GG such that δ(G)+1=rδ(G)+1 = r, γSMB′(G)=sγ'_{\rm SMB}(G) = s, and γSMB(G)=tγ_{\rm SMB}(G) = t. We prove exact formulas for γSMB′(G)γ'_{\rm SMB}(G) where GG is a path, or it is a tadpole graph which is obtained from the disjoint union of a cycle and a path by adding one edge between them.

preprint2022arXiv

Thresholds for the monochromatic clique transversal game

We study a recently introduced two-person combinatorial game, the (a,b)(a,b)-monochromatic clique transversal game which is played by Alice and Bob on a graph GG. As we observe, this game is equivalent to the (b,a)(b,a)-biased Maker-Breaker game played on the clique-hypergraph of GG. Our main results concern the threshold bias a1(G)a_1(G) that is the smallest integer aa such that Alice can win in the (a,1)(a,1)-monochromatic clique transversal game on GG if she is the first to play. Among other results, we determine the possible values of a1(G)a_1(G) for the disjoint union of graphs, prove a formula for a1(G)a_1(G) if GG is triangle-free, and obtain the exact values of a1(Cn □ Cm)a_1(C_n \,\square\, C_m), a1(Cn □ Pm)a_1(C_n \,\square\, P_m), and a1(Pn □ Pm)a_1(P_n \,\square\, P_m) for all possible pairs (n,m)(n,m).

preprint2021arXiv

On the equality of domination number and 2 2 -domination number

The 2-domination number γ2(G)γ_2(G) of a graph GG is the minimum cardinality of a set D⊆V(G) D \subseteq V(G) for which every vertex outside D D is adjacent to at least two vertices in D D . Clearly, γ2(G) γ_2(G) cannot be smaller than the domination number γ(G) γ(G) . We consider a large class of graphs and characterize those members which satisfy γ2=γγ_2=γ. For the general case, we prove that it is NP-hard to decide whether γ2=γγ_2=γ holds. We also give a necessary and sufficient condition for a graph to satisfy the equality hereditarily.

preprint2021arXiv

The domination game played on diameter 2 graphs

Let γg(G)γ_g(G) be the game domination number of a graph GG. It is proved that if diam(G)=2{\rm diam}(G) = 2, then γg(G)≤⌈n(G)2⌉−⌊n(G)11⌋γ_g(G) \le \left\lceil \frac{n(G)}{2} \right\rceil- \left\lfloor \frac{n(G)}{11}\right\rfloor. The bound is attained: if diam(G)=2{\rm diam}(G) = 2 and n(G)≤10n(G) \le 10, then γg(G)=⌈n(G)2⌉γ_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil if and only if GG is one of seven sporadic graphs with n(G)≤6n(G)\le 6 or the Petersen graph, and there are exactly ten graphs of diameter 22 and order 1111 that attain the bound.

preprint2020arXiv

Bipartite graphs with close domination and k-domination numbers

Let kk be a positive integer and let GG be a graph with vertex set V(G)V(G). A subset D⊆V(G)D \subseteq V(G) is a kk-dominating set if every vertex outside DD is adjacent to at least kk vertices in DD. The kk-domination number γk(G)γ_k(G) is the minimum cardinality of a kk-dominating set in GG. For any graph GG, we know that γk(G)≥γ(G)+k−2γ_k(G) \geq γ(G)+k-2 where Δ(G)≥k≥2 Δ(G)\geq k\geq 2 and this bound is sharp for every k≥2k\geq 2. In this paper, we characterize bipartite graphs satisfying the equality for k≥3k\geq 3 and present a necessary and sufficient condition for a bipartite graph to satisfy the equality hereditarily when k=3k=3. We also prove that the problem of deciding whether a graph satisfies the given equality is NP-hard in general.

preprint2020arXiv

On Rall's 1/21/2-conjecture on the domination game

The 1/21/2-conjecture on the domination game asserts that if GG is a traceable graph, then the game domination number γg(G)γ_g(G) of GG is at most ⌈n(G)2⌉\left\lceil \frac{n(G)}{2} \right\rceil. A traceable graph is a 1/21/2-graph if γg(G)=⌈n(G)2⌉γ_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil holds. It is proved that the so-called hatted cycles are 1/21/2-graphs and that unicyclic graphs fulfill the 1/21/2-conjecture. Several additional families of graphs that support the conjecture are determined and computer experiments related to the conjecture described.

preprint2020arXiv

On specific factors in graphs

It is well known that if G=(V,E)G = (V, E)} is a multigraph and X⊂VX\subset V is a subset of even order, then GG contains a spanning forest HH such that each vertex from XX has an odd degree in HH and all the other vertices have an even degree in HH. This spanning forest may have isolated vertices. If this is not allowed in HH, then the situation is much more complicated. In this paper, we study this problem and generalize the concepts of even-factors and odd-factors in a unified form.

preprint2016arXiv

Bounds on the 2-domination number

In a graph GG, a set D⊆V(G)D\subseteq V(G) is called 2-dominating set if each vertex not in DD has at least two neighbors in DD. The 2-domination number γ2(G)γ_2(G) is the minimum cardinality of such a set DD. We give a method for the construction of 2-dominating sets, which also yields upper bounds on the 2-domination number in terms of the number of vertices, if the minimum degree δ(G)δ(G) is fixed. These improve the best earlier bounds for any 6≤δ(G)≤216 \le δ(G) \le 21. In particular, we prove that γ2(G)γ_2(G) is strictly smaller than n/2n/2, if δ(G)≥6δ(G) \ge 6. Our proof technique uses a weight-assignment to the vertices where the weights are changed during the procedure.

preprint2016arXiv

Bounds on the Game Transversal Number in Hypergraphs

Let H=(V,E)H = (V,E) be a hypergraph with vertex set VV and edge set EE of order $\nH = |V|$ and size $\mH = |E|$. A transversal in HH is a subset of vertices in HH that has a nonempty intersection with every edge of HH. A vertex hits an edge if it belongs to that edge. The transversal game played on HH involves of two players, \emph{Edge-hitter} and \emph{Staller}, who take turns choosing a vertex from HH. Each vertex chosen must hit at least one edge not hit by the vertices previously chosen. The game ends when the set of vertices chosen becomes a transversal in HH. Edge-hitter wishes to minimize the number of vertices chosen in the game, while Staller wishes to maximize it. The \emph{game transversal number}, τg(H)τ_g(H), of HH is the number of vertices chosen when Edge-hitter starts the game and both players play optimally. We compare the game transversal number of a hypergraph with its transversal number, and also present an important fact concerning the monotonicity of τgτ_g, that we call the Transversal Continuation Principle. It is known that if HH is a hypergraph with all edges of size at least~22, and HH is not a 44-cycle, then $τ_g(H) \le \frac{4}{11}(\nH+\mH)$; and if HH is a (loopless) graph, then $τ_g(H) \le \frac{1}{3}(\nH + \mH + 1)$. We prove that if HH is a 33-uniform hypergraph, then $τ_g(H) \le \frac{5}{16}(\nH + \mH)$, and if HH is 44-uniform, then $τ_g(H) \le \frac{71}{252}(\nH + \mH)$.

preprint2016arXiv

Clique Coverings and Claw-free Graphs

Let C\cal C be a clique covering for E(G)E(G) and let vv be a vertex of GG. The valency of vertex vv (with respect to C\cal C), denoted by valC(v)val_{\cal C}(v), is the number of cliques in C\cal C containing vv. The local clique cover number of GG, denoted by lcc(G)lcc(G), is defined as the smallest integer kk, for which there exists a clique covering for E(G)E(G) such that valC(v)val_{\cal C}(v) is at most kk, for every vertex v∈V(G)v\in V(G). In this paper, among other results, we prove that if GG is a claw-free graph, then lcc(G)+χ(G)≤n+1lcc(G)+χ(G)\leq n+1.

preprint2016arXiv

Dominating sequences in grid-like and toroidal graphs

A longest sequence SS of distinct vertices of a graph GG such that each vertex of SS dominates some vertex that is not dominated by its preceding vertices, is called a Grundy dominating sequence; the length of SS is the Grundy domination number of GG. In this paper we study the Grundy domination number in the four standard graph products: the Cartesian, the lexicographic, the direct, and the strong product. For each of the products we present a lower bound for the Grundy domination number which turns out to be exact for the lexicographic product and is conjectured to be exact for the strong product. In most of the cases exact Grundy domination numbers are determined for products of paths and/or cycles.

preprint2016arXiv

The minimum number of vertices in uniform hypergraphs with given domination number

The \textit{domination number} γ(H)γ(\mathcal{H}) of a hypergraph H=(V(H),E(H)\mathcal{H}=(V(\mathcal{H}),E(\mathcal{H}) is the minimum size of a subset D⊂V(HD\subset V(\mathcal{H} of the vertices such that for every v∈V(H)∖Dv\in V(\mathcal{H})\setminus D there exist a vertex d∈Dd \in D and an edge H∈E(H)H\in E(\mathcal{H}) with v,d∈Hv,d\in H. We address the problem of finding the minimum number n(k,γ)n(k,γ) of vertices that a kk-uniform hypergraph H\mathcal{H} can have if γ(H)≥γγ(\mathcal{H})\ge γ and H\mathcal{H} does not contain isolated vertices. We prove that n(k,γ)=k+Θ(k1−1/γ)n(k,γ)=k+Θ(k^{1-1/γ}) and also consider the ss-wise dominating and the distance-ll dominating version of the problem. In particular, we show that the minimum number ndc(k,γ,l)n_{dc}(k,γ, l) of vertices that a connected kk-uniform hypergraph with distance-ll domination number γγ can have is roughly kγl2\frac{kγl}{2}

preprint2015arXiv

FF-WORM colorings: Results for 2-connected graphs

Given two graphs FF and GG, an FF-WORM coloring of GG is an assignment of colors to its vertices in such a way that no FF-subgraph of GG is monochromatic or rainbow. If GG has at least one such coloring, then it is called FF-WORM colorable and W−(G,F)W^-(G,F) denotes the minimum possible number of colors. Here, we consider FF-WORM colorings with a fixed 2-connected graph FF and prove the following three main results: (1) For every natural number kk, there exists a graph GG which is FF-WORM colorable and W−(G,F)=kW^-(G,F)=k; (2) It is NP-complete to decide whether a graph is FF-WORM colorable; (3) For each k≥∣V(F)∣−1k \ge |V(F)|-1, it is NP-complete to decide whether a graph GG satisfies W−(G,F)≤kW^-(G,F) \le k. This remains valid on the class of FF-WORM colorable graphs of bounded maximum degree. For complete graphs F=KnF=K_n with n≥3n \ge 3 we also prove: (4) For each n≥3n \ge 3 there exists a graph GG and integers rr and ss such that s≥r+2s \ge r+2, GG has KnK_n-WORM colorings with exactly rr and also with ss colors, but it admits no KnK_n-WORM colorings with exactly r+1,…,s−1r+1, \dots, s-1 colors. Moreover, the difference s−rs-r can be arbitrarily large.

preprint2015arXiv

K3K_3-WORM colorings of graphs: Lower chromatic number and gaps in the chromatic spectrum

A K3K_3-WORM coloring of a graph GG is an assignment of colors to the vertices in such a way that the vertices of each K3K_3-subgraph of GG get precisely two colors. We study graphs GG which admit at least one such coloring. We disprove a conjecture of Goddard et al. [Congr. Numer., 219 (2014) 161--173] who asked whether every such graph has a K3K_3-WORM coloring with two colors. In fact for every integer k≥3k\ge 3 there exists a K3K_3-WORM colorable graph in which the minimum number of colors is exactly kk. There also exist K3K_3-WORM colorable graphs which have a K3K_3-WORM coloring with two colors and also with kk colors but no coloring with any of 3,…,k−13,\dots,k-1 colors. We also prove that it is NP-hard to determine the minimum number of colors and NP-complete to decide kk-colorability for every k≥2k \ge 2 (and remains intractable even for graphs of maximum degree 9 if k=3k=3). On the other hand, we prove positive results for dd-degenerate graphs with small dd, also including planar graphs. Moreover we point out a fundamental connection with the theory of the colorings of mixed hypergraphs. We list many open problems at the end.

preprint2015arXiv

Induced cycles in triangle graphs

The triangle graph of a graph GG, denoted by T(G){\cal T}(G), is the graph whose vertices represent the triangles (K3K_3 subgraphs) of GG, and two vertices of T(G){\cal T}(G) are adjacent if and only if the corresponding triangles share an edge. In this paper, we characterize graphs whose triangle graph is a cycle and then extend the result to obtain a characterization of CnC_n-free triangle graphs. As a consequence, we give a forbidden subgraph characterization of graphs GG for which T(G){\cal T}(G) is a tree, a chordal graph, or a perfect graph. For the class of graphs whose triangle graph is perfect, we verify a conjecture of the third author concerning packing and covering of triangles.

preprint2015arXiv

Transversal designs and induced decompositions of graphs

We prove that for every complete multipartite graph FF there exist very dense graphs GnG_n on nn vertices, namely with as many as (n2)−cn{n\choose 2}-cn edges for all nn, for some constant c=c(F)c=c(F), such that GnG_n can be decomposed into edge-disjoint induced subgraphs isomorphic to~FF. This result identifies and structurally explains a gap between the growth rates O(n)O(n) and Ω(n3/2)Ω(n^{3/2}) on the minimum number of non-edges in graphs admitting an induced FF-decomposition.

preprint2014arXiv

Domination game on forests

In the domination game studied here, Dominator and Staller alternately choose a vertex of a graph GG and take it into a set DD. The number of vertices dominated by the set DD must increase in each single turn and the game ends when DD becomes a dominating set of GG. Dominator aims to minimize whilst Staller aims to maximize the number of turns (or equivalently, the size of the dominating set DD obtained at the end). Assuming that Dominator starts and both players play optimally, the number of turns is called the game domination number γg(G)γ_g(G) of GG. Kinnersley, West and Zamani verified that γg(G)≤7n/11γ_g(G) \le 7n/11 holds for every isolate-free nn-vertex forest GG and they conjectured that the sharp upper bound is only 3n/53n/5. Here, we prove the 3/5-conjecture for forests in which no two leaves are at distance 4 apart. Further, we establish an upper bound γg(G)≤5n/8γ_g(G) \le 5n/8, which is valid for every isolate-free forest GG.

preprint2014arXiv

Improved upper bounds on the domination number of graphs with minimum degree at least five

An algorithmic upper bound on the domination number γγ of graphs in terms of the order nn and the minimum degree δδ is proved. It is demonstrated that the bound improves best previous bounds for any 5≤δ≤505\le δ\le 50. In particular, for δ=5δ=5, Xing et al.\ proved in 2006 that γ≤5n/14<0.3572nγ\le 5n/14 < 0.3572 n. This bound is improved to 0.3440n0.3440 n. For δ=6δ=6, Clark et al.\ in 1998 established γ<0.3377nγ<0.3377 n, while Biró et al. recently improved it to γ<0.3340nγ<0.3340 n. Here the bound is further improved to γ<0.3159nγ< 0.3159 n. For δ=7δ=7, the best earlier bound 0.3088n0.3 088 n is improved to γ<0.2927nγ< 0.2927 n.

preprint2014arXiv

On the game domination number of graphs with given minimum degree

In the domination game, introduced by Brešar, Klavžar and Rall in 2010, Dominator and Staller alternately select a vertex of a graph GG. A move is legal if the selected vertex vv dominates at least one new vertex -- that is, if we have a u∈N[v]u\in N[v] for which no vertex from N[u]N[u] was chosen up to this point of the game. The game ends when no more legal moves can be made, and its length equals the number of vertices selected. The goal of Dominator is to minimize whilst that of Staller is to maximize the length of the game. The game domination number γg(G)γ_g(G) of GG is the length of the domination game in which Dominator starts and both players play optimally. In this paper we establish an upper bound on γg(G)γ_g(G) in terms of the minimum degree δδ and the order nn of GG. Our main result states that for every δ≥4δ\ge 4, γg(G)≤30δ4−56δ3−258δ2+708δ−43290δ4−390δ3+348δ2+348δ−432  n.γ_g(G)\le \frac{30δ^4-56δ^3-258δ^2+708δ-432}{90δ^4-390δ^3+348δ^2+348δ-432}\; n. Particularly, γg(G)<0.5139  nγ_g(G) < 0.5139\; n holds for every graph of minimum degree 4, and γg(G)<0.4803  nγ_g(G)< 0.4803\; n if the minimum degree is greater than 4. Additionally, we prove that γg(G)<0.5574  nγ_g(G) < 0.5574\; n if δ=3δ=3.

preprint2014arXiv

The Disjoint Domination Game

We introduce and study a Maker-Breaker type game in which the issue is to create or avoid two disjoint dominating sets in graphs without isolated vertices. We prove that the maker has a winning strategy on all connected graphs if the game is started by the breaker. This implies the same in the (2:1)(2:1) biased game also in the maker-start game. It remains open to characterize the maker-win graphs in the maker-start non-biased game, and to analyze the (a:b)(a:b) biased game for (a:b)≠(2:1)(a:b)\neq (2:1). For a more restricted variant of the non-biased game we prove that the maker can win on every graph without isolated vertices.

preprint2013arXiv

Approximability of the upper chromatic number of hypergraphs

A C-coloring of a hypergraph H=(X,E){\cal H}=(X,{\cal E}) is a vertex coloring φ:X→Nφ: X\to {\mathbb{N}} such that each edge E∈EE\in{\cal E} has at least two vertices with a common color. The related parameter χ‾(H)\overlineχ({\cal H}), called the upper chromatic number of H{\cal H}, is the maximum number of colors can be used in a C-coloring of H{\cal H}. A hypertree is a hypergraph which has a host tree TT such that each edge E∈EE\in {\cal E} induces a connected subgraph in TT. Notations nn and mm stand for the number of vertices and edges, respectively, in a generic input hypergraph. We establish guaranteed polynomial-time approximation ratios for the difference n−χ‾(H)n-\overlineχ({\cal H}), which is 2+2ln⁡(2m)2+2 \ln (2m) on hypergraphs in general, and 1+ln⁡m1+ \ln m on hypertrees. The latter ratio is essentially tight as we show that n−χ‾(H)n-\overlineχ({\cal H}) cannot be approximated within (1−ε)ln⁡m(1-ε) \ln m on hypertrees (unless NP⊆DTIME(nO(log  log  n)){\sf NP} \subseteq {\sf DTIME} (n^{{\cal O}(log\;log\; n)})). Furthermore, χ‾(H)\overlineχ({\cal H}) does not have O(n1−ε){\cal O}(n^{1-ε})-approximation and cannot be approximated within additive error o(n)o(n) on the class of hypertrees (unless P=NP{\sf P}={\sf NP}).

preprint2013arXiv

Total Transversals and Total Domination in Uniform Hypergraphs

The first three authors [European J. Combin. 33 (2012), 62--71] established a relationship between the transversal number and the domination number of uniform hypergraphs. In this paper, we establish a relationship between the total transversal number and the total domination number of uniform hypergraphs. We prove tight asymptotic upper bounds on the total transversal number in terms of the number of vertices, the number of edges, and the edge size.

preprint2013arXiv

Turán numbers and batch codes

Combinatorial batch codes provide a tool for distributed data storage, with the feature of keeping privacy during information retrieval. Recently, Balachandran and Bhattacharya observed that the problem of constructing such uniform codes in an economic way can be formulated as a Turán-type question on hypergraphs. Here we establish general lower and upper bounds for this extremal problem, and also for its generalization where the forbidden family consists of those rr-uniform hypergraphs HH which satisfy the condition k≥∣E(H)∣>∣V(H)∣+qk\ge |E(H)|> |V(H)|+q (for k>q+rk>q+r and q>−rq> -r fixed). We also prove that, in the given range of parameters, the considered Turán function is asymptotically equal to the one restricted to ∣E(H)∣=k|E(H)|=k, studied by Brown, Erdős and T. Sós. Both families contain some rr-partite members --- often called the `degenerate case', characterized by the equality $\lim_{n\to\infty} \ex(n,\cF)/n^r=0$ --- and therefore their exact order of growth is not known.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.