Non-realizability conjecture for complete bipartite strong resolving graphs
Complete bipartite strong resolving graph conjecture. The graph equation GSR≅Kr,sG_{SR}\cong K_{r,s}GSR≅Kr,s has no solution for any r,s≥2r,s\ge 2r,s≥2.
MathDB