graph
35273 papers tagged with this keyword
On the extremal values of the number of vertices with an interval spectrum on the set of proper edge colorings of the graph of the $n$-dimensional cube
For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow \{1,...,t\}$ is called a proper edge $t$-coloring of a graph $G$, if adjacent edges are colored differently and each of $t$ colors is used. The least value of $t$ for which there exists a proper edge $t$-coloring of a graph $G$ is denoted by $χ'(G)$. For any graph $G$, and for any integer $t$ satisfying the inequality $χ'(G)\leq t\leq |E(G)|$, we denote by $α(G,t)$ the set of all proper edge $t$-colorings of $G$. Let us also define a set $α(G)$ of all proper edge colorings of a graph $G$: $$ α(G)\equiv\bigcup_{t=χ'(G)}^{|E(G)|}α(G,t). $$
An arbitrary nonempty finite subset of consecutive integers is called an interval. If $\varphi\inα(G)$ and $x\in V(G)$, then the set of colors of edges of $G$ which are incident with $x$ is denoted by $S_G(x,\varphi)$ and is called a spectrum of the vertex $x$ of the graph $G$ at the proper edge coloring $\varphi$. If $G$ is a graph and $\varphi\inα(G)$, then define $f_G(\varphi)\equiv|\{x\in V(G)/S_G(x,\varphi) \textrm{is an interval}\}|$.
For a graph $G$ and any integer $t$, satisfying the inequality $χ'(G)\leq t\leq |E(G)|$, we define: $$ μ_1(G,t)\equiv\min_{\varphi\inα(G,t)}f_G(\varphi),\qquad μ_2(G,t)\equiv\max_{\varphi\inα(G,t)}f_G(\varphi). $$
For any graph $G$, we set: $$ μ_{11}(G)\equiv\min_{χ'(G)\leq t\leq|E(G)|}μ_1(G,t),\qquad μ_{12}(G)\equiv\max_{χ'(G)\leq t\leq|E(G)|}μ_1(G,t), $$ $$ μ_{21}(G)\equiv\min_{χ'(G)\leq t\leq|E(G)|}μ_2(G,t),\qquad μ_{22}(G)\equiv\max_{χ'(G)\leq t\leq|E(G)|}μ_2(G,t). $$
For any positive integer $n$, the exact values of the parameters $μ_{11}$, $μ_{12}$, $μ_{21}$ and $μ_{22}$ are found for the graph of the $n$-dimensional cube.
An inequality for the number of vertices with an interval spectrum in edge labelings of regular graphs
We consider undirected simple finite graphs. The sets of vertices and edges of a graph $G$ are denoted by $V(G)$ and $E(G)$, respectively. For a graph $G$, we denote by $δ(G)$ and $η(G)$ the least degree of a vertex of $G$ and the number of connected components of $G$, respectively. For a graph $G$ and an arbitrary subset $V_0\subseteq V(G)$ $G[V_0]$ denotes the subgraph of the graph $G$ induced by the subset $V_0$ of its vertices. An arbitrary nonempty finite subset of consecutive integers is called an interval. A function $\varphi:E(G)\rightarrow \{1,2,\dots,|E(G)|\}$ is called an edge labeling of the graph $G$, if for arbitrary different edges $e'\in E(G)$ and $e''\in E(G)$, the inequality $\varphi(e')\neq \varphi(e'')$ holds. If $G$ is a graph, $x$ is its arbitrary vertex, and $\varphi$ is its arbitrary edge labeling, then the set $S_G(x,\varphi)\equiv\{\varphi(e)/ e\in E(G), e \textrm{is incident with} x$\} is called a spectrum of the vertex $x$ of the graph $G$ at its edge labeling $\varphi$. If $G$ is a graph and $\varphi$ is its arbitrary edge labeling, then $V_{int}(G,\varphi)\equiv\{x\in V(G)/\;S_G(x,\varphi)\textrm{is an interval}\}$. For an arbitrary $r$-regular graph $G$ with $r\geq2$ and its arbitrary edge labeling $\varphi$, the inequality $$ |V_{int}(G,\varphi)|\leq\bigg\lfloor\frac{3\cdot|V(G)|-2\cdotη(G[V_{int}(G,\varphi)])}{4}\bigg\rfloor. $$ is proved.
A branch and cut algorithm for minimum spanning trees under conflict constraints
Published
• View Publication
• BIB
We study approaches for the exact solution of the \NP--hard minimum spanning tree problem under conflict constraints. Given a graph $G(V,E)$ and a set $C \subset E \times E$ of conflicting edge pairs, the problem consists of finding a conflict-free minimum spanning tree, i.e. feasible solutions are allowed to include at most one of the edges from each pair in $C$. The problem was introduced recently in the literature, with several results on its complexity and approximability. Some formulations and both exact and heuristic algorithms were also discussed, but computational results indicate considerably large duality gaps and a lack of optimality certificates for benchmark instances. In this paper, we build on the representation of conflict constraints using an auxiliary conflict graph $\hat{G}(E,C)$, where stable sets correspond to conflict-free subsets of $E$. We introduce a general preprocessing method and a branch and cut algorithm using an IP formulation with exponentially sized classes of valid inequalities for both the spanning tree and the stable set polytopes. Encouraging computational results indicate that the dual bounds of our approach are significantly stronger than those previously available, already in the initial LP relaxation, and we are able to provide new feasibility and optimality certificates.
Algorithm and Complexity for a Network Assortativity Measure
We show that finding a graph realization with the minimum Randić index for a given degree sequence is solvable in polynomial time by formulating the problem as a minimum weight perfect b-matching problem. However, the realization found via this reduction is not guaranteed to be connected. Approximating the minimum weight b-matching problem subject to a connectivity constraint is shown to be NP-Hard. For instances in which the optimal solution to the minimum Randić index problem is not connected, we describe a heuristic to connect the graph using pairwise edge exchanges that preserves the degree sequence. In our computational experiments, the heuristic performs well and the Randić index of the realization after our heuristic is within 3% of the unconstrained optimal value on average. Although we focus on minimizing the Randić index, our results extend to maximizing the Randić index as well. Applications of the Randić index to synchronization of neuronal networks controlling respiration in mammals and to normalizing cortical thickness networks in diagnosing individuals with dementia are provided.
Regular systems of paths and families of convex sets in convex position
Published
• View Publication
• BIB
In this paper we show that every sufficiently large family of convex bodies in the plane has a large subfamily in convex position provided that the number of common tangents of each pair of bodies is bounded and every subfamily of size five is in convex position. (If each pair of bodies have at most two common tangents it is enough to assume that every triple is in convex position, and likewise, if each pair of bodies have at most four common tangents it is enough to assume that every quadruple is in convex position.) This confirms a conjecture of Pach and Toth, and generalizes a theorem of Bisztriczky and Fejes Toth. Our results on families of convex bodies are consequences of more general Ramsey-type results about the crossing patterns of systems of graphs of continuous functions $f:[0,1] \to \mathbb{R}$. On our way towards proving the Pach-Toth conjecture we obtain a combinatorial characterization of such systems of graphs in which all subsystems of equal size induce equivalent crossing patterns. These highly organized structures are what we call regular systems of paths and they are natural generalizations of the notions of cups and caps from the famous theorem of Erdos and Szekeres. The characterization of regular systems is combinatorial and introduces some auxiliary structures which may be of independent interest.
Edge-disjoint double rays in infinite graphs: a Halin type result
Published
• View Publication
• BIB
We show that any graph that contains k edge-disjoint double rays for any k>0 contains also infinitely many edge-disjoint double rays. This was conjectured by Andreae in 1981.
Upper bound on the number of edges of an almost planar bipartite graph
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 737-746
• View Publication
• BIB
Let $G$ be a bipartite graph without loops and multiple edges on $v\ge 4$ vertices, which can be drawn on the plane such that any edge intersects at most one other edge. We prove that such graph has at most $3v-8$ edges for even $v\ne 6$ and at most $3v-9$ edges for odd $v$ and $v=6$. For all $v\ge 4$ examples showing that these bounds are tight are constructed.
In the end of paper we discuss a question about drawings of complete bipartite graphs on the plane such that any edge intersects at most one other edge.
{\sc Keywords:} topological graphs, planar graphs, bipartite graphs.
On a theorem of Erdős and Simonovits on graphs not containing the cube
The cube Q is the usual 8-vertex graph with 12 edges. Here we give a new proof for a theorem of Erdős and Simonovits concerning the Turán number of the cube. Namely, it is shown that e(G) < n^{8/5}+(2n)^{3/2} holds for any n-vertex cube-free graph G. Our aim is to give a self-contained exposition. We also point out the best known results and supply bipartite versions.
Convex geometric (k+2)-quasiplanar representations of semi-bar k-visibility graphs
Published
• View Publication
• BIB
We examine semi-bar visibility graphs in the plane and on a cylinder in which sightlines can pass through k objects. We show every semi-bar k-visibility graph has a (k+2)-quasiplanar representation in the plane with vertices drawn as points in convex position and edges drawn as segments. We also show that the graphs having cylindrical semi-bar k-visibility representations with semi-bars of different lengths are the same as the (2k+2)-degenerate graphs having edge-maximal (k+2)-quasiplanar representations in the plane with vertices drawn as points in convex position and edges drawn as segments.
Orthogonality and minimality in the homology of locally finite graphs
Published
• View Publication
• BIB
Given a finite set $E$, a subset $D\sub E$ (viewed as a function $E\to \F_2$) is orthogonal to a given subspace $\FF$ of the $\F_2$-vector space of functions $E\to \F_2$ as soon as $D$ is orthogonal to every $\sub$-minimal element of $\FF$. This fails in general when $E$ is infinite.
However, we prove the above statement for the six subspaces $\FF$ of the edge space of any 3-connected locally finite graph that are relevant to its homology: the topological, algebraic, and finite cycle and cut spaces. This solves a problem of [5]
New bounds for the distance Ramsey number
Published in Discrete Mathematics 313 (2013), 2566-2574
• View Publication
• BIB
In this paper we study the distance Ramsey number $R_{\it D}(s,t,d)$. The \textit{distance Ramsey number} $R_{\it D}(s,t,d) $ is the minimum number $n$ such that for any graph $ G $ on $ n $ vertices, either $G$ contains an induced $ s $-vertex subgraph isomorphic to a distance graph in $ \Real^d $ or $ \bar {G} $ contains an induced $ t $-vertex subgraph isomorphic to the distance graph in $ \Real^d $. We obtain the upper and lower bounds on $R_{\it D}(s,s,d),$ which are similar to the bounds for the classical Ramsey number $R(\lceil \frac{s}{[d/2]} \rceil, \lceil \frac{s}{[d/2]} \rceil)$.
The coloring problem for classes with two small obstructions
Published
• View Publication
• BIB
The coloring problem is studied in the paper for graph classes defined by two small forbidden induced subgraphs. We prove some sufficient conditions for effective solvability of the problem in such classes. As their corollary we determine the computational complexity for all sets of two connected forbidden induced subgraphs with at most five vertices except 13 explicitly enumerated cases
Tight Chromatic Upper Bound for {3K1, C5}-free Graphs
Problem of finding an optimal upper bound for a chromatic no. of 3K1-free graphs is still open and pretty hard. Here we find a tight chromatic upper bound for {3K1, C5}-free graphs. We prove that if G is {3K1, C5}-free, then the chromatic no. <= (3ω-1)/2 where ω is the size of a maximum clique in G and show with examples that the bound is tight.
2178 And All That
Published in Fibonacci Quarterly, 52 (2014), 99-120
• View Publication
• BIB
For integers g >= 3, k >= 2, call a number N a (g,k)-reverse multiple if the reversal of N in base g is equal to k times N. The numbers 1089 and 2178 are the two smallest (10,k)-reverse multiples, their reversals being 9801 = 9x1089 and 8712 = 4x2178. In 1992, A. L. Young introduced certain trees in order to study the problem of finding all (g,k)-reverse multiples. By using modified versions of her trees, which we call Young graphs, we determine the possible values of k for bases g = 2 through 100, and then show how to apply the transfer-matrix method to enumerate the (g,k)-reverse multiples with a given number of base-g digits. These Young graphs are interesting finite directed graphs, whose structure is not at all well understood.
The Complexity of Counting Homomorphisms to Cactus Graphs Modulo 2
Published
• View Publication
• BIB
A homomorphism from a graph G to a graph H is a function from V(G) to V(H) that preserves edges. Many combinatorial structures that arise in mathematics and computer science can be represented naturally as graph homomorphisms and as weighted sums of graph homomorphisms. In this paper, we study the complexity of counting homomorphisms modulo 2. The complexity of modular counting was introduced by Papadimitriou and Zachos and it has been pioneered by Valiant who famously introduced a problem for which counting modulo 7 is easy but counting modulo 2 is intractable. Modular counting provides a rich setting in which to study the structure of homomorphism problems. In this case, the structure of the graph H has a big influence on the complexity of the problem. Thus, our approach is graph-theoretic. We give a complete solution for the class of cactus graphs, which are connected graphs in which every edge belongs to at most one cycle. Cactus graphs arise in many applications such as the modelling of wireless sensor networks and the comparison of genomes. We show that, for some cactus graphs H, counting homomorphisms to H modulo 2 can be done in polynomial time. For every other fixed cactus graph H, the problem is complete for the complexity class parity-P which is a wide complexity class to which every problem in the polynomial hierarchy can be reduced (using randomised reductions). Determining which H lead to tractable problems can be done in polynomial time. Our result builds upon the work of Faben and Jerrum, who gave a dichotomy for the case in which H is a tree.
The Algebraic Connectivity and the Clique Number of Graphs
This paper investigates some relationship between the algebraic connectivity and the clique number of graphs. We characterize all extremal graphs which have the maximum and minimum the algebraic connectivity among all graphs of order $n$ with the clique number $r$, respectively. In turn, an upper and lower bounds for the clique number of a graph in terms of the algebraic connectivity are obtained. Moreover, a spectral version of the Erdős-Stone theorem in terms of the algebraic connectivity of graphs is presented.
Tricyclic graphs with maximal revised Szeged index
Published
• View Publication
• BIB
The revised Szeged index of a graph $G$ is defined as $Sz^*(G)=\sum_{e=uv \in E}(n_u(e)+ n_0(e)/2)(n_v(e)+ n_0(e)/2),$ where $n_u(e)$ and $n_v(e)$ are, respectively, the number of vertices of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of vertices of $G$ lying closer to vertex $v$ than to vertex $u$, and $n_0(e)$ is the number of vertices equidistant to $u$ and $v$. In this paper, we give an upper bound of the revised Szeged index for a connected tricyclic graph, and also characterize those graphs that achieve the upper bound.
The inertia of weighted unicyclic graphs
Published
• View Publication
• BIB
Let $G_w$ be a weighted graph. The \textit{inertia} of $G_w$ is the triple $In(G_w)=\big(i_+(G_w),i_-(G_w), $ $ i_0(G_w)\big)$, where $i_+(G_w),i_-(G_w),i_0(G_w)$ are the number of the positive, negative and zero eigenvalues of the adjacency matrix $A(G_w)$ of $G_w$ including their multiplicities, respectively. $i_+(G_w)$, $i_-(G_w)$ is called the \textit{positive, negative index of inertia} of $G_w$, respectively. In this paper we present a lower bound for the positive, negative index of weighted unicyclic graphs of order $n$ with fixed girth and characterize all weighted unicyclic graphs attaining this lower bound. Moreover, we characterize the weighted unicyclic graphs of order $n$ with two positive, two negative and at least $n-6$ zero eigenvalues, respectively.
The codegree threshold for 3-graphs with independent neighbourhoods
Published
• View Publication
• BIB
Given a family of 3-graphs $F$, we define its codegree threshold $\mathrm{coex}(n, F)$ to be the largest number $d=d(n)$ such that there exists an $n$-vertex 3-graph in which every pair of vertices is contained in at least $d$ 3-edges but which contains no member of $F$ as a subgraph. Let $F_{3,2}$ be the 3-graph on $\{a,b,c,d,e\}$ with 3-edges $\{abc,abd,abe,cde\}$.
In this paper, we give two proofs that $\mathrm{coex}(n, F_{3,2})= n/3 +o(n)$, the first by a direct combinatorial argument and the second via a flag algebra computation. Information extracted from the latter proof is then used to obtain a stability result, from which in turn we derive the exact codegree threshold for all sufficiently large $n$: $\mathrm{coex}(n, F_{3,2})= \lfloor n/3 \rfloor -1$ if $n$ is congruent to $1$ modulo $3$, and $\lfloor n/3 \rfloor$ otherwise.
In addition we determine the set of codegree-extremal configurations.
The 3-rainbow index of a graph
Published
• View Publication
• BIB
Let $G$ be a nontrivial connected graph with an edge-coloring $c: E(G)\rightarrow \{1,2,...,q\},$ $q \in \mathbb{N}$, where adjacent edges may be colored the same. A tree $T$ in $G$ is a $rainbow tree$ if no two edges of $T$ receive the same color. For a vertex subset $S\subseteq V(G)$, a tree that connects $S$ in $G$ is called an $S$-tree. The minimum number of colors that are needed in an edge-coloring of $G$ such that there is a rainbow $S$-tree for each $k$-subset $S$ of $V(G)$ is called $k$-rainbow index, denoted by $rx_k(G)$. In this paper, we first determine the graphs whose 3-rainbow index equals 2, $m,$ $m-1$, $m-2$, respectively. We also obtain the exact values of $rx_3(G)$ for regular complete bipartite and multipartite graphs and wheel graphs. Finally, we give a sharp upper bound for $rx_3(G)$ of 2-connected graphs and 2-edge connected graphs, and graphs whose $rx_3(G)$ attains the upper bound are characterized.