求拉姆齐R（4，4）=18用python证明的整套

证明18个人中，至少有四个两两不认识和4个两两认识，能跑出来就可以。