Перестановка атомов списка

@Slavnoff · Регистрация: 04.11.2012

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

Здравствуйте! помогите пожалуйста написать функцию перестановки атомов верхнего уровня и нижнего уровня, учитывая промежуточное состояние списков. Поиск соответствующих элементов осуществляется слева направо. Количество атомов на обоих уровнях одинаково. Вывести модифицированный исходный список. Атомы, содержащиеся в исходном списке, имеют уровень 0 и называются атомами верхнего уровня, атомы, содержащиеся в следующем вложенном списке, имеют уровень 1 и т.д.

Пример
Пусть в исходном тексте программа имеет вид (defun p1(x) …). Обращение к ней следующее (p1 '(a (b (c)) d (e (f)))), тогда программа должна вывести результат:
(c (b (a)) f (e (d)))

@Catstail · 02.12.2012, 15:27

Хорошая задача. Можно вопрос: все атомы различны?

@Slavnoff · 02.12.2012, 17:39 **[ТС]**

Да различны... вот в примере я показал как это должно выглядеть...

@Catstail · 03.12.2012, 23:00

Вот решение (не уверен, что универсальное, но на трех уровнях, вроде-бы работает):

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
;; Замена
        
(let ((ra nil) (rb nil))
  (defun repl (lst a b)
     (let ((res nil))
          (dolist (i lst res)
           (if (atom i)
            (cond ((And (eq i a) (null ra)) (progn (setq ra t) (setq res (Append res (list b)))))
                  ((And (eq i b) (null rb)) (progn (setq rb t) (setq res (Append res (list a)))))
                  (t (setq res (Append res (list i)))))
            (setq res (append res (list (repl i a b))))))))      
  (defun reset-repl nil (setq ra nil rb nil))
)
 
        
;; Разметка
         
 (defun mark (lst &OPTIONAL (L 0) (res NIL)) 
   (COND ((NULL lst) res) 
         ((ATOM (CAR lst)) 
            (COND ((= L 0) (mark (CDR lst) L (APPEND res (LIST (CAR lst))))) 
                  ((= L 2) (mark (CDR lst) L (APPEND res (LIST (CAR lst))))) 
                  (T (mark (CDR lst) L res))))
         (T (mark (CAR lst) (+ L 1) (mark (CDR lst) L res)))))
 
;; Список без последнего атома
         
(defun init (lst) 
  (cond ((null lst) nil)
        ((= (length lst) 1) nil)
        ((= (length lst) 2) (list (car lst)))
        (t (cons (car lst) (init (cdr lst))))))
        
;; Решение
 
(defun task (lst)
  (let ((cnt (mark lst)))
       (loop
          (reset-repl)
          (setq lst (repl lst (car cnt) (last cnt)))
          (setq cnt (init (cdr cnt)))
          (when (null cnt) (return lst))          
       )))
 
;; проверка:
 
(task '(a (b (c)) d (e (f))))
 
==> (c (b (a)) f (e (d)))

@Slavnoff · 06.12.2012, 23:05 **[ТС]**

Спасибо огромное))) А то я уже всю голову сломал)))))

Добавлено через 4 минуты
Хотя что то не работает)))) на (task '(a (b (c)) d (e (f)))) => ((C) (B (C)) (F) (E (F)))

@Catstail · 06.12.2012, 23:12

Вот картинка:

@Slavnoff · 07.12.2012, 21:16 **[ТС]**

Возможно у нас версии лисп разные.... у меня LispIDE который работает с командной строкой GNU CLISP 2.49

@Catstail · 08.12.2012, 16:07

Да, дело, видимо, в этом. В LispWorks работает так, как у Вас. Буду исправлять.

Добавлено через 17 часов 23 минуты
Дело в том, что last в Common Lisp возвращает не последний элемент, а последний подсписок. Реализовал last_, которая возвращает элемент. Теперь работает (проверено в LispWorks):

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
(let ((ra nil) (rb nil))
  (defun repl (lst a b)
     (let ((res nil))
          (dolist (i lst res)
           (if (atom i)
            (cond ((And (eq i a) (null ra)) (progn (setq ra t) (setq res (Append res (list b)))))
                  ((And (eq i b) (null rb)) (progn (setq rb t) (setq res (Append res (list a)))))
                  (t (setq res (Append res (list i)))))
            (setq res (append res (list (repl i a b))))))))      
  (defun reset-repl nil (setq ra nil rb nil))
)
 
        
;; Разметка
         
 (defun mark (lst &OPTIONAL (L 0) (res NIL)) 
   (COND ((NULL lst) res) 
         ((ATOM (CAR lst)) 
            (COND ((= L 0) (mark (CDR lst) L (APPEND res (LIST (CAR lst))))) 
                  ((= L 2) (mark (CDR lst) L (APPEND res (LIST (CAR lst))))) 
                  (T (mark (CDR lst) L res))))
         (T (mark (CAR lst) (+ L 1) (mark (CDR lst) L res)))))
 
;; Список без последнего атома
         
(defun init (lst) 
  (cond ((null lst) nil)
        ((= (length lst) 1) nil)
        ((= (length lst) 2) (list (car lst)))
        (t (cons (car lst) (init (cdr lst))))))
        
;; Последний элемент списка
 
(defun last_ (lst)
   (cond ((null lst) nil)
         ((= 1 (length lst)) (car lst))
         (t (last_ (cdr lst)))))
        
        
;; Решение
 
(defun task (lst)
  (let ((cnt (mark lst)))
       (loop
          (reset-repl)
          (setq lst (repl lst (car cnt) (last! cnt)))
          (setq cnt (init (cdr cnt)))
          (when (null cnt) (return lst))          
       )))

@Slavnoff · 09.12.2012, 17:25 **[ТС]**

Да все отлично работает!)))) Спасибо большое! только в 47 строке вместо last! надо поставить last_ ну это скорее всего опечатка)))

@Catstail · 09.12.2012, 18:51

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

только в 47 строке вместо last! надо поставить last_

- да, конечно!

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это дополнительная запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

@Slavnoff 221 / 10 / 0 Регистрация: 04.11.2012 Сообщений: 62

	Перестановка атомов списка 01.12.2012, 22:36. Показов 2009. Ответов 9 Метки нет (Все метки) Здравствуйте! помогите пожалуйста написать функцию перестановки атомов верхнего уровня и нижнего уровня, учитывая промежуточное состояние списков. Поиск соответствующих элементов осуществляется слева направо. Количество атомов на обоих уровнях одинаково. Вывести модифицированный исходный список. Атомы, содержащиеся в исходном списке, имеют уровень 0 и называются атомами верхнего уровня, атомы, содержащиеся в следующем вложенном списке, имеют уровень 1 и т.д. Пример Пусть в исходном тексте программа имеет вид (defun p1(x) …). Обращение к ней следующее (p1 '(a (b (c)) d (e (f)))), тогда программа должна вывести результат: (c (b (a)) f (e (d))) 1

@Catstail Супер-модератор 38188 / 21123 / 4307 Регистрация: 12.02.2012 Сообщений: 34,729 Записей в блоге: 14
	02.12.2012, 15:27
	Хорошая задача. Можно вопрос: все атомы различны? 0

@Slavnoff 221 / 10 / 0 Регистрация: 04.11.2012 Сообщений: 62
	02.12.2012, 17:39 [ТС]
	Да различны... вот в примере я показал как это должно выглядеть... 0

@Slavnoff 221 / 10 / 0 Регистрация: 04.11.2012 Сообщений: 62
	06.12.2012, 23:05 [ТС]
	Спасибо огромное))) А то я уже всю голову сломал))))) Добавлено через 4 минуты Хотя что то не работает)))) на (task '(a (b (c)) d (e (f)))) => ((C) (B (C)) (F) (E (F))) 0

@Catstail Супер-модератор 38188 / 21123 / 4307 Регистрация: 12.02.2012 Сообщений: 34,729 Записей в блоге: 14
	06.12.2012, 23:12
	Вот картинка: Миниатюры 0

@Slavnoff 221 / 10 / 0 Регистрация: 04.11.2012 Сообщений: 62
	07.12.2012, 21:16 [ТС]
	Возможно у нас версии лисп разные.... у меня LispIDE который работает с командной строкой GNU CLISP 2.49 0

@Slavnoff 221 / 10 / 0 Регистрация: 04.11.2012 Сообщений: 62
	09.12.2012, 17:25 [ТС]
	Да все отлично работает!)))) Спасибо большое! только в 47 строке вместо last! надо поставить last_ ну это скорее всего опечатка))) 0