Цикл DO в стандартном Lisp

@hi_vsem · Регистрация: 14.11.2018

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

Как правильно задать данную формулу?

@helter · 09.03.2020, 00:43

DO состоит из двух управляющих частей и тела. Управляющие части берутся в скобки. Получается так:

Lisp
1
2
3
(do (<переменные>)
    (<выход>)
  <тело>)

Переменных может использоваться несколько, и для каждой из них может задаваться выражение инициализации и выражение для следующего значения. Чтобы выражения, относящиеся к разным переменным не путались, всё относящееся к каждой из переменных, берётся в скобки. Таким образом, никаких лишних скобок.

Когда что-то просто вычисляется, часто тело не нужно.

В вашем случае переменных две: i - счётчик, p - аккумулятор. Их можно обе определить в do, поэтому отдельный let не требуется.

Начальное значение: i = 1, p = 1. При переходе к следующей итерации: i увеличивается на 1 (для этой частой операции есть функция 1+), p умножается на (i/(i+1))^2 со старым i.

Условие выхода: i > n. Возвращаемое значение: p.

Получается:

Lisp
1
2
3
4
(defun p (n)
  (do ((i 1 (1+ i))
       (p 1 (* p (expt (/ i (1+ i)) 2))))
      ((> i n) p)))

Это похоже на сишный цикл

C
1
for (i = 1, p = 1; i <= n; ++i, p *= pow(i/(i + 1), 2))

хотя сишный, конечно, не возвращает значение.

Мы обошлись без явных присваиваний. Под капотом там могут быть присваивания или могут создаваться новые переменные - в зависимости от реализации.

@_sg · 09.03.2020, 08:19

Вариант цикла с макросом loop:

Lisp
1
2
3
4
5
6
7
(defun pp (n)
  (reduce #'* (loop for i from 1 to n
                    collect (expt (/ i (1+ i))
                                  2))))
 
> (pp 5)
1/36

Lisp
1
2
3
4
5
6
7
8
(defun pp (n &aux (ac 1))
  (loop for i from 1 to n do
        (setf ac (* ac (expt (/ i (1+ i))
                             2)))
        finally (return ac)))
 
> (pp 5)
1/36

Вариант с рекурсией:

Lisp
1
2
3
4
5
6
(defun pp (n &optional (m 1))
  (if (> m n) 1
      (* (expt (/ m (1+ m)) 2) (pp n (1+ m)))))
 
> (pp 5)
1/36

Lisp
1
2
3
4
5
6
7
(defun pp (n &optional (m 1) (ac 1))
  (if (> m n) ac
       (pp n (1+ m)
           (* ac (expt (/ m (1+ m)) 2)))))
 
> (pp 5)
1/36

@Catstail · 09.03.2020, 18:04

hi_vsem, вообще-то картинки в формулировке вопроса запрещены.

Добавлено через 3 минуты
Цикл DO тяжеловесен. iter гораздо приятнее!

Lisp
1
2
3
4
5
6
7
8
9
10
(defun task (n)
   (iter (for i from 1 to n) (multiplying (^ (/ i (+ i 1)) 2))))
 
==> TASK
 
(task 10)
==> 1/121
 
(task 5)
==> 1/36

Новые блоги и статьи Все статьи Все блоги /
Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .	Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	1С: Контроль уникальности заводского номера Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git
1С: Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	1С: Программный отбор элементов справочника по значению перечисления Maks 21.03.2026 Установка программного отбора элементов справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит значение перечислений. / / Событие "НачалоВыбора" реквизита на форме. . .

Цикл DO в стандартном Lisp

Решение

Решение

Решение

@hi_vsem 0 / 0 / 0 Регистрация: 14.11.2018 Сообщений: 135

	Цикл DO в стандартном Lisp 08.03.2020, 22:21. Показов 4467. Ответов 3 Метки lisp (Все метки) Как правильно задать данную формулу? Миниатюры Изображения 0