BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Dieter Rautenbach

Dieter Rautenbach appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CODiscrete MathematicsData Structures and Algorithms

Catalog footprint

What is connected

48works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

48 published item(s)

preprint2026arXiv

Degenerate Vertex Cuts in Sparse Graphs

For a non-negative integer $k$, a vertex cut in a graph is $k$-degenerate if it induces a $k$-degenerate subgraph. We show that a graph of order $n$ at least $2k+2$ without a $k$-degenerate cut has the size at least $\frac{1}{2}\left(k+Ω\left(\sqrt{k}\right)\right)n$ and that a graph of order $n$ at least $5$ without a $2$-degenerate cut has the size at least $\frac{27n-35}{10}$. For $k\geq 2$, we show that a connected graph $G$ of order $n$ at least $k+6$ and size $m$ at most $\frac{k+3}{2}n+\frac{k-1}{2}$ has a minimum $k$-degenerate cut.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Vertex degrees close to the average degree

Let $G$ be a finite, simple, and undirected graph of order $n$ and average degree $d$. Up to terms of smaller order, we characterize the minimal intervals $I$ containing $d$ that are guaranteed to contain some vertex degree. In particular, for $d_+\in \left(\sqrt{dn},n-1\right]$, we show the existence of a vertex in $G$ of degree between $d_+-\left(\frac{(d_+-d)n}{n-d_++\sqrt{d_+^2-dn}}\right)$ and $d_+$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A bound on the dissociation number

The dissociation number ${\rm diss}(G)$ of a graph $G$ is the maximum order of a set of vertices of $G$ inducing a subgraph that is of maximum degree at most $1$. Computing the dissociation number of a given graph is algorithmically hard even when restricted to subcubic bipartite graphs. For a graph $G$ with $n$ vertices, $m$ edges, $k$ components, and $c_1$ induced cycles of length $1$ modulo $3$, we show ${\rm diss}(G)\geq n-\frac{1}{3}\Big(m+k+c_1\Big)$. Furthermore, we characterize the extremal graphs in which every two cycles are vertex-disjoint.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Efficiently recognizing graphs with equal independence and annihilation numbers

The annihilation number $a(G)$ of a graph $G$ is an efficiently computable upper bound on the independence number $α(G)$ of $G$. Recently, Hiller observed that a characterization of the graphs $G$ with $α(G)=a(G)$ due to Larson and Pepper is false. Since the known efficient algorithm recognizing these graphs was based on this characterization, the complexity of recognizing graphs $G$ with $α(G)=a(G)$ was once again open. We show that these graphs can indeed be recognized efficiently. More generally, we show that recognizing graphs $G$ with $α(G)\geq a(G)-\ell$ is fixed parameter tractable using $\ell$ as parameter.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Majority Edge-Colorings of Graphs

We propose the notion of a majority $k$-edge-coloring of a graph $G$, which is an edge-coloring of $G$ with $k$ colors such that, for every vertex $u$ of $G$, at most half the edges of $G$ incident with $u$ have the same color. We show the best possible results that every graph of minimum degree at least $2$ has a majority $4$-edge-coloring, and that every graph of minimum degree at least $4$ has a majority $3$-edge-coloring. Furthermore, we discuss a natural variation of majority edge-colorings and some related open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Relating dissociation, independence, and matchings

A dissociation set in a graph is a set of vertices inducing a subgraph of maximum degree at most $1$. Computing the dissociation number ${\rm diss}(G)$ of a given graph $G$, defined as the order of a maximum dissociation set in $G$, is algorithmically hard even when $G$ is restricted to be bipartite. Recently, Hosseinian and Butenko proposed a simple $\frac{4}{3}$-approximation algorithm for the dissociation number problem in bipartite graphs. Their result relies on the inequality ${\rm diss}(G)\leq\frac{4}{3}α(G-M)$ implicit in their work, where $G$ is a bipartite graph, $M$ is a maximum matching in $G$, and $α(G-M)$ denotes the independence number of $G-M$. We show that the pairs $(G,M)$ for which this inequality holds with equality can be recognized efficiently, and that a maximum dissociation set can be determined for them efficiently. The dissociation number of a graph $G$ satisfies $\max\{ α(G),2ν_s(G)\} \leq {\rm diss}(G)\leq α(G)+ν_s(G)\leq 2α(G)$, where $ν_s(G)$ denotes the induced matching number of $G$. We show that deciding whether ${\rm diss}(G)$ equals any of the four terms lower and upper bounding ${\rm diss}(G)$ is NP-hard.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Relating the independence number and the dissociation number

The independence number $α(G)$ and the dissociation number ${\rm diss}(G)$ of a graph $G$ are the largest orders of induced subgraphs of $G$ of maximum degree at most $0$ and at most $1$, respectively. We consider possible improvements of the obvious inequality $2α(G)\geq {\rm diss}(G)$. For connected cubic graphs $G$ distinct from $K_4$, we show $5α(G)\geq 3{\rm diss}(G)$, and describe the rich and interesting structure of the extremal graphs in detail. For bipartite graphs, and, more generally, triangle-free graphs, we also obtain improvements. For subcubic graphs though, the inequality cannot be improved in general, and we characterize all extremal subcubic graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Efficiently finding low-sum copies of spanning forests in zero-sum complete graphs via conditional expectation

For a fixed positive $ε$, we show the existence of a constant $C_ε$ with the following property: Given a $\pm1$-edge-labeling $c:E(K_n)\to \{ -1,1\}$ of the complete graph $K_n$ with $c(E(K_n))=0$, and a spanning forest $F$ of $K_n$ of maximum degree $Δ$, one can determine in polynomial time an isomorphic copy $F'$ of $F$ in $K_n$ with $|c(E(F'))|\leq \left(\frac{3}{4}+ε\right)Δ+C_ε.$ Our approach is based on the method of conditional expectation.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Maximally distance-unbalanced trees

For a graph $G$, and two distinct vertices $u$ and $v$ of $G$, let $n_G(u,v)$ be the number of vertices of $G$ that are closer in $G$ to $u$ than to $v$. Miklavič and Šparl (arXiv:2011.01635v1) define the distance-unbalancedness ${\rm uB}(G)$ of $G$ as the sum of $|n_G(u,v)-n_G(v,u)|$ over all unordered pairs of distinct vertices $u$ and $v$ of $G$. For positive integers $n$ up to $15$, they determine the trees $T$ of fixed order $n$ with the smallest and the largest values of ${\rm uB}(T)$, respectively. While the smallest value is achieved by the star $K_{1,n-1}$ for these $n$, which we then proved for general $n$ (Minimum distance-unbalancedness of trees, Journal of Mathematical Chemistry, DOI 10.1007/s10910-021-01228-4), the structure of the trees maximizing the distance-unbalancedness remained unclear. For $n$ up to $15$ at least, all these trees were subdivided stars. Contributing to problems posed by Miklavič and Šparl, we show $$\max\Big\{{\rm uB}(T):T\mbox{ is a tree of order }n\Big\} =\frac{n^3}{2}+o(n^3)$$ and $$\max\Big\{{\rm uB}(S(n_1,\ldots,n_k)):1+n_1+\cdots+n_k=n\Big\} =\left(\frac{1}{2}-\frac{5}{6k}+\frac{1}{3k^2}\right)n^3+O(kn^2),$$ where $S(n_1,\ldots,n_k)$ is the subdivided star such that removing its center vertex leaves paths of orders $n_1,\ldots,n_k$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Zero-sum copies of spanning forests in zero-sum complete graphs

For a complete graph $K_n$ of order $n$, an edge-labeling $c:E(K_n)\to \{ -1,1\}$ satisfying $c(E(K_n))=0$, and a spanning forest $F$ of $K_n$, we consider the problem to minimize $|c(E(F'))|$ over all isomorphic copies $F'$ of $F$ in $K_n$. In particular, we ask under which additional conditions there is a zero-sum copy, that is, a copy $F'$ of $F$ with $c(E(F'))=0$. We show that there is always a copy $F'$ of $F$ with $|c(E(F'))|\leq Δ(F)+1$, where $Δ(F)$ is the maximum degree of $F$. We conjecture that this bound can be improved to $|c(E(F'))|\leq (Δ(F)-1)/2$ and verify this for $F$ being the star $K_{1,n-1}$. Under some simple necessary divisibility conditions, we show the existence of a zero-sum $P_3$-factor, and, for sufficiently large $n$, also of a zero-sum $P_4$-factor.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Additive Tree $O(ρ\log n)$-Spanners from Tree Breadth $ρ$

The tree breadth ${\rm tb}(G)$ of a connected graph $G$ is the smallest non-negative integer $ρ$ such that $G$ has a tree decomposition whose bags all have radius at most $ρ$. We show that, given a connected graph $G$ of order $n$ and size $m$, one can construct in time $O(m\log n)$ an additive tree $O\big({\rm tb}(G)\log n\big)$-spanner of $G$, that is, a spanning subtree $T$ of $G$ in which $d_T(u,v)\leq d_G(u,v)+O\big({\rm tb}(G)\log n\big)$ for every two vertices $u$ and $v$ of $G$. This improves earlier results of Dragan and Köhler (Algorithmica 69 (2014) 884-905), who obtained a multiplicative error of the same order, and of Dragan and Abu-Ata (Theoretical Computer Science 547 (2014) 1-17), who achieved the same additive error with a collection of $O(\log n)$ trees.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Reconfiguring dominating sets in minor-closed graph classes

For a graph $G$, two dominating sets $D$ and $D'$ in $G$, and a non-negative integer $k$, the set $D$ is said to $k$-transform to $D'$ if there is a sequence $D_0,\ldots,D_\ell$ of dominating sets in $G$ such that $D=D_0$, $D'=D_\ell$, $|D_i|\leq k$ for every $i\in \{ 0,1,\ldots,\ell\}$, and $D_i$ arises from $D_{i-1}$ by adding or removing one vertex for every $i\in \{ 1,\ldots,\ell\}$. We prove that there is some positive constant $c$ and there are toroidal graphs $G$ of arbitrarily large order $n$, and two minimum dominating sets $D$ and $D'$ in $G$ such that $D$ $k$-transforms to $D'$ only if $k\geq \max\{ |D|,|D'|\}+c\sqrt{n}$. Conversely, for every hereditary class ${\cal G}$ that has balanced separators of order $n\mapsto n^α$ for some $α<1$, we prove that there is some positive constant $C$ such that, if $G$ is a graph in ${\cal G}$ of order $n$, and $D$ and $D'$ are two dominating sets in $G$, then $D$ $k$-transforms to $D'$ for $k=\max\{ |D|,|D'|\}+\lfloor Cn^α\rfloor$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Bounds on the Burning Number

Motivated by a graph theoretic process intended to measure the speed of the spread of contagion in a graph, Bonato, Janssen, and Roshanbin [Burning a Graph as a Model of Social Contagion, Lecture Notes in Computer Science 8882 (2014) 13-22] define the burning number $b(G)$ of a graph $G$ as the smallest integer $k$ for which there are vertices $x_1,\ldots,x_k$ such that for every vertex $u$ of $G$, there is some $i\in \{ 1,\ldots,k\}$ with ${\rm dist}_G(u,x_i)\leq k-i$, and ${\rm dist}_G(x_i,x_j)\geq j-i$ for every $i,j\in \{ 1,\ldots,k\}$. For a connected graph $G$ of order $n$, they prove that $b(G)\leq 2\left\lceil\sqrt{n}\right\rceil-1$, and conjecture $b(G)\leq \left\lceil\sqrt{n}\right\rceil$. We show that $b(G)\leq \sqrt{\frac{32}{19}\cdot \frac{n}{1-ε}}+\sqrt{\frac{27}{19ε}}$ and $b(G)\leq \sqrt{\frac{12n}{7}}+3\approx 1.309 \sqrt{n}+3$ for every connected graph $G$ of order $n$ and every $0<ε<1$. For a tree $T$ of order $n$ with $n_2$ vertices of degree $2$, and $n_{\geq 3}$ vertices of degree at least $3$, we show $b(T)\leq \left\lceil\sqrt{(n+n_2)+\frac{1}{4}}+\frac{1}{2}\right\rceil$ and $b(T)\leq \left\lceil\sqrt{n}\right\rceil+n_{\geq 3}$. Furthermore, we characterize the binary trees of depth $r$ that have burning number $r+1$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Dynamic Monopolies for Degree Proportional Thresholds in Connected Graphs of Girth at least Five and Trees

Let $G$ be a graph, and let $ρ\in (0,1)$. For a set $D$ of vertices of $G$, let the set $H_ρ(D)$ arise by starting with the set $D$, and iteratively adding further vertices $u$ to the current set if they have at least $\lceil ρd_G(u)\rceil$ neighbors in it. If $H_ρ(D)$ contains all vertices of $G$, then $D$ is known as an irreversible dynamic monopoly or a perfect target set associated with the threshold function $u\mapsto \lceil ρd_G(u)\rceil$. Let $h_ρ(G)$ be the minimum cardinality of such an irreversible dynamic monopoly. For a connected graph $G$ of maximum degree at least $\frac{1}ρ$, Chang (Triggering cascades on undirected connected graphs, Information Processing Letters 111 (2011) 973-978) showed $h_ρ(G)\leq 5.83ρn(G)$, which was improved by Chang and Lyuu (Triggering cascades on strongly connected directed graphs, Theoretical Computer Science 593 (2015) 62-69) to $h_ρ(G)\leq 4.92ρn(G)$. We show that for every $ε>0$, there is some $ρ(ε)>0$ such that $h_ρ(G) \leq(2+ε)ρn(G)$ for every $ρ$ in $(0,ρ(ε))$, and every connected graph $G$ that has maximum degree at least $\frac{1}ρ$ and girth at least $5$. Furthermore, we show that $h_ρ(T) \leq ρn(T)$ for every $ρ$ in $(0,1]$, and every tree $T$ that has order at least $\frac{1}ρ$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Exponential Independence

For a set $S$ of vertices of a graph $G$, a vertex $u$ in $V(G)\setminus S$, and a vertex $v$ in $S$, let ${\rm dist}_{(G,S)}(u,v)$ be the distance of $u$ and $v$ in the graph $G-(S\setminus \{ v\})$. Dankelmann et al. (Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883) define $S$ to be an exponential dominating set of $G$ if $w_{(G,S)}(u)\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where $w_{(G,S)}(u)=\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}$. Inspired by this notion, we define $S$ to be an exponential independent set of $G$ if $w_{(G,S\setminus \{ u\})}(u)<1$ for every vertex $u$ in $S$, and the exponential independence number $α_e(G)$ of $G$ as the maximum order of an exponential independent set of $G$. Similarly as for exponential domination, the non-local nature of exponential independence leads to many interesting effects and challenges. Our results comprise exact values for special graphs as well as tight bounds and the corresponding extremal graphs. Furthermore, we characterize all graphs $G$ for which $α_e(H)$ equals the independence number $α(H)$ for every induced subgraph $H$ of $G$, and we give an explicit characterization of all trees $T$ with $α_e(T)=α(T)$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Extremal Values of the Chromatic Number for a Given Degree Sequence

For a degree sequence $d:d_1\geq \cdots \geq d_n$, we consider the smallest chromatic number $χ_{\min}(d)$ and the largest chromatic number $χ_{\max}(d)$ among all graphs with degree sequence $d$. We show that if $d_n\geq 1$, then $χ_{\min}(d)\leq \max\left\{ 3,d_1-\frac{n+1}{4d_1}+4\right\}$, and, if $\sqrt{n+\frac{1}{4}}-\frac{1}{2}>d_1\geq d_n\geq 1$, then $χ_{\max}(d)=\max\limits_{i\in [n]}\min\left\{ i,d_i+1\right\}$. For a given degree sequence $d$ with bounded entries, we show that $χ_{\min}(d)$, $χ_{\max}(d)$, and also the smallest independence number $α_{\min}(d)$ among all graphs with degree sequence $d$, can be determined in polynomial time.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Large Values of the Clustering Coefficient

A prominent parameter in the context of network analysis, originally proposed by Watts and Strogatz (Collective dynamics of `small-world' networks, Nature 393 (1998) 440-442), is the clustering coefficient of a graph $G$. It is defined as the arithmetic mean of the clustering coefficients of its vertices, where the clustering coefficient of a vertex $u$ of $G$ is the relative density $m(G[N_G(u)])/{d_G(u)\choose 2}$ of its neighborhood if $d_G(u)$ is at least $2$, and $0$ otherwise. It is unknown which graphs maximize the clustering coefficient among all connected graphs of given order and size. We determine the maximum clustering coefficients among all connected regular graphs of a given order, as well as among all connected subcubic graphs of a given order. In both cases, we characterize all extremal graphs. Furthermore, we determine the maximum increase of the clustering coefficient caused by adding a single edge.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Relating Domination, Exponential Domination, and Porous Exponential Domination

The domination number $γ(G)$ of a graph $G$, its exponential domination number $γ_e(G)$, and its porous exponential domination number $γ_e^*(G)$ satisfy $γ_e^*(G)\leq γ_e(G)\leq γ(G)$. We contribute results about the gaps in these inequalities as well as the graphs for which some of the inequalities hold with equality. Relaxing the natural integer linear program whose optimum value is $γ_e^*(G)$, we are led to the definition of the fractional porous exponential domination number $γ_{e,f}^*(G)$ of a graph $G$. For a subcubic tree $T$ of order $n$, we show $γ_{e,f}^*(T)=\frac{n+2}{6}$ and $γ_e(T)\leq 2γ_{e,f}^*(T)$. We characterize the two classes of subcubic trees $T$ with $γ_e(T)=γ_{e,f}^*(T)$ and $γ(T)=γ_e(T)$, respectively. Using linear programming arguments, we establish several lower bounds on the fractional porous exponential domination number in more general settings.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Some Bounds on the Zero Forcing Number of a Graph

A set $Z$ of vertices of a graph $G$ is a zero forcing set of $G$ if initially labeling all vertices in $Z$ with $1$ and all remaining vertices of $G$ with $0$, and then, iteratively and as long as possible, changing the label of some vertex $u$ from $0$ to $1$ if $u$ is the only neighbor with label $0$ of some vertex with label $1$, results in the entire vertex set of $G$. The zero forcing number $Z(G)$, defined as the minimum order of a zero forcing set of $G$, was proposed as an upper bound of the corank of matrices associated with $G$, and was also considered in connection with quantum physics and logic circuits. In view of the computational hardness of the zero forcing number, upper and lower bounds are of interest. Refining results of Amos, Caro, Davila, and Pepper, we show that $Z(G)\leq \frac{Δ-2}{Δ-1}n$ for a connected graph $G$ of order $n$ and maximum degree $Δ$ at least $3$ if and only if $G$ does not belong to $\{ K_{Δ+1},K_{Δ,Δ},K_{Δ-1,Δ},G_1,G_2\}$, where $G_1$ and $G_2$ are two specific graphs of orders $5$ and $7$, respectively. For a connected graph $G$ of order $n$, maximum degree $3$, and girth at least $5$, we show $Z(G)\leq \frac{n}{2}-Ω\left(\frac{n}{\log n}\right)$. Using a probabilistic argument, we show $Z(G)\leq \left(1-\frac{H_r}{r}+o\left(\frac{H_r}{r}\right)\right)n$ for an $r$-regular graph $G$ of order $n$ and girth at least $5$, where $H_r$ is the $r$-th harmonic number. Finally, we show $Z(G)\geq (g-2)(δ-2)+2$ for a graph $G$ of girth $g\in \{ 5,6\}$ and minimum degree $δ$, which partially confirms a conjecture of Davila and Kenter.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Some Comments on the Slater number

Let $G$ be a graph with degree sequence $d_1\geq \ldots \geq d_n$. Slater proposed $s\ell(G)=\min\{ s: (d_1+1)+\cdots+(d_s+1)\geq n\}$ as a lower bound on the domination number $γ(G)$ of $G$. We show that deciding the equality of $γ(G)$ and $s\ell(G)$ for a given graph $G$ is NP-complete but that one can decide efficiently whether $γ(G)>s\ell(G)$ or $γ(G)\leq \left(\left\lceil\ln \left(\frac{n(G)}{s\ell(G)}\right)\right\rceil+1\right)s\ell(G)$. For real numbers $α$ and $β$ with $α\geq \max\{ 0,β\}$, let ${\cal G}(α,β)$ be the class of non-null graphs $G$ such that every non-null subgraph $H$ of $G$ has at most $αn(H)-β$ many edges. Generalizing a result of Desormeaux, Haynes, and Henning, we show that $γ(G)\leq (2α+1)s\ell(G)-2β$ for every graph $G$ in ${\cal G}(α,β)$ with $α\leq \frac{3}{2}$. Furthermore, we show that $γ(G)/s\ell(G)$ is bounded for graphs $G$ in ${\cal G}(α,β)$ if and only if $α<2$. For an outerplanar graph $G$ with $s\ell(G)\geq 2$, we show $γ(G)\leq 6s\ell(G)-6$. In analogy to $s\ell(G)$, we propose $s\ell_t(G)=\min\{ s: d_1+\cdots+d_s\geq n\}$ as a lower bound on the total domination number. Strengthening results due to Raczek as well as Chellali and Haynes, we show that $s\ell_t(T)\geq \frac{n+2-n_1}{2}$ for every tree $T$ of order $n$ at least $2$ with $n_1$ endvertices.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Uniquely restricted matchings and edge colorings

A matching in a graph is uniquely restricted if no other matching covers exactly the same set of vertices. This notion was defined by Golumbic, Hirst, and Lewenstein and studied in a number of articles. Our contribution is twofold. We provide approximation algorithms for computing a uniquely restricted matching of maximum size in some bipartite graphs. In particular, we achieve a ratio of $9/5$ for subcubic bipartite graphs, improving over a $2$-approximation algorithm proposed by Mishra. Furthermore, we study the uniquely restricted chromatic index of a graph, defined as the minimum number of uniquely restricted matchings into which its edge set can be partitioned. We provide tight upper bounds in terms of the maximum degree and characterize all extremal graphs. Our constructive proofs yield efficient algorithms to determine the corresponding edge colorings.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Averaging $2$-Rainbow Domination and Roman Domination

For a graph $G$, let $γ_{r2}(G)$ and $γ_R(G)$ denote the $2$-rainbow domination number and the Roman domination number, respectively. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) proved $γ_{r2}(G)+γ_R(G)\leq \frac{6}{4}n(G)$ for a connected graph $G$ of order $n(G)$ at least $3$. Furthermore, they conjectured $γ_{r2}(G)+γ_R(G)\leq \frac{4}{3}n(G)$ for a connected graph $G$ of minimum degree at least $2$ that is distinct from $C_5$. We characterize all extremal graphs for their inequality and prove their conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Bounds on the Exponential Domination Number

As a natural variant of domination in graphs, Dankelmann et al. [Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883] introduce exponential domination, where vertices are considered to have some dominating power that decreases exponentially with the distance, and the dominated vertices have to accumulate a sufficient amount of this power emanating from the dominating vertices. More precisely, if $S$ is a set of vertices of a graph $G$, then $S$ is an exponential dominating set of $G$ if $\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u\in V(G)\setminus S$ and $v\in S$ in the graph $G-(S\setminus \{ v\})$. The exponential domination number $γ_e(G)$ of $G$ is the minimum order of an exponential dominating set of $G$. Dankelmann et al. show $$\frac{1}{4}({\rm d}+2)\leq γ_e(G)\leq \frac{2}{5}(n+2)$$ for a connected graph $G$ of order $n$ and diameter ${\rm d}$. We provide further bounds and in particular strengthen their upper bound. Specifically, for a connected graph $G$ of order $n$, maximum degree $Δ$ at least $3$, radius ${\rm r}$ at least $1$, we show \begin{eqnarray*} γ_e(G) & \geq & \left(\frac{n}{13(Δ-1)^2}\right)^{\frac{\log_2(Δ-1)+1}{\log_2^2(Δ-1)+\log_2(Δ-1)+1}},\\[3mm] γ_e(G) & \leq & 2^{2{\rm r}-2}\mbox{, and }\\[3mm] γ_e(G) & \leq & \frac{43}{108}(n+2). \end{eqnarray*}

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Dominating Sets inducing Large Components in Maximal Outerplanar Graphs

For a maximal outerplanar graph $G$ of order $n$ at least $3$, Matheson and Tarjan showed that $G$ has domination number at most $n/3$. Similarly, for a maximal outerplanar graph $G$ of order $n$ at least $5$, Dorfling, Hattingh, and Jonck showed, by a completely different approach, that $G$ has total domination number at most $2n/5$ unless $G$ is isomorphic to one of two exceptional graphs of order $12$. We present a unified proof of a common generalization of these two results. For every positive integer $k$, we specify a set ${\cal H}_k$ of graphs of order at least $4k+4$ and at most $4k^2-2k$ such that every maximal outerplanar graph $G$ of order $n$ at least $2k+1$ that does not belong to ${\cal H}_k$ has a dominating set $D$ of order at most $\lfloor\frac{kn}{2k+1}\rfloor$ such that every component of the subgraph $G[D]$ of $G$ induced by $D$ has order at least $k$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Exponential Domination in Subcubic Graphs

As a natural variant of domination in graphs, Dankelmann et al. [Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883] introduce exponential domination, where vertices are considered to have some dominating power that decreases exponentially with the distance, and the dominated vertices have to accumulate a sufficient amount of this power emanating from the dominating vertices. More precisely, if $S$ is a set of vertices of a graph $G$, then $S$ is an exponential dominating set of $G$ if $\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u\in V(G)\setminus S$ and $v\in S$ in the graph $G-(S\setminus \{ v\})$. The exponential domination number $γ_e(G)$ of $G$ is the minimum order of an exponential dominating set of $G$. In the present paper we study exponential domination in subcubic graphs. Our results are as follows: If $G$ is a connected subcubic graph of order $n(G)$, then $$\frac{n(G)}{6\log_2(n(G)+2)+4}\leq γ_e(G)\leq \frac{1}{3}(n(G)+2).$$ For every $ε>0$, there is some $g$ such that $γ_e(G)\leq εn(G)$ for every cubic graph $G$ of girth at least $g$. For every $0<α<\frac{2}{3\ln(2)}$, there are infinitely many cubic graphs $G$ with $γ_e(G)\leq \frac{3n(G)}{\ln(n(G))^α}$. If $T$ is a subcubic tree, then $γ_e(T)\geq \frac{1}{6}(n(T)+2).$ For a given subcubic tree, $γ_e(T)$ can be determined in polynomial time. The minimum exponential dominating set problem is APX-hard for subcubic graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Forbidden Induced Subgraphs for Bounded $p$-Intersection Number

A graph $G$ has $p$-intersection number at most $d$ if it is possible to assign to every vertex $u$ of $G$, a subset $S(u)$ of some ground set $U$ with $|U|=d$ in such a way that distinct vertices $u$ and $v$ of $G$ are adjacent in $G$ if and only if $|S(u)\cap S(v)|\geq p$. We show that every minimal forbidden induced subgraph for the hereditary class ${\cal G}(d,p)$ of graphs whose $p$-intersection number is at most $d$, has order at most $3\cdot 2^{d+1}+1$, and that the exponential dependence on $d$ in this upper bound is necessary. For $p\in \{ d-1,d-2\}$, we provide more explicit results characterizing the graphs in ${\cal G}(d,p)$ without isolated/universal vertices using forbidden induced subgraphs.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Graphs in which some and every maximum matching is uniquely restricted

A matching $M$ in a graph $G$ is uniquely restricted if there is no matching $M'$ in $G$ that is distinct from $M$ but covers the same vertices as $M$. Solving a problem posed by Golumbic, Hirst, and Lewenstein, we characterize the graphs in which some maximum matching is uniquely restricted. Solving a problem posed by Levit and Mandrescu, we characterize the graphs in which every maximum matching is uniquely restricted. Both our characterizations lead to efficient recognition algorithms for the corresponding graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Independence in Uniform Linear Triangle-free Hypergraphs

The independence number $α(H)$ of a hypergraph $H$ is the maximum cardinality of a set of vertices of $H$ that does not contain an edge of $H$. Generalizing Shearer's classical lower bound on the independence number of triangle-free graphs (J. Comb. Theory, Ser. B 53 (1991) 300-307), and considerably improving recent results of Li and Zang (SIAM J. Discrete Math. 20 (2006) 96-104) and Chishti et al. (Acta Univ. Sapientiae, Informatica 6 (2014) 132-158), we show that $$α(H)\geq \sum_{u\in V(H)}f_r(d_H(u))$$ for an $r$-uniform linear triangle-free hypergraph $H$ with $r\geq 2$, where \begin{eqnarray*} f_r(0)&=&1\mbox{, and }\\ f_r(d)&=&\frac{1+\Big((r-1)d^2-d\Big)f_r(d-1)}{1+(r-1)d^2}\mbox{ for $d\geq 1$.} \end{eqnarray*}

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Largest Domination Number and Smallest Independence Number of Forests with given Degree Sequence

For a sequence $d$ of non-negative integers, let ${\cal F}(d)$ be the set of all forests whose degree sequence is $d$. We present closed formulas for $γ_{\max}^{\cal F}(d)=\max\{ γ(F):F\in {\cal F}(d)\}$ and $α_{\min}^{\cal F}(d)=\min\{ α(F):F\in {\cal F}(d)\}$ where $γ(F)$ and $α(F)$ are the domination number and the independence number of a forest $F$, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Local Connectivity, Local Degree Conditions, some Forbidden Induced Subgraphs, and Cycle Extendability

The research in the present paper was motivated by the conjecture of Ryjáček that every locally connected graph is weakly pancyclic. For a connected locally connected graph $G$ of order at least $3$, our results are as follows: If $G$ is $(K_1+(K_1\cup K_2))$-free, then $G$ is weakly pancyclic. If $G$ is $(K_1+(K_1\cup K_2))$-free, then $G$ is fully cycle extendable if and only if $2δ(G)\geq n(G)$. If $G$ is $\{ K_1+K_1+\bar{K}_3,K_1+P_4\}$-free or $\{ K_1+K_1+\bar{K}_3,K_1+(K_1\cup P_3)\}$-free, then $G$ is fully cycle extendable. If $G$ is distinct from $K_1+K_1+\bar{K}_3$ and $\{ K_1+P_4,K_{1,4},K_2+(K_1\cup K_2)\}$-free, then $G$ is fully cycle extendable. Furthermore, if $G$ is a connected graph of order at least $3$ such that $$|N_G(u)\cap N_G(v)\cap N_G(w)|>|N_G(u)\setminus (N_G[v]\cup N_G[w])|$$ for every induced path $vuw$ of order $3$ in $G$, then $G$ is fully cycle extendable, which implies that every connected locally Ore or locally Dirac graph of order at least $3$ is fully cycle extendable.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Relating $2$-Rainbow Domination to Roman domination

For a graph $G$, let $γ_R(G)$ and $γ_{r2}(G)$ denote the Roman domination number of $G$ and the $2$-rainbow domination number of $G$, respectively. It is known that $γ_{r2}(G)\leq γ_R(G)\leq \frac{3}{2}γ_{r2}(G)$. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) present some kind of characterization of the graphs $G$ for which $γ_R(G)-γ_{r2}(G)=k$ for some integer $k$. Unfortunately, their result does not lead to an algorithm that allows to recognize these graphs efficiently. We show that for every fixed non-negative integer $k$, the recognition of the connected $K_4$-free graphs $G$ with $γ_R(G)-γ_{r2}(G)=k$ is NP-hard, which implies that there is most likely no good characterization of these graphs. We characterize the graphs $G$ such that $γ_{r2}(H)=γ_R(H)$ for every induced subgraph $H$ of $G$, and collect several properties of the graphs $G$ with $γ_R(G)=\frac{3}{2}γ_{r2}(G)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Relating $2$-rainbow domination to weak Roman domination

Addressing a problem posed by Chellali, Haynes, and Hedetniemi (Discrete Appl. Math. 178 (2014) 27-32) we prove $γ_{r2}(G)\leq 2γ_r(G)$ for every graph $G$, where $γ_{r2}(G)$ and $γ_r(G)$ denote the $2$-rainbow domination number and the weak Roman domination number of $G$, respectively. We characterize the extremal graphs for this inequality that are $\{ K_4,K_4-e\}$-free, and show that the recognition of the $K_5$-free extremal graphs is NP-hard.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Smallest Domination Number and Largest Independence Number of Graphs and Forests with given Degree Sequence

For a sequence $d$ of non-negative integers, let ${\cal G}(d)$ and ${\cal F}(d)$ be the sets of all graphs and forests with degree sequence $d$, respectively. Let $γ_{\min}(d)=\min\{ γ(G):G\in {\cal G}(d)\}$, $α_{\max}(d)=\max\{ α(G):G\in {\cal G}(d)\}$, $γ_{\min}^{\cal F}(d)=\min\{ γ(F):F\in {\cal F}(d)\}$, and $α_{\max}^{\cal F}(d)=\max\{ α(F):F\in {\cal F}(d)\}$ where $γ(G)$ is the domination number and $α(G)$ is the independence number of a graph $G$. Adapting results of Havel and Hakimi, Rao showed in 1979 that $α_{\max}(d)$ can be determined in polynomial time. We establish the existence of realizations $G\in {\cal G}(d)$ with $γ_{\min}(d)=γ(G)$, and $F_γ,F_α\in {\cal F}(d)$ with $γ_{\min}^{\cal F}(d)=γ(F_γ)$ and $α_{\max}^{\cal F}(d)=α(F_α)$ that have strong structural properties. This leads to an efficient algorithm to determine $γ_{\min}(d)$ for every given degree sequence $d$ with bounded entries as well as closed formulas for $γ_{\min}^{\cal F}(d)$ and $α_{\max}^{\cal F}(d)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Two Greedy Consequences for Maximum Induced Matchings

We prove that, for every integer $d$ with $d\geq 3$, there is an approximation algorithm for the maximum induced matching problem restricted to $\{ C_3,C_5\}$-free $d$-regular graphs with performance ratio $0.708\bar{3}d+0.425$, which answers a question posed by Dabrowski et al. (Theor. Comput. Sci. 478 (2013) 33-40). Furthermore, we show that every graph with $m$ edges that is $k$-degenerate and of maximum degree at most $d$ with $k<d$, has an induced matching with at least $m/((3k-1)d-k(k+1)+1)$ edges.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Equality of Distance Packing Numbers

We characterize the graphs for which the independence number equals the packing number. As a consequence we obtain simple structural descriptions of the graphs for which (i) the distance-$k$-packing number equals the distance-$2k$-packing number, and (ii) the distance-$k$-matching number equals the distance-$2k$-matching number. This last result considerably simplifies and extends previous results of Cameron and Walker (The graphs with maximum induced matching and maximum matching the same size, Discrete Math. 299 (2005) 49-55). For positive integers $k_1$ and $k_2$ with $k_1<k_2$ and $\lceil(3k_2+1)/2\rceil\leq 2k_1+1$, we prove that it is NP-hard to determine for a given graph whether its distance-$k_1$-packing number equals its distance-$k_2$-packing number.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Induced 2-Regular Subgraphs in k-Chordal Cubic Graphs

We show that a cubic graph $G$ of order $n$ has an induced $2$-regular subgraph of order at least a) $\frac{n-2}{4-\frac{4}{k}}$, if $G$ has no induced cycle of length more than $k$, b) $\frac{5n+6}{8}$, if $G$ has no induced cycle of length more than $4$, and $n>6$, and c) $\left(\frac{1}{4}+ε\right)n$, if the independence number of $G$ is at most $\left(\frac{3}{8}-ε\right)n$. To show the second result we give a precise structural description of cubic $4$-chordal graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Forests and Trees among Gallai Graphs

The Gallai graph $Γ(G)$ of a graph $G$ has the edges of $G$ as its vertices and two distinct vertices $e$ and $f$ of $Γ(G)$ are adjacent in $Γ(G)$ if the edges $e$ and $f$ of $G$ are adjacent in $G$ but do not span a triangle in $G$. Clearly, $Γ(G)$ is a subgraph of the line graph of $G$. While line graphs can be recognized efficiently the complexity of recognizing Gallai graphs is unknown. In the present paper we characterize those graphs whose Gallai graphs are forests or trees, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Induced Matchings in Subcubic Graphs

We prove that a cubic graph with $m$ edges has an induced matching with at least $m/9$ edges. Our result generalizes a result for planar graphs due to Kang, Mnich, and Müller (Induced matchings in subcubic planar graphs, SIAM J. Discrete Math. 26 (2012) 1383-1411) and solves a conjecture of Henning and Rautenbach (Induced matchings in subcubic graphs without short cycles, to appear in Discrete Math.).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Transversals of Longest Paths and Cycles

Let G be a graph of order n. Let lpt(G) be the minimum cardinality of a set X of vertices of G such that X intersects every longest path of G and define lct(G) analogously for cycles instead of paths. We prove that lpt(G) \leq ceiling(n/4-n^{2/3}/90), if G is connected, lct(G) \leq ceiling(n/3-n^{2/3}/36), if G is 2-connected, and \lpt(G) \leq 3, if G is a connected circular arc graph. Our bound on lct(G) improves an earlier result of Thomassen and our bound for circular arc graphs relates to an earlier statement of Balister \emph{et al.} the argument of which contains a gap. Furthermore, we prove upper bounds on lpt(G) for planar graphs and graphs of bounded tree-width.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Efficient Dominating and Edge Dominating Sets for Graphs and Hypergraphs

Let G=(V,E) be a graph. A vertex dominates itself and all its neighbors, i.e., every vertex v in V dominates its closed neighborhood N[v]. A vertex set D in G is an efficient dominating (e.d.) set for G if for every vertex v in V, there is exactly one d in D dominating v. An edge set M is an efficient edge dominating (e.e.d.) set for G if it is an efficient dominating set in the line graph L(G) of G. The ED problem (EED problem, respectively) asks for the existence of an e.d. set (e.e.d. set, respectively) in the given graph. We give a unified framework for investigating the complexity of these problems on various classes of graphs. In particular, we solve some open problems and give linear time algorithms for ED and EED on dually chordal graphs. We extend the two problems to hypergraphs and show that ED remains NP-complete on alpha-acyclic hypergraphs, and is solvable in polynomial time on hypertrees, while EED is polynomial on alpha-acyclic hypergraphs and NP-complete on hypertrees.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Finite Sholander Trees, Trees, and their Betweenness

We provide a proof of Sholander's claim (Trees, lattices, order, and betweenness, Proc. Amer. Math. Soc. 3, 369-381 (1952)) concerning the representability of collections of so-called segments by trees, which yields a characterization of the interval function of a tree. Furthermore, we streamline Burigana's characterization (Tree representations of betweenness relations defined by intersection and inclusion, Mathematics and Social Sciences 185, 5-36 (2009)) of tree betweenness and provide a relatively short proof.

0 citations0 reviewsNo code linkedOpen access