Bipartite (P_6,C_6 )-Free Graphs, Recognition and Optimization Problems

Preprint

Article

Bipartite (P_6,C_6 )-Free Graphs, Recognition and Optimization Problems

This version is not peer-reviewed.

This version is not peer-reviewed.

Altmetrics

Downloads

Views

Comments

Submitted:

26 February 2024

Posted:

27 February 2024

You are already at the latest version

A peer-reviewed article of this preprint also exists.

Abstract

The canonical decomposition of a bipartite graph is a new decompositionmethod that involves three operators, parallel, series and K+S. The class of weak bisblit graphs is totally decomposable with respect of these operators, and the class of bicographs is totally decomposable with respect of parallel and series operators. We prove in this paper that the class of bipartite (P_6,C_6)-free graphs is exactly the class of bipartite graphs that are totally decomposable with respect of parallel and K+S operators. We simplify the recognition algorithm of weak-bisplit graphs to adepte with bipartite (P_6,C_6)-free graphs. As a result of this adapted algorithm, we prsent efficient solutions in this class of graphs for two optimization graph problems, the first is the maximm balanced bi-clique problem and the the second is the maximum independent set problem.

Keywords:

Subject:

Computer Science and Mathematics - Discrete Mathematics and Combinatorics

1. Introduction

All graphs under consideration are undirected and simple. A graph

G = (V, E)

is called bipartite if the vertex set

V

can be partitioned into two sets

B

that called the black vertices and

W

that called the white vertices such that

E \subseteq B \times W

. So a bipartite graph will be referred as

G = (B \cup W, E)

. This property makes bipartite graphs useful in various practical applications, including: recommender systems [18], social networks [13], and information retrieval [10]. A bipartite graph

G = (B \cup W, E)

is called complete or bi-clique if

E = B \times W

. A complete bipartite graph with

|B| = n

and

|W| = m

is referred as

K_{n, m}

. A

{S t a r}_{i, j, k}

is a tree for which there is only one vertex

v

of degree three and three other vertices of degree one such that the distance from

v

to those vertices are respectively

i, j

and

k

. for example

K_{1,3}

{S t a r}_{1,1, 1}

. We can remark that every connected component in a bipartite

{S t a r}_{1,1, 1}

-free graph is either a chordless path or a chordless cycle. Fouquet et al. in [5] presented a decomposition method concerning bipartite graphs, called canonical decomposition, which is based on three operators, series, parallel and

K + S

, and proved that the class of graphs that are totally decomposable with respect of this three operators of decomposition is the class of bipartite

{(S t a r}_{1,2, 3}, P_{7})

-free graphs which is called the class of weak bisplit graphs since it is considered as bipartite analogue of split graphs. Obviously, the class of weak bisplit graphs is a natural generalization of the class of bipartite

(P_{6}, C_{6})

-free graphs and this last is a natural generalizationof the class of bipartite

{S t a r}_{1,2, 2}

-free graphs which is studied by Lozin in [17]. Giakoumakis et. al. in [15] defined the class of bicographs as bipartite analogue of cographs. It is proved in [15] that the class of bicographs is exactly the class of bipartite

{(S t a r}_{1,2, 3}, P_{7}, {S u n}_{4})

-free graphs and is the class of totally decomposable graphs with respect of parallel and series decompositions.We prove in this work that the class of bipartite

(P_{6}, C_{6})

-free graphs is the class of totally decomposable graphs with respect of parallel and

K + S

decompositions. As a result of this fact, the class of bipartite

(P_{6}, C_{6})

-free graphs can be recognized in linear time using the recognition algorithm of weak bisplit graphs presented in [16] or the recognition algorithm of

{S t a r}_{1,2, 3}

-free graphs presented in [12]. But since these two algorithms contain several redundant cases when projected to bipartite

(P_{6}, C_{6})

-free graphs, we propose a simplification of these two algorithms to adapt only the class of bipartite

(P_{6}, C_{6})

-free graphs. As a result of this adapted algorithm, we prsent efficient solutions in this class of graphs for two optimization graph problems, the first is the maximm balanced bi-clique problem and the the second is the maximum independent set problem.

Figure 1. The configuration

P_{6,} C_{6}, {S t a r}_{123}

and

{S u n}_{4}

Figure 1. The configuration

P_{6,} C_{6}, {S t a r}_{123}

and

{S u n}_{4}

2. Notation and Terminology

For a graph

G

, we use

V (G)

to represent its vertices and

E (G)

to represent its edges. The number

| V (G) |

is represented by

n

and the number

| E (G) |

is represented by

m

. If the two vertex sets

B

and

W

in a bipartite graph

G = (B \cup W, E)

are both non-empty, the graph is referred to as bi-chromatic, otherwise it is monochromatic. The bi-complement of a bipartite graph

G = (B \cup W, E)

is defined as

{\bar{G}}^{b i p} = (B \cup W, B \times W - E)

. The set of neighbors of a vertex

v

G

is represented by

N (v)

and the number

| N (v) |

is referred to as the degree of

v

and represented by

d (v)

. A vertex

v

is considered isolated if

d (v) = 0

and is considered universal if

d (v) = | B |

when

v \in W

d (v) = | W |

when

v \in B

. A

2 K_{2}

is the complement of

C_{4}

. A subset

S

of vertices of

V (G)

is called independent set if there is no edge between any two vertices of

S

. The sub-graph induced by a subset

X

of vertices of

V (G)

is represented by

G [X]

. A graph

G

is considered

Z

-free, where

Z

is a set of graphs, if for any subset

X \subseteq V (G), G [X] \notin Z

, that is there is no sub-graph of

G

isomorphic to a graph in

Z

. Decomposition of graphs according to predefined operators is a powerful method for obtaining efficient solutions of a big number of graph problems. The reader can found a survey on graph decomposition methods and their uses in [11]. In this direction, Fouquet et al. in [5] presented a decomposition method concerning bipartite graphs, which is based on three operators: decomposing a bipartite graph into connected components, decomposing the bi-complement of a bipartite graph into connected components, and decomposing a bipartite graph into

K ⨁ S

components. Our recognition algorithm of bipartite

{(P}_{6}, C_{6})

-free graphs depends mainly on this method of decomposition, so to introduce our algorithm we need to present an overview of this method.

Definition 1 [5].

A bipartite graph

G = (B \cup W, E)

such that

n \geq 2

is a

K ⨁ S

graph if the vertex set

V (G)

contains an isolated vertex or there is a partition of

V (G)

into two sets: a bi-clique

K

and an independent set

S

Property 1 [5].

A bipartite graph

G = (B \cup W, E)

with

n \geq 2

is a

K ⨁ S

-graph if and only if

V (G)

can be partitioned into two sets

V_{1}

and

V_{2}

, such that for every black vertex

b \in V_{1}

and for every white vertex

w \in V_{2}, b w \in E

and for every white vertex

w \in V_{1}

and for every black vertex

b \in V_{2}, b w \notin E

We denote by the ordered pair

{(V}_{1}, V_{2})

to represent the partition of the vertex set

V (G)

of a

K ⨁ S

-graph

G

and we called it a

K ⨁ S

-partition of

G

Property 2 [5].

In a bipartite graph

G = (B \cup W, E)

that does not contain universal or isolated vertices, either

G

is a

K ⨁ S

-graph or, for any partition of the black vertices

B

or white vertices

W

into two sets

X_{1}

and

X_{2}

, there is an induced

2 K_{2}

G

with vertices in both

X_{1}

and

X_{2}

Corollary 1 [5].

If a graph

G

is not a

K ⨁ S

-graph, then every vertex

v \in V (G)

v

is a vertex of some

2 K_{2}

Theorem 1 provides a method for decomposing a graph of type

K ⨁ S

Theorem 1 [5].

A bipartite graph

G

is a

K ⨁ S

-graph if and only if there exists a unique partition

(V_{1}, . . ., V_{r})

V (G)

, such that the following conditions are hold:

For every $i = 1, . . ., r$ , $V_{i} \neq \emptyset$ .
For every $i = 1, . . ., r - 1$ , the sets $V_{1} \cup . . . \cup V_{i}$ and $V_{i + 1} \cup . . . \cup V_{r}$ form a $K ⨁ S$ -partition of $G$ .
For every $i = 1, . . ., r,$ the sub-graph $G [V_{i}]$ is not a $K ⨁ S$ -graph.

The partition

(V_{1}, . . ., V_{r})

of the vertex set

V (G)

is called the

K + S

-decomposition of the graph

G

, and each set

V_{i}

is referred to as a

K ⨁ S

-component of

G

According to Theorem 1, the arrangement of components in a

K ⨁ S

-decomposition is important. Specifically, let

(V_{1}, . . ., V_{r})

be the

K ⨁ S

-decomposition of

G

, if a black vertex

b \in V_{i}

, then for every white vertex

{w \in V}_{j}

where

j > i

b w \in E (G)

, and for every white vertex

w \in V_{k}

where

k < i

b w \notin E (G)

. Similarly, if a white vertex

w \in V_{i}

, then for every black vertex

b \in V_{j}

where

j > i

b w \notin E (G)

, and for every black vertex

b \in V_{k}

where

k < i

b w \in E (G)

The canonical decomposition of a bipartite graph

G

is a new decomposition method defined in [5] as following:

Decompose $G$ into its $K ⨁ S$ -components if $G$ is a $K ⨁ S$ -graph, this decomposition is called $K ⨁ S$ -decomposition and is denoted by $K ⨁ S$ .
Decompose $G$ into the connected components of $G$ if $G$ is not connected graph, this decomposition is called parallel decomposition and is denoted by $P$ .
Decompose $G$ into the connected components of ${\bar{G}}^{b i p}$ if ${\bar{G}}^{b i p}$ is not connected graph, this decomposition is called series decomposition and is denoted by $S$ .
If $G$ cannot be decomposed in $K ⨁ S$ , parallel or series decomposition then $G$ is called indecomposable graph or prime graph.

It has been proven in [5] that no matter the order in which the operator of decomposition is applied (series decomposition, parallel decomposition, or

K ⨁ S

-decomposition), the set of indecomposable graphs obtained is unique. This also creates a unique tree (up to isomorphism) associated with this decomposition known as the canonical decomposition tree. The internal nodes of the tree are labeled by the type of decomposition applied, and the leaves correspond to indecomposable graphs. Figure 2 shows an illustration of a bipartite graph and its canonical decomposition tree.

The canonical decomposition tree

T (G)

of a bipartite graph

G

resulting in order from the

K ⨁ S

-decomposition, parallel decomposition, and series decomposition procedure has several properties outlined below. The terms vertex node, son, parent, and grandparent are used in their conventional sense. If

α

is an internal node then

G [α]

is the sub-graph induced by the set of vertices nodes having

α

as their least common grandparent.

1): The tree $T (G)$ consists of 3 types of internal nodes: parallel denoted by $P$ , series nodes denoted by $S$ , and $K ⨁ S$ -nodes.
2): Two consecutive internal nodes cannot have the same label.
3): An internal node $δ$ labeled $P$ or $S$ cannot have a son that is a vertex node $v$ . Otherwise, $v$ would be either an isolated or a universal vertex in $G [δ]$ . By the definition of a $K ⨁ S$ -graph, $G [δ]$ would be a $K ⨁ S$ -graph.
4): The parent of a vertex node is always labeled $K ⨁ S$ (consequence of 3).
5): If $G$ is a bi-chromatic graph, then for any $K ⨁ S$ -node $δ$ , $G [δ]$ must also be bi-chromatic. Otherwise, if there is a node $δ$ labelled $K ⨁ S$ and $G [δ]$ is a monochromatic graph then the parent of $δ$ say $γ$ would have isolated or universal vertices so $G [γ]$ would be a $K ⨁ S$ -graph, a contradiction with 2.
6): The sons of a $K ⨁ S$ -node are ordered according to the $K ⨁ S$ -decomposition.
7): Let $δ$ be a $K ⨁ S$ -node and $δ_{1}, δ_{2}$ are respectively the first and last sons of $δ$ . If the parent of $δ$ say $γ$ is a $P$ -node then, $δ_{1}$ cannot be a white vertex node and $δ_{2}$ cannot be a black vertex node. Otherwise, by Property 1, $δ_{1}$ and $δ_{2}$ are isolated vertices in $G [δ]$ , since $γ$ is a $P$ -node, $δ_{1}$ and $δ_{2}$ are also isolated vertices in $G [γ]$ , so $γ$ must be a $K ⨁ S$ -node, a contradiction with 2.
8): If the parent of a $K ⨁ S$ -node $δ$ is labeled $S$ and $δ_{1}, δ_{2}$ are respectively the first and last sons of $δ$ then $δ_{1}$ cannot be a black vertex node and $δ_{2}$ cannot be a white vertex node. Similar to 7.

3. Recognition Algorithm of Bipartite ${(P}_{6}, C_{6})$ -free Graphs

The following Theorem is the key of our recognition algorithm for bipartite

(P_{6}, C_{6})

-free graphs.

Theorem 2.

A bipartite graph

G

{(P}_{6}, C_{6})

-free if and only if every connected sub-graph of

G

is a

K ⨁ S

-graph.

Proof.

Suppose that

G

is a bipartite graph

{(P}_{6}, C_{6})

-free. Let

H

be a connected sub-graph of

G

which is not a

K ⨁ S

-graph. By Corollary 1,

H

contains a

2 K_{2}

say

b_{1} w_{1}, b_{2} w_{2}

. Since

H

is a connected sub-graph of

G

and

G

(P_{6}, C_{6})

-free graph, there is a vertex in

V (H)

that connects

b_{1} w_{1}

and

b_{2} w_{2}

. Suppose without loss of generality that

b

is a black vertex such that

b w_{1},, b w_{2} \in E (H)

. Since

H

is not

K ⨁ S

-graph, the vertex

b

is not universal, so there is a white vertex

w

such that

b w \notin E (H)

. Since

H

is connected there is a path in

H

that connects the vertex w and the path

P_{5} = b_{1}, w_{1}, b, w_{2}, b_{2}

. But now the set

{b_{1}, w_{1}, b, w_{2}, b_{2}, w}

forms a

P_{6}

or a

C_{6}

, a contradiction.

The inverse is clear since a

P_{6}

or a

C_{6}

is connected and contains a

2 K_{2}

, so it is not a

K ⨁ S

-graph. □

Theorem 2 states that the class of bipartite

{(P}_{6}, C_{6})

-free graphs is the smallest class closed under parallel and

K ⨁ S

-decomposition. So the canonical decomposition tree of a bipartite

(P_{6}, C_{6})

-free graph consists only of

P

-nodes or

K ⨁ S

-nodes. Our recognition algorithm builds a decomposition tree with

P

K ⨁ S

labeled internal nodes if the input graph is

{(P}_{6}, C_{6})

-free otherwise a failure message.This building was influenced by the cographs recognition method proposed by Corneil, et al in [2]. Moreover, this algorithm greatly simplifies two recognition algorithms when projected on bipartite

{(P}_{6}, C_{6})

-free graphs. The first is for weak bisplit graphs presented in [16] and the second for bipartite

{S t a r}_{123}

-free graphs presented in [12], where both these two algorithms need to examine more than twenty cases in order to confirm that the input graph is

(P_{6}, C_{6})

-free or not, while, as we will see, our algorithm needs to examine only two cases that are presented below in Theorem 3 and in Theorem 4. The algorithm begins with an empty graph and gradually adds vertices, ensuring that the resulting sub-graphs remain

(P_{6}, C_{6})

-free. The initial bipartite graph is considered

{(P}_{6}, C_{6})

-free if all vertices can be added successfully in this manner. The principal step of the algorithm takes into considerationthe decomposition tree

T

of a

(P_{6}, C_{6})

-free bipartite graph

G = (B \cup W, E)

, a vertex

x \notin B \cup W

, and a set of edges denoted by

E (x) = {x v : v \in B \cup W a n d v \in N (x)}

, and produces the decomposition tree

T'

of the resulting graph

G' = (B \cup W \cup \{x\}, E \cup E (x))

if it remains

{(P}_{6}, C_{6})

-free, or stops otherwise. The algorithm considers the connections of

x

to other vertices in

G

using a marking procedure. We can assume without loss of generality that

x

is a white vertex and the graph

G

is a bi-chromatic graph.

3.1. Marking Procedure

The Marking procedure, used in [2], takes into consideration the neighbors of the vertex

x

in the graph

G

to mark the nodes of

T

, the decomposition tree of

G

At the end of the marking procedure on tree

T

, a node can have three possible states: marked by

(t)

, marked by

(p)

, or marked by

()

. If a node

δ

is marked by

(t)

, it means that

x

is total for

G [δ]

, that is,

x

is connected to all black vertices in

G [δ]

. If it is marked by

(p)

, it means that

x

is partial for

G [δ]

, that is,

x

is connected to some but not all black vertices in

G [δ]

. If it is marked by

()

, it means that

x

is independent of

G [δ]

, that is, it

x

is not connected to any black vertex in

G [δ]

. If a node is a vertex node, it can either be marked by

()

or marked by

(t)

. By Theorem 2, the marking procedure focuses only on

P

-nodes and

K ⨁ S

-nodes, ignoring the

S

-nodes that must be unavailable. For the graph

G'

to be considered bipartite

(P_{6}, C_{6})

-free, it must meet a necessary condition.

Lemma 1.

If two internal nodes in the tree

T

are marked by

(p)

, and

G'

is a

(P_{6}, C_{6})

-free bipartite graph, then one of these two nodes must be a grandparent of the other.

Proof.

Suppose that

α

and

β

are two internal nodes marked by

(p)

then

α

and

β

are partial with respect to

x

. Let

δ

be the least common grandparent of

α

and

β

. We denote by

α'

and

β'

to be respectively the son of

δ

containing

α

and the son of

δ

containing

β

. Since

G [α]

and

G [β]

are sub-graphs of

G [α']

and

G [β']

then

α'

and

β'

are partial with respect to

x

. Assume that

δ

is labeled

P

, then

G [α']

and

G [β']

are connected sub-graphs of

G [δ]

. Thus there is an induced path

b_{1}, w_{1}, b_{2}

G [α^{'}]

(resp.

{b'}_{1}, {w'}_{1}, {b'}_{2}

G [β^{'}]

) such that

x

is adjacent to

b_{1}

and not adjacent to

b_{2}

(resp. to

{b'}_{1}

and not to

{b'}_{2}

). The set

{{w'}_{1}, {b'}_{1}, x, b_{1}, w_{1}, b_{2}}

forms a

P_{6}

, a contradiction.

Assume that

δ

is labeled

K ⨁ S

. By Corollary 1,

α'

(resp.

β'

) contains a

2 K_{2}

that is partial with respect to

x

. Let

b_{1} w_{1}, b_{2} w_{2}

(resp.

{b'}_{1} {w'}_{1}, {b'}_{2} {w'}_{2}

) be a

2 K_{2}

G [α^{'}]

(resp. in

G [β^{'}]

such that

x

is adjacent to

b_{1}

and not adjacent to

b_{2}

(resp. to

{b'}_{1}

and not to

{b'}_{2}

). Then the set

{w_{2}, b_{2}, {w'}_{2}, b_{1}, x, {b'}_{1}, {w'}_{1}}

forms a

P_{6}

, a contradiction. □

By lemma 1, the nodes in

T

that are marked by

(p)

are arranged in a single path that starts from the lowest node marked by

(p)

and goes up to the root. The lowest node marked by

(p)

is referred to as

α

. It is assumed that the conditions of Lemma 1 are met and that

α

is known. The following notations are introduced:

Given two internal nodes $δ$ and $δ'$ such that $δ$ is a grandparent of $δ'$ , the unique son of $δ$ that contains $δ'$ is denoted as $s o n (δ, δ')$ .
For an internal node $δ$ , which is either $α$ or one of its grandparents, the set of sons of $δ$ that are marked by $()$ is denoted as ${s o n s}^{()} (δ)$ , and the set of sons that are marked by $(t)$ is denoted as ${s o n s}^{(t)} (δ)$ .
If $δ$ has a label $K ⨁ S$ , considering the ordering of the sons of $δ$ , the set of sons of $δ$ marked by $(t)$ and located before $s o n (δ, α)$ is denoted as ${s o n s}_{1}^{(t)} (δ)$ , and the set of sons marked by $(t)$ and located after $s o n (δ, α)$ is denoted as ${s o n s}_{2}^{(t)} (δ)$ . The set of sons of $δ$ marked by $()$ and located before $s o n (δ, α)$ is denoted as ${s o n s}_{1}^{()} (δ)$ , and the set of sons marked by $()$ and located after $s o n (δ, α)$ is denoted as ${s o n s}_{2}^{()} (δ)$ .

So, a node

δ

labeled

P

which is a grandparent of

α

splits its sons into at most three categories:

{s o n s}^{(t)} (δ)

{s o n s}^{()} (δ)

, and

s o n (δ, α)

the son that contains

α

,. If

δ

is labeled

K ⨁ S

, its sons can be divided into at most five sets:

s o n (δ, α)

{s o n s}_{1}^{(t)} (δ)

{s o n s}_{1}^{()} (δ)

{s o n s}_{2}^{(t)} (δ)

, and

{s o n s}_{2}^{()} (δ)

. Meanwhile, the sons of

α

are split into two non-empty categories:

{s o n}^{()} (α)

, and

{s o n s}^{(t)} (α)

Definition 2.

δ

is a grandparent of

α

T

, then

δ

is considered incompatible

P

-node if it has at least one son marked by

(t)

(i.e.

{s o n s}^{(t)} (δ) \neq \emptyset)

. If

δ

is a

K + S

-node, it is considered incompatible before

α

if it has at least one son marked by

()

located before

s o n (δ, α)

(i.e.

{s o n s}_{1}^{()} (δ) \neq \emptyset

) . If

δ

is a

K ⨁ S

-node, it is considered incompatible after

α

if it has at least one son marked by

(t)

located after

s o n (δ, α)

(i.e.

{s o n s}_{2}^{(t)} (α) \neq \emptyset

3.2. Building the tree $T'$

We assume that the necessary condition of Lemma 1 has been verified and all nodes that are marked by

(p)

are known and are arranged in a single path that starts from the lowest marked node

α

and goes up to the root of

T

. In order to build

T'

, we examine the label of

α

and the presence of incompatible marked nodes.When

α

K ⨁ S

-node and since it is the lowest node marked by

(p)

, we can divide its group of sons into a maximum of four consecutive subsets, namely

X_{1}^{(t)}

X_{2}^{()}

X_{3}^{(t)}

X_{4}

where:

X_{1}^{(t)}

includes the first group of consecutive sons of

α

that are either a group of white vertices nodes or total with respect to

x

X_{2}^{()}

includes the first group of consecutive sons of

α

that are not part of

X_{1}^{(t)}

and either a group of white vertices nodes or not related to

x

X_{3}^{(t)}

includes the first group of consecutive sons of

α

that are not part of

X_{2}^{()}

nor of

X_{1}^{(t)}

and either a group of white vertices nodes or total with respect to

x

X_{4}

represents the remaining sons of

α

Note that, as a result of this division of the sons of

α

when its label is

K ⨁ S

X_{2}^{()}

and

X_{3}^{(t)}

cannot be together monochromatic graphs.

Lemma 2.

Assume that

α

is a

K ⨁ S

-node. If

G'

is a bipartite

(P_{6}, C_{6})

-free graph then the following conditions are hold:

1): $x$ has no neighbor in $X_{4}$ .
2): If $X_{3}^{(t)}$ is empty then ${G [X}_{3}^{(t)}]$ is a monochromatic graph or a complete bipartite graph.

Proof.

Suppose that

X_{4}

is not empty, otherwise we are done. Let’s show that

x

has no neighbor in

X_{4}

. Since

X_{4}

is not empty then

X_{3}^{(t)}

and

X_{2}^{()}

are both non empty. Let

b_{4} \in X_{4}

such that

x

is adjacent to

b_{4}

. Now,

X_{4}

contains two adjacent vertices

{b'}_{4}, {w'}_{4}

such that

x

is not adjacent to

{b'}_{4}

otherwise

b_{4} \in X_{3}^{(t)}

. Let

b_{2}, b_{3}

be two black vertices of

X_{2}^{()}

and

X_{3}^{(t)}

respectively. By construction, there is a white vertex

w

such that

w

is adjacent to

b_{2}

and

w

is not adjacent to

b_{3}

. But now the set

{b_{4}, x, b_{3}, w_{4}, b_{2}, w}

forms a

P_{6}

, a contradiction.

Let’s show now that the condition 2 must be hold. Suppose that

X_{3}^{(t)}

is not empty then

X_{2}^{()}

is also non empty.

Claim 1.

Every element of

X_{3}^{(t)}

is a vertex node.

Proof.

Suppose that

δ

is an element of

X_{3}^{(t)}

that is an internal node. Then

δ

is a

P

-node, thus it contains a

2 K_{2}

say

b_{1} w_{1}, b_{2} w_{2}

. Let

b \in X_{2}^{()}

, then the set

{b, w_{1}, b_{1}, x, b_{2}, w_{2}}

forms a

C_{6}

, a contradiction. ■

Claim 2.

X_{2}^{()}

contains a white vertex.

Proof.

Suppose that

X_{2}^{()}

does not contain any white vertex then

X_{3}^{(t)}

contains an element that is an internal node, a contradiction with claim 1. ■

Let

b_{2} {, w}_{2}

be two vertices of

X_{2}^{()}

such that

b_{2} w_{2} \in E (G)

. Suppose that

{G [X}_{3}^{(t)}]

is neither a monochromatic graph nor a complete bipartite graph. Then

X_{3}^{(t)}

contains the vertices

b_{3}, {b'}_{3}, w_{3}

such that

b_{3}

is adjacent to

w_{3}

and

{b'}_{3}

is independent of

w_{3}

. Consequently

{{b'}_{3}, x, b_{3}, w_{3}, b_{2}, w_{2}}

forms a

P_{6}

, a contradiction.□

Theorem 3.

Assume that there is no incompatible grandparent of

α

G'

is a bipartite

(P_{6}, C_{6})

- free graph if and only if one of either

1): $α$ is a $P$ -node or
2): $α$ is a $K ⨁ S$ -node and Lemma 2 is hold.

Proof.

The if part of the Theorem has been proved in lemma 2. We will describe the building of

T'

for the only if part. The building of

T'

when

α

i s a

P

-node is described in Figure 3.a. If

{s o n s}^{(t)} (α)

consists of a unique son then this son will be a son of the node labeled

K ⨁ S

. Suppose that

α

is a

K ⨁ S

-node. If

X_{3}^{(t)}

is empty, then we insert

x

T

as a new son of

α

. The building of

T'

when

G [X_{3}^{(t)}]

is a monochromatic graph or a complete bipartite graph is described also in Figure 3b In this case, if

G [X_{3}^{(t)}

] is a monochromatic graph then

W_{α} = \emptyset

. □

Lemma 3.

Assume that

G'

is a bipartite

(P_{6}, C_{6})

-free graph. If there is an incompatible grandparent

β

α

then the following condition are holds:

1): $β$ is a $K ⨁ S$ -incompatible node after $α$ .
2): $β$ is the unique incompatible grandparent of $α$ .
3): The set ${s o n s}_{2}^{(t)} (β)$ consists of black vertices nodes located exactly after $s o n (β, α)$ .

Proof.

Suppose that

β

is an incompatible grandparent of

α

of type

P

. Then there exists two adjacent vertices

b_{3}, w_{3}

in an element of

{s o n s}^{(t)} (β)

. Since

s o n (β, α)

induces a connected graph, it contains an induced

P_{3}

say

b_{1}, w_{1}, b_{2}

such that

b_{1}

is adjacent to

x

and

b_{2}

is independent of

x

. But now

{x, b_{1}, w_{1}, b_{2}, b_{3}, w_{3}}

forms a

P_{6}

, a contradiction.

β

is a

K ⨁ S

-incompatible node before α, then

{s o n s}_{1}^{()} (β)

contains a black vertex

b

independent of

x

. By Corollary 1,

s o n (β, α)

contains a

2 K_{2}

say

b_{1} w_{1}, b_{2} w_{2}

such that

x

is adjacent to

b_{1}

and

x

is independent of

b_{2}

. The set

{x, b_{1}, w_{1}, b, w_{2}, b_{2}}

forms a

P_{6}

, a contradiction. Consequently

β

is a

K ⨁ S

-incompatible node after

α

. Let’s consider

β

to be the highest incompatible grandparent of

α

and let

b \in {s o n s}_{2}^{(t)} (β)

Claim.

There is no grandparent

δ

α

containing a white vertex total for

s o n (δ, α)

Proof.

Let

δ

be a grandparent of

α

and

w

is a white vertex of

δ

total for

s o n (δ, α)

. Let

b_{1} w_{1}, b_{2} w_{2}

be an induced

2 K_{2}

s o n (δ, α)

such that

x

is adjacent to

b_{1}

and independent of

b_{2}

. Then the set

{b, x, b_{1}, w, b_{2}, w_{2}}

forms a

P_{6}

, a contradiction. ■

By this claim, if

δ

is a

K ⨁ S

-incompatible node after

α

then the set

{s o n s}_{2}^{(t)} (δ)

consists of black vertices nodes located exactly after

s o n (δ, α)

. Moreover, for every grandparent

δ

α

labeled

K ⨁ S

and located between

α

and

β

s o n (δ, α)

is the last son of

δ

, otherwise

δ

contains a white vertex total for

s o n (δ, α)

, a contradiction, thus

δ

cannot be incompatible. Therefore,

β

is the unique incompatible grandparent of

α

. □

Theorem 4.

Assume that

β

is the unique

K ⨁ S

-incompatible grandparent after

α

and the set

{s o n s}_{2}^{(t)} (β)

consists of black vertices nodes located exactly after

s o n (β, α)

G'

is a bipartite

{(P}_{6}, C_{6})

-free graph if and only if one of the following conditions is hold:

1): $α$ is a $P$ -node.
2): $α$ is a $K ⨁ S$ -node such that $X_{3}^{(t)}$ is an empty set.

Proof.

Suppose that

α

is a

K ⨁ S

-node and let

b \in {s o n s}_{2}^{(t)} (β)

. Suppose that

X_{3}^{(t)}

is non empty. By lemma 2,

G [X_{3}^{(t)}]

is a monochromatic graph or a complete bipartite graph. In the two cases

G [X_{2}^{()}]

cannot be a monochromatic graph otherwise

X_{3}^{(t)}

is empty. Thus

X_{2}^{()}

contains two adjacent vertices

b_{2}, w_{2}

. Let

b_{3}

be a black vertex of

X_{3}^{(t)}

. Since

G [α]

is a connected graph then there is a white vertex say

w_{3}

in the last son of

α

, but now

{b, x, b_{3}, w_{3}, b_{2}, w_{2}}

forms a

P_{6}

, a contradiction.

For the only if part, we describe the building of

T'

.When

α

is a

P

-node, the building of

T'

is illustrated in Figure 4.a. If the set

{s o n s}^{(t)} (α)

is a unique son then this son must be labeled

K ⨁ S

. In this case, we delete the node

δ_{1}

and the element

{s o n s}^{(t)} (α)

will be a son of

δ_{2}

. The building of

T'

when the condition 2 is hold is illustrated in Figure 4b If

X_{2}^{()}

is a unique son, then this son is either a node labeled

P

or a black vertex node. In this case, we delete the node

δ_{2}

, and the element

X_{2}^{()}

will be a son of

δ_{1}

.□

3.3. Recognition Algorithm

The recognition algorithm of bipartite

(P_{6}, C_{6})

-free graphs is given by Algorithm 2, where the procedure of the step Build-tree

(G', T, h e a d (L))

is presented in Algorithm 3.

3.4. Complexity

Our aim is to demonstrate that recognizing a bipartite graph

G

, which does not contain

P_{6}

C_{6}

, can be accomplished in

O (n + m)

time complexity. Since the principal step of our algorithm is the step Build-tree

(G', T, x)

, we will demonstrate the linearity of our algorithmby showing that this step requires only

O (d_{G'} (x))

operations, where

d_{G'} (x)

is the degree of the node

x

G'

It is evident that the step 1 runs within

O (d_{G'} (x))

time, as only a maximum of

O (d_{G'} (x))

nodes are marked. Furthermore, we can assume that for every node in the tree

T

, the set of its sons that are marked by

(t)

, by

(p)

or by

()

has been calculated. So find the set

S

requires also

O (d_{G'} (x))

operations. Suppose that

S = | 2 |

. We can check whether one of the two nodes of

S

is a grandparent of the other as following: Choose an element of

S

and start to mark the parent of this element, then mark the parent of parent and so on until the other element of

S

is marked or until the root of

T

is marked. For the last case, that is, if the root of

T

has been marked, we repeat this process for the other element of

S

. By this manner, we can also determine the node

α

, the lowest node marked by

(p)

and the grandparent

β

. Obviously, this process can be done in

O (d_{G'} (x))

mark operations.

It remain analysis the time complexity of the function

i n s e r t (x, T)

. This requires to verify the necessary conditions in Theorem 3 or in Theorem 4. Therefore we need to compute all required sets for building the tree

T'

. If

α

has label

P

, then the computation of the set

{s o n s}^{(t)} (α)

and the set

{s o n s}^{()} (α)

is straightforward. Suppose

α

has label

K \oplus S

. We can compute the sets

X_{1}^{(t)}

X_{2}^{()}

X_{3}^{(t)}

,and

X_{4}

as following: First, we compute

X_{1}^{(t)}

by traversing the set of sons of

α

from left to right. In this manner,

X_{1}^{(t)}

will be the first nodes that are either a set of white vertices or nodes marked by

(t)

, we continue by this traversing until a son of

α

marked by

()

has been found. The remaining sons of

α

marked by

(t)

must belong to

X_{3}^{(t)}

since

X_{4}

is independent of

x

according to Lemma 2. To compute

X_{3}^{(t)}

, we choose a son of

α

(let’s call it

c

) from the remaining nodes marked by

(t)

and we traverse the set of sons of

α

starting from

c

in left and right directions, from left until a son of

α

marked by

()

has been found and from right also until a son of

α

marked by

()

has been found or until the last son from right has been found. We continue by this traversing as long as every son is either a white vertex node or is a node marked by

(t)

. As long as the set

X_{3}^{(t)}

has been computed, the sets

X_{2}^{()}

can be computed immediately. The remaining sons of

α

form the set

X_{4}

which must be independent of

x

This computation requires

O (d_{G'} (x))

time complexity.

Finally, we need to determine if the node

β

, which its label is

K \oplus S

, is incompatible after

α

or not and check whether the set

{s o n s}_{2}^{(t)} (β)

is a set of black vertices nodes located exactly after

s o n (β, α)

. This two conditions can be achieved together as following: Since

β

is known as a grandparent of

α

, the son

s o n (β, α)

is identified. Now, we can traverse the sons of

β

starting from the first son located exactly after

s o n (β, α)

and determine whether any one of these sons is a white vertex node or not. In addition, we must traverse the sons of

β

starting from the first son located exactly before

s o n (β, α)

to determine if the set

{s o n s}_{1}^{()} (δ)

is empty or not. This traverse also requires

O (d_{G'} (x))

time complexity.

we leave to the reader to verify that the step Build-tree

(G, T, x))

that correspond to insert

x

in the tree

T

takes a constant time in all cases.

Since testing whether

G' = G \cup {x}

is a bipartite

{(P}_{6}, C_{6})

-free or not can be done within

O (d_{G'} (x))

time complexity, it is clear that recognition of bipartite

(P_{6}, C_{6})

-free graph algorithm runs in

O (n + m)

time complexity.

4. Optimization Problems

We believe that the canonical decomposition tree for bipartite

(P_{6}, C_{6})

-free graph can be used to find efficient solutions for several optimization graph problems because of the simple structure of this tree.In this paper, we limit ourselves to show that the canonical decomposition tree of a bipartite graph

(P_{6}, C_{6})

-free can be used to solve in polynomial time the maximal balanced bi-clique problem and in linear time the maximum independent set problem. In the conclusion part of this paper, we talk about some potential use for this result and consider it as a subject for further study.

Let

T (G)

be the canonical decomposition tree for a bipartite

(P_{6}, C_{6})

-free graph

G

. To present our solutions of the above two problems, we need to covert

T (G)

to a binary tree as following:

Visit the nodes of

T (G)

in depth first search

Let

S

be an internal visited node and

S_{1}, \dots, S_{k}

are the sons of

S

.If

k > 2

then the left son of

S

S_{1}

and the right son becomes a new son

S'

that has the same label as

S

with sons

S_{2}, \dots, S_{k}

4.1. Maximum balanced bi-clique problem

A sub-graph

F = G [X \cup Y]

of a bipartite graph

G

is called balanced bi-clique if

F

is a bi-clique and

|X| = | Y |

. The balanced bi-clique problem is to compute a balanced bi-clique in

G

of maximum size. This problem is important in many different fields of study. It has numerous practical uses in very large-scale integration (VLSI), such as the design of defect-tolerant devices [1,7], programmable logic array folding [14]. Balanced bi-clique problem is NP-complete for a general bipartite graph [9], and there are very few works dedicated to obtaining an exact maximum balanced bi-clique, aside from the work [6] where it is proposed two exact algorithms to find a maximum balanced bi-clique for small dense and large sparse bipartite graphs respectively. The majority of known techniques for determining a maximum balanced bi-clique are heuristic algorithms, see for example, [8,19].

We propose in this work an

O (n^{3})

time complexity algorithm to compute a maximum balanced bi-clique in a bipartite

{(P}_{6}, C_{6})

-free graph

G

using its canonical decomposition binary tree

T (G)

. The idea of our solution is to compute all possible bi-cliques in

G

, that are maximal with respect to set inclusion, then find among them the one that contains a maximum balanced bi-clique. A bi-clique

F

is maximal with respect to set inclusion if there is no bi-clique in

G

that contains

F

. The structure of

T (G)

when

G

is a bipartite

(P_{6}, C_{6})

-free graph and the definition of

K ⨁ S

operation allow us to achieve this computation by a post order traversal of

T (G)

and associating for each internal node

α

all possible maximal bi-cliques in

G [α]

(with respect to set inclusion) through the two sets ofmaximal bi-cliques associated with the left son

α_{1}

and the right son

α_{2}

α

.The set of maximal bi-cliques associated with

α_{1}

denoted by

L (α_{1}) = {F_{i}^{1} = G [X_{i}^{1} \cup Y_{i}^{1}] : i = 1, \dots, r}

and the set of maximal bi-cliques associated with

α_{2}

denoted by

L (α_{2}) = {F_{i}^{2} = G [X_{i}^{2} \cup Y_{i}^{2}] : i = 1, \dots, k}

. We suppose that for every bi-clique

F_{i}^{j} = G [X_{i}^{j} \cup Y_{i}^{j}]

X_{i}^{j}

is a set of black vertices and

Y_{i}^{j}

is a set of white vertices. In addition, we suppose that the members of

L (α_{1})

are arranged from left to right according to their appearance in the sub-tree

T (α_{1})

. Likewise, we suppose that the members of

L (α_{2})

are arranged from left to right according to their appearance in the sub-tree

T (α_{2})

. This supposition is done directly according to the arrangement of sons for every

K ⨁ S

-node in

T (G)

. The reader can verify simply the truth of computation used in the algorithm Balanced Bi-clique for the set of maximal bi-cliques

L (α)

according to the definition of

K ⨁ S

-node and the definition of

P

-node. Figure 5 can help to imagine this computation.

The number of bi-cliques computed for each internal node is at most

O (n^{2})

. Since

T (G)

contains

O (n)

node, the algorithm Balanced Bi-clique has a time complexity

O (n^{3})

4.2. Maximum independent set problem

A subset

S

of the vertex set

V (G)

in a graph

G

is called independent set if any two vertices in

S

are not adjacent. The maximum independent set problem is to compute an independent set in

G

of maximum size. This problem is NP-complete for general graphs [9], but it can be solved in

O (n^{1.5} \sqrt{m / \log n})

time complexity for a general bipartite graph [4]. This time complexity can improved to

O (n)

for bipartite

(P_{6}, C_{6})

-free graph using its canonical binary decomposition tree.. The idea of our solution results from the structure of

K ⨁ S

-graph

G

as following: Let

(V_{1}, V_{2})

be a

K ⨁ S

-partition of the vertex set

V (G)

. By Property 1, every black vertex of

V_{1}

is connected to every white vertex of

V_{2}

and every white vertex of

V_{1}

is independent to every black vertex of

V_{2}

. So, the maximum independent set in

G

is either the maximum independent set in

G [V_{1}]

or the maximum independent set in

G [V_{2}]

or the independent set formed by the union of white vertices of

G [V_{1}]

and black vertices of

G [V_{2}]

. This remark proves the correctness of the following algorithm. Note that if

G

is not connected then the maximum independent set in

G

is equal to the union of the maximum independent sets in its connected components.

Since

T (G)

contains

O (n)

node, the algorithm maximum independent set has a time complexity

O (n)

Conclusion

we have showed in this paper that bipartite

(P_{6}, C_{6})

-free graphs can be recognized in linear time. Using this result, we solved two optimization graph problems in this class of graphs, the first is the maximm balanced bi-clique problem and the the second is the maximum independent set problem. An additional potential using of the canonical decomposition tree of bipartite

{(P}_{6}, C_{6})

-free graph is to solve the problem P| prec.

p_{j} = 1

| C_max : Suppose there are

n

tasks with a unit execution time, and their order is constrained by a directed acyclic graph. Additionally, there are

m

machines of the same type. The goal is to discover a schedule that minimizes the makespan, which is the time when the final task in the graph finishes its execution. It is proved in [3] that this problem is NP-complete even if the precedence constraints form a bipartite graph of depth one. We conjecture that this problem can be solved in polynomial time for bipartite

(P_{6}, C_{6})

-free graph.

References

A. Al-Yamani, S. Ramsundar, and D. K. Pradhan. A defect tolerance scheme for nanotechnology circuits. IEEE Transactions on Circuits and Systems I: Regular Papers, 54(11):2402–2409, 2007. [CrossRef]
D. G. Corneil, Y. Perl, L.K. Stewart, A linear recognition algorithm for cographs. SIAM Journal of Computing, Vol.14, No 4, November, 926-934. 1985. [CrossRef]
E. BAMPIS, The Complexity of short schedules for UET bipartite graphs, RAIRO Oper. Res. 33 367-370. (1999). [CrossRef]
H. Alt, N. Blum, K. Mehlhorn, M. Paul, Computing a maximum cardinality matching in bipartite graphs in time $n^{1.5} \sqrt{m / \log n}$ , Inform. Process. Lett. 37, 237–240 (1991). [CrossRef]
J.L. Fouquet, V. Giakoumakis, J.M. Vanherpe, Bipartite graphs totally decomposable by canonical decomposition, Internat. J. Foundations Comput. Sci. 10(4) 513–533. (1999). [CrossRef]
L. Chen, C. Liu, R. Zhou, J. Xu, J. Li. Efficient Exact Algorithms for Maximum Balanced Biclique Search in Bipartite Graphs, SIGMOD ’21: Proceedings of the 2021 International Conference on Management of Data, June 2021Pages 248–260 18. [CrossRef]
M. B. Tahoori. Application-independent defect tolerance of reconfigurable Nano architectures. ACM Journal on Emerging Technologies in Computing Systems (JETC), 2(3):197–218, 2006. [CrossRef]
M. Li, J.-K. Hao, and Q. Wu. General swap based multiple neighborhood adaptive search for the maximum balanced biclique problem. Computers & Operations Research, 119:104922, 2020. [CrossRef]
M.R. GAREY and D. S. JOHNSON, Computers and Intractability, A Guide to the Theory of NP-completeness, Mathematical Series. Freeman, San Francisco, CA, 1979.
P. Biró, & Fleiner, T..Recent advances in matching algorithms. European Journal of Operational Research, 294(3), 745-769. (2022).
R. Quaddoura, K. Mansour, Classical graphs decomposition and their totally decomposable graphs, IJCSNS International Journal of Computer Science and Network Security, VOL.10 No.1, January 2010. 20 January.
R. Quaddoura, Linear time recognition of bipartite Star₁₂₃-free graphs, The international Arab Journal of Information Technology, Vol. 3, No. 3, July (2006).
R. Wang, Y. Wu, X. Hu, & J. Liu, Bipartite graph neural networks for social recommendation. Information Sciences, 572, 396-409 (2021).
S. Ravi and E. L. Lloyd. The complexity of near-optimal programmable logic array folding. SIAM Journal on Computing, 17(4):696–710, 1988. [CrossRef]
V. Giakoumakis, J.-M. Vanherpe, Bi-complement reducible graphs, Adv. Appl. Math. 18 (1997) 389– 402. [CrossRef]
V. Giakoumakis, J.M. Vanherpe, Linear time recognition and optimization for weak bisplit graphs, bi—cographs and bipartite P₆-free graphs, International Journal of Foundation of Computer Science, Vol. 14, No. 1,107-136(2003). [CrossRef]
V.V. Lozin, E-free bipartite graphs, Discrete Anal. Oper. Res. Ser. 1 7(1) (2000) 49–66 (in Russian).
X. Chakraborty, A Kumar. & G. Tomar, A survey on bipartite graph based recommender systems. Information, Processing & Management, 58(6), 102536. (2021).
Y. Zhou and J.-K. Hao. Tabu search with graph reduction for finding maximum balanced bicliques in bipartite graphs. Engineering Applications of Artificial Intelligence, 77:86 – 97, 2019. [CrossRef]

Figure 2. An example of bipartite graph

G

and the canonical decomposition tree

T (G)

Figure 2. An example of bipartite graph

G

and the canonical decomposition tree

T (G)

Figure 3. Building of

T'

when there is no incompatible grandparent of

α

Figure 3. Building of

T'

when there is no incompatible grandparent of

α

Figure 4. Building of

T'

when

β

the unique

K + S

-incompatible grandparent of

α

exist.

Figure 4. Building of

T'

when

β

the unique

K + S

-incompatible grandparent of

α

exist.

Figure 5. A node

α

and the sets of all maximal bi-cliques associated with its sons.

Figure 5. A node

α

and the sets of all maximal bi-cliques associated with its sons.

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

Alerts

MDPI Initiatives

Important Links

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

Disclaimer

Bipartite (P_6,C_6 )-Free Graphs, Recognition and Optimization Problems

Abstract

Keywords:

Subject:

1. Introduction

2. Notation and Terminology

3. Recognition Algorithm of Bipartite ( P 6 , C 6 ) -free Graphs

3.1. Marking Procedure

3.2. Building the tree T ′

3.3. Recognition Algorithm

3.4. Complexity

4. Optimization Problems

4.1. Maximum balanced bi-clique problem

4.2. Maximum independent set problem

Conclusion

References

MDPI Initiatives

Important Links

Subscribe

3. Recognition Algorithm of Bipartite ${(P}_{6}, C_{6})$ -free Graphs

3.2. Building the tree $T'$