Місія видобутку Лісп


19

На мовах стилю Lisp список зазвичай визначається так:

(list 1 2 3)

Для цілей цього виклику всі списки містять лише додатні цілі чи інші списки. Ми також залишимо listключове слово на початку, тому список тепер буде виглядати приблизно так:

(1 2 3)

Ми можемо отримати перший елемент списку за допомогою car . Наприклад:

(car (1 2 3))
==> 1

І ми можемо отримати оригінальний список із видаленим першим елементом cdr :

(cdr (1 2 3))
==> (2 3)

Важливо: cdr список завжди повертається, навіть якщо цей список матиме один елемент:

(cdr (1 2))
==> (2)
(car (cdr (1 2)))
==> 2

Списки також можуть бути в інших списках:

(cdr (1 2 3 (4 5 6)))
==> (2 3 (4 5 6))

Написати програму, яка повертає код, який використовує carтаcdr повертає певне ціле число у списку. У коді, який повертає ваша програма, ви можете припустити, що список зберігається l, ціле ціле число lдесь і що всі цілі числа є унікальними.

Приклади:

Вхід: (6 1 3) 3

Вихід: (car (cdr (cdr l)))

Вхід: (4 5 (1 2 (7) 9 (10 8 14))) 8

Вихід: (car (cdr (car (cdr (cdr (cdr (cdr (car (cdr (cdr l))))))))))

Вхід: (1 12 1992) 1

Вихід: (car l)


Чи можемо ми взяти вхід з цілим числом першого і списком другим?
Мартін Ендер

@ MartinBüttner Звичайно.
абсент

А як (1 2 3) 16же ми повернемось ()?
coredump

@coredump Добре запитання. Можна припустити, що ціле ціле завжди буде у виразі, тому такий випадок, як (1 2 3) 16ніколи, не з’явиться.
абсент

Чи можемо ми отримати два входи, один для списку та один для цілого числа?
Blackhole

Відповіді:


1

CJam, 59

q"()""[]"er~{:AL>{0jA1<e_-_A(?j'l/"(car l)"@{2'dt}&*}"l"?}j

Спробуйте в Інтернеті

Пояснення:

q                 read the input
"()""[]"er        replace parentheses with square brackets
~                 evaluate the string, pushing an array and a number
{…}j              calculate with memoized recursion using the array as the argument
                   and the number as the memozied value for argument 0
  :A              store the argument in A
  L>              practically, check if A is an array
                   if A is a (non-empty) array, compare with an empty array
                   (result 1, true)
                   if A is a number, slice the empty array from that position
                   (result [], false)
    {…}           if A is an array
      0j          get the memoized value for 0 (the number to search)
      A1<         slice A keeping only its first element
      e_          flatten array
      -           set difference - true iff the number was not in the array
      _           duplicate the result (this is the car/cdr indicator)
      A(          uncons A from left, resulting in the "cdr" followed by the "car"
      ?           choose the cdr if the number was not in the flattened first item,
                   else choose the car
      j           call the block recursively with the chosen value as the argument
      'l/         split the result around the 'l' character
      "(car l)"   push this string
      @           bring up the car/cdr indicator
      {…}&        if true (indicating cdr)
        2'dt      set the character in position 2 to 'd'
      *           join the split pieces using the resulting string as a separator
    "l"           else (if A is not an array) just push "l"
                   (we know that when we get to a number, it is the right number)
    ?             end if

10

Загальний Лісп, 99

Наступне рішення на 99 байтів - це версія CL приємної відповіді схеми .

(defun g(l n &optional(o'l))(if(eql n l)o(and(consp l)(or(g(car l)n`(car,o))(g(cdr l)n`(cdr,o))))))

Я спочатку намагався використати positionі position-if, але виявилося не таким компактним, як хотілося б (209 байт):

(lambda(L x &aux(p'l))(labels((f(S &aux e)(cons(or(position x S)(position-if(lambda(y)(if(consp y)(setf e(f y))))S)(return-from f()))e)))(dolist(o(print(f L))p)(dotimes(i o)(setf p`(cdr,p)))(setf p`(car,p)))))

Розширено

(lambda
  (l x &aux (p 'l))
  (labels ((f (s &aux e)
             (cons
              (or (position x s)
                  (position-if
                   (lambda (y)
                     (if (consp y)
                         (setf e (f y))))
                   s)
                  (return-from f nil))
              e)))
    (dolist (o (print (f l)) p)
      (dotimes (i o) (setf p `(cdr ,p)))
      (setf p `(car ,p)))))

Приклад

(funcall *fun* '(4 5 (1 2 (7) 9 (10 8 14))) 14)

Список цитується, але якщо ви дійсно хочете, я можу використовувати макрос. Повернене значення становить [1] :

(CAR (CDR (CDR (CAR (CDR (CDR (CDR (CDR (CAR (CDR (CDR L)))))))))))

Для тестів я використовував форму лямбда, де lбула змінна:

(LAMBDA (#:G854) (CAR (CDR (CDR (CAR (CDR (CDR (CDR (CDR (CAR (CDR (CDR #:G854))))))))))))

Виклик цього за допомогою оригінального списку повертається 14.


[1] також (caddar (cddddr (caddr l)))було б непогано


2
Ви відповіли на питання про Lisp з Lisp! Це Lisp-ception!
DanTheMan

4
@DanTheMan Lisp-ception - це майже те, що визначає Lisp ;-)
coredump

9

Сітківка , 170 142 125 115 114 87 84 83 75 73 70 69 68 67 байт

Так, менше ніж на 50% більше 100 байт від моєї першої спроби. :)

\b(.+)\b.* \1$
(
^.
l
\(
a
+`a *\)|\d


d
+`(.*[l)])(\w)
(c$2r $1)

Для запуску коду з одного файлу використовуйте -sпрапор.

Я досі не впевнений, що це оптимально ... У наступних кількох днів у мене не буде багато часу, врешті я додам пояснення.


5

Pyth, 62 байти

JvXz"() ,][")u?qJQG&=J?K}Quu+GHNY<J1)hJtJ++XWK"(cdr "\d\aG\)\l

Спробуйте в Інтернеті: Демонстрація або Тестовий набір

Пояснення:

Перший біт JvXz"() ,][")замінює символи "() "на символи"[]," у вхідному рядку, що закінчується поданням списку стилів Python. Я оцінюю його і зберігаю J.

Потім я зменшую рядок G = "l"с u...\l. Я застосовую внутрішню функцію ...неодноразово G, до значенняG більше не зміниться, а потім надрукується G.

Внутрішня функція виконує наступні дії: Якщо Jвже дорівнює вхідному номеру, не змінюйте G( ?qJQG). Інакше я вирівняю список J[:1]і перевірте, чи є вхідний номер у цьому списку, і збережу це до змінної K( K}Quu+GHNY<J1)). Зауважте, що в Pyth немає оператора згладжування, тому для цього потрібно досить багато байт. Якщо Kце правда, ніж я оновлюю J J[0], інакше з J[1:]( =J?KhJtJ). І тоді я замінюю Gна "(cdr G)"та замінюю dна a, якщо Kце правда ( ++XWK"(cdr "\d\aG\)).



1

PHP - 177 байт

Я додав нові рядки для читабельності:

function f($a,$o,$n){foreach($a as$v){if($n===$v||$s=f($v,$o,$n))return
'(car '.($s?:$o).')';$o="(cdr $o)";}}function l($s,$n){echo f(eval(strtr
("return$s;",'() ','[],')),l,$n);}

Ось незворушена версія:

function extractPhp($list, $output, $number)
{
    foreach ($list as $value)
    {
        if (is_int($value))
        {
            if ($value === $number) {
                return '(car '. $output .')';
            }
        }
        else
        {
            $subOutput = extractPhp($value, $output, $number);
            if ($subOutput !== null) {
                return '(car '. $subOutput .')';
            }
        }

        $output = '(cdr '. $output .')';
    }
}

function extractLisp($stringList, $number)
{
    $phpCode = 'return '. strtr($stringList, '() ','[],') .';';
    $list = eval($phpCode);
    echo extractPhp($list, 'l', $number);
}

1

Haskell, 190 188 байт

l "(4 5 (1 2 (7) 9 (10 8 14)))" 8

оцінює до

"(car (cdr (car (cdr (cdr (cdr (cdr (car (cdr (cdr l))))))))))"

l(h:s)n=c$i(show n)s""""
i n(h:s)t l|h>'/'&&h<':'=i n s(t++[h])l|t==n='a':l|h=='('=j$'a':l|h==')'=j$tail$dropWhile(=='d')l|0<1=j$'d':l where j=i n s""
c[]="l"
c(h:s)="(c"++h:"r "++c s++")"

1
Ви можете включити (і cв функції cв рядок:c(h:s)="(c"++h:...
Ними

Нічого собі, не думав, що це буде працювати з hчаром!
Leif Willerts

0

Лист звичайний, 168 155 байт

Якась дурна рекурсійна річ, її, можливо, можна було б трохи зменшити:

(lambda(l e)(labels((r(l o)(setf a(car l)d(cdr l)x`(car,o)y`(cdr,o))(if(equal e a)x(if(atom a)(r d y)(if(find e l)(r d y)(if d(r d y)(r a x)))))))(r l'l)))

Досить надруковано:

(lambda (l e)
  (labels ((r (l o)
             (setf a (car l) d (cdr l)
                   x `(car ,o) y `(cdr ,o))
             (if (equal e a) x
                 (if (atom a)
                     (r d y)
                     (if (find e l)
                         (r d y)
                         (if d
                             (r d y)
                             (r a x)))))))
    (r l 'l)))
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.