結果
| 問題 | No.696 square1001 and Permutation 5 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2018-06-09 04:21:03 | 
| 言語 | Java (openjdk 23) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 2,544 ms / 10,000 ms | 
| コード長 | 1,470 bytes | 
| コンパイル時間 | 2,262 ms | 
| コンパイル使用メモリ | 78,128 KB | 
| 実行使用メモリ | 78,004 KB | 
| 最終ジャッジ日時 | 2024-06-30 12:24:36 | 
| 合計ジャッジ時間 | 16,545 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 12 | 
ソースコード
import java.math.BigInteger;
import java.util.Arrays;
import java.util.Scanner;
public class Main {
	public static void main(String[] args) {
		new Main().run();
	}
	void run() {
		Scanner sc = new Scanner(System.in);
		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);
		}
	}
	void tr(Object... objects) {
		System.out.println(Arrays.deepToString(objects));
	}
}
            
            
            
        