Написать программу, возвращающую Т, если lst2 является подсписком lst1 глубины N. Элементами списка могут быть атомы

@JaneJeon · Регистрация: 15.02.2019

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

Объясните пожалуйста, почему в последней строчке используется or? как понять как он выбирает между двумя скобками? и почему в одном случае мы вычитаем из n - 1, а двух других оставляем как есть?

Lisp
1
2
3
4
5
(defun lis(l1 l2 n)
 ( cond ((null l2) nil)
    ((and (equal(car l2) l1) (= 0 n)))
    ((atom (car l2)) (lis l1 (cdr l2) n))
    (t (or (lis l1 (car l2) (- n 1)) (lis l1 (cdr l2) n)))))

@_sg · 06.12.2019, 09:46

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
(defun n-deep (n v w &aux (a (car w)) (d (cdr w)))
  (cond ((null w) nil)
        ((and (equal v a) (zerop n)))
        ((atom a) (n-deep n v d))
        ((or (n-deep (1- n) v a) (n-deep n v d)))))
 
> (n-deep 0 '(a) '((a) ((a)) (((a)))))
T
> (n-deep 1 '(a) '((a) ((a)) (((a)))))
T
> (n-deep 2 '(a) '((a) ((a)) (((a)))))
T
> (n-deep 3 '(a) '((a) ((a)) (((a)))))
NIL

http://www.lispworks.com/docum... y/m_or.htm

Макрос OR проверяет слева направо истинность возвращемого значения вызова функции: 1. Когда первый элемент второго списка тоже является списком уменьшает N на единицу, поскольку функция уходит вниз на один уровень;
2. Когда первое выражение вернет ложь, функция вызывает себя же с остатком второго списка, оставаясь на том же уровне, поэтому N остается неизменным.

Добавлено через 2 минуты
Description:

or evaluates each form, one at a time, from left to right. The evaluation of all forms terminates when a form evaluates to true (i.e., something other than nil).

Добавлено через 20 минут

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
(defun n-deep (n v w &aux (a (car w)) (d (cdr w)))
  (and w (or (and (equal v a) (zerop n))
             (if (atom a) (n-deep n v d)
                 (or (n-deep (1- n) v a) (n-deep n v d))))))
 
> (n-deep 0 '(a) '((a) ((a)) (((a)))))
T
> (n-deep 1 '(a) '((a) ((a)) (((a)))))
T
> (n-deep 2 '(a) '((a) ((a)) (((a)))))
T
> (n-deep 3 '(a) '((a) ((a)) (((a)))))
NIL

@_sg · 06.12.2019, 09:48

Portacle:

@vlisp · 06.12.2019, 11:15

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

Объясните пожалуйста, почему в последней строчке используется or? как понять как он выбирает между двумя скобками? и почему в одном случае мы вычитаем из n - 1, а двух других оставляем как есть?

Если голова - это подсписок n+1 глубины, то применяем к ней функцию рекурсивно и ждем возвращения результата. нумерация уровней (1-2-3...) идет обратно счетчика n (...3-2-1) - такой прием, ведь нет разницы считать от 0 до n или от n до нуля). в случае с хвостом перехода на более глубокий уровень не происходит

Lisp
1
2
3
4
5
6
7
8
9
10
'(  0  ;n = 2, ур 0
   ( 1 ;n = 1, ур 1
     1 ;n = 1, ур 1
     (2) ;n = 0, ур 2
   )
    0    ;n = 2, ур 0
    ( 1  ;n = 1, ур 1
     (2) ;n = 0, ур 2
    )
)

Новые блоги и статьи Все статьи Все блоги /
Загрузка PNG-файла с альфа-каналом с помощью библиотеки SDL3_image на Android 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .	Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .
Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом

@_sg 4708 / 4403 / 380 Регистрация: 12.05.2012 Сообщений: 3,101
	06.12.2019, 09:48
	Portacle: Миниатюры 2

Написать программу, возвращающую Т, если lst2 является подсписком lst1 глубины N. Элементами списка могут быть атомы

Решение