結果
| 問題 | No.122 傾向と対策:門松列(その3) | 
| コンテスト | |
| ユーザー |  古寺いろは | 
| 提出日時 | 2015-04-08 02:11:51 | 
| 言語 | C++11(廃止可能性あり) (gcc 13.3.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 40 ms / 5,000 ms | 
| コード長 | 2,560 bytes | 
| コンパイル時間 | 1,269 ms | 
| コンパイル使用メモリ | 161,672 KB | 
| 実行使用メモリ | 11,220 KB | 
| 最終ジャッジ日時 | 2024-07-04 10:59:23 | 
| 合計ジャッジ時間 | 2,030 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 8 | 
ソースコード
#include "bits/stdc++.h"
using namespace std;
#define MAX 20010
long long mod = (long long)1e9 + 7;
long long lowdp1[1 << 4][MAX];
long long highdp1[1 << 4][MAX];
long long lowsum1[MAX];
long long lowsum2[MAX];
long long lowdp2[1 << 3][MAX];
long long highdp2[1 << 3][MAX];
int main(){
	vector<int> low(7);
	vector<int> high(7);
	for (int i = 0; i < 7; i++)
	{
		cin >> low[i] >> high[i];
		low[i] += 3; high[i] += 3;
	}
	lowdp1[0][0] = lowdp2[0][0] = 1;
	highdp1[0][MAX - 1] = highdp2[0][MAX - 1] = 1;
	for (int j = 1; j < MAX; j++)
	{
		for (int i = 0; i < (1 << 4) - 1; i++)
		{
			if (lowdp1[i][j - 1] == 0) continue;
			lowdp1[i][j] += lowdp1[i][j - 1];
			lowdp1[i][j] %= mod;
			for (int k = 0; k < 4; k++)
			{
				if ((i >> k) % 2 == 1) continue;
				int t = k * 2;
				if (low[t] > j || high[t] < j) continue;
				lowdp1[i | (1 << k)][j] += lowdp1[i][j - 1];
				lowdp1[i | (1 << k)][j] %= mod;
			}
		}
		lowsum1[j] = lowsum1[j - 1] + lowdp1[(1 << 4) - 1][j];
		lowsum1[j] %= mod;
	}
	for (int j = 1; j < MAX; j++)
	{
		for (int i = 0; i < (1 << 3) - 1; i++)
		{
			if (lowdp2[i][j - 1] == 0) continue;
			lowdp2[i][j] += lowdp2[i][j - 1];
			lowdp2[i][j] %= mod;
			for (int k = 0; k < 3; k++)
			{
				if ((i >> k) % 2 == 1) continue;
				int t = k * 2 + 1;
				if (low[t] > j || high[t] < j) continue;
				lowdp2[i | (1 << k)][j] += lowdp2[i][j - 1];
				lowdp2[i | (1 << k)][j] %= mod;
			}
		}
		lowsum2[j] = lowsum2[j - 1] + lowdp2[(1 << 3) - 1][j];
		lowsum2[j] %= mod;
	}
	for (int j = MAX - 2; j >= 0; j--)
	{
		for (int i = 0; i < (1 << 4) - 1; i++)
		{
			if (highdp1[i][j + 1] == 0) continue;
			highdp1[i][j] += highdp1[i][j + 1];
			highdp1[i][j] %= mod;
			for (int k = 0; k < 4; k++)
			{
				if ((i >> k) % 2 == 1) continue;
				int t = k * 2;
				if (low[t] > j || high[t] < j) continue;
				highdp1[i | (1 << k)][j] += highdp1[i][j + 1];
				highdp1[i | (1 << k)][j] %= mod;
			}
		}
	}
	for (int j = MAX - 2; j >= 0; j--)
	{
		for (int i = 0; i < (1 << 3) - 1; i++)
		{
			if (highdp2[i][j + 1] == 0) continue;
			highdp2[i][j] += highdp2[i][j + 1];
			highdp2[i][j] %= mod;
			for (int k = 0; k < 3; k++)
			{
				if ((i >> k) % 2 == 1) continue;
				int t = k * 2 + 1;
				if (low[t] > j || high[t] < j) continue;
				highdp2[i | (1 << k)][j] += highdp2[i][j + 1];
				highdp2[i | (1 << k)][j] %= mod;
			}
		}
	}
	long long ans = 0;
	for (int i = 1; i < MAX; i++)
	{
		ans += lowsum1[i - 1] * highdp2[(1 << 3) - 1][i];
		ans += lowsum2[i - 1] * highdp1[(1 << 4) - 1][i];
		ans %= mod;
	}
	cout << ans << endl;
}
            
            
            
        