結果
| 問題 |
No.696 square1001 and Permutation 5
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2018-06-09 04:24:03 |
| 言語 | Java (openjdk 23) |
| 結果 |
AC
|
| 実行時間 | 1,853 ms / 10,000 ms |
| コード長 | 3,361 bytes |
| コンパイル時間 | 2,340 ms |
| コンパイル使用メモリ | 78,960 KB |
| 実行使用メモリ | 66,384 KB |
| 最終ジャッジ日時 | 2024-06-30 12:24:16 |
| 合計ジャッジ時間 | 11,868 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 12 |
ソースコード
import java.io.IOException;
import java.io.InputStream;
import java.math.BigInteger;
import java.util.Arrays;
import java.util.NoSuchElementException;
import java.util.Scanner;
public class Main {
public static void main(String[] args) {
new Main().run();
}
void run() {
FastScanner sc = new FastScanner();
int n = sc.nextInt();
int[] p = new int[n];
for (int i = 0; i < n; ++i) {
p[i] = sc.nextInt();
}
BIT bit = new BIT(n + 1);
for (int i = 1; i <= n; ++i) {
bit.add(i, 1);
}
coe = new long[n];
for (int i = 0; i < n; ++i) {
int v = bit.sum(1, p[i]);
coe[n - 1 - i] = v;
bit.add(p[i], -1);
}
System.out.println(dfs(0, n)[1].add(BigInteger.ONE));
}
// [l,r)
BigInteger[] dfs(int l, int r) {
if (r - l == 1) {
return new BigInteger[] { BigInteger.valueOf(l == 0 ? 1 : l),
BigInteger.valueOf(l).multiply(BigInteger.valueOf(coe[l])) };
}
BigInteger[] lb = dfs(l, (l + r) / 2);
BigInteger[] rb = dfs((l + r) / 2, r);
return new BigInteger[] { lb[0].multiply(rb[0]), lb[1].add(rb[1].multiply(lb[0])) };
}
long[] coe;
class BIT {
int n;
int[] a;
public BIT(int n_) {
n = n_;
a = new int[n + 1];
}
void add(int k, int add) {
++k;
while (k < a.length) {
a[k] += add;
k += k & -k;
}
}
int sum(int k) {
++k;
int ret = 0;
while (k > 0) {
ret += a[k];
k -= k & -k;
}
return ret;
}
int sum(int a, int b) {
return sum(b - 1) - sum(a - 1);
}
}
class FastScanner {
private final InputStream in = System.in;
private final byte[] buffer = new byte[1024];
private int ptr = 0;
private int buflen = 0;
private boolean hasNextByte() {
if (ptr < buflen) {
return true;
} else {
ptr = 0;
try {
buflen = in.read(buffer);
} catch (IOException e) {
e.printStackTrace();
}
if (buflen <= 0) {
return false;
}
}
return true;
}
private int readByte() {
if (hasNextByte())
return buffer[ptr++];
else
return -1;
}
private boolean isPrintableChar(int c) {
return 33 <= c && c <= 126;
}
public boolean hasNext() {
while (hasNextByte() && !isPrintableChar(buffer[ptr]))
ptr++;
return hasNextByte();
}
public String next() {
if (!hasNext())
throw new NoSuchElementException();
StringBuilder sb = new StringBuilder();
int b = readByte();
while (isPrintableChar(b)) {
sb.appendCodePoint(b);
b = readByte();
}
return sb.toString();
}
public long nextLong() {
if (!hasNext())
throw new NoSuchElementException();
long n = 0;
boolean minus = false;
int b = readByte();
if (b == '-') {
minus = true;
b = readByte();
}
if (b < '0' || '9' < b) {
throw new NumberFormatException();
}
while (true) {
if ('0' <= b && b <= '9') {
n *= 10;
n += b - '0';
} else if (b == -1 || !isPrintableChar(b)) {
return minus ? -n : n;
} else {
throw new NumberFormatException();
}
b = readByte();
}
}
public int nextInt() {
long nl = nextLong();
if (nl < Integer.MIN_VALUE || nl > Integer.MAX_VALUE)
throw new NumberFormatException();
return (int) nl;
}
public double nextDouble() {
return Double.parseDouble(next());
}
}
void tr(Object... objects) {
System.out.println(Arrays.deepToString(objects));
}
}