bipartite graph
2574 papers tagged with this keyword
On the Intersection of All Critical Sets of a Unicyclic Graph
Published
• View Publication
• BIB
A set S is independent in a graph G if no two vertices from S are adjacent. The independence number alpha(G) is the cardinality of a maximum independent set, while mu(G) is the size of a maximum matching in G. If alpha(G)+mu(G)=|V|, then G=(V,E) is called a Konig-Egervary graph. The number d_{c}(G)=max{|A|-|N(A)|} is called the critical difference of G (Zhang, 1990). By core(G) (corona(G)) we denote the intersection (union, respectively) of all maximum independent sets, while by ker(G) we mean the intersection of all critical independent sets. A connected graph having only one cycle is called unicyclic. It is known that ker(G) is a subset of core(G) for every graph G, while the equality is true for bipartite graphs (Levit and Mandrescu, 2011). For Konig-Egervary unicyclic graphs, the difference |core(G)|-|ker(G)| may equal any non-negative integer. In this paper we prove that if G is a non-Konig-Egervary unicyclic graph, then: (i) ker(G)= core(G) and (ii) |corona(G)|+|core(G)|=2*alpha(G)+1. Pay attention that |corona(G)|+|core(G)|=2*alpha(G) holds for every Konig-Egervary graph.
Graph Invertibility
Published
• View Publication
• BIB
Extending the work of Godsil and others, we investigate the notion of the inverse of a graph (specifically, of bipartite graphs with a unique perfect matching). We provide a concise necessary and sufficient condition for the invertibility of such graphs and generalize the notion of invertibility to multigraphs. We examine the question of whether there exists a "litmus subgraph" whose bipartiteness determines invertibility. As an application of our invertibility criteria, we quickly describe all invertible unicyclic graphs. Finally, we describe a general combinatorial procedure for iteratively constructing invertible graphs, giving rise to large new families of such graphs.
On the Unit Graph of a Noncommutative Ring
Published in Algebra Colloquium Vol. 22, No. spec01, pp. 817-822 (2015)
• View Publication
• BIB
Let $R$ be a ring (not necessary commutative) with non-zero identity. The unit graph of $R$, denoted by $G(R)$, is a graph with elements of $R$ as its vertices and two distinct vertices $a$ and $b$ are adjacent if and only if $a+b$ is a unit element of $R$. It was proved that if $R$ is a commutative ring and $\fm$ is a maximal ideal of $R$ such that $|R/\fm|=2$, then $G(R)$ is a complete bipartite graph if and only if $(R, \fm)$ is a local ring. In this paper we generalize this result by showing that if $R$ is a ring (not necessary commutative), then $G(R)$ is a complete $r$-partite graph if and only if $(R, \fm)$ is a local ring and $r=|R/m|=2^n$, for some $n \in \N$ or $R$ is a finite field. Among other results we show that if $R$ is a left Artinian ring, $2 \in U(R)$ and the clique number of $G(R)$ is finite, then $R$ is a finite ring.
On globally sparse Ramsey graphs
Published in Discrete Mathematics 313(22):2626-2637, 2013
• View Publication
• BIB
We say that a graph $G$ has the Ramsey property w.r.t.\ some graph $F$ and some integer $r\geq 2$, or $G$ is $(F,r)$-Ramsey for short, if any $r$-coloring of the edges of $G$ contains a monochromatic copy of $F$. R{ö}dl and Ruci{ń}ski asked how globally sparse $(F,r)$-Ramsey graphs $G$ can possibly be, where the density of $G$ is measured by the subgraph $H\subseteq G$ with the highest average degree. So far, this so-called Ramsey density is known only for cliques and some trivial graphs $F$. In this work we determine the Ramsey density up to some small error terms for several cases when $F$ is a complete bipartite graph, a cycle or a path, and $r\geq 2$ colors are available.
Bipartite powers of k-chordal graphs
Published
• View Publication
• BIB
Let k be an integer and k \geq 3. A graph G is k-chordal if G does not have an induced cycle of length greater than k. From the definition it is clear that 3-chordal graphs are precisely the class of chordal graphs. Duchet proved that, for every positive integer m, if G^m is chordal then so is G^{m+2}. Brandstädt et al. in [Andreas Brandstädt, Van Bang Le, and Thomas Szymczak. Duchet-type theorems for powers of HHD-free graphs. Discrete Mathematics, 177(1-3):9-16, 1997.] showed that if G^m is k-chordal, then so is G^{m+2}.
Powering a bipartite graph does not preserve its bipartitedness. In order to preserve the bipartitedness of a bipartite graph while powering Chandran et al. introduced the notion of bipartite powering. This notion was introduced to aid their study of boxicity of chordal bipartite graphs. Given a bipartite graph G and an odd positive integer m, we define the graph G^{[m]} to be a bipartite graph with V(G^{[m]})=V(G) and E(G^{[m]})={(u,v) | u,v \in V(G), d_G(u,v) is odd, and d_G(u,v) \leq m}. The graph G^{[m]} is called the m-th bipartite power of G.
In this paper we show that, given a bipartite graph G, if G is k-chordal then so is G^{[m]}, where k, m are positive integers such that k \geq 4 and m is odd.
Dimers and cluster integrable systems
Published
• View Publication
• BIB
We show that the dimer model on a bipartite graph on a torus gives rise to a quantum integrable system of special type - a cluster integrable system. The phase space of the classical system contains, as an open dense subset, the moduli space of line bundles with connections on the graph. The sum of Hamiltonians is essentially the partition function of the dimer model. Any graph on a torus gives rise to a bipartite graph on the torus. We show that the phase space of the latter has a Lagrangian subvariety. We identify it with the space parametrizing resistor networks on the original graph.We construct several discrete quantum integrable systems.
A Wowzer Type Lower Bound for the Strong Regularity Lemma
Published
• View Publication
• BIB
The regularity lemma of Szemeredi asserts that one can partition every graph into a bounded number of quasi-random bipartite graphs. In some applications however, one would like to have a strong control on how quasi-random these bipartite graphs are. Alon, Fischer, Krivelevich and Szegedy obtained a powerful variant of the regularity lemma, which allows one to have an arbitrary control on this measure of quasi-randomness. However, their proof only guaranteed to produce a partition where the number of parts is given by the Wowzer function, which is the iterated version of the Tower function. We show here that a bound of this type is unavoidable by constructing a graph H, with the property that even if one wants a very mild control on the quasi-randomness of a regular partition, then any such partition of H must have a number of parts given by a Wowzer-type function.
On a conjecture of Erdos and Simonovits: Even Cycles
Published
• View Publication
• BIB
Let $\mc{F}$ be a family of graphs. A graph is {\em $\mc{F}$-free} if it contains no copy of a graph in $\mc{F}$ as a subgraph. A cornerstone of extremal graph theory is the study of the {\em Turán number} $ex(n,\mc{F})$, the maximum number of edges in an $\mc{F}$-free graph on $n$ vertices. Define the {\em Zarankiewicz number} $z(n,\mc{F})$ to be the maximum number of edges in an $\mc{F}$-free {\em bipartite} graph on $n$ vertices. Let $C_k$ denote a cycle of length $k$, and let $\mc{C}_k$ denote the set of cycles $C_{\ell}$, where $3 \le \ell \leq k$ and $\ell$ and $k$ have the same parity. Erdős and Simonovits conjectured that for any family $\mc{F}$ consisting of bipartite graphs there exists an odd integer $k$ such that $ex(n,\mc{F} \cup \mc{C}_k) \sim z(n,\mc{F})$. They proved this when $\mc{F}={C_4}$ by showing that $ex(n,\{C_4,C_5\}) \sim z(n,C_4)$. In this paper, we extend this result by showing that if $\ell \in \{2,3,5\}$ and $k > 2\ell$ is odd, then ${ex(n,\mc{C}_{2\ell} \cup {C_k}) \sim z(n,\mc{C}_{2\ell})$. Furthermore, if $k > 2\ell + 2$ is odd, then for infinitely many $n$ we show that the extremal $\mc{C}_{2\ell} \cup \{C_k\}$-free graphs are bipartite incidence graphs of generalized polygons. We observe that this exact result does not hold for any odd $k < 2\ell$, and furthermore the asymptotic result does not hold when $(\ell,k)$ is $(3,3)$, $(5,3)$ or $(5,5)$. Our proofs make use of pseudorandomness properties of nearly extremal graphs that are of independent interest.
On the metric dimension of line graphs
Published
• View Publication
• BIB
Let $G$ be a (di)graph. A set $W$ of vertices in $G$ is a \emph{resolving set} of $G$ if every vertex $u$ of $G$ is uniquely determined by its vector of distances to all the vertices in $W$. The \emph{metric dimension} $μ(G)$ of $G$ is the minimum cardinality of all the resolving sets of $G$. Cáceres et al. \cite{Ca2} computed the metric dimension of the line graphs of complete bipartite graphs. Recently, Bailey and Cameron \cite{Ba} computed the metric dimension of the line graphs of complete graphs. In this paper we study the metric dimension of the line graph $L(G)$ of $G$. In particular, we show that $μ(L(G))=|E(G)|-|V(G)|$ for a strongly connected digraph $G$ except for directed cycles, where $V(G)$ is the vertex set and $E(G)$ is the edge set of $G$. As a corollary, the metric dimension of de Brujin digraphs and Kautz digraphs is given. Moreover, we prove that $\lceil\log_2Δ(G)\rceil\leqμ(L(G))\leq |V(G)|-2$ for a simple connected graph $G$ with at least five vertices, where $Δ(G)$ is the maximum degree of $G$. Finally, we obtain the metric dimension of the line graph of a tree in terms of its parameters.
On the logarithimic calculus and Sidorenko's conjecture
Published
• View Publication
• BIB
We study a type of calculus for proving inequalities between subgraph densities which is based on Jensen's inequality for the logarithmic function. As a demonstration of the method we verify the conjecture of Erdös-Simonovits and Sidorenko for new families of graphs. In particular we give a short analytic proof for a result by Conlon, Fox and Sudakov. Using this, we prove the forcing conjecture for bipartite graphs in which one vertex is complete to the other side.
Optimal Folding of Data Flow Graphs based on Finite Projective Geometry using Lattice Embedding
Published in Discrete Mathematics, Algorithms and Applications Vol. 5, No. 4 (2013)
• View Publication
• BIB
A number of computations exist, especially in area of error-control coding and matrix computations, whose underlying data flow graphs are based on finite projective-geometry(PG) based balanced bipartite graphs. Many of these applications are actively being researched upon. Almost all these applications need bipartite graphs of the order of tens of thousands in practice, whose nodes represent parallel computations. To reduce its implementation cost, reducing amount of system/hardware resources during design is an important engineering objective. In this context, we present a scheme to reduce resource utilization when performing computations derived from PG-based graphs. In a fully parallel design based on PG concepts, the number of processing units is equal to the number of vertices, each performing an atomic computation. To reduce the number of processing units used for implementation, we present an easy way of partitioning the vertex set. Each block of partition is then assigned to a processing unit. A processing unit performs the computations corresponding to the vertices in the block assigned to it in a sequential fashion, thus creating the effect of folding the overall computation. These blocks have certain symmetric properties that enable us to develop a conflict-free schedule. The scheme achieves the best possible throughput, in lack of any overhead of shuffling data across memories while scheduling another computation on the same processing unit. This paper reports two folding schemes, which are based on same lattice embedding approach, based on partitioning. We first provide a scheme for a projective space of dimension five, and the corresponding schedules. Both the folding schemes that we present have been verified by both simulation and hardware prototyping for different applications. We later generalize this scheme to arbitrary projective spaces.
Identifying codes in line graphs
Published in Journal of Graph Theory 73, 4 (2013) 425-448
• View Publication
• BIB
An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We study the edge-identifying code problem, i.e. the identifying code problem in line graphs. If $\ID(G)$ denotes the size of a minimum identifying code of an identifiable graph $G$, we show that the usual bound $\ID(G)\ge \lceil\log_2(n+1)\rceil$, where $n$ denotes the order of $G$, can be improved to $Θ(\sqrt{n})$ in the class of line graphs. Moreover, this bound is tight. We also prove that the upper bound $\ID(\mathcal{L}(G))\leq 2|V(G)|-5$, where $\mathcal{L}(G)$ is the line graph of $G$, holds (with two exceptions). This implies that a conjecture of R. Klasing, A. Kosowski, A. Raspaud and the first author holds for a subclass of line graphs. Finally, we show that the edge-identifying code problem is NP-complete, even for the class of planar bipartite graphs of maximum degree~3 and arbitrarily large girth.
k-tuple total restrained domination and k-tuple total restrained domatic in graphs
Published in BUll. Iranian Math. Soc. Vol 40 (2014) No. 3 pp.751-763
• Search Publication
Let $G$ be a graph of order $n$ and size $m$ and let $k\geq 1$ be an integer. A $k$-tuple total dominating set in $G$ is called a $k$-tuple total restrained dominating set of $G$ if each vertex $x\in V(G)-S$ is adjacent to at least $k$ vertices of $V(G)-S$. The minimum number of vertices of a such sets in $G$ are the $k$-tuple total restrained domination number $γ_{\times k,t}^{r}(G)$ of $G$. The maximum number of classes of a partition of $V(G)$ such that its all classes are $k$-tuple total restrained dominating sets in $G$, is called the $k$-tuple total restrained domatic number of $G$.
In this manuscript, we first find $γ_{\times k,t}^{r}(G)$, when $G$ is complete graph, cycle, bipartite graph and the complement of path or cycle. Also we will find bounds for this number when $G$ is a complete multipartite graph. Then we will know the structure of graphs $G$ which $γ_{\times k,t}^{r}(G)=m$, for some $m\geq k+1$ and give upper and lower bounds for $γ_{\times k,t}^{r}(G)$, when $G$ is an arbitrary graph. Next, we mainly present basic properties of the $k$-tuple total restrained domatic number of a graph and give bounds for it. Finally we give bounds for the $k$-tuple total restrained domination number of the complementary prism $G\bar{G}$ in terms on the similar number of $G$ and $\bar{G}$ when $G$ is a regular graph or an arbitrary graph. And then we calculate it when $G$ is cycle or path.
Core-Free, Rank Two Coset Geometries from Edge-Transitive Bipartite Graphs
Published
• View Publication
• BIB
It is known that the Levi graph of any rank two coset geometry is an edge-transitive graph, and thus coset geometries can be used to construct many edge transitive graphs. In this paper, we consider the reverse direction. Starting from edge- transitive graphs, we construct all associated core-free, rank two coset geometries. In particular, we focus on 3-valent and 4-valent graphs, and are able to construct coset geometries arising from these graphs. We summarize many properties of these coset geometries in a sequence of tables; in the 4-valent case we restrict to graphs that have relatively small vertex-stabilizers.
An f-chromatic spanning forest of edge-colored complete bipartite graphs
Published in The Australasian Journal of Combinatorics, 61 (2015), 130-137
• Search Publication
In 2001, Brualdi and Hollingsworth proved that an edge-colored balanced complete bipartite graph Kn,n with a color set C = {1,2,3,..., 2n-1} has a heterochromatic spanning tree if the number of edges colored with colors in R is more than |R|^2 /4 for any non-empty subset R \subseteq C, where a heterochromatic spanning tree is a spanning tree whose edges have distinct colors, namely, any color appears at most once. In 2010, Suzuki generalized heterochromatic graphs to f-chromatic graphs, where any color c appears at most f(c). Moreover, he presented a necessary and sufficient condition for graphs to have an f-chromatic spanning forest with exactly w components. In this paper, using this necessary and sufficient condition, we generalize the Brualdi-Hollingsworth theorem above.
On the Edge-balanced Index Sets of Complete Bipartite Graphs
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $f$ be a 0-1 labeling of $E(G)$ so that the absolute difference in the number of edges labeled 1 and 0 is no more than one. Call such a labeling $f$ \emph{edge-friendly}. The \emph{edge-balanced index set} of the graph $G$, $EBI(G)$, is defined as the absolute difference between the number of vertices incident to more edges labeled 1 and the number of vertices incident to more edges labeled 0 over all edge-friendly labelings $f$. In 2009, Lee, Kong, and Wang \cite{LeeKongWang} found the $EBI(K_{l,n})$ for $l=1,2,3,4,5$ as well as $l=n$. We continue the investigation of the $EBI$ of complete bipartite graphs of other orders.
On realizing zero-divisor graphs of po-semirings
In this paper, we determine bipartite graphs and complete graphs with horns, which are realizable as zero-divisor graphs of po-semirings. As applications, we classify commutative rings $R$ whose annihilating-ideal graph $\mathbb {AG}(R)$ are either bipartite graphs or complete graphs with horns.
On the Set of Circular Total Chromatic Numbers of Graphs
Published
• View Publication
• BIB
For every integer $r\ge3$ and every $\eps>0$ we construct a graph with maximum degree $r-1$ whose circular total chromatic number is in the interval $(r,r+\eps)$. This proves that (i) every integer $r\ge3$ is an accumulation point of the set of circular total chromatic numbers of graphs, and (ii) for every $Δ\ge2$, the set of circular total chromatic numbers of graphs with maximum degree $Δ$ is infinite. All these results hold for the set of circular total chromatic numbers of bipartite graphs as well.
On the Wiener index and Laplacian coefficients of graphs with given diameter or radius
Published in MATCH Commun. Math. Comput. Chem. 63 (2010) 91-100
• Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. It is well known that for trees the Laplacian coefficient $c_{n-2}$ is equal to the Wiener index of $G$. Using a result of Zhou and Gutman on the relation between the Laplacian coefficients and the matching numbers in subdivided bipartite graphs, we characterize first the trees with given diameter and then the connected graphs with given radius which simultaneously minimize all Laplacian coefficients. This approach generalizes recent results of Liu and Pan [MATCH Commun. Math. Comput. Chem. 60 (2008), 85--94] and Wang and Guo [MATCH Commun. Math. Comput. Chem. 60 (2008), 609--622] who characterized $n$-vertex trees with fixed diameter $d$ which minimize the Wiener index. In conclusion, we illustrate on examples with Wiener and modified hyper-Wiener index that the opposite problem of simultaneously maximizing all Laplacian coefficients has no solution.
Nearly Optimal NP-Hardness of Vertex Cover on k-Uniform k-Partite Hypergraphs
Published
• View Publication
• BIB
We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For general k, the problem was studied by Lovász, who gave a k/2 -approximation based on the standard LP relaxation. Subsequent work by Aharoni, Holzman and Krivelevich showed a tight integrality gap of (k/2 - o(1)) for the LP relaxation. While this problem was known to be NP-hard for k >= 3, the first non-trivial NP-hardness of approximation factor of k/4- \eps was shown in a recent work by Guruswami and Saket. They also showed that assuming Khot's Unique Games Conjecture yields a k/2 - \eps inapproximability for this problem, implying the optimality of Lovász's result.
In this work, we show that this problem is NP-hard to approximate within k/2- 1 + 1/2k -\eps. This hardness factor is off from the optimal by an additive constant of at most 1 for k >= 4. Our reduction relies on the Multi-Layered PCP of Dinur et al. and uses a gadget - based on biased Long Codes - adapted from the LP integrality gap of Aharoni et al. The nature of our reduction requires the analysis of several Long Codes with different biases, for which we prove structural properties of the so called cross-intersecting collections of set families - variants of which have been studied in extremal set theory.