結果
| 問題 | No.1391 ±1 Abs Sum |
| ユーザー |
 sansaqua
|
| 提出日時 | 2021-02-12 22:50:19 |
| 言語 | Common Lisp (sbcl 2.5.0) |
| 結果 |
AC
|
| 実行時間 | 61 ms / 2,000 ms |
| コード長 | 6,195 bytes |
| コンパイル時間 | 1,261 ms |
| コンパイル使用メモリ | 51,968 KB |
| 実行使用メモリ | 26,240 KB |
| 最終ジャッジ日時 | 2024-07-19 23:53:38 |
| 合計ジャッジ時間 | 3,810 ms |
|
ジャッジサーバーID （参考情報） |
judge3 / judge5 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 34 |
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 19 JUL 2024 11:53:33 PM): ; wrote /home/judge/data/code/Main.fasl ; compilation finished in 0:00:00.126
ソースコード
(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 (dolist (f '(:popcnt :sse4)) (pushnew f sb-c:*backend-subfeatures*))#+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/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))))))))(defpackage :cp/modify-macro(:use :cl)(:export #:minf #:maxf #:mulf #:divf #:iorf #:xorf #:andf))(in-package :cp/modify-macro)(macrolet ((def (name fname)`(define-modify-macro ,name (new-value) ,fname)))(def minf min)(def maxf max)(def mulf *)(def divf /)(def iorf logior)(def xorf logxor)(def andf logand));; BEGIN_USE_PACKAGE(eval-when (:compile-toplevel :load-toplevel :execute)(use-package :cp/modify-macro :cl-user))(eval-when (:compile-toplevel :load-toplevel :execute)(use-package :cp/read-fixnum :cl-user))(in-package :cl-user);;;;;; Body;;;(defun main ()(let* ((n (read))(k (read))(as (make-array n :element-type 'fixnum :initial-element 0))(cum (make-array (+ n 1) :element-type 'fixnum :initial-element 0))(m1 0)(m2 k)(res most-positive-fixnum))(dotimes (i n)(let ((a (- (read-fixnum) 1)))(setf (aref as i) a)(setf (aref cum (+ i 1))(+ (aref cum i) a))))(if (zerop k)(dotimes (i n)(let ((x (aref as i))(val 0))(decf val (* i x))(incf val (* (- n i) x))(incf val (aref cum i))(decf val (- (aref cum n) (aref cum i)))(minf res val)))(dotimes (i n)(let ((x (aref as i)))(loop (when (= m2 n)(return))(if (< (abs (- (aref as m2) x))(abs (- (aref as m1) x)))(progn (incf m1)(incf m2))(return)))(let ((val 0))(decf val (* m1 x))(incf val (* (- i m1) x))(decf val (* (- m2 i) x))(incf val (* (- n m2) x))(incf val (aref cum m1))(decf val (- (aref cum i) (aref cum m1)))(incf val (- (aref cum m2) (aref cum i)))(decf val (- (aref cum n) (aref cum m2)))(dbg i x val)(minf res val)))))(println res)))#-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/1391"))#+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 "-27"(run "4 2-10 -9 2 6" nil)))(5am:is(equal "-25"(run "4 0-7 -2 2 4" nil)))(5am:is(equal "-683"(run "15 8-99 -99 -94 -90 -85 -52 -47 -30 -19 6 12 14 28 45 100" nil))))