AP
sum.map(abs.signum) $ liftA2 (-) [1..10] [2..10] не короче, но страннееSize: a a a
2017 December 09
ZK
Это точно дичь уже)
ZK
Можно ещё Bool в Int конвертировать и сумму взять
AP
В питоне bool, это чиселка и там sum отлично работает на списке булей :)
ZK
sum (liftA2 (\a -> \b -> fromEnum (a /= b)) [1..10] [2..10])e
так, а если бы у нас 3 вершины было, получается ответ 4, а как рисунком изобразить?
e
e
так? или я опять чего-то не понял
AP
"1" недостижима из "2" и "3" (взаимно связанных)
AP
для двух вершин вообще одно ребро
AP
Эмпирически получаем формулу
т.е.
кол-во_ребер_из_недостижимой_вершины
+
кол-во_ребер_в_сильносвязанном_графе(n - 1)
т.е.
\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)
AP
λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 10
81
λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 4
9
λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 3
4
λ> (\n -> (n - 1) + (\x -> x * (x - 1)) (n - 1)) 2
1
AP
Похоже на правду :)
e
ага, да)
AP
/me переписал лямбду из кода выше бесточечно, но решил не постить сюда результат, ибо правила
к
правила нужны для того, чтобы их нарушать
liftA2 (+) id (liftA2 (*) id pred) . pred
((+) <*> ((*) <*> pred)) . pred
ЗП
liftA2 id == <*>
AP
> (+) <$> pred <*> (((*) <*> pred) . pred) $ 10
81
ЗП
Ну началось