Вопросы с тегом «recursion»

В зависимо-типизированном программировании есть два основных способа разложения данных и выполнения рекурсии: Зависимое сопоставление с образцом : определения функций приведены в виде нескольких предложений. Унификация гарантирует, что все пропущенные случаи невозможны, а внешний решатель гарантирует, что рекурсия обоснована. Сепараторы : Каждый индуктивный тип данных имеет ассоциированный константу Е D , …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

Мне нужно создать рекурсивный алгоритм, чтобы увидеть, является ли двоичное дерево бинарным деревом поиска, а также подсчитать, сколько там полных ветвей (родительский узел с левым и правым дочерними узлами) с предполагаемой глобальной переменной подсчета. Это назначение для моего класса структур данных. Пока у меня есть void BST(tree T) { if …

10 algorithms  recursion  trees