A note on a Vizing's generalized conjecture

In this note we give a generalized version of Vizing's conjecture concerning the distance domination number for the cartesian product of two graphs

A Class of Graphs Approaching Vizing\u27s Conjecture

For any graph G=(V,E), a subset S of V dominates G if all vertices are contained in the closed neighborhood of S, that is N[S]=V. The minimum cardinality over all such S is called the domination number, written γ(G). In 1963, V.G. Vizing conjectured that γ(G □ H) ≥ γ(G)γ(H) where □ stands for the Cartesian product of graphs. In this note, we define classes of graphs An, for n≥0, so that every graph belongs to some such class, and A0 corresponds to class A of Bartsalkin and German. We prove that for any graph G in class A1, γ(G□H)≥ [γ(G)-√(γ(G))]γ(H)

An improvement in the two-packing bound related to Vizing\u27s conjecture

Vizing\u27s conjecture states that the domination number of the Cartesian product of graphs is at least the product of the domination numbers of the two factor graphs. In this note we improve the recent bound of Breŝar by applying a technique of Zerbib to show that for any graphs G and H, γ(G x H)≥ γ (G) 2/3(γ(H)-ρ(H)+1), where γ is the domination number, ρ is the 2-packing number, and x is the Cartesian product

Extremal Colorings and Independent Sets

We consider several extremal problems of maximizing the number of colorings and independent sets in some graph families with fixed chromatic number and order. First, we address the problem of maximizing the number of colorings in the family of connected graphs with chromatic number k and order n where k≥4 role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3ek≥4k≥4. It was conjectured that extremal graphs are those which have clique number k and size (k2)+n−k role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3e(k2)+n−k(k2)+n−k. We affirm this conjecture for 4-chromatic claw-free graphs and for all k-chromatic line graphs with k≥4 role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3ek≥4k≥4. We also reduce this extremal problem to a finite family of graphs when restricted to claw-free graphs. Secondly, we determine the maximum number of independent sets of each size in the family of n-vertex k-chromatic graphs (respectively connected n-vertex k-chromatic graphs and n-vertex k-chromatic graphs with c components). We show that the unique extremal graph is Kk∪En−k role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3eKk∪En−kKk∪En−k, K1∨(Kk−1∪En−k) role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3eK1∨(Kk−1∪En−k)K1∨(Kk−1∪En−k) and (K1∨(Kk−1∪En−k−c+1))∪Ec−1 role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3e(K1∨(Kk−1∪En−k−c+1))∪Ec−1(K1∨(Kk−1∪En−k−c+1))∪Ec−1 respectively

A result on Vizing's conjecture

AbstractLet γ(G) denote the domination number of a simple graph G and let G□H denote the Cartesian product of two simple graphs G and H. In this paper we prove that if γ(G)=3, then γ(G□H)≥γ(G)γ(H)

Vertex colouring and forbidden subgraphs - a survey

There is a great variety of colouring concepts and results in the literature. Here our focus is to survey results on vertex colourings of graphs defined in terms of forbidden induced subgraph conditions

Study of Graph Partitions Approach satisfies Vizing's Conjecture

For a graph G(V,E) , a subset of vertices D is a dominating set if for each vertex 12x∈"> V either  12x∈D">  , or x is adjacent to at least one vertex of D . The domination number , 12خ³G, "> is the order of smallest dominating set of G . In [7],  Vizing conjectured that 12خ³Gأ—H ≥ خ³Gأ—خ³H">  for any two graphs G and H , where G×H denotes their Cartesian product . This conjecture is still open . In this paper , we investigate following relations, if a graph H has a D-partition then it also has a K-partition, and if  H  has a K-partition , then Vizing's conjecture is satisfied for any graph G , after that, every cycle 12Cn , n≥3">  , has a K-partition. Moreover, if H has    a K-partition , then  H satisfies the following relations  12خ³H≤2"> , 12P2H=خ³H">  and H is a perfect-dominated graph .