Jump to content

Теорема о друзьях и незнакомцах

78 из 156 возможных графов друзей-незнакомцев с 6 узлами. Остальные 78 можно получить, поменяв местами красный и синий цвета каждого графика. Для каждого графика красные/синие узлы показывают примерную тройку общих друзей/незнакомцев.

Теорема о друзьях и незнакомцах математическая теорема из области математики, называемой теорией Рамсея .

Заявление

[ редактировать ]

Предположим, в группе шесть человек. Рассмотрим любые два из них. Возможно, они встречаются впервые — и в этом случае мы будем называть их общими незнакомцами; или они могли встречаться раньше — и в этом случае мы будем называть их общими знакомыми. Теорема гласит:

В любой группе из шести человек как минимум трое из них являются (попарно) общими незнакомцами или общими знакомыми.

Преобразование в настройку теории графов

[ редактировать ]

Доказательство теоремы не требует ничего , кроме трехшаговой логики. Задачу удобно сформулировать на языке теории графов.

Предположим, что в графе 6 вершин и каждая пара (различных) вершин соединена ребром. Такой граф называется полным (поскольку в нем не может быть больше ребер). Полный график на вершин обозначается символом .

Теперь возьмите . Всего у него 15 ребер. Пусть 6 вершин обозначают 6 человек в нашей группе. Пусть ребра окрашены в красный или синий цвет в зависимости от того, являются ли два человека, представленные вершинами, соединенными ребром, общими незнакомцами или общими знакомыми соответственно. Теперь теорема утверждает:

Независимо от того, как вы раскрасите 15 ребер с красным и синим вы не сможете избежать либо красного треугольника, то есть треугольника, все три стороны которого красные, представляющего три пары общих незнакомцев, либо синего треугольника, представляющего три пары общих знакомых. Другими словами, какие бы цвета вы ни использовали, всегда будет хотя бы один одноцветный треугольник (то есть треугольник, все ребра которого имеют один и тот же цвет).

Доказательство

[ редактировать ]

Выберите любую одну вершину; назови П. это выходит пять ребер Из P . Каждый из них окрашен в красный или синий цвет. Принцип «ячейки» гласит, что как минимум три из них должны быть одного цвета; ибо если имеется менее трех цветов одного цвета, скажем, красного, то есть по крайней мере три синих.

Пусть A , B , C — другие концы этих трех ребер, все одного цвета, скажем, синего. Если какое-либо из AB , BC , CA синее, то это ребро вместе с двумя ребрами от P до конечных точек ребра образует синий треугольник. Если ни одно из AB , BC , CA не синее, то все три ребра красные и мы имеем красный треугольник, а именно ABC .

Статья Рэмси

[ редактировать ]

Чрезвычайная простота этого аргумента, который приводит к очень интересному выводу, делает эту теорему привлекательной. В 1930 году в статье, озаглавленной «О проблеме формальной логики», Фрэнк П. Рэмси доказал очень общую теорему (теперь известную как теорема Рамсея ), простым случаем которой является эта теорема. Эта теорема Рамсея лежит в основе области, известной как теория Рамсея в комбинаторике .

Границы теоремы

[ редактировать ]
2-раскраска К 5 без однотонного К 3

Вывод теоремы не верен, если заменить партию из шести человек партией менее шести человек. Чтобы показать это, мы дадим раскраску К 5 красным и синим цветом, которая не содержит треугольника со всеми ребрами одного цвета. Рисуем К 5 в виде пятиугольника , окружающего звезду ( пентаграмму ). Раскрашиваем края пятиугольника в красный цвет, а края звезды в синий.Таким образом, 6 — наименьшее число, для которого можно утверждать заключение теоремы. В теории Рамсея мы записываем этот факт как:

  • В. Кришнамурти. Культура, волнение и актуальность математики, Wiley Eastern, 1990. ISBN   81-224-0272-0 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: ae3de1426ea6d3923b356a406dc8a707__1695809760
URL1:https://arc.ask3.ru/arc/aa/ae/07/ae3de1426ea6d3923b356a406dc8a707.html
Заголовок, (Title) документа по адресу, URL1:
Theorem on friends and strangers - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)