к
и это я так понимаю должно быть тупо -1, нет?
Size: a a a
2017 December 09
AP
Это какой-то "слегка развязанный"
AP
Несильно связаны все, у которых ребер от 45 (все со всеми хотя бы по разу) до 90, не включая 90?
к
ну наверное, тогда ответ 89 должен быть, а не 81
ЗП
Мб какое-то сочетание без повторений из комбинаторики?
ZK
ну наверное, тогда ответ 89 должен быть, а не 81
Видимо, 89 тоже будет сильно связанным графом
AP
Мб какое-то сочетание без повторений из комбинаторики?
Это как раз
n*(n-1)/2ЗП
С телефона тяжко
ZK
Вот для случая n=4. Если сюда добавить хотя бы ещё одно ребро, то будет уже сильно связный граф
ZK
А так он не сильно связный, потому что до 1 никто не может дойти
ZK
Так что в итоге правильный ответ
length [(a, b) | a <- [1..10], b <- [1..9],a/=b], как сказал @astynaxAP
Так что в итоге правильный ответ
length [(a, b) | a <- [1..10], b <- [1..9],a/=b], как сказал @astynaxВо! Кто-то нашел обоснование того, что я получил интуиционистски :)
AP
10 получается недостижимо из 1..9ZK
на самом деле я ничего не доказал
ZK
Нужно ещё доказательство того, что именно такой способ генерации рёбер приведёт к максимальному
ZK
Но вдруг можно как-то по-другому строить...
AP
Можно и по-другому, наверное. Но моё построение ровно и делает то, что на картинке - 10 фигурирует только в позиции "откуда", но не в позиции "куда".
ZK
да, на картинке
length [(a, b) | a <- [1..10], b <- [2..10],a/=b], что в общем-то то же самоеAP
Ну да, можно ещё вынести
b/=x в условие, вместо ограничения диапазонаAP
length
[ ()
| a <- [1..10]
, b <- [1..10]
, a /= b
, b /= 1
]