Результаты поиска по запросу "proof"
должно быть, был неверным. Это доказывает претензию.
далось создать доказательство, которое показывает, что максимальное количество узлов в дереве равно n = 2 ^ (h + 1) - 1, и логически я знаю, что высота двоичного дерева равна log n (могу нарисовать его) чтобы увидеть) но у меня возникли проблемы ...
Объясните, почему x == ~ (~ x + 1) + 1 (два дополнения и обратно!)
Как мы все знаем, обычно отрицательные числа в памяти представляют собой два дополнительных числа, как это
Доказательства уровня открытого типа в Haskell / Idris
В Idris / Haskell можно доказать свойства данных путем аннотирования типов и использования конструкторов GADT, например, с Vect, однако это требует жесткого ...
Я не могу доказать (n - 0) = n с Идрис
Я пытаюсь доказать, что на мой взгляд является разумной теоремой:
Количество бинарных деревьев поиска по n отдельным элементам
Сколько бинарных деревьев поиска может быть построено из n различных элементов? И как мы можем найти математически доказанную формулу для этого? Пример:Если у нас есть 3 различных элемента, скажем, 1, 2, 3, есть 5 бинарных деревьев поиска.
Количество бинарных деревьев поиска по n отдельным элементам
Сколько бинарных деревьев поиска может быть построено из n различных элементов? И как мы можем найти математически доказанную формулу для этого?Пример: Если ...
Конкретный пример, показывающий, что монады не замкнуты по композиции (с доказательством)?
Хорошо известно, что аппликативные функторы замкнуты по составу, а монады - нет. Однако у меня возникли проблемы с поиском конкретного контрпримера, показыва...
Мне нужна помощь в доказательстве того, что если f (n) = O (g (n)), то 2 ^ (f (n)) = O (2 ^ g (n)))
В предыдущей задаче я показал (надеюсь, правильно), что f (n) = O (g (n)) влечет lg (f (n)) = O (lg (g (n))) с достаточными условиями (например, lg (g (n)) =...
Страница 1 из 2