Реценция

---

...обозначение ребра как список из двух вершин является неудовлетворительным, поскольку параллельные ребра не различаются и есть сомнения в ответе. Может программа проходит по какому-нибудь из параллельных ребер дважды.
Используйте обозначение ребра как список из трех сущностей: две вершины и метка ребра. Переделайте программу.

---

(defun F (Graph &optional (Temp (cons (caar Graph) nil)) (Way nil))

  (if Temp ; если список не пуст делать

   ((lambda (Current_Top) ;текущая вершина - первый элемент списка Temp

   (if(Find Current_Top Graph)

     ((lambda (Current_Top_List) ;список связей текущей вершины

         ((lambda (Next_Top) ;берем первое ребро графа (следующая вершина - второй элемент списка)

          (F ; рекурсивно запускаем F , удалив используемое ребро из ребер графа и добавляем вторую вершину этого ребра в список Temp

            (remove Current_Top_List Graph) 

           (cons (car Next_Top) Temp) ;добавляем вершину в список Temp

           Way))

         (cdr Current_Top_List)));Next_Top следующая вершина списка

      (Find Current_Top Graph)) ;ищем список в списке списков, начинающийся  текущей вершиной

	  (F Graph (cdr Temp) (cons Current_Top Way))))

    (car Temp))

   Way)) ;когда  список Temp становится пустым выводим список Way, это и есть эйлеров путь

 

   (defun Find(ver graph)

   ((lambda (gran)

   (if (= (car gran) ver)

   gran

   (if (= (cdr gran) ver)

	((subst (car gran)(cdr gran) gran)

	(subst ver (car gran) gran)

	gran)

   (Find(ver (cdr graph))))))

   (car graph)))

 

(defun Z()

 (F '((1 2)(1 3)(2 3)(2 4)(2 5)(3 4)(3 5)(4 5)) '(4))

)