結果

問題 No.1083 余りの余り
コンテスト
ユーザー tttmmmyyyy
提出日時 2026-10-27 21:58:53
言語 Fix
(1.6.0 + cp-library + minilib)
コンパイル:
fix_c _filename_
実行:
./a.out
結果
AC  
実行時間 41 ms / 3,000 ms
+ 469µs
コード長 522 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 14,444 ms
コンパイル使用メモリ 669,192 KB
実行使用メモリ 9,900 KB
最終ジャッジ日時 2026-10-27 21:59:18
合計ジャッジ時間 18,187 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます
コンパイルメッセージ
make: 'lib.o' は更新済みです.

ソースコード

diff #
raw source code 

module Main;

import CPLib.Bits::{bit_check, bit_set};
import CPLib.IO;

main : IO () = (
    let n = *read_i;
    let k = *read_i;
    let as = *read_is(n);
    let as = as.sort;
    let ans = range(0, 1.shift_left(n)).map(|flag|
        let flag = flag.bit_set(0);
        let x = range(0, n).fold(k, |i, x|
            if !flag.bit_check(n-i-1) { x };
            let a = as.@(n-i-1);
            let x = x % a;
            x
        );
        x
    ).fold(I64::minimum, max);
    ans.to_string.println;;
    pure()
);
0