結果

問題 No.1205 Eye Drops
コンテスト
ユーザー norioc
提出日時 2025-06-24 01:55:23
言語 Scheme
(Gauche-0.9.15)
結果
AC  
実行時間 549 ms / 2,000 ms
コード長 2,139 bytes
コンパイル時間 230 ms
コンパイル使用メモリ 8,228 KB
実行使用メモリ 39,872 KB
最終ジャッジ日時 2025-06-24 01:55:31
合計ジャッジ時間 8,165 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 37
権限があれば一括ダウンロードができます

ソースコード

diff # 

(use scheme.list)
(use util.match)
(use srfi.13) ; string
(use srfi.42) ; list-ec

(define input read-line)

(define (ii)
  (string->number (read-line)))

(define (li)
  (let ((s (read-line)))
    (map string->number (string-split s " "))))

(define (prn . args)
  (for-each (lambda (i x)
              (when (> i 0)
                (display " "))
              (display x))
            (iota (length args))
            args)
  (newline))

(define int string->number)

(define-method min ((xs <sequence>))
  (apply min xs))

(define (minmax . xs)
  (values->list (apply min&max xs)))
(define-method minmax ((xs <sequence>))
  (values->list (apply min&max xs)))

(define (sum xs) (apply + xs))

(define (divmod a b)
  (values->list (div-and-mod a b)))

(define (1+ n) (+ n 1))

(define pow
  (case-lambda
   ((a b) (expt a b))
   ((a b m) (expt-mod a b m))))

(define (yn b)
  (prn (if b "Yes" "No")))

(define-macro (input! bindings . body)
  (let loop ((bs (reverse bindings))
             (res '()))
    (if (null? bs)
        `(let*-values ,res
           ,@body)
        (cond
         ((symbol? (car bs))
          (loop (cdr bs)
                (cons `((,(car bs)) (values (ii)))
                      res)))
         ((list? (car bs))
          (loop (cdr bs)
                (cons `(,(car bs) (apply values (li)))
                      res)))
         (else
          'error)))))

#;
(define-macro (clet1 pat expr . body)
  `(receive ,pat (apply values ,expr)
     ,@body))

(define mlet1 match-let1)


(define (solve events)
  (let loop ((t 0)
             (p 0)
             (es events))
    (cond
     ((null? es) #t)
     (else
      (mlet1 ((T P) . es) es
        (if (>= (- T t) (abs (- P p)))
            (loop T P es)
            #f))))))


(use gauche.partcont)

(define (solve2 events)
  (reset
   (fold-left (^(a x)
                (mlet1 (t p T P) (append a x)
                  (if (>= (- T t) (abs (- P p)))
                      (list T P)
                      (shift _ #f))))
              '(0 0)
              events)
   #t))

(mlet1 (N M) (li)
  (let ((events (list-ec (: i M) (li))))
    (yn (solve2 events))))
0