Пусть у нас есть связный неориентированный граф без петель и кратных ребер, в котором n вершин и m ребер. Докажите, что в нем найдется C·n2 / m вершин, которые попарно не соединены ребрами, где C — какая-то абсолютная константа.
| № | Пользователь | Рейтинг |
|---|---|---|
| 1 | Benq | 3792 |
| 2 | VivaciousAubergine | 3647 |
| 3 | Kevin114514 | 3603 |
| 4 | jiangly | 3583 |
| 5 | turmax | 3559 |
| 6 | tourist | 3541 |
| 7 | strapple | 3515 |
| 8 | ksun48 | 3461 |
| 9 | dXqwq | 3436 |
| 10 | Otomachi_Una | 3413 |
| Страны | Города | Организации | Всё → |
| № | Пользователь | Вклад |
|---|---|---|
| 1 | Qingyu | 157 |
| 2 | adamant | 153 |
| 3 | Um_nik | 147 |
| 3 | Proof_by_QED | 147 |
| 5 | Dominater069 | 145 |
| 6 | errorgorn | 142 |
| 7 | cry | 139 |
| 8 | YuukiS | 135 |
| 9 | TheScrasse | 134 |
| 9 | chromate00 | 134 |
Пусть у нас есть связный неориентированный граф без петель и кратных ребер, в котором n вершин и m ребер. Докажите, что в нем найдется C·n2 / m вершин, которые попарно не соединены ребрами, где C — какая-то абсолютная константа.
| Название |
|---|



Я правильно понимаю, что задача эквивалентна следующей: найдите минимально возможный размер клики в графе с n вершинами и n2 - m рёбрами?
Да, независимые множества и клики дополняют друг друга.
Рассмотрим произвольную вершину. Если степень
, убьём её; n2 / m изменится на что то, большее (n - 1)2 / (m - 2m / n) = (n2(1 - 2 / n + 1 / n2) / (m(1 - 2 / n)) ≥ n2 / m. Продолжим решать задачу для полученного графа.
Теперь пусть степень
. Тогда выкинем эту вершину и все с ней смежные, решим задачу для оставшегося, добавим к ответу вершину. Чему же будет равно отношение n2 / m для оставшегося графа? Понятно, что оно не меньше (n - 2m / n)2 / m = n2 / m - 4 + 4m / n2. Т.е. мы уменьшили отношение на 4 ценой увеличения ответа на 1, значит, этот алгоритм решает задачу с C = 1 / 4.
а откуда задача?
Мне ее дали в качестве домашнего задания, я не смог справиться и вот теперь спрашиваю уважаемое сообщество.
А если серьезно, то сложно сказать, откуда она изначально. На ней удобно демонстрировать вероятностный метод. Вот что имеется ввиду.
Пусть мы хотим выбирать наше независимое множество случайно. Будем включать каждую вершину в него независимо с вероятностью p. Тогда в среднем останется pn вершин и p2m ребер. Но давайте теперь у каждого оставшегося ребра выкинем по концу. Тогда в среднем останется независимое множество размера pn - p2m. Теперь, выбирая p оптимально, получаем требуемую оценку с C = 1 / 4.
Похожей техникой можно доказать, что если
, то, как бы мы не укладывали граф на плоскость, получится не менее C·m3 / n2 пересечений ребер. Подробнее см. здесь.
А почему в минусах? Может парню интересно, где еще найти таких задач
Люди такие непредсказуемые...
ошибся