MathLabs

Bài 4

Cho G là một đồ thị có n đỉnh, thỏa mãn: (i) không đỉnh nào nối với tất cả các đỉnh còn lại; (ii) đồ thị không chứa tam giác; (iii) với mọi hai đỉnh không kề nhau A và B, có đúng một đỉnh C kề với cả hai. Chứng minh mọi đỉnh có cùng bậc và tìm n nhỏ nhất có thể.
Bước 3 trên 6: Đếm bậc của CijC_{ij}
deg⁡(Cij)=1+(m−1)=m.\deg(C_{ij})=1+(m-1)=m.
Phân tích chi tiết

Ngoài BiB_i, mọi hàng xóm của CijC_{ij} phải là một đỉnh nào đó ChkC_{hk}: nó không thể là AA vì sẽ tạo tam giác với A,BiA,B_i; cũng không thể là BkB_k với k≠ik\ne i, vì khi đó cặp không kề Bi,BkB_i,B_k có hai hàng xóm chung là AA và CijC_{ij}. Với mỗi k≠ik\ne i, nhiều nhất một CkhC_{kh} có thể kề với CijC_{ij}; nếu có hai đỉnh thì BkB_k và CijC_{ij} sẽ có hai hàng xóm chung. Cặp Bk,CijB_k,C_{ij} không kề nhau nên có đúng một hàng xóm chung; đó phải là một CkhC_{kh}, không thể là AA. Vì vậy, với mỗi k≠ik\ne i có đúng một đỉnh như thế, và deg⁡(Cij)=1+(m−1)=m\deg(C_{ij})=1+(m-1)=m.