arXiv++ Combinatorics

Browse math.CO papers from arXiv

bipartite graph

2604 papers tagged with this keyword
2016-05-18
Degree conditions for matchability in $3$-partite hypergraphs
Published • View Publication • BIB
We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko \cite{drisko} (as generalized by the first two authors \cite{ab}), that every family of $2n-1$ matchings of size $n$ in a bipartite graph has a partial rainbow matching of size $n$. We show that milder restrictions on the sizes of the matchings suffice. Another result that is strengthened is a theorem of Cameron and Wanless \cite{CamWan}, that every Latin square has a diagonal (permutation submatrix) in which no symbol appears more than twice. We show that the same is true under the weaker condition that the square is row-Latin.
2016-05-18 v2
On Avoider-Enforcer games
Published in SIAM J. Discrete Math. 23(2) (2009), 901--908 • View Publication • BIB
In the Avoider-Enforcer game on the complete graph $K_n$, the players (Avoider and Enforcer) each take an edge in turn. Given a graph property $\mathcal{P}$, Enforcer wins the game if Avoider's graph has the property $\mathcal{P}$. An important parameter is $τ_E({\cal P})$, the smallest integer $t$ such that Enforcer can win the game against any opponent in $t$ rounds. In this paper, let $\mathcal{F}$ be an arbitrary family of graphs and $\mathcal{P}$ be the property that a member of $\mathcal{F}$ is a subgraph or is an induced subgraph. We determine the asymptotic value of $τ_E(\mathcal{P})$ when $\mathcal{F}$ contains no bipartite graph and establish that $τ_E(\mathcal{P})=o(n^2)$ if $\mathcal{F}$ contains a bipartite graph. The proof uses the game of JumbleG and the Szemerédi Regularity Lemma.
2016-05-18 v2
Edit distance and its computation
Published in Electron. J. Combin. 15(1) (2008), Research Paper 20, 27pp • View Publication • BIB
In this paper, we provide a method for determining the asymptotic value of the maximum edit distance from a given hereditary property. This method permits the edit distance to be computed without using Szemerédi's Regularity Lemma directly. Using this new method, we are able to compute the edit distance from hereditary properties for which it was previously unknown. For some graphs $H$, the edit distance from ${\rm Forb}(H)$ is computed, where ${\rm forb}(H)$ is the class of graphs which contain no induced copy of graph $H$. Those graphs for which we determine the edit distance asymptotically are $H=K_a+E_b$, an $a$-clique with $b$ isolated vertices, and $H=K_{3,3}$, a complete bipartite graph. We also provide a graph, the first such construction, for which the edit distance cannot be determined just by considering partitions of the vertex set into cliques and cocliques. In the process, we develop weighted generalizations of Turán's theorem, which may be of independent interest.
An Elementary Integrality Proof of Rothblum's Stable Matching Formulation
Published • View Publication • BIB
In this paper we provide a short new proof for the integrality of Rothblum's linear description of the convex hull of incidence vectors of stable matchings in bipartite graphs. In the spirit of iterative rounding proofs, the key feature of our proof is to show that extreme points of the formulation must have a 0, 1-component.
2016-05-13
$(δ, χ_{_{\sf FF}})$-bounded families of graphs
For any graph $G$, the First-Fit (or Grundy) chromatic number of $G$, denoted by $χ_{_{\sf FF}}(G)$, is defined as the maximum number of colors used by the First-Fit (greedy) coloring of the vertices of $G$. We call a family $\mathcal{F}$ of graphs $(δ, χ_{_{\sf FF}})$-bounded if there exists a function $f(x)$ with $f(x)\rightarrow \infty$ as $x\rightarrow \infty$ such that for any graph $G$ from the family one has $χ_{_{\sf FF}}(G)\geq f(δ(G))$, where $δ(G)$ is the minimum degree of $G$. We first give some results concerning $(δ, χ_{_{\sf FF}})$-bounded families and obtain a few such families. Then we prove that for any positive integer $\ell$, $Forb(K_{\ell,\ell})$ is $(δ, χ_{_{\sf FF}})$-bounded, where $K_{\ell,\ell}$ is complete bipartite graph. We conjecture that if $G$ is any $C_4$-free graph then $χ_{_{\sf FF}}(G)\geq δ(G)+1$. We prove the validity of this conjecture for chordal graphs, complement of bipartite graphs and graphs with low minimum degree.
On main eigenvalues of certain graphs
Published in Comp. Appl. Math. 39, 12 (2020) • View Publication • BIB
An eigenvalue of the adjacency matrix of a graph is said to be \emph{main} if the all-1 vector is not orthogonal to the associated eigenspace. In this work, we approach the main eigenvalues of some graphs. The graphs with exactly two main eigenvalues are considered and a relation between those main eigenvalues is presented. The particular case of harmonic graphs is analyzed and they are characterized in terms of their main eigenvalues without any restriction on its combinatorial structure. We give a necessary and sufficient condition for a graph $G$ to have $-1-λ_{\min}$ as an eigenvalue of its complement, where $λ_{\min}$ denotes the least eigenvalue of $G$. Also, we prove that among connected bipartite graphs, $K_{r,r}$ is the unique graph for which the index of the complement is equal to $-1-λ_{\min}$. Finally, we characterize all paths and all double stars (trees with diameter three) for which the smallest eigenvalue is non-main. Main eigenvalues of paths and double stars are identified.
2016-05-10
Projective dimension of (hyper)graphs and the Castelnuovo-Mumford regularity of bipartite graphs
We prove that the projective dimension of any (hyper)graph can be bounded from above by the (Castelnuovo-Mumford) regularity of its Levi graph (or incidence bipartite graph). This in particular brings the use of regularity's upper bounds on the calculation of projective dimension of (hyper)graphs. When G is just a (simple) graph, we prove that there exists an induced subgraph H of G such that prod-dim(G)=reg(S(H)), where S(H) is the subdivision graph of H. Moreover, we show that known upper bounds on prod-dim(G) involving domination parameters are in fact upper bounds to reg(S(G)).
2016-05-03
Families of $2$-weights of some particular graphs
Let ${\cal G}=(G,w) $ be a positive-weighted graph, that is a graph $G$ endowed with a function $w$ from the edge set of $G$ to the set of positive real numbers; for any distinct vertices $i,j $, we define $D_{i,j}({\cal G})$ to be the weight of the path in $G$ joining $i$ and $j$ with minimum weight. In this paper we fix a particular class of graphs and we give a criterion to establish whether, given a family of positive real numbers $\{D_I\}_{I \in { \{1,...., n\} \choose 2}}$, there exists a positive-weighted graph ${\cal G} =(G,w) $ in the class we have fixed, with vertex set equal to $\{1,....,n\}$ and such that $D_I ({\cal G}) =D_I$ for any $I \in { \{1,...., n\} \choose 2}$. In particular, the classes of graphs we consider are the following: snakes, caterpillars, polygons, bipartite graphs, complete graphs, planar graphs.
2016-04-30
Induced Forests in Bipartite Planar Graphs
Published • View Publication • BIB
Akiyama and Watanabe conjectured that every simple planar bipartite graph on $n$ vertices contains an induced forest on at least $5n/8$ vertices. We apply the discharging method to show that every simple bipartite planar graph on $n$ vertices contains an induced forest on at least $\lceil (4n+3)/7 \rceil$ vertices.
2016-04-28 v4
Complex martingales and asymptotic enumeration
Published • View Publication • BIB
Many enumeration problems in combinatorics, including such fundamental questions as the number of regular graphs, can be expressed as high-dimensional complex integrals. Motivated by the need for a systematic study of the asymptotic behaviour of such integrals, we establish explicit bounds on the exponentials of complex martingales. Those bounds applied to the case of truncated normal distributions are precise enough to include and extend many enumerative results of Barvinok, Canfield, Gao, Greenhill, Hartigan, Isaev, McKay, Wang, Wormald, and others. Our method applies to sums as well as integrals. As a first illustration of the power of our theory, we considerably strengthen existing results on the relationship between random graphs or bipartite graphs with specified degrees and the so-called $β$-model of random graphs with independent edges, which is equivalent to the Rasch model in the bipartite case.
2016-04-27
Fault-tolerance of balanced hypercubes with faulty vertices and faulty edges
Let $F_{v}$ (resp. $F_e$) be the set of faulty vertices (resp. faulty edges) in the $n$-dimensional balanced hypercube $BH_n$. Fault-tolerant Hamiltonian laceability in $BH_n$ with at most $2n-2$ faulty edges is obtained in [Inform. Sci. 300 (2015) 20--27]. The existence of edge-Hamiltonian cycles in $BH_n-F_e$ for $|F_e|\leq 2n-2$ are gotten in [Appl. Math. Comput. 244 (2014) 447--456]. Up to now, almost all results about fault-tolerance in $BH_n$ with only faulty vertices or only faulty edges. In this paper, we consider fault-tolerant cycle embedding of $BH_n$ with both faulty vertices and faulty edges, and prove that there exists a fault-free cycle of length $2^{2n}-2|F_v|$ in $BH_n$ with $|F_v|+|F_e|\leq 2n-2$ and $|F_v|\leq n-1$ for $n\geq 2$. Since $BH_n$ is a bipartite graph with two partite sets of equal size, the cycle of a length $2^{2n}-2|F_v|$ is the longest in the worst-case.
Coprime and prime labelings of graphs
Published in Journal of Integer Sequences, Vol. 19 (2016), Article 16.5.8 • Search Publication
A coprime labeling of a simple graph of order $n$ is a labeling in which adjacent vertices are given relatively prime labels, and a graph is prime if the labels used can be taken to be the first $n$ positive integers. In this paper, we consider when ladder graphs are prime and when the corresponding labeling may be done in a cyclic manner around the vertices of the ladder. Furthermore, we discuss coprime labelings for complete bipartite graphs.
2016-04-19
Edgewise strongly shellable clutters
Published • View Publication • BIB
When $\mathcal{C}$ is a chordal clutter in the sense of Woodroofe or Emtander, we show that the complement clutter is edgewise strongly shellable. When $\mathcal{C}$ is indeed a finite simple graph, we study various characterizations of chordal graphs from the point of view of strong shellability. In particular, the generic graph $G_T$ of a tree is shown to be bi-strongly shellable. We also characterize edgewise strongly shellable bipartite graphs in terms of constructions from upward sequences. \end{abstract}
2016-04-10
Canonical binary matrices related to bipartite graphs
The current paper is dedicated to the problem of finding the number of mutually non isomorphic bipartite graphs of the type $g=\langle R_g ,C_g ,E_g \rangle$ at given $n=|R_g |$ and $m=|C_g |$, where $R_g$ and $C_g$ are the two disjoint parts of the vertices of the graphs $g$, and $E_g$ is the set of edges, $Eg \subseteq R_g \times C_g$. For this purpose, the concept of canonical binary matrix is introduced. The different canonical matrices unambiguously describe the different with exactness up to isomorphism bipartite graphs. We have found a necessary and sufficient condition an arbitrary matrix to be canonical. This condition could be the base for realizing recursive algorithm for finding all $n \times m$ canonical binary matrices and consequently for finding all with exactness up to isomorphism binary matrices with cardinality of each part equal to $n$ and $m$.
2016-04-04 v2
On the bipartite graph packing problem
The graph packing problem is a well-known area in graph theory. We consider a bipartite version and give almost tight conditions on the packability of two bipartite sequences.
2016-04-03
Symbolic powers of cover ideal of very well-covered and bipartite graphs
Published • View Publication • BIB
Let $G$ be a graph with $n$ vertices and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that if $G$ is a very well-covered graph such that $J(G)$ has linear resolution, then $J(G)^{(k)}$ has linear resolution, for every integer $k\geq 1$. We also prove that for a every very well-covered graph $G$, the depth of symbolic powers of $J(G)$ forms a non-increasing sequence. Finally, we determine a linear upper bound for the regularity of powers of cover ideal of bipartite graph.
2016-04-03
Depth, Stanley depth and regularity of ideals associated to graphs
Published • View Publication • BIB
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $J=J(G)$ is its cover ideal. We prove that ${\rm sdepth}(J)\geq n-ν_{o}(G)$ and ${\rm sdepth}(S/J)\geq n-ν_{o}(G)-1$, where $ν_{o}(G)$ is the ordered matching number of $G$. We also prove the inequalities ${\rm sdepth}(J^k)\geq {\rm depth}(J^k)$ and ${\rm sdepth}(S/J^k)\geq {\rm depth}(S/J^k)$, for every integer $k\gg 0$, when $G$ is a bipartite graph. Moreover, we provide an elementary proof for the known inequality ${\rm reg}(S/I)\leq ν_{o}(G)$.
2016-04-02
New extremal binary self-dual codes of lengths 64 and 66 from bicubic planar graphs
Published • View Publication • BIB
In this work, connected cubic planar bipartite graphs and related binary self-dual codes are studied. Binary self-dual codes of length 16 are obtained by face-vertex incidence matrices of these graphs. By considering their lifts to the ring R_2 new extremal binary self-dual codes of lengths 64 are constructed as Gray images. More precisely, we construct 15 new codes of length 64. Moreover, 10 new codes of length 66 were obtained by applying a building-up construction to the binary codes. Codes with these weight enumerators are constructed for the first time in the literature. The results are tabulated.
Decomposing graphs into a constant number of locally irregular subgraphs
Published • View Publication • BIB
A graph is locally irregular if no two adjacent vertices have the same degree. The irregular chromatic index $χ_{\rm irr}'(G)$ of a graph $G$ is the smallest number of locally irregular subgraphs needed to edge-decompose $G$. Not all graphs have such a decomposition, but Baudon, Bensmail, Przybyło, and Woźniak conjectured that if $G$ can be decomposed into locally irregular subgraphs, then $χ_{\rm irr}'(G)\leq 3$. In support of this conjecture, Przybyło showed that $χ_{\rm irr}'(G)\leq 3$ holds whenever $G$ has minimum degree at least $10^{10}$. Here we prove that every bipartite graph $G$ which is not an odd length path satisfies $χ_{\rm irr}'(G)\leq 10$. This is the first general constant upper bound on the irregular chromatic index of bipartite graphs. Combining this result with Przybyło's result, we show that $χ_{\rm irr}'(G) \leq 328$ for every graph $G$ which admits a decomposition into locally irregular subgraphs. Finally, we show that $χ_{\rm irr}'(G)\leq 2$ for every $16$-edge-connected bipartite graph $G$.
Complexity of equitable tree-coloring problems
A $(q,t)$\emph{-tree-coloring} of a graph $G$ is a $q$-coloring of vertices of $G$ such that the subgraph induced by each color class is a forest of maximum degree at most $t.$ A $(q,\infty)$\emph{-tree-coloring} of a graph $G$ is a $q$-coloring of vertices of $G$ such that the subgraph induced by each color class is a forest. Wu, Zhang, and Li introduced the concept of \emph{equitable $(q, t)$-tree-coloring} (respectively, \emph{equitable $(q, \infty)$-tree-coloring}) which is a $(q,t)$-tree-coloring (respectively, $(q, \infty)$-tree-coloring) such that the sizes of any two color classes differ by at most one. Among other results, they obtained a sharp upper bound on the minimum $p$ such that $K_{n,n}$ has an equitable $(q, 1)$-tree-coloring for every $q\geq p.$ In this paper, we obtain a polynomial time criterion to decide if a complete bipartite graph has an equitable $(q,t)$-tree-coloring or an equitable $(q,\infty)$-tree-coloring. Nevertheless, deciding if a graph $G$ in general has an equitable $(q,t)$-tree-coloring or an equitable $(q,\infty)$-tree-coloring is NP-complete.