graph
35299 papers tagged with this keyword
Vertex intersection graphs of paths on a grid: characterization within block graphs
We investigate graphs that can be represented as vertex intersections of horizontal and vertical paths in a grid, the so called $B_0$-VPG graphs. Recognizing this class is an NP-complete problem. Although, there exists a polynomial time algorithm for recognizing chordal $B_0$-VPG graphs. In this paper, we present a minimal forbidden induced subgraph characterization of $B_0$-VPG graphs restricted to block graphs. As a byproduct, the proof of the main theorem provides an alternative certifying recognition and representation algorithm for $B_0$-VPG graphs in the class of block graphs.
Saturation in random graphs
A graph $H$ is $K_s$-saturated if it is a maximal $K_s$-free graph, i.e., $H$ contains no clique on $s$ vertices, but the addition of any missing edge creates one. The minimum number of edges in a $K_s$-saturated graph was determined over 50 years ago by Zykov and independently by Erdős, Hajnal and Moon. In this paper, we study the random analog of this problem: minimizing the number of edges in a maximal $K_s$-free subgraph of the Erdős-Rényi random graph $G(n,p)$. We give asymptotically tight estimates on this minimum, and also provide exact bounds for the related notion of weak saturation in random graphs. Our results reveal some surprising behavior of these parameters.
A note on coloring (even-hole,cap)-free graphs
A {\em hole} is a chordless cycle of length at least four. A hole is {\em even} (resp. {\em odd}) if it contains an even (resp. odd) number of vertices. A \emph{cap} is a graph induced by a hole with an additional vertex that is adjacent to exactly two adjacent vertices on the hole. In this note, we use a decomposition theorem by Conforti et al. (1999) to show that if a graph $G$ does not contain any even hole or cap as an induced subgraph, then $χ(G)\le \lfloor\frac{3}{2}ω(G)\rfloor$, where $χ(G)$ and $ω(G)$ are the chromatic number and the clique number of $G$, respectively. This bound is attained by odd holes and the Hajos graph. The proof leads to a polynomial-time $3/2$-approximation algorithm for coloring (even-hole,cap)-free graphs.
Multi-scale structure and topological anomaly detection via a new network statistic: The onion decomposition
Published in Scientific Reports 6, 31708 (2016)
• View Publication
• BIB
We introduce a new network statistic that measures diverse structural properties at the micro-, meso-, and macroscopic scales, while still being easy to compute and easy to interpret at a glance. Our statistic, the onion spectrum, is based on the onion decomposition, which refines the k-core decomposition, a standard network fingerprinting method. The onion spectrum is exactly as easy to compute as the k-cores: It is based on the stages at which each vertex gets removed from a graph in the standard algorithm for computing the k-cores. But the onion spectrum reveals much more information about a network, and at multiple scales; for example, it can be used to quantify node heterogeneity, degree correlations, centrality, and tree- or lattice-likeness of the whole network as well as of each k-core. Furthermore, unlike the k-core decomposition, the combined degree-onion spectrum immediately gives a clear local picture of the network around each node which allows the detection of interesting subgraphs whose topological structure differs from the global network organization. This local description can also be leveraged to easily generate samples from the ensemble of networks with a given joint degree-onion distribution. We demonstrate the utility of the onion spectrum for understanding both static and dynamic properties on several standard graph models and on many real-world networks.
Self-avoiding walks and amenability
Published
• View Publication
• BIB
The connective constant $μ(G)$ of an infinite transitive graph $G$ is the exponential growth rate of the number of self-avoiding walks from a given origin. The relationship between connective constants and amenability is explored in the current work.
Various properties of connective constants depend on the existence of so-called 'graph height functions', namely: (i) whether $μ(G)$ is a local function on certain graphs derived from $G$, (ii) the equality of $μ(G)$ and the asymptotic growth rate of bridges, and (iii) whether there exists a terminating algorithm for approximating $μ(G)$ to a given degree of accuracy.
In the context of amenable groups, it is proved that the Cayley graphs of infinite, finitely generated, elementary amenable groups support graph height functions, which are in addition harmonic. In contrast, the Cayley graph of the Grigorchuk group, which is amenable but not elementary amenable, does not have a graph height function.
In the context of non-amenable, transitive graphs, a lower bound is presented for the connective constant in terms of the spectral bottom of the graph. This is a strengthening of an earlier result of the same authors. Secondly, using a percolation inequality of Benjamini, Nachmias, and Peres, it is explained that the connective constant of a non-amenable, transitive graph with large girth is close to that of a regular tree. Examples are given of non-amenable groups without graph height functions, of which one is the Higman group.
Bounds on the Exponential Domination Number
Published
• View Publication
• BIB
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*}
Counting covering cycles
We compute the number of equivalence classes of nonperiodic covering cycles of given length in a non oriented connected graph. A covering cycle is a closed path that traverses each edge of the graph at least once. A special case is the number of Euler cycles in the non oriented graph. An identity relating the numbers of covering cycles of any length in a graph to a product of determinants is obtained.
Effect of Gromov-hyperbolicity Parameter on Cuts and Expansions in Graphs and Some Algorithmic Implications
Published in Algorithmica, 80(2), 772-800, 2018
• View Publication
• BIB
$δ$-hyperbolic graphs, originally conceived by Gromov in 1987, occur often in many network applications; for fixed $δ$, such graphs are simply called hyperbolic graphs and include non-trivial interesting classes of "non-expander" graphs. The main motivation of this paper is to investigate the effect of the hyperbolicity measure $δ$ on expansion and cut-size bounds on graphs (here $δ$ need not be a constant), and the asymptotic ranges of $δ$ for which these results may provide improved approximation algorithms for related combinatorial problems. To this effect, we provide constructive bounds on node expansions for $δ$-hyperbolic graphs as a function of $δ$, and show that many witnesses (subsets of nodes) for such expansions can be computed efficiently even if the witnesses are required to be nested or sufficiently distinct from each other. To the best of our knowledge, these are the first such constructive bounds proven. We also show how to find a large family of s-t cuts with relatively small number of cut-edges when s and t are sufficiently far apart. We then provide algorithmic consequences of these bounds and their related proof techniques for two problems for $δ$-hyperbolic graphs (where $δ$ is a function $f$ of the number of nodes, the exact nature of growth of $f$ being dependent on the particular problem considered).
The diameter of Inhomogeneous random graphs
Published
• View Publication
• BIB
In this paper we study the diameter of Inhomogeneous random graphs $G(n,κ,p)$ that are induced by irreducible kernels $κ$. The kernels we consider act on separable metric spaces and are almost everywhere continuous. We generalize results known for the Erdős-Rényi model $G(n,p)$ for several ranges of $p$. We find upper and lower bounds for the diameter of $G(n,κ,p)$ in terms of the expansion factor and two explicit constants that depend on the behavior of the kernel over partitions of the metric space.
Cayley graphs and automatic sequences
Published
• View Publication
• BIB
We study those automatic sequences which are produced by an automaton whose underlying graph is the Cayley graph of a finite group. For $2$-automatic sequences, we find a characterization in terms of what we call homogeneity, and among homogeneous sequences, we single out those enjoying what we call self-similarity. It turns out that self-similar $2$-automatic sequences (viewed up to a permutation of their alphabet) are in bijection with many interesting objects, for example dessins d'enfants (covers of the Riemann sphere with three points removed).
For any $p$ we show that, in the case of an automatic sequence produced "by a Cayley graph", the group and indeed the automaton can be recovered canonically from the sequence.
Further, we show that a rational fraction may be associated to any automatic sequence. To compute this fraction explicitly, knowledge of a certain graph is required. We prove that for the sequences studied in the first part, the graph is simply the Cayley graph that we start from, and so calculations are possible.
We give applications to the study of the frequencies of letters.
Graph properties in node-query setting: effect of breaking symmetry
The query complexity of graph properties is well-studied when queries are on edges. We investigate the same when queries are on nodes. In this setting a graph $G = (V, E)$ on $n$ vertices and a property $\mathcal{P}$ are given. A black-box access to an unknown subset $S \subseteq V$ is provided via queries of the form `Does $i \in S$?'. We are interested in the minimum number of queries needed in worst case in order to determine whether $G[S]$, the subgraph of $G$ induced on $S$, satisfies $\mathcal{P}$.
Apart from being combinatorially rich, this setting allows us to initiate a systematic study of breaking symmetry in the context of query complexity of graph properties. In particular, we focus on hereditary graph properties. The monotone functions in the node-query setting translate precisely to the hereditary graph properties. The famous Evasiveness Conjecture asserts that even with a minimal symmetry assumption on $G$, namely that of vertex-transitivity, the query complexity for any hereditary graph property in our setting is the worst possible, i.e., $n$.
We show that in the absence of any symmetry on $G$ it can fall as low as $O(n^{1/(d + 1) })$ where $d$ denotes the minimum possible degree of a minimal forbidden sub-graph for $\mathcal{P}$. In particular, every hereditary property benefits at least quadratically. The main question left open is: can it go exponentially low for some hereditary property?
We show that the answer is no for any hereditary property with {finitely many} forbidden subgraphs by exhibiting a bound of $Ω(n^{1/k})$ for some constant $k$ depending only on the property. For general ones we rule out the possibility of the query complexity falling down to constant by showing $Ω(\log n/ \log \log n)$ bound. Interestingly, our lower bound proofs rely on the famous Sunflower Lemma due to Erdös and Rado.
Trees on hyperbolic honeycombs
Published in Miskolc Math. Notes, Vol.16/1 (2015) 353-360
• Search Publication
In the hyperbolic plane there are infinite regular lattices. From a fix vertex of a lattice tree graphs can be constructed recursively to the next layers with edges of the lattice. In this article we examine the properties of the growing of trees and the probabilities of length of trees considering the vertices on level i.
Extremal graph for intersecting odd cycles
Published
• View Publication
• BIB
An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Turán graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Turán Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erdös et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we determine the extremal graphs for intersecting odd cycles.
A note on the Ramsey number of even wheels versus stars
Published
• View Publication
• BIB
For two graphs $G_1$ and $G_2$ the Ramsey number $R(G_1,G_2)$ is the smallest integer $N$, such that for any graph on $N$ vertices either $G$ contains $G_1$ or $\overline{G}$ contains $G_2$. Let $S_n$ be a star of order $n$ and $W_m$ be a wheel of order $m+1$. In this paper, it is shown that $R(W_n,S_n)\leq{5n/2-1}$, where $n\geq{6}$ is even. It was proven a theorem which implies that $R(W_n,S_n)\geq{5n/2-2}$, where $n\geq{6}$ is even. Therefore we conclude that $R(W_n,S_n)=5n/2-2$ or $5n/2-1$, for $n\geq{6}$ and even.
Classification of edge-transitive propeller graphs
In this paper, we introduce a family of tetravalent graphs called propeller graphs, denoted by $Pr_{n}(b,c,d)$. We then produce three infinite subfamilies and one finite subfamily of arc-transitive propeller graphs, and show that all such graphs are necessarily members of one of these four subfamilies, up to isomorphism. We close the paper with questions for further investigation, as well as a few conjectures.
Lower bound of the asymptotic complexity of self-similar fractal graphs
We study the asymptotic complexity constant of the sequence of approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal $K$. We show how full symmetry implies existence of the asymptotic complexity constant and obtain a sharp lower bound thereby answering two conjectures by Anema.
Weighted de Bruijn Graphs for the Menage Problem and Its Generalizations
Published in Lecture Notes in Computer Science 9843 (2016), 151-162
• View Publication
• BIB
We address the problem of enumeration of seating arrangements of married couples around a circular table such that no spouses sit next to each other and no k consecutive persons are of the same gender. While the case of k=2 corresponds to the classical problème des ménages with a well-studied solution, no closed-form expression for the number of seating arrangements is known when k>=3.
We propose a novel approach for this type of problems based on enumeration of walks in certain algebraically weighted de Bruijn graphs. Our approach leads to new expressions for the menage numbers and their exponential generating function and allows one to efficiently compute the number of seating arrangements in general cases, which we illustrate in detail for the ternary case of k=3.
The number and degree distribution of spanning trees in the Tower of Hanoi graph
Published in Theoretical Computer Science, 2016, 609: 443-455
• View Publication
• BIB
The number of spanning trees of a graph is an important invariant related to topological and dynamic properties of the graph, such as its reliability, communication aspects, synchronization, and so on. However, the practical enumeration of spanning trees and the study of their properties remain a challenge, particularly for large networks. In this paper, we study the num- ber and degree distribution of the spanning trees in the Hanoi graph. We first establish recursion relations between the number of spanning trees and other spanning subgraphs of the Hanoi graph, from which we find an exact analytical expression for the number of spanning trees of the n-disc Hanoi graph. This result allows the calculation of the spanning tree entropy which is then compared with those for other graphs with the same average degree. Then, we introduce a vertex labeling which allows to find, for each vertex of the graph, its degree distribution among all possible spanning trees.
On the General Randić index of polymeric networks modelled by generalized Sierpiński graphs
Published
• View Publication
• BIB
The General Randić index $R_α$ of a simple graph $G$ is defined as \[ R_α(G)=\sum_{v_{i}\sim v_{j}} (δ_{i}δ_{j})^α, \] where $δ_i$ denotes the degree of the vertex $v_i$. Rodríguez-Velázquez and Tomás-Andreu [MATCH Commun. Math. Comput. Chem. 74 (1) (2015) 145--160] obtained closed formulae for the Randić index $R_{-1/2}$ of Sierpiński-type polymeric networks, where the base graph is a complete graph, a triangle-free regular graph or a bipartite semiregular graph. In the present article we obtain closed formulae for the general Randić index $R_α$ of Sierpiński-type polymeric networks, where the base graph is arbitrary.
Even Orientations and Pfaffian graphs
We give a characterization of Pfaffian graphs in terms of even orientations, extending the characterization of near bipartite non--pfaffian graphs by Fischer and Little \cite{FL}. Our graph theoretical characterization is equivalent to the one proved by Little in \cite{L73} (cf. \cite{LR}) using linear algebra arguments.