Let A be the adjacency matrix of a simple undirected graph G. Suppose A is its own inverse. Which one of the following statements is always TRUE?
A. G is a cycle
B. G is a perfect matching
C. G is a complete graph
D. There is no such graph G
GATE 2024 · Discrete Mathematics · Graph Connectivity · medium
Answer: B. G is a perfect matching
Translate the condition to A^2 = I: If A is its own inverse, then A * A = I. So A^2 = I, meaning (A^2)_{ii} = 1 for all i and (A^2)_{ij} = 0 for all i != j.
Read off degree constraint: (A^2)_{ii} = 1 for all i implies deg(i) = 1 for every vertex. Every vertex has exactly one neighbour. The off-diagonal zero (A^2)_{ij} = 0 for i != j means no two vertices share a common neighbour, consistent with the edges being disjoint. Therefore G is a disjoint union of edges — a perfect matching.