DouKaku? 3135 koguro: 手抜きをしてパラメータ(x1, x2, ...(与えた条件を満たす候補)

Comment detail

This comment is reply for 3134 koguro: すみません、使い方を書き忘れましたが、こ...(与えた条件を満たす候補). Go to thread root.

手抜きをしてパラメータ(x1, x2, x3, x4)の個数が4個限定だったのを修正しました。

(use srfi-1)
(use util.match)
(use util.combinations)

(define (solve expr)
  (define (op-apply expr stack)
    (match expr
     (()
      (car stack))
     (('not rest ...)
      (op-apply rest (cons (not (car stack)) (cdr stack))))
     ((op 'not rest ...)
      (op-apply (cons op rest) (list* (car stack) (not (cadr stack)) (cddr stack))))
     (('and rest ...)
      (op-apply rest (cons (and (car stack) (cadr stack)) (cddr stack))))
     (('or rest ...)
      (op-apply rest (cons (or (car stack) (cadr stack)) (cddr stack))))))
  (filter (cut op-apply expr <>)
          (cartesian-product (make-list
                              (+ (length (filter (cut memq <> '(and or)) expr)) 1)
                              '(#t #f)))))

DouKaku?

Comment detail

Index

Feed

Other

Link

Pathtraq