"У любых двух - общий знакомый" - всего пар, у которых должен быть общий знакомый, равно 36 (сочетаний из 9 по 2).
Далее можно представить реальные ситуации тройками: наша пара и общий знакомый
из списка 1..9, (X,Z) - пара, а Y - общий знакомый: (X,Y,Z).
Минимальное количество разных Y, чтобы составлялись корректные тройки, равно 3, ибо составляются "тройки" разных чисел. Тогда очевидно, что эти трое, у которых в списках знакомых все остальные, и есть эти 3.
Максимальное количество разных Y равно 9. Если представить все знакомства графом, где вершины - школьники, а ребра - знакомства, то максимальная возможная валентность вершины при условии, что общими знакомыми будут все вершины, равна 6, ((36/9)+2=6), что соответствует как раз 6 знакомствам у любого школьника.
Если валентности каких-либо вершин понижать, то валентность других вершин будет только повышаться, но при этом и меньше трех вершин, отвечающих общим знакомым при нашем построении, быть не может.
PS Валентность вершины - число ребер при вершине. Степень вершины - число ориентированных ребер, выходящих из вершины.
Не понимаю у Вас опредедение корректных тройк? и
почему минимальное количество разных Y равно 3.
Так все пары (X,Z), у которых должен быть общий знакомый, есть все сочетания из 1..9 по два.
И мои тройки (X,Y,Z) могут быть получены вставкой в пары чисел из 1..9.
И этих чисел может быть не менее 3. Доказательство. Пусть этих чисел 2 и эти есть числа y1 и y2 из 1..9. Но среди пар, которые представляют собой ВСЕ ВОЗМОЖНЫЕ сочетания, должна быть пара (y1,y2) (либо (y2,y1)), а
тройка (y1,y1,y2) или (y1,y2,y2) не является корректной тройкой (общего знакомого).
То есть 3 - это минимальное количество возможных разных Y.