結果
問題 | No.1359 [Zelkova 3rd Tune] 四人セゾン |
ユーザー |
|
提出日時 | 2021-01-22 21:42:34 |
言語 | Common Lisp (sbcl 2.5.0) |
結果 |
AC
|
実行時間 | 553 ms / 2,000 ms |
コード長 | 6,317 bytes |
コンパイル時間 | 7,882 ms |
コンパイル使用メモリ | 102,412 KB |
実行使用メモリ | 27,008 KB |
最終ジャッジ日時 | 2024-12-27 23:05:22 |
合計ジャッジ時間 | 38,694 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 75 |
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 27 DEC 2024 11:04:39 PM): ; wrote /home/judge/data/code/Main.fasl ; compilation finished in 0:00:07.413
ソースコード
(in-package :cl-user)(eval-when (:compile-toplevel :load-toplevel :execute)(defparameter *opt*#+swank '(optimize (speed 3) (safety 2))#-swank '(optimize (speed 3) (safety 0) (debug 0)))#+swank (ql:quickload '(:cl-debug-print :fiveam :cp/util) :silent t)#+swank (use-package :cp/util :cl-user)#-swank (set-dispatch-macro-character#\# #\> (lambda (s c p) (declare (ignore c p)) `(values ,(read s nil nil t))))#+sbcl (setq *random-state* (seed-random-state (nth-value 1 (get-time-of-day)))))#-swank (eval-when (:compile-toplevel)(setq *break-on-signals* '(and warning (not style-warning))))#+swank (set-dispatch-macro-character #\# #\> #'cl-debug-print:debug-print-reader)(macrolet ((def (b)`(progn (deftype ,(intern (format nil "UINT~A" b)) () '(unsigned-byte ,b))(deftype ,(intern (format nil "INT~A" b)) () '(signed-byte ,b))))(define-int-types (&rest bits) `(progn ,@(mapcar (lambda (b) `(def ,b)) bits))))(define-int-types 2 4 7 8 15 16 31 32 62 63 64))(defconstant +mod+ 1000000007)(defmacro dbg (&rest forms)(declare (ignorable forms))#+swank (if (= (length forms) 1)`(format *error-output* "~A => ~A~%" ',(car forms) ,(car forms))`(format *error-output* "~A => ~A~%" ',forms `(,,@forms))))(declaim (inline println))(defun println (obj &optional (stream *standard-output*))(let ((*read-default-float-format*(if (typep obj 'double-float) 'double-float *read-default-float-format*)))(prog1 (princ obj stream) (terpri stream))));; BEGIN_INSERTED_CONTENTS(defpackage :cp/mod-power(:use :cl)(:export #:mod-power))(in-package :cp/mod-power)(declaim (inline mod-power))(defun mod-power (base power modulus)"Returns BASE^POWER mod MODULUS. Note: 0^0 = 1.BASE := integerPOWER, MODULUS := non-negative fixnum"(declare ((integer 0 #.most-positive-fixnum) modulus power)(integer base))(let ((base (mod base modulus))(res (mod 1 modulus)))(declare ((integer 0 #.most-positive-fixnum) base res))(loop while (> power 0)when (oddp power)do (setq res (mod (* res base) modulus))do (setq base (mod (* base base) modulus)power (ash power -1)))res))(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))))))));; BEGIN_USE_PACKAGE(eval-when (:compile-toplevel :load-toplevel :execute)(use-package :cp/read-fixnum :cl-user))(eval-when (:compile-toplevel :load-toplevel :execute)(use-package :cp/mod-power :cl-user))(in-package :cl-user);;;;;; Body;;;(defun main ()(declare (inline sort sb-impl::stable-sort-list))(let* ((n (read))(k (read))(m (read))(ps (make-array n :element-type 'uint31 :initial-element 0))(es (make-array n :element-type 'uint31 :initial-element 0))(as (make-array n :element-type 'uint31 :initial-element 0))(hs (make-array n :element-type 'uint31 :initial-element 0)))(declare (uint31 n k m))(dotimes (i n)(setf (aref ps i) (read-fixnum)))(dotimes (i n)(setf (aref es i) (read-fixnum)))(dotimes (i n)(setf (aref as i) (read-fixnum)))(dotimes (i n)(setf (aref hs i) (read-fixnum)))(setq ps (sort ps #'<)es (sort es #'<)as (sort as #'<)hs (sort hs #'<))(dbg ps es as hs)(let ((scores (make-array n :element-type 'uint31 :initial-element 0)))(loop for i below nfor p across psfor e across esfor a across asfor h across hsdo (setf (aref scores i) (- (max p e a h) (min p e a h))))(setq scores (sort scores #'>))#>scores(let ((res 0))(loop for d across scoresdo (incf res (mod-power d k m)))(println (mod res m))))))#-swank (main);;;;;; Test;;;#+swank(progn(defparameter *lisp-file-pathname* (uiop:current-lisp-file-pathname))(setq *default-pathname-defaults* (uiop:pathname-directory-pathname *lisp-file-pathname*))(uiop:chdir *default-pathname-defaults*)(defparameter *dat-pathname* (uiop:merge-pathnames* "test.dat" *lisp-file-pathname*))(defparameter *problem-url* "https://yukicoder.me/problems/no/1359"))#+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)))#+(and sbcl (not swank))(eval-when (:compile-toplevel)(when sb-c::*undefined-warnings*(error "undefined warnings: ~{~A~^ ~}" sb-c::*undefined-warnings*)));; To run: (5am:run! :sample)#+swank(5am:test :sample(5am:is(equal "45"(run "2 2 1001 10001002 23 10041006 4" nil)))(5am:is(equal "625"(run "1 4 100005101520" nil)))(5am:is(equal "39598529"(run "9 20210122 12345678914 14 21 35 62 37 30 95 488 1 68 87 24 20 96 98 785 69 67 18 75 37 69 48 731 76 67 97 37 99 7 32 47" nil))))