結果

問題 No.1190 Points
ユーザー sansaquasansaqua
提出日時 2020-08-22 17:00:09
言語 Common Lisp
(sbcl 2.3.8)
結果
AC  
実行時間 104 ms / 2,000 ms
コード長 8,187 bytes
コンパイル時間 1,077 ms
コンパイル使用メモリ 42,504 KB
実行使用メモリ 47,068 KB
最終ジャッジ日時 2023-08-05 13:54:12
合計ジャッジ時間 4,354 ms
ジャッジサーバーID
(参考情報)
judge12 / judge13
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 10 ms
25,884 KB
testcase_01 AC 10 ms
23,852 KB
testcase_02 AC 10 ms
23,992 KB
testcase_03 AC 50 ms
36,816 KB
testcase_04 AC 42 ms
34,904 KB
testcase_05 AC 48 ms
34,908 KB
testcase_06 AC 64 ms
38,868 KB
testcase_07 AC 77 ms
42,580 KB
testcase_08 AC 80 ms
43,112 KB
testcase_09 AC 84 ms
46,540 KB
testcase_10 AC 87 ms
47,068 KB
testcase_11 AC 61 ms
40,908 KB
testcase_12 AC 85 ms
46,780 KB
testcase_13 AC 57 ms
34,776 KB
testcase_14 AC 18 ms
28,632 KB
testcase_15 AC 98 ms
41,136 KB
testcase_16 AC 16 ms
26,584 KB
testcase_17 AC 83 ms
41,104 KB
testcase_18 AC 56 ms
38,468 KB
testcase_19 AC 16 ms
28,768 KB
testcase_20 AC 63 ms
34,804 KB
testcase_21 AC 24 ms
28,820 KB
testcase_22 AC 26 ms
30,820 KB
testcase_23 AC 96 ms
40,936 KB
testcase_24 AC 104 ms
40,940 KB
testcase_25 AC 67 ms
36,904 KB
testcase_26 AC 42 ms
34,784 KB
testcase_27 AC 68 ms
36,960 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 05 AUG 2023 01:54:07 PM):
; processing (IN-PACKAGE :CL-USER)
; processing (SB-INT:DEFCONSTANT-EQX OPT ...)
; processing (SET-DISPATCH-MACRO-CHARACTER #\# ...)
; processing (DEFMACRO DEFINE-INT-TYPES ...)
; processing (DEFINE-INT-TYPES 2 ...)
; processing (DEFCONSTANT +MOD+ ...)
; processing (DEFMACRO DBG ...)
; processing (DECLAIM (INLINE PRINTLN))
; processing (DEFUN PRINTLN ...)
; processing (DEFPACKAGE :CP/READ-FIXNUM ...)
; processing (IN-PACKAGE :CP/READ-FIXNUM)
; processing (DECLAIM (FTYPE # ...))
; processing (DEFUN READ-FIXNUM ...)
; processing (DEFPACKAGE :CP/QUEUE ...)
; processing (IN-PACKAGE :CP/QUEUE)
; processing (DEFSTRUCT (QUEUE # ...) ...)
; processing (DECLAIM (INLINE ENQUEUE))
; processing (DEFUN ENQUEUE ...)
; processing (DECLAIM (INLINE DEQUEUE))
; processing (DEFUN DEQUEUE ...)
; processing (DECLAIM (INLINE QUEUE-EMPTY-P))
; processing (DEFUN QUEUE-EMPTY-P ...)
; processing (DECLAIM (INLINE QUEUE-PEEK))
; processing (DEFUN QUEUE-PEEK ...)
; processing (DECLAIM (INLINE ENQUEUE-FRONT))
; processing (DEFUN ENQUEUE-FRONT ...)
; processing (USE-PACKAGE :CP/QUEUE ...)
; processing (USE-PACKAGE :CP/READ-FIXNUM ...)
; processing (IN-PACKAGE :CL-USER)
; processing (DEFCONSTANT +INF+ ...)
; processing (DECLAIM (FTYPE # ...))
; processing (DEFUN MAKE-DISTS ...)
; processing (DEFUN MAIN ...)
; processing (MAIN)

; wrote /home/judge/data/code/Main.fasl
; compilation finished in 0:00:00.316

ソースコード

diff #

(in-package :cl-user)
(eval-when (:compile-toplevel :load-toplevel :execute)
  (sb-int:defconstant-eqx opt
    #+swank '(optimize (speed 3) (safety 2))
    #-swank '(optimize (speed 3) (safety 0) (debug 0))
    #'equal)
  #+swank (ql:quickload '(:cl-debug-print :fiveam) :silent t)
  #-swank (set-dispatch-macro-character
           #\# #\> (lambda (s c p) (declare (ignore c p)) `(values ,(read s nil nil t)))))
#+swank (cl-syntax:use-syntax cl-debug-print:debug-print-syntax)

(defmacro define-int-types (&rest bits)
  `(progn
     ,@(mapcar (lambda (b) `(deftype ,(intern (format nil "UINT~A" b)) () '(unsigned-byte ,b))) bits)
     ,@(mapcar (lambda (b) `(deftype ,(intern (format nil "INT~A" b)) () '(signed-byte ,b))) bits)))
(define-int-types 2 4 7 8 15 16 31 32 62 63 64)

(defconstant +mod+ 1000000007)

(defmacro dbg (&rest forms)
  #+swank (if (= (length forms) 1)
              `(format *error-output* "~A => ~A~%" ',(car forms) ,(car forms))
              `(format *error-output* "~A => ~A~%" ',forms `(,,@forms)))
  #-swank (declare (ignore forms)))

(declaim (inline println))
(defun println (obj &optional (stream *standard-output*))
  (let ((*read-default-float-format* 'double-float))
    (prog1 (princ obj stream) (terpri stream))))

;; BEGIN_INSERTED_CONTENTS
(defpackage :cp/read-fixnum
  (:use :cl)
  (:export #:read-fixnum))
(in-package :cp/read-fixnum)

(declaim (ftype (function * (values fixnum &optional)) read-fixnum))
(defun read-fixnum (&optional (in *standard-input*))
  "NOTE: cannot read -2^62"
  (macrolet ((%read-byte ()
               `(the (unsigned-byte 8)
                     #+swank (char-code (read-char in nil #\Nul))
                     #-swank (sb-impl::ansi-stream-read-byte in nil #.(char-code #\Nul) nil))))
    (let* ((minus nil)
           (result (loop (let ((byte (%read-byte)))
                           (cond ((<= 48 byte 57)
                                  (return (- byte 48)))
                                 ((zerop byte) ; #\Nul
                                  (error "Read EOF or #\Nul."))
                                 ((= byte #.(char-code #\-))
                                  (setq minus t)))))))
      (declare ((integer 0 #.most-positive-fixnum) result))
      (loop
        (let* ((byte (%read-byte)))
          (if (<= 48 byte 57)
              (setq result (+ (- byte 48)
                              (* 10 (the (integer 0 #.(floor most-positive-fixnum 10))
                                         result))))
              (return (if minus (- result) result))))))))

;;;
;;; Queue with singly linked list
;;;

(defpackage :cp/queue
  (:use :cl)
  (:export #:queue #:make-queue #:enqueue #:dequeue #:queue-empty-p #:queue-peek #:enqueue-front))
(in-package :cp/queue)

(defstruct (queue (:constructor make-queue
                      (&optional list &aux (tail (last list))))
                  (:copier nil)
                  (:predicate nil))
  (list nil :type list)
  (tail nil :type list))

(declaim (inline enqueue))
(defun enqueue (obj queue)
  "Pushes OBJ to the end of QUEUE."
  (symbol-macrolet ((list (queue-list queue))
                    (tail (queue-tail queue)))
    (if (null list)
        (setf tail (list obj)
              list tail)
        (setf (cdr tail) (list obj)
              tail (cdr tail))))
  queue)

(declaim (inline dequeue))
(defun dequeue (queue)
  "Removes and returns the element at the front of QUEUE. Returns NIL if QUEUE
is empty."
  (pop (queue-list queue)))

(declaim (inline queue-empty-p))
(defun queue-empty-p (queue)
  (null (queue-list queue)))

(declaim (inline queue-peek))
(defun queue-peek (queue)
  (car (queue-list queue)))

(declaim (inline enqueue-front))
(defun enqueue-front (obj queue)
  "Pushes OBJ to the front of QUEUE."
  (symbol-macrolet ((list (queue-list queue))
                    (tail (queue-tail queue)))
    (if (null list)
        (setf tail (list obj)
              list tail)
        (push obj list))
    queue))

;; BEGIN_USE_PACKAGE
(eval-when (:compile-toplevel :load-toplevel :execute)
  (use-package :cp/queue :cl-user))
(eval-when (:compile-toplevel :load-toplevel :execute)
  (use-package :cp/read-fixnum :cl-user))
(in-package :cl-user)

;;;
;;; Body
;;;

(defconstant +inf+ #x7fffffff)
(declaim (ftype (function * (values (simple-array uint31 (*)) &optional)) make-dists))
(defun make-dists (start graph)
  (declare ((simple-array list (*)) graph))
  (let* ((n (ash (length graph) -1))
         (dists (make-array (* n 2) :element-type 'uint31 :initial-element +inf+))
         (que (make-queue)))
    (setf (aref dists start) 0)
    (enqueue start que)
    (loop until (queue-empty-p que)
          for v = (dequeue que)
          do (dolist (next (aref graph v))
               (when (= +inf+ (aref dists next))
                 (setf (aref dists next) (+ (aref dists v) 1))
                 (enqueue next que))))
    dists))

(defun main ()
  (let* ((n (read))
         (m (read))
         (p (read))
         (s (- (read) 1))
         (g (- (read) 1))
         (graph (make-array (* 2 n) :element-type 'list :initial-element nil)))
    (declare (uint31 n m p s g))
    (dotimes (i m)
      (let ((u (- (read-fixnum) 1))
            (v (- (read-fixnum) 1)))
        (push u (aref graph (+ n v)))
        (push (+ n v) (aref graph u))
        (push v (aref graph (+ n u)))
        (push (+ n u) (aref graph v))))
    (let ((dists-s (make-dists s graph))
          (dists-g (make-dists g graph))
          res)
      #>dists-s
      #>dists-g
      (dotimes (v n)
        (let ((slen-even (aref dists-s v))
              (slen-odd (aref dists-s (+ v n)))
              (glen-even (aref dists-g v))
              (glen-odd (aref dists-g (+ v n))))
          (if (evenp p)
              (when (or (<= (+ slen-even glen-even) p)
                        (<= (+ slen-odd glen-odd) p))
                (push (+ v 1) res))
              (when (or (<= (+ slen-even glen-odd) p)
                        (<= (+ slen-odd glen-even) p))
                (push (+ v 1) res)))))
      (if res
          (write-string
           (with-output-to-string (*standard-output* nil :element-type 'base-char)
             (println (length res))
             (map () #'println (nreverse res))))
          (println -1)))))

#-swank (main)

;;;
;;; Test and benchmark
;;;

#+swank
(defun get-clipbrd ()
  (with-output-to-string (out)
    #+os-windows (run-program "powershell.exe" '("-Command" "Get-Clipboard") :output out :search t)
    #+os-unix (run-program "xsel" '("-b" "-o") :output out :search t)))

#+swank (defparameter *this-pathname* (uiop:current-lisp-file-pathname))
#+swank (defparameter *dat-pathname* (uiop:merge-pathnames* "test.dat" *this-pathname*))

#+swank
(defun run (&optional thing (out *standard-output*))
  "THING := null | string | symbol | pathname

null: run #'MAIN using the text on clipboard as input.
string: run #'MAIN using the string as input.
symbol: alias of FIVEAM:RUN!.
pathname: run #'MAIN using the text file as input."
  (let* ((*standard-output* (or out (make-string-output-stream)))
         (res (etypecase thing
                (null
                 (with-input-from-string (*standard-input* (delete #\Return (get-clipbrd)))
                   (main)))
                (string
                 (with-input-from-string (*standard-input* (delete #\Return thing))
                   (main)))
                (symbol (5am:run! thing))
                (pathname
                 (with-open-file (*standard-input* thing)
                   (main))))))
    (if out res (get-output-stream-string *standard-output*))))

#+swank
(defun gen-dat ()
  (uiop:with-output-file (out *dat-pathname* :if-exists :supersede)
    (format out "")))

#+swank
(defun bench (&optional (out (make-broadcast-stream)))
  (time (run *dat-pathname* out)))

;; To run: (5am:run! :sample)
#+swank
(it.bese.fiveam:test :sample
  (it.bese.fiveam:is
   (equal "4
1
2
3
4
"
          (run "6 5 3
1 4
1 2
1 3
1 4
2 5
3 6
" nil)))
  (it.bese.fiveam:is
   (equal "-1
"
          (run "4 3 4
1 4
1 2
2 3
3 4
" nil)))
  (it.bese.fiveam:is
   (equal "6
1
2
4
7
9
10
"
          (run "10 9 5
1 10
7 2
4 9
5 3
1 9
2 9
8 7
8 5
6 4
10 2
" nil))))
0