Hub Number of the Cartesian Product of Two

Graphs
Edilberto C. Cuaresma Jr. and Rolando N. Paluga
Caraga State University

August 14, 2014

Background of the Study

Matthew Walsh introduced and defined hub number of a graph.

Some of his results are used in this study.

Preliminaries

Definition
[1] Suppose that S V (G ) and let x, y V (G ). An S path
between x and y is a path where all intermediate vertices are
from S. (This includes the degenerate cases where the path
consists of the single edge xy or a single vertex x if x = y ; call
such an S-path trivial.)

Preliminaries

Definition
[1] A set S V (G ) is a hub set of G if it has the property that,
for any x, y V (G ) S, there is an S-path in G between x and
y.

Preliminaries

Definition
[1] The hub number h(G) of a graph G is defined to be the
minimum cardinality of a hub set of G .

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {a}, then there is no S-path between b and e.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {a}, then there is no S-path between b and e.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f

G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {c}, then there is no S-path between b and d.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f

G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {c}, then there is no S-path between b and d.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {e}, then there is no S-path between b and d.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {e}, then there is no S-path between b and d.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {d}, then there is no S-path between b and e.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

If S = {d}, then there is no S-path between b and e.

Thus, S is not a hub set.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

. .

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

a
d
If S = {c, e}, then [a, b], [a, d], [b, f ], [b, c, e, d],
[a, c, e, f ] and [f , e, d] are S-paths.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f
G:

. .

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

a
d
If S = {c, e}, then [a, b], [a, d], [b, f ], [b, c, e, d],
[a, c, e, f ] and [f , e, d] are S-paths.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f

. .

G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

Thus, S is a hub set and h(G ) = 2.

Preliminaries

Example

Consider the graph G shown below.

.......

.......

b ................................................................................................................................................... f

. .

G:

...
... ........
....
...
...
....
..
..
....
...
...
....
..
....
..
....
...
...
....
..
.
...........
....
...
... ........................................................ ......
..
.
.
.
.
.
.
.
.
.
.
.
...
...
....
...
...
..
...
....
.
.
..
...
.
..
....
...
....
.
..
...
.
..
.
..
.
...
.
.
..
... .......
..... ...
.....
....... ....................................................................................................................... ......
...
...

Thus, S is a hub set and h(G ) = 2.

Preliminaries

Theorem 1.8.1
[1] Let n 3. Then h(Cn ) = n 3.

Preliminaries

Theorem 1.8.2
[1] G is a complete graph if and only if h(G ) = 0.

In this paper, we give formula for the hub number of the cartesian
product of two complete graphs, the cartesian product of a noncomplete connected graph and a complete graph.

Basic Concept

Definition
The path Pn is the graph of order n 2 with vertices
x1 , x2 , ..., xn and edges [x1 , x2 ], [x2 , x3 ], ..., [xn1 , xn ]. It is denoted
by (x1 , x2 , ..., xn ).

Preliminaries

Example

P5 :

....
....
....
....
....
...... ........................................................... ........................................................... ........................................................... ........................................................... ......
...
...
...
...
...

Figure: The path P5

Basic Concept

Definition
The cycle Cn is the graph of order n 3 with vertices
x1 , x2 , ..., xn and edges [x1 , x2 ], [x2 , x3 ], ..., [xn1 , xn ], [xn , x1 ]. It is
denoted by [x1 , x2 , ..., xn ].

Preliminaries

Example

C4 :

.........................................................................
.......
.......
...
...
..
..
...
...
..
..
...
...
..
..
...
...
.
...
....
...... ........................................................... ......
.....
.....

Figure: The cycle C4

Basic Concept

Definition
A graph G is called a complete graph if every pair of its
vertices is adjacent. A complete graph of order n is denoted by
Kn . The graph K1 is the trivial graph.

Preliminaries

Example

K4 :

.........................................................................
...........
..........
... .......
.... ..
....
.... ...
..
.... ......
...
...
.... ....
..
..
.
.......
..
...
.... .......
.
.
..
.
.... ....
.
.... .
... .......
.
.
.
.
.
.
. .....
... .
...... ............................................................. ......
.....
.....

Figure: The complete graph K4

Basic Concept

Definition
The cartesian product of two graphs G and H, denoted by
G H, is a graph such that V (G H) = V (G ) V (H) and two
vertices (u1 , v1 ) and (u2 , v2 ) of G H are adjacent if and only if
either u1 = u2 and [v1 , v2 ] E (H) or v1 = v2 and [u1 , u2 ] E (G ).

Basic Concept

Example

P3 :

........
..... .....
........
..
..
...
..
...
..
...
..
...
..
......
.
.
.
..... .....
.........
..
...
..
...
..
...
..
...
..
..
..............
............

........
..... .....
...........
.... ....
...
..
...
...
...
...
...
....
...
3 .....
...
...
....
...
...
...
.
.
.......
......
..... ..................................................................... .....
.........
.........

C :

P3 C3 :

.........
.... .....
... ..
.... ...... ...
... ... ........
.
.
.
.
.
....
...
....
....
.... ..
....
..
.... ...
...........
.
..... ....................................................................... .....
........
........
..
..
..
.
...
...
...
..
..
...
..
...
...
.
.
.
.
.
.
.
.
..
..
.
.
... ...
...
...
...............
.
.
..
..
.
.. .. .....
.
.
.
...
...
....
.
..
....
.. .......
.
.... ....
...
... .....
.... ........
.
.
.
.
.
.
.
.
.
.
.
.. .
.
..... ...................................................................... .....
.........
.........
...
..
...
...
..
..
..
...
...
...
.
..
..
......
..
..
..... .....
.
.
.
.
...
...
.
.
.
.. .... ......
.
.
..
..
.
....
..
.
.
.
.
...
..
....
.
.... ...
.. ......
.... ..
. ....
.
.
.........................................................................................
............
............

Main Result

Theorem
Let 3 m n. Then h(Km Kn ) = m.

Main Result

Theorem
Let G be a non-complete connected graph of order at least 3
and n 3. Then h(G Kn ) = min{|V (G )|, n(h(G ))}.

Basic Concept

Example:

C4 K5 with its minimum hub set

Thank You!