Пытаясь доказать корректность функции вставки элементов в bst, я застрял, пытаясь доказать, казалось бы, тривиальную лемму. Моя попытка до сих пор: Inductive tree : Set := | leaf : tree | node : tree -> nat -> tree -> tree. Fixpoint...

У меня есть 500 случайных сетей, хранящихся в списке for (x in seq_len(500L)) { + gs[[x]] <- erdos.renyi.game(361, 695, type = "gnm") Я могу рассчитать транзитивность для каждой сети индивидуально, используя transitivity(gs[[1]])...