#482374 (C++11) No.1055 牛歩

• 問題: No.1055 牛歩
• ユーザー: leaf_1415
• 提出日時: 2020-05-15 23:09:28
• 言語: C++11 (gcc 11.4.0)
• 結果: WA
• 実行時間: -
• コード長: 1,813 bytes
• コンパイル時間: 882 ms
• コンパイル使用メモリ: 90,428 KB
• 実行使用メモリ: 68,444 KB
• 最終ジャッジ日時: 2023-10-19 16:50:31
• 合計ジャッジ時間: 6,056 ms
• ジャッジサーバーID （参考情報）: judge15 / judge14

入力	結果	実行時間; 実行使用メモリ
testcase_00	WA	-
testcase_01	WA	-
testcase_02	WA	-
testcase_03	WA	-
testcase_04	WA	-
testcase_05	WA	-
testcase_06	WA	-
testcase_07	WA	-
testcase_08	WA	-
testcase_09	WA	-
testcase_10	WA	-
testcase_11	WA	-
testcase_12	WA	-
testcase_13	WA	-
testcase_14	WA	-
testcase_15	WA	-
testcase_16	WA	-
testcase_17	WA	-
testcase_18	WA	-
testcase_19	WA	-
testcase_20	WA	-
testcase_21	WA	-
testcase_22	WA	-
testcase_23	WA	-
testcase_24	WA	-
testcase_25	WA	-
testcase_26	WA	-
testcase_27	WA	-
testcase_28	WA	-
testcase_29	WA	-
testcase_30	WA	-
testcase_31	WA	-
testcase_32	WA	-
testcase_33	WA	-
testcase_34	WA	-
testcase_35	WA	-
testcase_36	WA	-
testcase_37	WA	-
testcase_38	WA	-
testcase_39	WA	-
testcase_40	WA	-
testcase_41	WA	-
testcase_42	WA	-
testcase_43	WA	-
testcase_44	WA	-
testcase_45	WA	-
testcase_46	WA	-
testcase_47	WA	-
testcase_48	WA	-
testcase_49	WA	-
testcase_50	WA	-
testcase_51	WA	-
testcase_52	WA	-
testcase_53	WA	-
testcase_54	WA	-
testcase_55	WA	-
testcase_56	WA	-
testcase_57	WA	-
testcase_58	WA	-
testcase_59	WA	-
testcase_60	WA	-
testcase_61	WA	-
testcase_62	WA	-
testcase_63	WA	-
testcase_64	WA	-
testcase_65	WA	-
testcase_66	WA	-
testcase_67	WA	-
testcase_68	WA	-
testcase_69	WA	-
testcase_70	WA	-
testcase_71	WA	-
testcase_72	WA	-
testcase_73	WA	-
testcase_74	WA	-

ソースコード

#include <iostream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <cassert>
#include <vector>
#include <list>
#include <stack>
#include <queue>
#include <deque>
#include <map>
#include <set>
#include <bitset>
#include <string>
#include <algorithm>
#include <utility>
#define inf 1e18
#define rep(x, s, t) for(int (x) = (s); (x) < (t); (x)++)
#define Rep(x, s, t) for(int (x) = (s); (x) <= (t); (x)++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))

using namespace std;
typedef pair<int, int> P;

int n, m, Q;
int a[200005], b[200005];
vector<int> vec[200005];
set<P> S[1000005];

bool check(int p, int l, int r)
{
	auto it = S[p].lower_bound(P(l, l));
	if(it != S[p].end() && it->first <= r) return false;
	if(it == S[p].begin()) return true;
	it--;
	return it->second < l;
}

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	cin >> n >> m;
	for(int i = 1; i <= m; i++) cin >> a[i];
	cin >> Q;
	for(int i = 1; i <= Q; i++){
		cin >> b[i];
		vec[b[i]].push_back(i);
	}
	for(int i = 1; i <= m; i++) vec[i].push_back(Q+1);
	
	cout << "NO" << endl;
	
	for(int i = 1; i <= m; i++){
		int p = a[i];
		if(!check(p, 0, vec[i].front()-1)){
			cout << "NO" << endl;
			return 0;
		}
		S[p].insert(P(0, (int)vec[i].front()-1));
		for(int j = 0; j < (int)vec[i].size()-1; j++){
			int l = vec[i][j], r = vec[i][j+1]-1;
			//cout << i << " " << l << " " << r << endl;
			bool flag = false;
			for(int k = -1; k <= 1; k+=2){
				int np = p + k;
				if(np < 1 || np > n) continue;
				if(check(np, l, r)){
					p = np;
					flag = true;
					S[np].insert(P(l, r));
					//cout << "!" << np << " " << l << " " << r << endl;
					break;
				}
			}
			if(!flag){
				cout << "NO" << endl;
				return 0;
			}
		}
	}
	cout << "YES" << endl;
	
	return 0;
}