graph
34995 papers tagged with this keyword
Large chromatic number and Ramsey graphs
Let Q(n,c) denote the minimum clique size an n-vertex graph can have if its chromatic number is c. Using Ramsey graphs we give an exact, albeit implicit, formula for the case c is at least (n+3)/2.
Simplified existence theorems on all fractional [a,b]-factors
Published
• View Publication
• BIB
Let $G$ be a graph with order $n$ and let $g, f : V (G)\rightarrow N$ such that $g(v)\leq f(v)$ for all $v\in V(G)$. We say that $G$ has all fractional $(g, f)$-factors if $G$ has a fractional $p$-factor for every $p: V (G)\rightarrow N$ such that $g(v)\leq p(v)\leq f (v)$ for every $v\in V(G)$. Let $a<b$ be two positive integers. %and $G$ \textbf{a graph} of order $n$ sufficiently large %for $a$ and $b$. If $g\equiv a$, $f\equiv b$ and $G$ has all fractional $(g,f)$-factors, then we say that $G$ has all fractional $[a,b]$-factors. Suppose that $n$ is sufficiently large for $a$ and $b$.
This paper contains two results on the existence of all $(g,f)$-factors of graphs. First, we derive from Anstee's fractional $(g,f)$-factor theorem a similar characterization for the property of all fractional $(g,f)$-factors. Second, we show that $G$ has all fractional $[a, b]$-factors if the minimum degree is at least $\frac{1}{4a}((a+b-1)^2+4b)$ and every pair of nonadjacent vertices has cardinality of the neighborhood union at least $bn/(a + b)$. These lower bounds are sharp.
Ollivier's Ricci curvature, local clustering and curvature dimension inequalities on graphs
Published in Discrete Comput. Geom. 51 (2014), no. 2, 300-322
• View Publication
• BIB
In this paper, we explore the relationship between one of the most elementary and important properties of graphs, the presence and relative frequency of triangles, and a combinatorial notion of Ricci curvature. We employ a definition of generalized Ricci curvature proposed by Ollivier in a general framework of Markov processes and metric spaces and applied in graph theory by Lin-Yau. In analogy with curvature notions in Riemannian geometry, we interpret this Ricci curvature as a control on the amount of overlap between neighborhoods of two neighboring vertices. It is therefore naturally related to the presence of triangles containing those vertices, or more precisely, the local clustering coefficient, that is, the relative proportion of connected neighbors among all the neighbors of a vertex. This suggests to derive lower Ricci curvature bounds on graphs in terms of such local clustering coefficients. We also study curvature dimension inequalities on graphs, building upon previous work of several authors.
On the maximal energy tree with two maximum degree vertices
Published
• View Publication
• BIB
For a simple graph $G$, the energy $E(G)$ is defined as the sum of the absolute values of all eigenvalues of its adjacent matrix. For $Δ\geq 3$ and $t\geq 3$, denote by $T_a(Δ,t)$ (or simply $T_a$) the tree formed from a path $P_t$ on $t$ vertices by attaching $Δ-1$ $P_2$'s on each end of the path $P_t$, and $T_b(Δ, t)$ (or simply $T_b$) the tree formed from $P_{t+2}$ by attaching $Δ-1$ $P_2$'s on an end of the $P_{t+2}$ and $Δ-2$ $P_2$'s on the vertex next to the end. In [X. Li, X. Yao, J. Zhang and I. Gutman, Maximum energy trees with two maximum degree vertices, J. Math. Chem. 45(2009), 962--973], Li et al. proved that among trees of order $n$ with two vertices of maximum degree $Δ$, the maximal energy tree is either the graph $T_a$ or the graph $T_b$, where $t=n+4-4Δ\geq 3$. However, they could not determine which one of $T_a$ and $T_b$ is the maximal energy tree. This is because the quasi-order method is invalid for comparing their energies. In this paper, we use a new method to determine the maximal energy tree. It turns out that things are more complicated. We prove that the maximal energy tree is $T_b$ for $Δ\geq 7$ and any $t\geq 3$, while the maximal energy tree is $T_a$ for $Δ=3$ and any $t\geq 3$. Moreover, for $Δ=4$, the maximal energy tree is $T_a$ for all $t\geq 3$ but $t=4$, for which $T_b$ is the maximal energy tree. For $Δ=5$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t$ is odd and $3\leq t\leq 89$, for which $T_a$ is the maximal energy tree. For $Δ=6$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t=3,5,7$, for which $T_a$ is the maximal energy tree. One can see that for most $Δ$, $T_b$ is the maximal energy tree, $Δ=5$ is a turning point, and $Δ=3$ and 4 are exceptional cases.
Domination Reliability
Published in Electronic Journal of Combinatorics, 19 (2012), #P15
• View Publication
• BIB
We propose a new network reliability measure for some particular kind of service networks, which we refer to as domination reliability. We relate this new reliability measure to the domination polynomial of a graph and the coverage probability of a hypergraph. We derive explicit and recursive formulae for domination reliability and its associated domination reliability polynomial, deduce an analogue of Whitney's broken circuit theorem, and prove that computing domination reliability is NP-hard.
Bounds for identifying codes in terms of degree parameters
Published in The Electronic Journal of Combinatorics 19 (2012) P32
• View Publication
• BIB
An identifying code is a subset of vertices of a graph such that each vertex is uniquely determined by its neighbourhood within the identifying code. If $\M(G)$ denotes the minimum size of an identifying code of a graph $G$, it was conjectured by F. Foucaud, R. Klasing, A. Kosowski and A. Raspaud that there exists a constant $c$ such that if a connected graph $G$ with $n$ vertices and maximum degree $d$ admits an identifying code, then $\M(G)\leq n-\tfrac{n}{d}+c$. We use probabilistic tools to show that for any $d\geq 3$, $\M(G)\leq n-\tfrac{n}{Θ(d)}$ holds for a large class of graphs containing, among others, all regular graphs and all graphs of bounded clique number. This settles the conjecture (up to constants) for these classes of graphs. In the general case, we prove $\M(G)\leq n-\tfrac{n}{Θ(d^{3})}$. In a second part, we prove that in any graph $G$ of minimum degree $δ$ and girth at least 5, $\M(G)\leq(1+o_δ(1))\tfrac{3\logδ}{2δ}n$. Using the former result, we give sharp estimates for the size of the minimum identifying code of random $d$-regular graphs, which is about $\tfrac{\log d}{d}n$.
A new approach to nonrepetitive sequences
Published
• View Publication
• BIB
A sequence is nonrepetitive if it does not contain two adjacent identical blocks. The remarkable construction of Thue asserts that 3 symbols are enough to build an arbitrarily long nonrepetitive sequence. It is still not settled whether the following extension holds: for every sequence of 3-element sets $L_1,..., L_n$ there exists a nonrepetitive sequence $s_1, ..., s_n$ with $s_i\in L_i$. Applying the probabilistic method one can prove that this is true for sufficiently large sets $L_i$. We present an elementary proof that sets of size 4 suffice (confirming the best known bound). The argument is a simple counting with Catalan numbers involved. Our approach is inspired by a new algorithmic proof of the Lovász Local Lemma due to Moser and Tardos and its interpretations by Fortnow and Tao. The presented method has further applications to nonrepetitive games and nonrepetitive colorings of graphs.
Characterization of Randomly k-Dimensional Graphs
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),.,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. A minimum resolving set for $G$ is a basis of $G$ and its cardinality is the metric dimension of $G$. The resolving number of a connected graph $G$ is the minimum $k$, such that every $k$-set of vertices of $G$ is a resolving set. A connected graph $G$ is called randomly $k$-dimensional if each $k$-set of vertices of $G$ is a basis. In this paper, along with some properties of randomly $k$-dimensional graphs, we prove that a connected graph $G$ with at least two vertices is randomly $k$-dimensional if and only if $G$ is complete graph $K_{k+1}$ or an odd cycle.
Characterization of n-Vertex Graphs with Metric Dimension n-3
Published
• View Publication
• BIB
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),...,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. The minimum cardinality of a resolving set for $G$ is its metric dimension. In this paper, we characterize all graphs of order $n$ with metric dimension $n-3$.
Constraint satisfaction problems in clausal form
Published in Fundamenta Informaticae, 2011, 109(1): pages 27-81, 83-119
• View Publication
• BIB
This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Informaticae, 2011. These two parts are here bundled in one report, each part yielding a chapter.
Generalised conjunctive normal forms are considered, allowing literals of the form "variable not-equal value". The first part sets the foundations for the theory of autarkies, with emphasise on matching autarkies. Main results concern various polynomial time results in dependency on the deficiency. The second part considers translations to boolean clause-sets and irredundancy as well as minimal unsatisfiability. Main results concern classification of minimally unsatisfiable clause-sets and the relations to the hermitian rank of graphs. Both parts contain also discussions of many open problems.
The Metric Dimension of Lexicographic Product of Graphs
Published
• View Publication
• BIB
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),...,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. The minimum cardinality of a resolving set for $G$ is its metric dimension. In this paper, we study the metric dimension of the lexicographic product of graphs $G$ and $H$, $G[H]$. First, we introduce a new parameter which is called adjacency metric dimension of a graph. Then, we obtain the metric dimension of $G[H]$ in terms of the order of $G$ and the adjacency metric dimension of $H$.
Polyhedral graph abstractions and an approach to the Linear Hirsch Conjecture
Published
• View Publication
• BIB
We introduce a new combinatorial abstraction for the graphs of polyhedra. The new abstraction is a flexible framework defined by combinatorial properties, with each collection of properties taken providing a variant for studying the diameters of polyhedral graphs. One particular variant has a diameter which satisfies the best known upper bound on the diameters of polyhedra. Another variant has superlinear asymptotic diameter, and together with some combinatorial operations, gives a concrete approach for disproving the Linear Hirsch Conjecture.
Nordhaus-Gaddum-type theorem for the rainbow vertex-connection number of a graph
A vertex-colored graph $G$ is rainbow vertex-connected if any pair of distinct vertices are connected by a path whose internal vertices have distinct colors. The rainbow vertex-connection number of $G$, denoted by $rvc(G)$, is the minimum number of colors that are needed to make $G$ rainbow vertex-connected. In this paper we give a Nordhaus-Gaddum-type result of the rainbow vertex-connection number. We prove that when $G$ and $\bar{G}$ are both connected, then $2\leq rvc(G)+rvc(\bar{G})\leq n-1$. Examples are given to show that both the upper bound and the lower bound are best possible for all $n\geq 5$.
A Fractional Analogue of Brooks' Theorem
Published
• View Publication
• BIB
Let $Δ(G)$ be the maximum degree of a graph $G$. Brooks' theorem states that the only connected graphs with chromatic number $χ(G)=Δ(G)+1$ are complete graphs and odd cycles. We prove a fractional analogue of Brooks' theorem in this paper. Namely, we classify all connected graphs $G$ such that the fractional chromatic number $χ_f(G)$ is at least $Δ(G)$. These graphs are complete graphs, odd cycles, $C^2_8$, $C_5\boxtimes K_2$, and graphs whose clique number $ω(G)$ equals the maximum degree $Δ(G)$. Among the two sporadic graphs, the graph $C^2_8$ is the square graph of cycle $C_8$ while the other graph $C_5\boxtimes K_2$ is the strong product of $C_5$ and $K_2$. In fact, we prove a stronger result; if a connected graph $G$ with $Δ(G)\geq 4$ is not one of the graphs listed above, then we have $χ_f(G)\leq Δ(G)- 2/67$.
Diameters of random circulant graphs
Published
• View Publication
• BIB
The diameter of a graph measures the maximal distance between any pair of vertices. The diameters of many small-world networks, as well as a variety of other random graph models, grow logarithmically in the number of nodes. In contrast, the worst connected networks are cycles whose diameters increase linearly in the number of nodes. In the present study we consider an intermediate class of examples: Cayley graphs of cyclic groups, also known as circulant graphs or multi-loop networks. We show that the diameter of a random circulant 2k-regular graph with n vertices scales as n^{1/k}, and establish a limit theorem for the distribution of their diameters. We obtain analogous results for the distribution of the average distance and higher moments.
On Randomly k-Dimensional Graphs
Published
• View Publication
• BIB
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),...,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. A resolving set for $G$ with minimum cardinality is called a basis of $G$ and its cardinality is the metric dimension of $G$.
A connected graph $G$ is called randomly $k$-dimensional graph if each $k$-set of vertices of $G$ is a basis of $G$. In this paper, we study randomly $k$-dimensional graphs and provide some properties of these graphs.
The cavity method for counting spanning subgraphs subject to local constraints
Using the theory of negative association for measures and the notion of random weak limits of sparse graphs, we establish the validity of the cavity method for counting spanning subgraphs subject to local constraints in asymptotically tree-like graphs. Specifically, the corresponding free entropy density is shown to converge along any sequence of graphs whose random weak limit is a tree, and the limit is directly expressed in terms of the unique solution to a limiting cavity equation. On a Galton-Watson tree, the latter simplifies into a recursive distributional equation which can be solved explicitely. As an illustration, we provide an explicit-limit formula for the $b-$matching number of an Erdős-Rényi random graph with fixed average degree and diverging size, for any $b\in\mathbb N$.
Nonlocal, noncommutative diagrammatics and the linked cluster Theorems
Published
• View Publication
• BIB
Recent developments in quantum chemistry, perturbative quantum field theory, statistical physics or stochastic differential equations require the introduction of new families of Feynman-type diagrams. These new families arise in various ways. In some generalizations of the classical diagrams, the notion of Feynman propagator is extended to generalized propagators connecting more than two vertices of the graphs. In some others (introduced in the present article), the diagrams, associated to noncommuting product of operators inherit from the noncommutativity of the products extra graphical properties. The purpose of the present article is to introduce a general way of dealing with such diagrams. We prove in particular a "universal" linked cluster theorem and introduce, in the process, a Feynman-type "diagrammatics" that allows to handle simultaneously nonlocal (Coulomb-type) interactions, the generalized diagrams arising from the study of interacting systems (such as the ones where the ground state is not the vacuum but e.g. a vacuum perturbed by a magnetic or electric field, by impurities...) or Wightman fields (that is, expectation values of products of interacting fields). Our diagrammatics seems to be the first attempt to encode in a unified algebraic framework such a wide variety of situations. In the process, we promote two ideas. First, Feynman-type diagrammatics belong mathematically to the theory of linear forms on combinatorial Hopf algebras. Second, linked cluster-type theorems rely ultimately on Möbius inversion on the partition lattice. The two theories should therefore be introduced and presented accordingly
An Inductive Construction of (2,1)-tight Graphs
Published
• View Publication
• BIB
The simple graphs $G=(V,E)$ that satisfy $|E'|\leq 2|V'|-l$ for any subgraph (and for $l=1,2,3$) are the $(2,l)$-sparse graphs. Those that also satisfy $|E|=2|V|-l$ are the $(2,l)$-tight graphs. These can be characterised by their decompositions into two edge disjoint spanning subgraphs of various types. The Henneberg--Laman theorem characterises $(2,3)$-tight graphs inductively in terms of two simple moves, known as the Henneberg moves. Recently this has been extended, via the addition of a graph extension move, to the case of $(2,2)$-tight graphs. Here an alternative characterisation is provided by means of vertex-to-$K_4$ and edge-to-$K_3$ moves, and this is extended to the $(2,1)$-tight graphs by addition of an edge joining move. Similar characterisations of $(2,l)$-sparse graphs are also provided.
Strongly regular n-e.c. graphs
A result of Erdös and Rényi shows that for a fixed integer n almost all graphs satisfy the n-e.c. adjacency property. However, there are few explicit constructions of n e.c. graphs for n > 2, and almost all known families of n-e.c. graphs are strongly regular graphs. In this paper we derive parameter bounds on strongly regular n-e.c. graphs constructed from the point sets of partial geometries. This work generalizes bounds on n-e.c. block intersection graphs of balanced incomplete block designs given by McKay and Pike. It also relates to work by Griggs, Grannel, and Forbes' determining 3-e.c. graphs that are block intersection graphs of Steiner triple systems. In addition to these bounds, we give examples of strongly regular graphs that contain every possible subgraph of small order but are not n-e.c. for n > 2.