結果
| 問題 |
No.2533 A⇒B問題
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2024-05-16 10:36:26 |
| 言語 | Common Lisp (sbcl 2.5.0) |
| 結果 |
AC
|
| 実行時間 | 11 ms / 2,000 ms |
| コード長 | 409 bytes |
| コンパイル時間 | 224 ms |
| コンパイル使用メモリ | 32,704 KB |
| 実行使用メモリ | 32,020 KB |
| 最終ジャッジ日時 | 2024-12-20 10:49:22 |
| 合計ジャッジ時間 | 1,563 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 24 |
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 20 DEC 2024 10:49:20 AM): ; wrote /home/judge/data/code/Main.fasl ; compilation finished in 0:00:00.005
ソースコード
(defun check-binary-relation (a b)
(labels ((check-bits (a b power)
(if (< a power)
(format t "Yes~%")
(if (> (logand a power) (logand b power))
(format t "No~%")
(check-bits a b (* power 2))))))
(check-bits a b 1)))
(defun main ()
(let ((a (read))
(b (read)))
(check-binary-relation a b)))
(main)