An Optimal Lower Bound on the Number of Variables for Graph Identification