Предположим, что у каждого не более 12 друзей, значит, у каждого не менее 13 недругов, и существуют а и b, которые не дружат между собой. Множества N(a) - недруги а и N(b) - недруги b имеют общий элемент c, отличный от а и от b. Троица a, b, c дает противоречие.
Здесь мы предполагали антирефлексивность понятий "друзья" и "недруги", т.е. предполагали, что по условию человек не является своим другом. А (не по условию,а сами так определили) также положили считать недругом данного человека отличного от него человека с ним не дружного.
Прошу пардону, глупость написал. Надо поточнее провести анализ.
Редактировалось 1 раз(а). Последний 14.11.2017 13:42.