MathLabs

Problem 4

Let G be a graph with n vertices satisfying: (i) no vertex is joined to all the other vertices; (ii) there are no triangles; (iii) for every two nonjoined vertices A and B, there is exactly one vertex C joined to both. Prove that every vertex has the same degree, and find the smallest possible n.
Step 1 of 6: Choose a vertex and name its neighbors
N(A)={B1,…,Bm},deg⁡A=m.N(A)=\{B_1,\ldots,B_m\},\qquad\deg A=m.
Detailed analysis

Choose AA with degree mm and call its neighbors B1,…,BmB_1,\ldots,B_m. No two BiB_i are adjacent, or they and AA form a triangle. For each ii, label the deg⁡(Bi)−1\deg(B_i)-1 neighbors of BiB_i other than AA as CijC_{ij}.