結果
問題 | No.1242 高橋君とすごろく |
ユーザー |
![]() |
提出日時 | 2020-10-02 21:50:01 |
言語 | D (dmd 2.109.1) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 2,684 bytes |
コンパイル時間 | 1,965 ms |
コンパイル使用メモリ | 177,792 KB |
実行使用メモリ | 6,944 KB |
最終ジャッジ日時 | 2024-06-22 09:15:23 |
合計ジャッジ時間 | 2,901 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 24 |
ソースコード
import std.stdio, std.conv, std.functional, std.string;import std.algorithm, std.array, std.container, std.range, std.typecons;import std.bigint, std.numeric, std.math, std.random;import core.bitop;string FMT_F = "%.10f";static File _f;void file_io(string fn) { _f = File(fn, "r"); }static string[] s_rd;T _RD(T = long)() { while(!s_rd.length) s_rd = readln.chomp.split; string res = s_rd[0]; s_rd.popFront; return res.to!T; }T _RD(T = long)(File f) { while(!s_rd.length) s_rd = f.readln.chomp.split; string res = s_rd[0]; s_rd.popFront; return res.to!T; }T[] _RDA(T = long)(T fix = 0) { auto r = readln.chomp.split.to!(T[]); r[] += fix; return r; }T[] _RDA(T = long)(File f, T fix = 0) { auto r = f.readln.chomp.split.to!(T[]); r[] += fix; return r; }T RD(T = long)() { if (_f.isOpen) return _RD!T(_f); else return _RD!T; }T[] RDA(T = long)(T fix = 0) { if (_f.isOpen) return _RDA!T(_f, fix); else return _RDA!T(fix); }size_t[] MAKE_IDX(alias less = "a < b", Range)(Range range) { auto idx = new size_t[](range.length); makeIndex!(less)(range, idx); return idx;}size_t MIN_POS(alias less = "a < b", Range)(Range range) { auto r = minPos!(less)(range); return range.length - r.length; }void chmin(T)(ref T x, T y) { x = min(x, y); } void chmax(T)(ref T x, T y) { x = max(x, y); }bool inside(T)(T x, T b, T e) { return x >= b && x < e; }T lcm(T)(T x, T y) { return x * (y / gcd(x, y)); }//long mod = 10^^9 + 7;long mod = 998_244_353;//long mod = 1_000_003;void moda(T)(ref T x, T y) { x = (x + y) % mod; }void mods(T)(ref T x, T y) { x = ((x + mod) - (y % mod)) % mod; }void modm(T)(ref T x, T y) { x = (x * y) % mod; }void modpow(T)(ref T x, T y) { if (!y) { x = 1; return; } auto t = x; x.modpow(y>>1); x.modm(x); if (y&1) x.modm(t); }void modd(T)(ref T x, T y) { y.modpow(mod - 2); x.modm(y); }void main(){auto N = RD;auto K = RD;auto A = RDA;auto heap1 = new RedBlackTree!(long, "a > b");BinaryHeap!(Array!long) heap2;foreach (i; 0..K)heap1.insert(A[i]);bool ans = true;while (!heap1.empty){auto x = heap1.front; heap1.removeFront;if (x == 1)ans = false;else if (x < 1) break;while (!heap2.empty){auto y = heap2.front;if (y-x <= 5) break;heap2.popFront;}if (heap2.length == 5){ans = false;break;}auto tmp = heap2.dup;while (!heap2.empty){auto y = heap2.front; heap2.popFront;debug writeln("x:", x, " y:", y);auto d = y-x;if (d == 5)heap1.insert(x-1);else if (d == 3)heap1.insert(x-2);else if (d == 1)heap1.insert(x-3);}heap2 = tmp;heap2.insert(x);}writeln(ans ? "Yes" : "No");stdout.flush;debug readln;}