A correction on the signed bad number

2018 ◽  
Vol 10 (01) ◽  
pp. 1850009
Author(s):  
J. Amjadi ◽  
R. Khoeilar ◽  
M. Soroudi

A signed bad function of [Formula: see text] is a function [Formula: see text] such that [Formula: see text] for every [Formula: see text] where [Formula: see text] is the closed neighborhood of [Formula: see text]. The signed bad number is [Formula: see text]. Ghameshlou et al. [A. N. Ghameshlou, A. Khodkar and S. M. Sheikholeslami, The signed bad numbers in graphs, Discrete Math. Algorithms Appl. 1 (2011) 33–41] proved that for any bipartite graph of order [Formula: see text], [Formula: see text]. But their proof has a gap and the bound is not correct in general. In this note, we modify their proof and show that for any bipartite graph of order [Formula: see text], [Formula: see text], and also we characterize the bipartite graphs attaining this bound.

10.37236/9148 ◽  
2021 ◽  
Vol 28 (2) ◽  
Author(s):  
Niranjan Balachandran ◽  
Deepanshu Kush

A bipartite graph $G(X,Y,E)$ with vertex partition $(X,Y)$ is said to have the Normalized Matching Property (NMP) if for any subset $S\subseteq X$ we have $\frac{|N(S)|}{|Y|}\geq\frac{|S|}{|X|}$. In this paper, we prove the following results about the Normalized Matching Property.  The random bipartite graph $\mathbb{G}(k,n,p)$ with $|X|=k,|Y|=n$, and $k\leq n<\exp(k)$, and each pair $(x,y)\in X\times Y$ being an edge in $\mathbb{G}$ independently with probability $p$ has $p=\frac{\log n}{k}$ as the threshold for NMP. This generalizes a classic result of Erdős-Rényi on the $\frac{\log n}{n}$ threshold for the existence of a perfect matching in $\mathbb{G}(n,n,p)$. A bipartite graph $G(X,Y)$, with $k=|X|\le |Y|=n$, is said to be Thomason pseudorandom (following A. Thomason (Discrete Math., 1989)) with parameters $(p,\varepsilon)$ if every $x\in X$ has degree at least $pn$ and every pair of distinct $x, x'\in X$ have at most $(1+\varepsilon)p^2n$ common neighbours. We show that Thomason pseudorandom graphs have the following property: Given $\varepsilon>0$ and $n\geq k\gg 0$, there exist functions $f,g$ with $f(x), g(x)\to 0$ as $x\to 0$, and sets $\mathrm{Del}_X\subset X, \  \mathrm{Del}_Y\subset Y$ with $|\mathrm{Del}_X|\leq f(\varepsilon)k,\ |\mathrm{Del}_Y|\leq g(\varepsilon)n$ such that $G(X\setminus \mathrm{Del}_X,Y\setminus \mathrm{Del}_Y)$ has NMP. Enroute, we prove an 'almost' vertex decomposition theorem: Every Thomason pseudorandom bipartite graph $G(X,Y)$ admits - except for a negligible portion of its vertex set - a partition of its vertex set into graphs that are spanned by trees that have NMP, and which arise organically through the Euclidean GCD algorithm. 


2021 ◽  
pp. 2142014
Author(s):  
Xiaoxue Gao ◽  
Shasha Li ◽  
Yan Zhao

For a graph [Formula: see text] and a set [Formula: see text] of size at least [Formula: see text], a path in [Formula: see text] is said to be an [Formula: see text]-path if it connects all vertices of [Formula: see text]. Two [Formula: see text]-paths [Formula: see text] and [Formula: see text] are said to be internally disjoint if [Formula: see text] and [Formula: see text]. Let [Formula: see text] denote the maximum number of internally disjoint [Formula: see text]-paths in [Formula: see text]. The [Formula: see text]-path-connectivity [Formula: see text] of [Formula: see text] is then defined as the minimum [Formula: see text], where [Formula: see text] ranges over all [Formula: see text]-subsets of [Formula: see text]. In [M. Hager, Path-connectivity in graphs, Discrete Math. 59 (1986) 53–59], the [Formula: see text]-path-connectivity of the complete bipartite graph [Formula: see text] was calculated, where [Formula: see text]. But, from his proof, only the case that [Formula: see text] was considered. In this paper, we calculate the situation that [Formula: see text] and complete the result.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Yinglei Song

Abstract In this paper, we study the parameterized complexity of the induced matching problem in hamiltonian bipartite graphs and the inapproximability of the maximum induced matching problem in hamiltonian bipartite graphs. We show that, given a hamiltonian bipartite graph, the induced matching problem is W[1]-hard and cannot be solved in time n o ⁢ ( k ) {n^{o(\sqrt{k})}} , where n is the number of vertices in the graph, unless the 3SAT problem can be solved in subexponential time. In addition, we show that unless NP = P {\operatorname{NP}=\operatorname{P}} , a maximum induced matching in a hamiltonian bipartite graph cannot be approximated within a ratio of n 1 / 4 - ϵ {n^{1/4-\epsilon}} , where n is the number of vertices in the graph.


2013 ◽  
Vol 22 (5) ◽  
pp. 783-799 ◽  
Author(s):  
GUILLEM PERARNAU ◽  
ORIOL SERRA

A perfect matchingMin an edge-coloured complete bipartite graphKn,nis rainbow if no pair of edges inMhave the same colour. We obtain asymptotic enumeration results for the number of rainbow perfect matchings in terms of the maximum number of occurrences of each colour. We also consider two natural models of random edge-colourings ofKn,nand show that if the number of colours is at leastn, then there is with high probability a rainbow perfect matching. This in particular shows that almost every square matrix of ordernin which every entry appearsntimes has a Latin transversal.


2014 ◽  
Vol 17 (1) ◽  
Author(s):  
Wenwen Fan ◽  
Cai Heng Li ◽  
Jiangmin Pan

Abstract.We characterize groups which act locally-primitively on a complete bipartite graph. The result particularly determines certain interesting factorizations of groups.


1998 ◽  
Vol 21 (1) ◽  
pp. 103-106
Author(s):  
Pak-Ken Wong

LetGbe a connected bipartite graph with bipartition(X,Y)such that|X|≥|Y|(≥2),n=|X|andm=|Y|. Suppose, for all verticesx∈Xandy∈Y,dist(x,y)=3impliesd(x)+d(y)≥n+1. ThenGcontains a cycle of length2m. In particular, ifm=n, thenGis hamiltomian.


10.37236/923 ◽  
2007 ◽  
Vol 14 (1) ◽  
Author(s):  
Stefanie Gerke ◽  
Angelika Steger

We are interested in $(\varepsilon)$-regular bipartite graphs which are the central objects in the regularity lemma of Szemerédi for sparse graphs. A bipartite graph $G=(A\uplus B,E)$ with density $p={|E|}/({|A||B|})$ is $(\varepsilon)$-regular if for all sets $A'\subseteq A$ and $B'\subseteq B$ of size $|A'|\geq \varepsilon|A|$ and $|B'|\geq \varepsilon |B|$, it holds that $\left| {e_G(A',B')}/{(|A'||B'|)}- p\right| \leq \varepsilon p$. In this paper we prove a characterization for $(\varepsilon)$-regularity. That is, we give a set of properties that hold for each $(\varepsilon)$-regular graph, and conversely if the properties of this set hold for a bipartite graph, then the graph is $f(\varepsilon)$-regular for some appropriate function $f$ with $f(\varepsilon)\rightarrow 0$ as $\varepsilon\rightarrow 0$. The properties of this set concern degrees of vertices and common degrees of vertices with sets of size $\Theta(1/p)$ where $p$ is the density of the graph in question.


10.37236/705 ◽  
2011 ◽  
Vol 18 (1) ◽  
Author(s):  
Carl Johan Casselgren

A proper edge coloring of a graph $G$ with colors $1,2,3,\dots$ is called an interval coloring if the colors on the edges incident with any vertex are consecutive. A bipartite graph is $(3,4)$-biregular if all vertices in one part have degree $3$ and all vertices in the other part have degree $4$. Recently it was proved [J. Graph Theory 61 (2009), 88-97] that if such a graph $G$ has a spanning subgraph whose components are paths with endpoints at 3-valent vertices and lengths in $\{2, 4, 6, 8\}$, then $G$ has an interval coloring. It was also conjectured that every simple $(3,4)$-biregular bipartite graph has such a subgraph. We provide some evidence for this conjecture by proving that a simple $(3,4)$-biregular bipartite graph has a spanning subgraph whose components are nontrivial paths with endpoints at $3$-valent vertices and lengths not exceeding $22$.


10.37236/610 ◽  
2011 ◽  
Vol 18 (1) ◽  
Author(s):  
Leonard J. Schulman

In a bipartite graph there are two widely encountered monotone mappings from subsets of one side of the graph to subsets of the other side: one corresponds to the quantifier "there exists a neighbor in the subset" and the other to the quantifier "all neighbors are in the subset." These mappings generate a partially ordered semigroup which we characterize in terms of "run-unimodal" words.


Sign in / Sign up

Export Citation Format

Share Document