Clojure Определить, факториал какого числа равен передаваемому значению

@Mypowerfulbrain · Регистрация: 24.07.2013

Здравствуйте!
Чего-то такого написал:

Lisp

(defun foo (n)
       ((setq x 1)
        (setq foo-plus '(if (= x n) x (let (setq n (/ n (setq x (+ x 1)))) (funcall foo-plus)))
        (if (= x n) x (funcall foo-plus)))))

Но оно не работает, так как скорее всего funcall работает совсем не так, как мне думалось.
Помогите написать функцию, а лучше — поправить мою.

Добавлено через 7 минут
Короче, давно ничего не писал на лисп. Вообще бред написал.

@castorsky · 05.05.2014, 23:58

Lisp

> ;racket 
(define (factorial n)
  (let nested ((num n) (acc1 1) (acc2 1))
    (if (= num 0) acc2
        (nested (- num 1) (* acc1 acc2) (* acc2 num)))))
 
 
> (define (is-factorial n)
    (let nested ((start 0))
      (let ((num (factorial start)))
        (cond ((< num n) (nested (+ start 1)))
              ((= num n) start)
              (else #f)))))
> (is-factorial 720)
6
> (is-factorial 721)
#f
>

@smoke853 · 06.05.2014, 04:09

Clojure:

Lisp

(defn is-fact [n]
  (loop [n n acc 2]
    (cond (zero? n) 1
          (= n 1) (dec acc)
          (or (ratio? n) (neg? n)) "no factorial"
          :else (recur (/ n acc) (inc acc)))))
;; => #'user/is-fact
 
(map is-fact '(0 1 2 6 24 120 720))
;; => (1 1 2 3 4 5 6)
(map is-fact '(14 -120 55))
;; => ("no factorial" "no factorial" "no factorial")

transformator.t · 06.05.2014, 06:15

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

Lisp

(defun foo (n)
* * * *((setq x 1)
* * * * (setq foo-plus '(if (= x n) x (let (setq n (/ n (setq x (+ x 1)))) (funcall foo-plus)))
* * * * (if (= x n) x (funcall foo-plus)))))

пиши больше, у тебя хорошо получается...
как успехи с онтологиями?

@korvin_ · 06.05.2014, 07:05

Lisp

(defun is-fact (n)
  (loop
    :for i :upfrom 1
    :and f := 1 :then (* f i)
    :when (= f n) :do (return (1- i))
    :when (> f n) :do (return nil)))
 
(mapcar #'is-fact '(0 1 2 4 6 120 121))
; (NIL 0 2 NIL 3 5 NIL)

@_sg · 06.05.2014, 08:40

Lisp

(defun factorial-of (m &optional (n 1) &aux (f (factorial n)))
  (cond ((> f m) nil)
        ((= f m) n)
        (t (factorial-of m (1+ n)))))
 
(defun factorial (n)
  (if (zerop n) 1 (* n (factorial (- n 1)))))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

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

Lisp

(defun factorial-of (m &optional (n 1) &aux (f (factorial n)))
  (when (<= f m) (if (= f m) n (factorial-of m (1+ n)))))
 
(defun factorial (n)
  (if (zerop n) 1 (* n (factorial (- n 1)))))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

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

Lisp

(defun factorial-of (m &optional (n 2) &aux (z (/ m n)))
  (cond ((or (= m 2) (= m 1)) m)
        ((= (1+ n) z) z)
        ((< (1+ n) z) (factorial-of Z (1+ n)))
        (t nil)))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

@Mypowerfulbrain · 06.05.2014, 10:03 **[ТС]**

transformator.t, писать больше чтобы такие как Вы ржали с меня? Ну нет. Я буду писать больше просто назло, хоть и не получается=)
Да какие там успехи. С английским все плохо, а литературу на русском не найти.

Добавлено через 1 час 21 минуту
Всем спасибо. Больше всего приглянулось одно из решений _sg, а именно это:

Lisp

(defun factorial-of (m &optional (n 2) &aux (z (/ m n)))
  (cond ((or (= m 2) (= m 1)) m)
        ((= (1+ n) z) z)
        ((< (1+ n) z) (factorial-of Z (1+ n)))
        (t nil)))

Ибо коротко, одной функцией, достаточно стандартно.

Остальным ответам рад не менее, но clojure и racket для меня еще темнее чем common lisp. Аля-паскаль тоже оценил, но как-то не для эстетики=)

transformator.t · 06.05.2014, 11:21

Mypowerfulbrain, где ты видел смех?
я тебя мотивирую и у меня хорошо получается ->

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

Я буду писать больше

я такой же как и ты, пишу так же, так что не парься)

@Catstail · 06.05.2014, 11:56

Или так:

Lisp

(defun fact-what (n)
  (iter (for i upfrom 1) (let ((c (multiplying i))) 
         (if (= c n) (return i) (when (> c n) (return nil))))))
 
==> fact-what
 
(fact-what 243290200817664000)
 
==> NIL
 
(fact-what 2432902008176640000)
 
==> 20

@_sg · 06.05.2014, 12:34

Lisp

(defun factorial-of (m &optional (n 2) &aux (z (/ m n)))
  (cond ((= m 1) m)
        ((= z 1) n)
        ((< n z) (factorial-of Z (1+ n)))
        (t nil)))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

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

Lisp

(defun factorial-of (m &optional (n 2) &aux (z (/ m n)))
  (cond ((= m 1) m)
        ((= z 1) n)
        ((< n z) (factorial-of Z (1+ n)))
        (nil)))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

Добавлено через 39 секунд

Lisp

(defun factorial-of (m &optional (n 2) &aux (z (/ m n)))
  (cond ((= m 1) m)
        ((= z 1) n)
        ((< n z) (factorial-of Z (1+ n)))))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

@Catstail · 06.05.2014, 12:37

Деление - более медленная операция, чем умножение:

Lisp

(defun fact-what (n &optional (p 1) (c 1))
  (cond ((= p n) c)
        ((> p n) nil)
        (t (fact-what n (* p (+ c 1)) (+ c 1)))))

@_sg · 06.05.2014, 13:04

Lisp

(defun factorial-of (m &optional (z 1) (n 1))
  (when (<= z m) (if (= z m) n (factorial-of m (* z (1+ n)) (1+ n)))))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

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

Lisp

(defun factorial-of (m &optional (z 1) (n 1))
  (unless (> z m) (if (= z m) n (factorial-of m (* z (1+ n)) (1+ n)))))
 
> (factorial-of 479001600)
12
> (factorial-of 479001601)
NIL

@korvin_ · 06.05.2014, 13:28

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

Аля-паскаль

Где ты это увидел?

@Catstail · 06.05.2014, 14:31

Вот не Паскаль, а скорее Бэйсик. Но работает:

Lisp

(defun fact-what (n)
  (prog (i f)
    (setq i 1 f 1)
 Beg
    (when (= f n) (return i))
    (when (> f n) (return nil))
    (setq i (+ i 1))
    (setq f (* f i))
    (go Beg)))
 
==> fact-what
 
(factorial-of 479001600)
 
==> 12

@smoke853 · 06.05.2014, 15:13

Смотрю я на свое решение и думаю, что с "(zero? n) 1" - я погорячился

Исправленный вариант:

Lisp

(defn is-fact [n]
  (loop [n n acc 2]
    (if (= n 1)
      (dec acc)
      (when-not (or (zero? n) (ratio? n))
        (recur (/ n acc) (inc acc))))))
;; => #'user/is-fact
 
(map is-fact '(0 1 2 6 24 120 720 15 -120))
;; => (nil 1 2 3 4 5 6 nil nil)

@castorsky · 06.05.2014, 15:34

Lisp

;racket
(define (fact-of n)
  (do ((i 1 (+ i 1)) (acc 1 (* acc i)) (res #f (= n acc)))
    ((> acc n) (if (eq? res #t) (- i 2) #f))))

@Mypowerfulbrain · 06.05.2014, 15:56 **[ТС]**

korvin_, интересно то, что именно вы отреагировали. Я про это решение:

Lisp

(defun is-fact (n)
  (loop
    :for i :upfrom 1
    :and f := 1 :then (* f i)
    :when (= f n) :do (return (1- i))
    :when (> f n) :do (return nil)))
 
(mapcar #'is-fact '(0 1 2 4 6 120 121))
; (NIL 0 2 NIL 3 5 NIL)

Сейчас вы мне расскажите почему Я не прав, а скорее всего это так.

@korvin_ · 06.05.2014, 16:35

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

Сейчас вы мне расскажите почему Я не прав, а скорее всего это так.

Да, ты не прав. Это вполне «Lisp-way» — написание мини-eDSL под задачу. Разве что скобочек маловато, но, например, iter из нестандартного пакета iterate более лисповый.

@korvin_ 3251 / 2314 / 421 Регистрация: 28.04.2012 Сообщений: 7,708
	06.05.2014, 16:35	18
	Сообщение от Mypowerfulbrain Сейчас вы мне расскажите почему Я не прав, а скорее всего это так. Да, ты не прав. Это вполне «Lisp-way» — написание мини-eDSL под задачу. Разве что скобочек маловато, но, например, iter из нестандартного пакета iterate более лисповый. 1

transformator.t defun 602 / 616 / 44 Регистрация: 30.04.2011 Сообщений: 702
	06.05.2014, 11:21	8
	Mypowerfulbrain, где ты видел смех? я тебя мотивирую и у меня хорошо получается -> Сообщение от Mypowerfulbrain Я буду писать больше я такой же как и ты, пишу так же, так что не парься) 1

@korvin_ 3251 / 2314 / 421 Регистрация: 28.04.2012 Сообщений: 7,708
	06.05.2014, 13:28	13
	Сообщение от Mypowerfulbrain Аля-паскаль Где ты это увидел? 0