bipartite graph
2514 papers tagged with this keyword
Partially magic labelings and the Antimagic Graph Conjecture
Published in Séminaire Lotharingien de Combinatoire, 78B (2017), Article 86
• Search Publication
The Antimagic Graph Conjecture asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, \dots, |E|$ is used exactly once and the sums of the labels on all edges incident to a given vertex are distinct. On the other extreme, an edge labeling is magic if the sums of the labels on all edges incident to each vertex are the same. In this paper we approach antimagic labelings by introducing partially magic labelings, where "magic occurs'' just in a subset of $V$. We generalize Stanley's theorem about the magic graph labeling counting function to the associated counting function of partially magic labelings and prove that it is a quasi-polynomial of period at most $2$. This allows us to introduce weak antimagic labelings (for which repetition is allowed), and we show that every bipartite graph satisfies a weakened version of the Antimagic Graph Conjecture.
Degree switching and partitioning for enumerating graphs to arbitrary orders of accuracy
We provide a novel method for constructing asymptotics (to arbitrary accuracy) for the number of directed graphs that realize a fixed bidegree sequence $d = a \times b$ with maximum degree $d_{max}=O(S^{\frac{1}{2}-τ})$ for an arbitrarily small positive number $τ$, where $S$ is the number edges specified by $d$. Our approach is based on two key steps, graph partitioning and degree preserving switches. The former idea allows us to relate enumeration results for given sequences to those for sequences that are especially easy to handle, while the latter facilitates expansions based on numbers of shared neighbors of pairs of nodes. While we focus primarily on directed graphs allowing loops, our results can be extended to other cases, including bipartite graphs, as well as directed and undirected graphs without loops. In addition, we can relax the constraint that $d_{max} = O(S^{\frac{1}{2}-τ})$ and replace it with $a_{max} b_{max} = O(S^{1-τ})$. where $a_{max}$ and $b_{max}$ are the maximum values for $a$ and $b$ respectively. The previous best results, from Greenhill et al., only allow for $d_{max} = o(S^{\frac{1}{3}})$ or alternatively $a_{max} b_{max} = o(S^{\frac{2}{3}})$. Since in many real world networks, $d_{max}$ scales larger than $o(S^{\frac{1}{3}})$, we expect that this work will be helpful for various applications.
A tight relation between series-parallel graphs and Bipartite Distance Hereditary graphs
Published
• View Publication
• BIB
Bandelt and Mulder's structural characterization of Bipartite Distance Hereditary graphs asserts that such graphs can be built inductively starting from a single vertex and by repeatedly adding either pending vertices or twins (i.e., vertices with the same neighborhood as an existing one). Dirac and Duffin's structural characterization of 2-connected series-parallel graphs asserts that such graphs can be built inductively starting from a single edge by adding either edges in series or in parallel. In this paper we prove that the two constructions are the same construction when bipartite graphs are viewed as the fundamental graphs of a graphic matroid. We then apply the result to re-prove known results concerning bipartite distance hereditary graphs and series-parallel graphs, to characterize self-dual outer-planar graphs and, finally, to provide a new class of polynomially-solvable instances for the integer multi commodity flow of maximum value.
Unmixed r-partite graphs
Unmixed bipartite graphs have been characterized by Ravadra and Villarreal independently. Our aim in this paper is to characterize unmixed r-partite graphs under a certain condition, witch is a generalization of villarreal's theorem on bipartite graphs. Also we give some examples and counterexamples in relevance this subject.
On Computing the Galois Lattice of Bipartite Distance Hereditary Graphs
Published
• View Publication
• BIB
The class of Bipartite Distance Hereditary (BDH) graphs is the intersection between bipartite domino-free and chordal bipartite graphs.\ Graphs in both the latter classes have linearly many maximal bicliques, implying the existence of polynomial-time algorithms for computing the associated Galois lattice.\ Such a lattice can indeed be built in $O(m\times n)$ worst case-time for a domino-free graph with $m$ edges and $n$ vertices.\ In this paper we give a sharp estimate on the number of the maximal bicliques of BDH graphs and exploit such result to give an $O(m)$ worst case time algorithm for computing the Galois lattice of BDH graphs. By relying on the fact that neighborhoods of vertices of BDH graphs can be realized as directed paths in a arborescence, we give an $O(n)$ worst-case space and time encoding of both the input graph and its Galois lattice, provided that the reverse of a Bandelt and Mulder building sequence is given.
Some advances on Sidorenko's conjecture
Published
• View Publication
• BIB
A bipartite graph $H$ is said to have Sidorenko's property if the probability that the uniform random mapping from $V(H)$ to the vertex set of any graph $G$ is a homomorphism is at least the product over all edges in $H$ of the probability that the edge is mapped to an edge of $G$. In this paper, we provide three distinct families of bipartite graphs that have Sidorenko's property. First, using branching random walks, we develop an embedding algorithm which allows us to prove that bipartite graphs admitting a certain type of tree decomposition have Sidorenko's property. Second, we use the concept of locally dense graphs to prove that subdivisions of certain graphs, including cliques, have Sidorenko's property. Third, we prove that if $H$ has Sidorenko's property, then the Cartesian product of $H$ with an even cycle also has Sidorenko's property.
Monochromatic tree covers and Ramsey numbers for set-coloured graphs
Published
• View Publication
• BIB
We consider a generalisation of the classical Ramsey theory setting to a setting where each of the edges of the underlying host graph is coloured with a {\em set} of colours (instead of just one colour). We give bounds for monochromatic tree covers in this setting, both for an underlying complete graph, and an underlying complete bipartite graph. We also discuss a generalisation of Ramsey numbers to our setting and propose some other new directions.
Our results for tree covers in complete graphs imply that a stronger version of Ryser's conjecture holds for $k$-intersecting $r$-partite $r$-uniform hypergraphs: they have a transversal of size at most $r-k$. (Similar results have been obtained by Király et al., see below.) However, we also show that the bound $r-k$ is not best possible in general.
$(r)$-Pancyclic, $(r)$-Bipancyclic and Oddly $(r)$-Bipancyclic Graphs
A graph with $v$ vertices is $(r)$-pancyclic if it contains precisely $r$ cycles of every length from 3 to $v$. A bipartite graph with even number of vertices $v$ is said to be $(r)$-bipancyclic if it contains precisely $r$ cycles of each even length from 4 to $v$. A bipartite graph with odd number of vertices $v$ and minimum degree at least 2 is said to be oddly $(r)$-bipancyclic if it contains precisely $r$ cycles of each even length from 4 to $v-1$. In this paper, using computer search, we classify all $(r)$-pancyclic and $(r)$-bipancyclic graphs with $v$ vertices and at most $v+5$ edges. We also classify all oddly $(r)$-bipancyclic graphs with $v$ vertices and at most $v+4$ edges.
Total weight choosability of d-degenerate graphs
A graph $G$ is $(k,k')$-choosable if the following holds: For any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a total weighting
$φ: V(G) \cup E(G) \to R$ such that $φ(z) \in L(z)$ for $z \in V \cup E$, and $\sum_{e \in E(u)}φ(e)+φ(u) \ne \sum_{e \in E(v)}φ(e)+φ(v)$ for every edge $uv$. This paper proves the following results: (1) If $G$ is a connected $d$-degenerate graph, and $k>d$ is a prime number, and $G$ is either non-bipartite or has two non-adjacent vertices $u,v$ with $d(u)+d(v) < k$, then $G$ is $(1,k)$-choosable. As a consequence, every planar graph with no isolated edges is $(1,7)$-choosable, and every connected $2$-degenerate non-bipartite graph other than $K_2$ is $(1,3)$-choosable. (2) If $d+1$ is a prime number, $v_1, v_2, \ldots, v_n$ is an ordering of the vertices of $G$ such that each vertex $v_i$ has back degree $d^-(v_i) \le d$, then there is a graph $G'$ obtained from $G$ by adding at most $d-d^-(v_i)$ leaf neighbours to $v_i$ (for each $i$) and $G'$ is $(1,2)$-choosable. (3) If $G$ is $d$-degenerate and $d+1$ a prime, then $G$ is $(d,2)$-choosable. In particular, $2$-degenerate graphs are $(2,2)$-choosable. (4) Every graph is $(\lceil\frac{{\rm mad}(G)}{2}\rceil+1, 2)$ -choosable. In particular, planar graphs are $(4,2)$-choosable, planar bipartite graphs are $(3,2)$-choosable.
Almost partitioning a 3-edge-coloured $K_{n,n}$ into 5 monochromatic cycles
Published
• View Publication
• BIB
We show that for any colouring of the edges of the complete bipartite graph $K_{n,n}$ with 3 colours there are 5 disjoint monochromatic cycles which together cover all but $o(n)$ of the vertices. In the same situation, 18 disjoint monochromatic cycles together cover all vertices.
An extending result on spectral radius of bipartite graphs
Published
• View Publication
• BIB
Let $G$ denote a bipartite graph with $e$ edges without isolated vertices. It was known that the spectral radius of $G$ is at most the square root of $e$, and the upper bound is attained if and only if $G$ is a complete bipartite graph. Suppose that $G$ is not a complete bipartite graph, and $e-1$ and $e+1$ are not twin primes. We determine the maximal spectral radius of $G$. As a byproduct of our study, we obtain a spectral characterization of a pair $(e-1, e+1)$ of integers to be a pair of twin primes.
Partitioning 2-edge-colored graphs by monochromatic paths and cycles
Published in Combinatorica 34, 5, 507-526 (2014)
• View Publication
• BIB
We present results on partitioning the vertices of $2$-edge-colored graphs into monochromatic paths and cycles. We prove asymptotically the two-color case of a conjecture of Sárközy: the vertex set of every $2$-edge-colored graph can be partitioned into at most $2α(G)$ monochromatic cycles, where $α(G)$ denotes the independence number of $G$. Another direction, emerged recently from a conjecture of Schelp, is to consider colorings of graphs with given minimum degree. We prove that apart from $o(|V(G)|)$ vertices, the vertex set of any $2$-edge-colored graph $G$ with minimum degree at least $(1+\eps){3|V(G)|\over 4}$ can be covered by the vertices of two vertex disjoint monochromatic cycles of distinct colors. Finally, under the assumption that $\overline{G}$ does not contain a fixed bipartite graph $H$, we show that in every $2$-edge-coloring of $G$, $|V(G)|-c(H)$ vertices can be covered by two vertex disjoint paths of different colors, where $c(H)$ is a constant depending only on $H$. In particular, we prove that $c(C_4)=1$, which is best possible.
On the existence of identifiable reparametrizations for linear compartment models
Published
• View Publication
• BIB
The parameters of a linear compartment model are usually estimated from experimental input-output data. A problem arises when infinitely many parameter values can yield the same result; such a model is called unidentifiable. In this case, one can search for an identifiable reparametrization of the model: a map which reduces the number of parameters, such that the reduced model is identifiable. We study a specific class of models which are known to be unidentifiable. Using algebraic geometry and graph theory, we translate a criterion given by Meshkat and Sullivant for the existence of an identifiable scaling reparametrization to a new criterion based on the rank of a weighted adjacency matrix of a certain bipartite graph. This allows us to derive several new constructions to obtain graphs with an identifiable scaling reparametrization. Using these constructions, a large subclass of such graphs is obtained. Finally, we present a procedure of subdividing or deleting edges to ensure that a model has an identifiable scaling reparametrization.
On the Edge-Balanced Index Sets of Complete Even Bipartite Graphs
In 2009, Kong, Wang, and Lee introduced the problem of finding the edge-balanced index sets ($EBI$) of complete bipartite graphs $K_{m,n}$, where they examined the cases $n=1$, $2$, $3$, $4$, $5$ and the case $m=n$. Since then the problem of finding $EBI(K_{m,n})$, where $m \geq n$, has been completely resolved for the $m,n=$ odd, odd and odd, even cases. In this paper we find the edge-balanced index sets for complete bipartite graphs where both parts have even cardinality.
The Tournament Scheduling Problem with Absences
Published
• View Publication
• BIB
We study time scheduling problems with allowed absences as a new kind of graph coloring problem. One may think of a sport tournament where each player (each team) is permitted a certain number $t$ of absences. We then examine how many rounds are needed to schedule the whole tournament in the worst case. This upper limit depends on $t$ and on the structure of the graph $G$ whose edges represent the games that have to be played, but also on whether or not the absences are announced before the tournament starts. Therefore, we actually have two upper limits for the number of required rounds. We have $χ^t(G)$ for pre-scheduling if all absences are pre-fixed, and we have $χ_{\textit{OL}}^t(G)$ for on-line scheduling if we have to stay flexible and deal with absences when they occur. We conjecture that $χ^t(G)=Δ(G)+2t$ and that $χ_{\textit{OL}}^t(G)=χ'(G)+2t.$ The first conjecture is stronger than the Total Coloring Conjecture while the second is weaker than the On-Line List Edge Coloring Conjecture. Our conjectures hold for all bipartite graphs. For complete graphs, we prove them partially. Lower and upper bounds to $χ^t(G)$ and $χ_{\textit{OL}}^t(G)$ for general multigraphs $G$ are established, too.
Partitioning the vertex set of $G$ to make $G\,\Box\, H$ an efficient open domination graph
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (June 2, 2016) dmtcs:1277
• View Publication
• BIB
A graph is an efficient open domination graph if there exists a subset of vertices whose open neighborhoods partition its vertex set. We characterize those graphs $G$ for which the Cartesian product $G \Box H$ is an efficient open domination graph when $H$ is a complete graph of order at least 3 or a complete bipartite graph. The characterization is based on the existence of a certain type of weak partition of $V(G)$. For the class of trees when $H$ is complete of order at least 3, the characterization is constructive. In addition, a special type of efficient open domination graph is characterized among Cartesian products $G \Box H$ when $H$ is a 5-cycle or a 4-cycle.
On interval edge-colorings of bipartite graphs of small order
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The problem of deciding whether a bipartite graph is interval colorable is NP-complete. The smallest known examples of interval non-colorable bipartite graphs have $19$ vertices. On the other hand it is known that the bipartite graphs on at most $14$ vertices are interval colorable. In this work we observe that several classes of bipartite graphs of small order have an interval coloring. In particular, we show that all bipartite graphs on $15$ vertices are interval colorable.
On Galvin orientations of line graphs and list-edge-colouring
The notion of a Galvin orientation of a line graph is introduced, generalizing the idea used by Galvin in his landmark proof of the list-edge-colouring conjecture for bipartite graphs. If L(G) has a proper Galvin orientation with respect to k, then it immediately implies that G is k-list-edge-colourable, but the converse is not true. The stronger property is studied in graphs of the form `bipartite plus an edge', the Petersen graph, cliques, and simple graphs without odd cycles of length 5 or longer.
Interval minors of complete multipartite graphs
Interval minors of bipartite graphs were introduced by Jacob Fox in the study of Stanley-Wilf limits. Recently, Mohar, Rafiey, Tayfeh-Rezaie and Wu investigated the maximum number of edges in $K_{k,\ell}$-interval minor free bipartite graphs when $k=2$ and $k=3$. In this paper, we investigate the maximum number of edges in $K_{k,\ell}$-interval minor free bipartite graphs for general $k$ and $\ell$. We also study the maximum number of edges in $K_{\ell_1,\ell_2,\cdots,\ell_t}$-interval minor free multipartite graphs.
Interval edge-colorings of composition of graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with consecutive integers $c_{1},\ldots,c_{t}$ is called an \emph{interval $t$-coloring} if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The set of all interval colorable graphs is denoted by $\mathfrak{N}$. In 2004, Giaro and Kubale showed that if $G,H\in \mathfrak{N}$, then the Cartesian product of these graphs belongs to $\mathfrak{N}$. In the same year they formulated a similar problem for the composition of graphs as an open problem. Later, in 2009, the first author showed that if $G,H\in \mathfrak{N}$ and $H$ is a regular graph, then $G[H]\in \mathfrak{N}$. In this paper, we prove that if $G\in \mathfrak{N}$ and $H$ has an interval coloring of a special type, then $G[H]\in \mathfrak{N}$. Moreover, we show that all regular graphs, complete bipartite graphs and trees have such a special interval coloring. In particular, this implies that if $G\in \mathfrak{N}$ and $T$ is a tree, then $G[T]\in \mathfrak{N}$.