Table of Contents
Fetching ...

Expanded-clique graphs and the domination problem

Mitre C. Dourado, Rodolfo A. Oliveira, Vitor Ponciano, Alessandra B. Queiróz, Rômulo L. O. Silva

TL;DR

The paper introduces expanded-clique graphs H built from a root G and a function f, where each vertex induces a clique of size f(v) and adjacent roots create cross edges; it develops two characterizations and a linear-time recognition algorithm, and studies the domination problem on this graph class. It situates expanded-clique graphs between subdivided-line graphs and line graphs of bipartite graphs, showing that Hasunuma subdivided-line graphs and Sierpiński graphs are included, and providing a forbidden-substructure (bad chain, butterfly, claw, C4, diamond, odd-hole)-free characterization. The domination results establish NP-completeness for planar bipartite $3$-expanded-clique graphs and for cubic line graphs of bipartite graphs, and reveal a tight relationship gamma(H) + alpha_2(G,f) = |V(G)| with practical approximation bounds. Collectively, the work advances both structural understanding and complexity boundaries for recognition and domination in expanded-clique graphs, with implications for related graph classes.

Abstract

Given a graph $G$ such that each vertex $v_i$ has a value $f(v_i)$, the expanded-clique graph $H$ is the graph where each vertex $v_i$ of $G$ becomes a clique $V_i$ of size $f(v_i)$ and for each edge $v_iv_j \in E(G)$, there is a vertex of $V_i$ adjacent to an exclusive vertex of $V_j$. In this work, among the results, we present two characterizations of the expanded-clique graphs, one of them leads to a linear-time recognition algorithm. Regarding the domination number, we show that this problem is \NP-complete for planar bipartite $3$-expanded-clique graphs and for cubic line graphs of bipartite graphs.

Expanded-clique graphs and the domination problem

TL;DR

The paper introduces expanded-clique graphs H built from a root G and a function f, where each vertex induces a clique of size f(v) and adjacent roots create cross edges; it develops two characterizations and a linear-time recognition algorithm, and studies the domination problem on this graph class. It situates expanded-clique graphs between subdivided-line graphs and line graphs of bipartite graphs, showing that Hasunuma subdivided-line graphs and Sierpiński graphs are included, and providing a forbidden-substructure (bad chain, butterfly, claw, C4, diamond, odd-hole)-free characterization. The domination results establish NP-completeness for planar bipartite -expanded-clique graphs and for cubic line graphs of bipartite graphs, and reveal a tight relationship gamma(H) + alpha_2(G,f) = |V(G)| with practical approximation bounds. Collectively, the work advances both structural understanding and complexity boundaries for recognition and domination in expanded-clique graphs, with implications for related graph classes.

Abstract

Given a graph such that each vertex has a value , the expanded-clique graph is the graph where each vertex of becomes a clique of size and for each edge , there is a vertex of adjacent to an exclusive vertex of . In this work, among the results, we present two characterizations of the expanded-clique graphs, one of them leads to a linear-time recognition algorithm. Regarding the domination number, we show that this problem is \NP-complete for planar bipartite -expanded-clique graphs and for cubic line graphs of bipartite graphs.
Paper Structure (3 sections, 14 theorems, 1 equation, 5 figures, 1 algorithm)

This paper contains 3 sections, 14 theorems, 1 equation, 5 figures, 1 algorithm.

Key Result

Proposition 2.1

If $H$ is a subdivided-line graph or a Sierpiński graph, then $H$ is expanded-clique.

Figures (5)

  • Figure 1: Claw, Diamond, Odd-hole and Butterfly graph
  • Figure 2: An example of a line graph of subdivision.
  • Figure 3: Examples of Sierpiński graphs.
  • Figure 4: Graph resulting from polynomial transformation.
  • Figure 5: Vertex domination in $H_u$.

Theorems & Definitions (30)

  • Proposition 2.1
  • proof
  • Proposition 2.2
  • Theorem 2.3
  • proof : proof
  • Theorem 2.4
  • proof
  • Proposition 2.5
  • proof
  • Theorem 2.6
  • ...and 20 more