Бинарные деревья. Количество вершин, которые не являются листьями

@rowest · Регистрация: 17.06.2013

Студворк — интернет-сервис помощи студентам

Добрый день, вынужден снова просить вас о помощи

Нужно написать предикат, который возвращает количество вершин бинарного дерева, которые не являются его листьями и при этом имеют четные значения.

Бинарное дерево задаю таким образом:

Prolog
1
t(6, t(3, t(8, nil, nil), nil), t(4, t(30, nil, nil), t(5, nil, nil) ) )

Должен получить в результате 2 (вершина 6 и вершина 4, остальные четные вершины в этом бинарном дереве являются листьями)

Мне кажется, что можно получить решение, если переписать код из этой темы: Сумма нечетных узлов дерева

Prolog
1
2
3
4
n(nil, 0).
n(t(H, Left, Right), S):- mod(H, 2) =:= 0, !, n(Left, LeftSum), n(Right, RightSum), S is LeftSum + RightSum + H.
 
n(t(_, Left, Right), S):- n(Left, LeftSum), n(Right, RightSum), S is LeftSum + RightSum.

Вот только не получается у меня что-то это сделать толком. В примере выше предикат ищет сумму всех четных вершин (вместе с листьями). Как бы его так переписать, чтобы листья не учитывались..

Добавлено через 32 минуты
Думаю, что нужно где-то написать правило, наподобие такого:

Prolog
1
n(t(H, nil, nil), N):- mod(H, 2) =:= 0, N is N1 + 1.

(если листьев нет и вершина четная, то увеличиваем результат на 1). Вот только с инкрементированием не получится, потому что N1 у нас нигде не определено. Вот примерно понимаю, как нужно сделать, а написать не выходит(

@Грымзик · 12.11.2013, 22:55

Если лист, то уже не надо четность проверять, просто

Prolog
1
2
3
n(nil, 0).
n(t(_, nil, nil), 0):-!.
....

1е правило нужно, когда будут рекурсивно просматриваться узлы с только одним сыном.

@rowest · 13.11.2013, 23:17 **[ТС]**

Грымзик, на данном этапе получается вот так вот:

Prolog
1
2
3
4
n(nil, 0).
n(t(_, nil, nil), 0):- !.
n(t(H, Left, Right), S):- mod(H, 2) =:= 0, !, n(Left, LeftSum), n(Right, RightSum), S is LeftSum + RightSum + H.
n(t(_, Left, Right), S):- n(Left, LeftSum), n(Right, RightSum), S is LeftSum + RightSum.

Работает правильно, возвращает как раз четные вершины, которые не листья. Но возвращает сумму значений.
Надо бы переделать, чтобы возвращало количество таких вершин. В этом случае остается не решенной моя проблема с

Сообщение от rowest

Вот только с инкрементированием не получится, потому что N1 у нас нигде не определено.

Как быть?

Добавлено через 20 часов 21 минуту
Ага, вроде сделал)

Prolog
1
2
3
4
n(nil, 0).
n(t(_, nil, nil), 0):- !.
n(t(H, Left, Right), S):- mod(H, 2) =:= 0, !, n(Left, S1), n(Right, S2), S is S1 + S2 + 1.
n(t(_, Left, Right), S):- n(Left, S1), n(Right, S2), S is S1 + S2.

Запускаю:

Prolog
1
2
3
JIP:-n(t(6, t(3, t(8, nil, nil), nil), t(4, t(30, nil, nil), t(5, nil, nil) ) ), S).
Yes
S = 2

Prolog
1
2
3
JIP:-n(t(6, t(4, t(8, nil, nil), nil), t(4, t(30, nil, nil), t(5, nil, nil) ) ), S).
Yes
S = 3

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .