Ian писал(а):Source of the post
Вот тут претензияА придирка к док-ву в том, почему бы этим трем парам, включающим в общем случае 4 батарейки, не пересекаться очень сильно, контрпример кратко вставил курсивомMrDindows писал(а):Source of the post
Если есть хотя одна батарейка, которая состоит в трёх парах,то брать ее оч.не рекомендуется, вдруг остался треугольник и изолированная, тогда из треугольника можно взять максимум одну, + изолированная ,итого делаем её и ещё 3 батарейки из остальных трёх пар незаряженными и получаем, что в каждой паре есть минимум 1 незаряженная батарейка, что противоречит предположению.
У меня есть переборное док-во, оно длиннее, случаи:1)есть цикл длины 6 2)его нет, но есть 5 3) тех нет, но есть 4, 4)есть только цикл из 3х 5) нет ни одного цикла.
Не понял придирку.
Пуст у нас какая-то батарейка, например 1, принадлежит трём парам:
Тогда делаем батарейки незаряженными, и у нас ни одна пара не имеет 2 заряженных батареек. Там хоть треугольники, хоть ромбы будут - нам всёравно.