結果
| 問題 |
No.303 割れません
|
| ユーザー |
|
| 提出日時 | 2020-02-18 00:42:00 |
| 言語 | D (dmd 2.109.1) |
| 結果 |
MLE
|
| 実行時間 | - |
| コード長 | 7,422 bytes |
| コンパイル時間 | 736 ms |
| コンパイル使用メモリ | 107,436 KB |
| 実行使用メモリ | 812,800 KB |
| 最終ジャッジ日時 | 2024-06-22 05:14:51 |
| 合計ジャッジ時間 | 2,447 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | MLE * 1 -- * 13 |
コンパイルメッセージ
Main.d(221): Deprecation: function `Main.IO!(makeGlobal, makeGlobal).IO.put!("{}", int).put.putMain!(c, int).putMain` function requires a dual-context, which is deprecated
Main.d-mixin-209(209): instantiated from here: `putMain!(c, int)`
Main.d(10): instantiated from here: `put!("{}", int)`
Main.d(221): Deprecation: function `Main.IO!(makeGlobal, makeGlobal).IO.put!("{exit: true}", string).put.putMain!(c, string).putMain` function requires a dual-context, which is deprecated
Main.d-mixin-209(209): instantiated from here: `putMain!(c, string)`
Main.d(10): instantiated from here: `put!("{exit: true}", string)`
Main.d(221): Deprecation: function `Main.IO!(makeGlobal, makeGlobal).IO.put!("{}", GmpInt).put.putMain!(c, GmpInt).putMain` function requires a dual-context, which is deprecated
Main.d-mixin-209(209): instantiated from here: `putMain!(c, GmpInt)`
Main.d(13): instantiated from here: `put!("{}", GmpInt)`
ソースコード
// URL: https://yukicoder.me/problems/no/303
import std.algorithm, std.array, std.container, std.math, std.range, std.typecons, std.string;
version(unittest) {} else
void main()
{
int L; io.getV(L);
if (L == 2) { io.put(3); io.put!"{exit: true}"("INF"); }
io.put(L);
io.put(calc(L) - (L%2 == 0 ? calc(L/2)^^2 : 0));
}
auto calc(int n)
{
auto r = GmpInt(1), so = GmpInt(1), se = GmpInt(0);
foreach (i; 2..n+1) {
if (i%2 == 0)
se += (r = so);
else
so += (r = se+1);
}
return r;
}
struct GmpInt
{
import std.conv, std.stdio;
@property static init() { return GmpInt(0); }
@property value() { return toLong(); }
@property value(long v) { __gmpz_init_set_si(&z, v); }
alias value this;
this(long v) { __gmpz_init_set_si(&z, v); }
this(string s, int base = 10) { __gmpz_init_set_str(&z, s.toStringz, base); }
long toLong() { return __gmpz_get_si(&z); }
string toString(int base = 10)
{
import std.string;
auto sz = __gmpz_sizeinbase(&z, base);
auto buf = new char[](sz + 2);
__gmpz_get_str(buf.ptr, base, &z);
return buf.ptr.fromStringz.to!string;
}
size_t fprint(File f, int base = 10) { return __gmpz_out_str(f.getFP, base, &z); }
bool opEquals(GmpInt v) { return __gmpz_cmp(&z, &v.z) == 0; }
bool opEquals(long v) { return __gmpz_cmp_si(&z, v) == 0; }
int opCmp(GmpInt v) { return __gmpz_cmp(&z, &v.z); }
int opCmp(long v) { return __gmpz_cmp_si(&z, v); }
GmpInt opAssign(long v) { __gmpz_init_set_si(&z, v); return this; }
GmpInt opAssign(GmpInt v) { __gmpz_init_set(&z, &v.z); return this; }
GmpInt opBinary(string op)(GmpInt v) if (op=="+"||op=="-"||op=="*"||op=="/"||op=="%")
{
auto r = GmpInt.init;
static if (op == "+") __gmpz_add(&r.z, &z, &v.z);
else static if (op == "-") __gmpz_sub(&r.z, &z, &v.z);
else static if (op == "*") __gmpz_mul(&r.z, &z, &v.z);
else static if (op == "/") __gmpz_tdiv_q(&r.z, &z, &v.z);
else static if (op == "%") __gmpz_tdiv_r(&r.z, &z, &v.z);
return r;
}
ref GmpInt opOpAssign(string op)(GmpInt v) if (op=="+"||op=="-"||op=="*"||op=="/"||op=="%")
{
static if (op == "+") __gmpz_add(&z, &z, &v.z);
else static if (op == "-") __gmpz_sub(&z, &z, &v.z);
else static if (op == "*") __gmpz_mul(&z, &z, &v.z);
else static if (op == "/") __gmpz_tdiv_q(&z, &z, &v.z);
else static if (op == "%") __gmpz_tdiv_r(&z, &z, &v.z);
return this;
}
GmpInt opBinary(string op)(ulong v) if (op=="+"||op=="-"||op=="*"||op=="/"||op=="%"||op=="^^")
{
auto r = GmpInt.init;
static if (op == "+") __gmpz_add_ui(&r.z, &z, v);
else static if (op == "-") __gmpz_sub_ui(&r.z, &z, v);
else static if (op == "*") __gmpz_mul_ui(&r.z, &z, v);
else static if (op == "/") __gmpz_tdiv_q_ui(&r.z, &z, v);
else static if (op == "%") __gmpz_tdiv_r_ui(&r.z, &z, v);
else static if (op == "^^") __gmpz_pow_ui(&r.z, &z, v);
return r;
}
ref GmpInt opOpAssign(string op)(ulong v) if (op=="+"||op=="-"||op=="*"||op=="/"||op=="%"||op=="^^")
{
static if (op == "+") __gmpz_add_ui(&z, &z, v);
else static if (op == "-") __gmpz_sub_ui(&z, &z, v);
else static if (op == "*") __gmpz_mul_ui(&z, &z, v);
else static if (op == "/") __gmpz_tdiv_q_ui(&z, &z, v);
else static if (op == "%") __gmpz_tdiv_r_ui(&z, &z, v);
else static if (op == "^^") __gmpz_pow_ui(&z, &z, v);
return this;
}
GmpInt sqrt()
{
auto r = GmpInt.init;
__gmpz_sqrt(&r.z, &z);
return r;
}
size_t popcnt()
{
return __gmpz_popcount(&z);
}
bool probabPrime(int reps = 20)
{
return __gmpz_probab_prime_p(&z, reps) != 0;
}
private __mpz_struct z;
}
GmpInt extGcd(GmpInt a, GmpInt b, out GmpInt x, out GmpInt y)
{
auto g = a; x = 1; y = 0;
if (b) { g = extGcd(b, a%b, y, x); y -= a/b*x; }
return g;
}
extern(C) pragma(inline, false)
{
import core.stdc.stdio : FILE;
alias __mp_limb_t = ulong;
struct __mpz_struct
{
int _mp_alloc;
int _mp_size;
__mp_limb_t* _mp_d;
}
alias mpz_srcptr = const(__mpz_struct)*;
alias mpz_ptr = __mpz_struct*;
void __gmpz_init_set(mpz_ptr, mpz_srcptr);
void __gmpz_init_set_si(mpz_ptr, long);
int __gmpz_init_set_str(mpz_ptr, const char*, int);
long __gmpz_get_si(mpz_srcptr);
char *__gmpz_get_str(char*, int, mpz_srcptr);
size_t __gmpz_sizeinbase(mpz_srcptr, int);
size_t __gmpz_out_str(FILE*, int, mpz_srcptr);
int __gmpz_cmp(mpz_srcptr, mpz_srcptr);
int __gmpz_cmp_si(mpz_srcptr, long);
void __gmpz_add(mpz_ptr, mpz_srcptr, mpz_srcptr);
void __gmpz_add_ui(mpz_ptr, mpz_srcptr, ulong);
void __gmpz_sub(mpz_ptr, mpz_srcptr, mpz_srcptr);
void __gmpz_sub_ui(mpz_ptr, mpz_srcptr, ulong);
void __gmpz_mul(mpz_ptr, mpz_srcptr, mpz_srcptr);
void __gmpz_mul_ui(mpz_ptr, mpz_srcptr, ulong);
void __gmpz_tdiv_q(mpz_ptr, mpz_srcptr, mpz_srcptr);
void __gmpz_tdiv_r(mpz_ptr, mpz_srcptr, mpz_srcptr);
ulong __gmpz_tdiv_q_ui(mpz_ptr, mpz_srcptr, ulong);
ulong __gmpz_tdiv_r_ui(mpz_ptr, mpz_srcptr, ulong);
void __gmpz_pow_ui(mpz_ptr, mpz_srcptr, ulong);
void __gmpz_sqrt(mpz_ptr, mpz_srcptr);
size_t __gmpz_popcount(mpz_srcptr);
int __gmpz_probab_prime_p(mpz_ptr, int reps);
}
pragma(lib, "gmp");
auto io = IO!()();
import std.stdio;
struct IO(alias IN = stdin, alias OUT = stdout)
{
import std.conv, std.format, std.meta, std.traits, core.stdc.stdlib;
auto getV(T...)(ref T v) { foreach (ref w; v) get(w); }
auto getA(T)(size_t n, ref T v) if (hasAssignableElements!T)
{ v = new T(n); foreach (ref w; v) get(w); }
auto getC(T...)(size_t n, ref T v)
if (allSatisfy!(hasAssignableElements, T))
{
foreach (ref w; v) w = new typeof(w)(n);
foreach (i; 0..n) foreach (ref w; v) get(w[i]);
}
auto getM(T)(size_t r, size_t c, ref T v)
if (hasAssignableElements!T && hasAssignableElements!(ElementType!T))
{ v = new T(r); foreach (ref w; v) getA(c, w); }
template getS(E...)
{
auto getS(T)(size_t n, ref T v)
{ v = new T(n); foreach (ref w; v) foreach (e; E) mixin("get(w."~e~");"); }
}
const struct PutConf
{
bool newline = true, flush, exit;
string floatFormat = "%.10f", delimiter = " ";
}
auto put(alias conf = "{}", T...)(T v)
{ mixin("const PutConf c = "~conf~"; putMain!c(v);"); }
auto putB(alias conf = "{}", S, T)(bool c, S t, T f)
{ if (c) put!conf(t); else put!conf(f); }
auto putRaw(T...)(T v) { OUT.write(v); OUT.writeln; }
private
{
dchar[] buf;
auto sp = (new dchar[](0)).splitter;
void nextLine() { IN.readln(buf); sp = buf.splitter; }
auto get(T)(ref T v) { if (sp.empty) nextLine(); v = sp.front.to!T; sp.popFront(); }
auto putMain(PutConf c, T...)(T v)
{
foreach (i, w; v) {
putOne!c(w);
if (i < v.length-1) OUT.write(c.delimiter);
}
static if (c.newline) OUT.writeln;
static if (c.flush) OUT.flush();
static if (c.exit) exit(0);
}
auto putOne(PutConf c, T)(T v)
{
static if (isInputRange!T && !isSomeString!T) putRange!c(v);
else static if (isFloatingPoint!T) OUT.write(format(c.floatFormat, v));
else static if (hasMember!(T, "fprint")) v.fprint(OUT);
else OUT.write(v);
}
auto putRange(PutConf c, T)(T v)
{
auto w = v;
while (!w.empty) {
putOne!c(w.front); w.popFront();
if (!w.empty) OUT.write(c.delimiter);
}
}
}
}