結果

問題 No.3054 ほぼ直角二等辺三角形
ユーザー Common LispCommon Lisp
提出日時 2024-11-04 23:39:02
言語 Common Lisp
(sbcl 2.3.8)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 950 bytes
コンパイル時間 354 ms
コンパイル使用メモリ 39,836 KB
実行使用メモリ 30,140 KB
最終ジャッジ日時 2024-11-04 23:39:05
合計ジャッジ時間 2,534 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 11 ms
28,108 KB
testcase_01 AC 11 ms
25,896 KB
testcase_02 AC 11 ms
28,108 KB
testcase_03 AC 10 ms
25,896 KB
testcase_04 AC 11 ms
25,768 KB
testcase_05 AC 11 ms
29,988 KB
testcase_06 AC 10 ms
26,024 KB
testcase_07 AC 10 ms
26,024 KB
testcase_08 AC 10 ms
26,028 KB
testcase_09 AC 11 ms
26,024 KB
testcase_10 AC 11 ms
30,140 KB
testcase_11 AC 11 ms
29,992 KB
testcase_12 AC 11 ms
28,108 KB
testcase_13 AC 10 ms
25,896 KB
testcase_14 AC 11 ms
25,896 KB
testcase_15 AC 10 ms
26,024 KB
testcase_16 AC 11 ms
26,024 KB
testcase_17 AC 11 ms
30,116 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 04 NOV 2024 11:39:02 PM):

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

ソースコード

diff # 

(defconstant +keta+ (make-array 19 :initial-contents '(1 10 100 1000 10000 100000 1000000 10000000 100000000 1000000000 10000000000 100000000000 1000000000000 10000000000000 100000000000000 1000000000000000 10000000000000000 100000000000000000 1000000000000000000)))

(defun gen-pell-solver ()
  (let ((x 7)
        (y 5))
    (labels ((next ()
               (let ((result (cons x y))
                     (xx x)
                     (yy y))
                 (setq x (+ (* 3 xx) (* 4 yy))
                       y (+ (* 2 xx) (* 3 yy)))
                 result)))
      (lambda () (next)))))

(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((x (1- (read)))
         (gen (gen-pell-solver)))
    (dotimes (_ 23)
      (let ((a+b.c (funcall gen)))
        (when (>= (cdr a+b.c) (aref +keta+ x))
              (format t "~d ~d ~d~%" (floor (car a+b.c) 2) (ceiling (car a+b.c) 2) (cdr a+b.c))
              (return-from main))))))

(main)
0