結果
| 問題 |
No.1311 Reverse Permutation Index
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-12-08 00:04:31 |
| 言語 | D (dmd 2.109.1) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 1,500 ms |
| コード長 | 2,130 bytes |
| コンパイル時間 | 2,105 ms |
| コンパイル使用メモリ | 167,732 KB |
| 実行使用メモリ | 6,940 KB |
| 最終ジャッジ日時 | 2024-06-22 10:16:15 |
| 合計ジャッジ時間 | 2,542 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 6 |
ソースコード
import std.conv, std.functional, std.range, std.stdio, std.string;
import std.algorithm, std.array, std.bigint, std.bitmanip, std.complex, std.container, std.math, std.mathspecial, std.numeric, std.regex, std.typecons;
import core.bitop;
class EOFException : Throwable { this() { super("EOF"); } }
string[] tokens;
string readToken() { for (; tokens.empty; ) { if (stdin.eof) { throw new EOFException; } tokens = readln.split; } auto token = tokens.front; tokens.popFront; return token; }
int readInt() { return readToken.to!int; }
long readLong() { return readToken.to!long; }
real readReal() { return readToken.to!real; }
bool chmin(T)(ref T t, in T f) { if (t > f) { t = f; return true; } else { return false; } }
bool chmax(T)(ref T t, in T f) { if (t < f) { t = f; return true; } else { return false; } }
int binarySearch(alias pred, T)(in T[] as) { int lo = -1, hi = cast(int)(as.length); for (; lo + 1 < hi; ) { const mid = (lo + hi) >> 1; (unaryFun!pred(as[mid]) ? hi : lo) = mid; } return hi; }
int lowerBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a >= val)); }
int upperBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a > val)); }
void main() {
try {
for (; ; ) {
const K = BigInt(readToken());
const N = readInt();
auto fac = new BigInt[N + 1];
fac[0] = 1;
foreach (i; 1 .. N + 1) {
fac[i] = fac[i - 1] * i;
}
auto ps = new int[N];
BigInt k = K;
foreach_reverse (i; 0 .. N) {
ps[i] = cast(int)(k % (N - i));
k /= (N - i);
foreach (j; i + 1 .. N) {
if (ps[i] <= ps[j]) {
++ps[j];
}
}
}
auto qs = new int[N];
foreach (i; 0 .. N) {
qs[ps[i]] = i;
}
debug {
writeln("ps = ", ps);
writeln("qs = ", qs);
}
BigInt ans;
foreach (i; 0 .. N) {
int cnt;
foreach (j; i + 1 .. N) {
if (qs[i] > qs[j]) {
++cnt;
}
}
ans = ans * (N - i) + cnt;
}
writeln(ans);
}
} catch (EOFException e) {
}
}