arXiv subjects

Máté Vizer

Publications and source records attributed to Máté Vizer.

At least 55 records · Page 3Linked to original sources

arXiv2018

Vertex Turán problems for the oriented hypercube

In this short note we consider the oriented vertex Turán problem in the hypercube: for a fixed oriented graph $\overrightarrow{F}$, determine the maximum size $ex_v(\overrightarrow{F}, \overrightarrow{Q_n})$ of a subset $U$ of the vertices of the oriented hypercube $\overrightarrow{Q_n}$ such that the induced subgraph $\overrightarrow{Q_n}[U]$ does not contain any copy of $\overrightarrow{F}$. We obtain the exact value of $ex_v(\overrightarrow{P_k}, \overrightarrow{Q_n})$ for the directed path $\overrightarrow{P_k}$, the exact value of $ex_v(\overrightarrow{V_2}, \overrightarrow{Q_n})$ for the directed cherry $\overrightarrow{V_2}$ and the asymptotic value of $ex_v(\overrightarrow{T}, \overrightarrow{Q_n})$ for any directed tree $\overrightarrow{T}$.

math.CO↗

arXiv2018

On the Turán number of some ordered even cycles

A classical result of Bondy and Simonovits in extremal graph theory states that if a graph on $n$ vertices contains no cycle of length $2k$ then it has at most $O(n^{1+1/k})$ edges. However, matching lower bounds are only known for $k=2,3,5$. In this paper we study ordered variants of this problem and prove some tight estimates for a certain class of ordered cycles that we call bordered cycles. In particular, we show that the maximum number of edges in an ordered graph avoiding bordered cycles of length at most $2k$ is $Θ(n^{1+1/k})$. Strengthening the result of Bondy and Simonovits in the case of 6-cycles, we also show that it is enough to forbid these bordered orderings of the 6-cycle to guarantee an upper bound of $O(n^{4/3})$ on the number of edges.

math.CO↗

arXiv2018

The variety of domination games

Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper, Z-domination game, L-domination game, and LL-domination game are introduced as natural companions of the standard domination games. Versions of the Continuation Principle are proved for the new games. It is proved that in each of these games the outcome of the game, which is a corresponding graph invariant, differs by at most one depending whether Dominator or Staller starts the game. The hierarchy of the five domination games is established. The invariants are also bounded with respect to the (total) domination number and to the order of a graph. Values of the three new invariants are determined for paths up to a small constant independent from the length of a path. Several open problems and a conjecture are listed. The latter asserts that the L-domination game number is not greater than $6/7$ of the order of a graph.

math.CO↗

arXiv2018

Generalized Turán problems for disjoint copies of graphs

Given two graphs $H$ and $F$, the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices is denoted by $ex(n,H,F)$. We investigate the function $ex(n,H,kF)$, where $kF$ denotes $k$ vertex disjoint copies of a fixed graph $F$. Our results include cases when $F$ is a complete graph, cycle or a complete bipartite graph.

math.CO↗

arXiv2018

On the number of containments in $P$-free families

A subfamily $\{F_1,F_2,\dots,F_{|P|}\}\subseteq \mathcal F$ is a copy of the poset $P$ if there exists a bijection $i:P\rightarrow \{F_1,F_2,\dots,F_{|P|}\}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. A family $\mathcal F$ is $P$-free, if it does not contain a copy of $P$. In this paper we establish basic results on the maximum possible number of $k$-chains in a $P$-free family $\mathcal F\subseteq 2^{[n]}$. We prove that if the height of $P$, $h(P) > k$, then this number is of the order $Θ(\prod_{i=1}^{k+1}\binom{l_{i-1}}{l_i})$, where $l_0=n$ and $l_1\ge l_2\ge \dots \ge l_{k+1}$ are such that $n-l_1,l_1-l_2,\dots, l_k-l_{k+1},l_{k+1}$ differ by at most one. On the other hand if $h(P)\le k$, then we show that this number is of smaller order of magnitude. Let $\vee_r$ denote the poset on $r+1$ elements $a, b_1, b_2, \ldots, b_r$, where $a < b_i$ for all $1 \le i \le r$ and let $\wedge_r$ denote its dual. For any values of $k$ and $l$, we construct a $\{\wedge_k,\vee_l\}$-free family and we conjecture that it contains asymptotically the maximum number of pairs in containment. We prove that this conjecture holds under the additional assumption that a chain of length 4 is forbidden. Moreover, we prove the conjecture for some small values of $k$ and $l$. We also derive the asymptotics of the maximum number of copies of certain tree posets $T$ of height 2 in $\{\wedge_k,\vee_l\}$-free families $\mathcal F \subseteq 2^{[n]}$.

math.CO↗

arXiv2018

Smart elements in combinatorial group testing problems

In combinatorial group testing problems Questioner needs to find a special element $x \in [n]$ by testing subsets of $[n]$. Tapolcai et al. introduced a new model, where each element knows the answer for those queries that contain it and each element should be able to identify the special one. Using classical results of extremal set theory we prove that if $\mathcal{F}_n \subset 2^{[n]}$ solves the non-adaptive version of this problem and has minimal cardinality, then $$\lim_{n \rightarrow \infty} \frac{|\mathcal{F}_n|}{\log_2 n} = \log_{(3/2)}2.$$ This improves results by Tapolcai et al. We also consider related models inspired by secret sharing models, where the elements should share information among them to find out the special one. Finally the adaptive versions of the different models are investigated.

cs.DM↗

arXiv2017

On Grundy total domination number in product graphs

A longest sequence $(v_1,\ldots,v_k)$ of vertices of a graph $G$ is a Grundy total dominating sequence of $G$ if for all $i$, $N(v_i) \setminus \bigcup_{j=1}^{i-1}N(v_j)\not=\emptyset$. The length $k$ of the sequence is called the Grundy total domination number of $G$ and denoted $γ_{gr}^{t}(G)$. In this paper, the Grundy total domination number is studied on four standard graph products. For the direct product we show that $γ_{gr}^t(G\times H) \geq γ_{gr}^t(G)γ_{gr}^t(H)$, conjecture that the equality always holds, and prove the conjecture in several special cases. For the lexicographic product we express $γ_{gr}^t(G\circ H)$ in terms of related invariant of the factors and find some explicit formulas for it. For the strong product, lower bounds on $γ_{gr}^t(G \boxtimes H)$ are proved as well as upper bounds for products of paths and cycles. For the Cartesian product we prove lower and upper bounds on the Grundy total domination number when factors are paths or cycles.

math.CO↗

arXiv2017

Forbidding rank-preserving copies of a poset

The maximum size, $La(n,P)$, of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a copy of $P$ as a subposet, has been intensively studied. Let $P$ be a graded poset. We say that a family $\mathcal{F}$ of subsets of $[n]=\{1,2,...,n\}$ contains a \emph{rank-preserving} copy of $P$ if it contains a copy of $P$ such that elements of $P$ having the same rank are mapped to sets of same size in $\mathcal{F}$. The largest size of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a rank-preserving copy of $P$ as a subposet is denoted by $La_{rp}(n,P)$. Clearly, $La(n,P) \le La_{rp}(n,P)$ holds. In this paper we prove asymptotically optimal upper bounds on $La_{rp}(n,P)$ for tree posets of height $2$ and monotone tree posets of height $3$, strengthening a result of Bukh in these cases. We also obtain the exact value of $La_{rp}(n,\{Y_{h,s},Y_{h,s}'\})$ and $La(n,\{Y_{h,s},Y_{h,s}'\})$, where $Y_{h,s}$ denotes the poset on $h+s$ elements $x_1,\dots,x_h,y_1,\dots,y_s$ with $x_1<\dots<x_h<y_1,\dots,y_s$ and $Y'_{h,s}$ denotes the dual poset of $Y_{h,s}$.

math.CO↗

arXiv2017

On the maximum size of connected hypergraphs without a path of given length

In this note we asymptotically determine the maximum number of hyperedges possible in an $r$-uniform, connected $n$-vertex hypergraph without a Berge path of length $k$, as $n$ and $k$ tend to infinity. We show that, unlike in the graph case, the multiplicative constant is smaller with the assumption of connectivity.

math.CO↗

arXiv2017

An improvement on the maximum number of $k$-Dominating Independent Sets

Erdős and Moser raised the question of determining the maximum number of maximal cliques or equivalently, the maximum number of maximal independent sets in a graph on $n$ vertices. Since then there has been a lot of research along these lines. A $k$-dominating independent set is an independent set $D$ such that every vertex not contained in $D$ has at least $k$ neighbours in $D$. Let $mi_k(n)$ denote the maximum number of $k$-dominating independent sets in a graph on $n$ vertices, and let $ζ_k:=\lim_{n \rightarrow \infty} \sqrt[n]{mi_k(n)}$. Nagy initiated the study of $mi_k(n)$. In this article we disprove a conjecture of Nagy and prove that for any even $k$ we have $$1.489 \approx \sqrt[9]{36} \le ζ^k_k.$$ We also prove that for any $k \ge 3$ we have $$ζ_k^{k} \le 2.053^{\frac{1}{1.053+1/k}}< 1.98,$$ improving the upper bound of Nagy.

math.CO↗

arXiv2017

A plurality problem with three colors and query size three

The Plurality problem - introduced by Aigner \cite{A2004} - has many variants. In this article we deal with the following version: suppose we are given $n$ balls, each of them colored by one of three colors. A \textit{plurality ball} is one such that its color class is strictly larger than any other color class. Questioner wants to find a plurality ball as soon as possible or state there is no, by asking triplets (or $k$-sets, in general), while Adversary partition the triplets into color classes as an answer for the queries and wants to postpone the possibility of determining a plurality ball (or stating there is no). We denote by $A_p(n,3)$ the largest number of queries needed to ask if both play optimally (and Questioner asks triplets). We provide an almost precise result in case of even $n$ by proving that for $n \ge 4$ even we have $$\frac{3}{4}n-2 \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2},$$ and for $n \ge 3$ odd we have $$\frac{3}{4}n-O(\log n) \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2}.$$ We also prove some bounds on the number of queries needed to ask for larger $k$.

math.CO↗

arXiv2017

Coloring points with respect to squares

We consider the problem of $2$-coloring geometric hypergraphs. Specifically, we show that there is a constant $m$ such that any finite set of points in the plane $\mathcal{S} \subset {\mathbb R}^2$ can be $2$-colored such that every axis-parallel square that contains at least $m$ points from $\mathcal{S}$ contains points of both colors. Our proof is constructive, that is, it provides a polynomial-time algorithm for obtaining such a $2$-coloring. By affine transformations this result immediately applies also when considering $2$-coloring points with respect to homothets of a fixed parallelogram.

math.CO↗

arXiv2017

Forbidden subposet problems for traces of set families

In this paper we introduce a problem that bridges forbidden subposet and forbidden subconfiguration problems. The sets $F_1,F_2, \dots,F_{|P|}$ form a copy of a poset $P$, if there exists a bijection $i:P\rightarrow \{F_1,F_2, \dots,F_{|P|}\}$ such that for any $p,p'\in P$ the relation $p<_P p'$ implies $i(p)\subsetneq i(p')$. A family $\mathcal{F}$ of sets is \textit{$P$-free} if it does not contain any copy of $P$. The trace of a family $\mathcal{F}$ on a set $X$ is $\mathcal{F}|_X:=\{F\cap X: F\in \mathcal{F}\}$. We introduce the following notions: $\mathcal{F}\subseteq 2^{[n]}$ is $l$-trace $P$-free if for any $l$-subset $L\subseteq [n]$, the family $\mathcal{F}|_L$ is $P$-free and $\mathcal{F}$ is trace $P$-free if it is $l$-trace $P$-free for all $l\le n$. As the first instances of these problems we determine the maximum size of trace $B$-free families, where $B$ is the butterfly poset on four elements $a,b,c,d$ with $a,b<c,d$ and determine the asymptotics of the maximum size of $(n-i)$-trace $K_{r,s}$-free families for $i=1,2$. We also propose a generalization of the main conjecture of the area of forbidden subposet problems.

math.CO↗

arXiv2017

Conscious and controlling elements in combinatorial group testing problems with more defectives

In combinatorial group testing problems Questioner needs to find a defective element $x\in [n]$ by testing subsets of $[n]$. In [18] the authors introduced a new model, where each element knows the answer for those queries that contain it and each element should be able to identify the defective one. In this article we continue to investigate this kind of models with more defective elements. We also consider related models inspired by secret sharing models, where the elements should share information among them to find out the defectives. Finally the adaptive versions of the different models are also investigated.

cs.DM↗

arXiv2017

Grundy dominating sequences and zero forcing sets

In a graph $G$ a sequence $v_1,v_2,\dots,v_m$ of vertices is Grundy dominating if for all $2\le i \le m$ we have $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ and is Grundy total dominating if for all $2\le i \le m$ we have $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. The length of the longest Grundy (total) dominating sequence has been studied by several authors. In this paper we introduce two similar concepts when the requirement on the neighborhoods is changed to $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ or $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. In the former case we establish a strong connection to the zero forcing number of a graph, while we determine the complexity of the decision problem in the latter case. We also study the relationships among the four concepts, and discuss their computational complexities.

math.CO↗

arXiv2016

Rounds in a combinatorial search problem

We consider the following combinatorial search problem: we are given some excellent elements of $[n]$ and we should find at least one, asking questions of the following type: "Is there an excellent element in $A \subset [n]$?". G.O.H. Katona proved sharp results for the number of questions needed to ask in the adaptive, non-adaptive and two-round versions of this problem. We verify a conjecture of Katona by proving that in the $r$-round version we need to ask $rn^{1/r}+O(1)$ queries for fixed $r$ and this is sharp. We also prove bounds for the queries needed to ask if we want to find at least $d$ excellent elements.

math.CO↗

arXiv2016

Finding a non-minority ball with majority answers

Suppose we are given a set of $n$ balls $\{b_1,\ldots,b_n\}$ each colored either red or blue in some way unknown to us. To find out some information about the colors, we can query any triple of balls $\{b_{i_1},b_{i_2},b_{i_3}\}$. As an answer to such a query we obtain (the index of) a {\em majority ball}, that is, a ball whose color is the same as the color of another ball from the triple. Our goal is to find a {\em non-minority ball}, that is, a ball whose color occurs at least $\frac n2$ times among the $n$ balls. We show that the minimum number of queries needed to solve this problem is $Θ(n)$ in the adaptive case and $Θ(n^3)$ in the non-adaptive case. We also consider some related problems.

math.CO↗

arXiv2016

Line Percolation in Finite Projective Planes

We study combinatorial parameters of a recently introduced bootstrap percolation problem in finite projective planes. We present sharp results on the size of the minimum percolating sets and the maximal non-percolating sets. Additional results on the minimal and maximal percolation time as well as on the critical probability in the projective plane are also presented.

math.CO↗