Problem:
G: 恋のジュンレツRun!Run!Run! - Love Permutation, Run run run! -

物語

おおきなジュンレツ らんらんらんでぶー♪
Hello, 星空蘭にゃ！
好きなデータ構造は Starry Sky Tree にゃ！

蘭は最近物理学科に入学したんだけど、どうやらそこでもプログラミングをやらないといけないらしいんだ。
蘭、アルゴリズムやデータ構造の理論は好きなんだけど、実装はどうも苦手なんだよね……
だいたい蘭達は人間なのに、どうして機械の言葉を勉強しなくちゃいけないの！？

とはいえ、課題をやらないことには単位が出ないしやるしかないにゃ。
今回出た課題は順列の run とかいうのが関係しているらしいんだー。
この問題、明らかに作者がタイトル一発ネタで考えてるのが見え見えにゃ、ちょっと寒くないかにゃー。
とにかく、プログラミングが得意なあなたに手伝ってもらえたら、テンション上がるにゃー！
それじゃあ問題、行っくにゃ〜！

問題

長さKの数列aが1 \leq a_i \leq K (1 \leq i \leq K) かつa_i \neq a_j (1 \leq i < j \leq K) を満たすとき、aは長さKの順列であるという。

ここで順列のパターンマッチングを以下のように定義する。
テキスト順列qがパターン順列pにマッチするとは、pと相対順序が一致するような、pと同じ長さのqの (連続とは限らない) 部分列が存在することをいう。
より厳密には、qの長さをN、pの長さをMとしたとき、qがpにマッチするとは、ある条件を満たす添え字列 1 \leq i_1 < ... < i_M \leq Nが存在することである。その条件とは、p_x < p_y (1 \leq x<y \leq M) ならば、かつそのときに限りq_{i_x} < q_{i_y}となることである。
例えば、順列(3, 4, 2, 1, 5)は順列(2, 1, 3)にマッチする。なぜならば、添え字列(1, 4, 5)が上記の条件を満たすからである。

さらに、順列の run を定義する。
順列のrunとは、単調増加、あるいは単調減少な極大連続部分列である。すなわち、run は連続部分列 a_l, ..., , a_r (l<r) のうち、a_i < a_{i+1} (l \leq i < r) (a_i > a_{i+1} (l \leq i < r)) を満たし、かつこの区間を真に包含する連続区間からなる run が存在しないものを言う。
例えば、順列(3, 4, 2, 1, 5)は(3, 4), (4, 2, 1), (1, 5)という3つのrunを持つ。

長さNのテキスト順列qと長さMのパターン順列pが与えられる。
ここで、qは必ずちょうど3つだけの run を持つことが保証される。
qがpにマッチするかどうかを判定せよ。

入力形式

入力は以下の形式で与えられる。

N
q_1 ... q_N
M
p_1 ... p_M

入力は全て整数からなる。
1行目にはテキストとなる順列qの長さNが与えられる。
続く2行目はN個の整数が空白区切りで与えられ、i (1 \leq i \leq N) 番目の整数はqのi番目の要素q_iを表す。
3行目にはパターンとなる順列pの長さMが与えられる。
続く4行目はM個の整数が空白区切りで与えられ、j (1 \leq j \leq M) 番目の整数はpのj番目の要素p_jを表す。

制約

4 \leq N \leq 10^5

1 \leq M \leq N

q, pはそれぞれ長さN, Mの順列である。

qが持つ run の数はちょうど3。

出力形式

順列qが順列pにマッチするとき"Yes"、そうでなければ"No"と1行に出力せよ。

入力例1

5
3 4 2 1 5
3
1 2 3

出力例1

Yes

入力例2

5
3 5 4 1 2
3
1 2 3

出力例2

No

Solution in C++14 (judge verdict: Accepted)

// need
#include <iostream>
#include <algorithm>

// data structure
#include <bitset>
//#include <list>
#include <map>
#include <queue>
#include <set>
#include <stack>
#include <string>
#include <utility>
#include <vector>
//#include <array>
//#include <tuple>
#include <unordered_map>
#include <unordered_set>
#include <complex>
//#include <deque>
#include<valarray>

// stream
//#include <istream>
//#include <sstream>
//#include <ostream>

// etc
#include <cassert>
#include <functional>
#include <iomanip>
//#include <typeinfo>
#include <chrono>
#include <random>
#include <numeric>

#define INIT std::ios::sync_with_stdio(false);std::cin.tie(0);
#define VAR(type, ...)type __VA_ARGS__;MACRO_VAR_Scan(__VA_ARGS__);
template<typename T> void MACRO_VAR_Scan(T& t) { std::cin >> t; }
template<typename First, typename...Rest>void MACRO_VAR_Scan(First& first, Rest&...rest) { std::cin >> first; MACRO_VAR_Scan(rest...); }
#define VEC_ROW(type, n, ...)std::vector<type> __VA_ARGS__;MACRO_VEC_ROW_Init(n, __VA_ARGS__); for(int i=0; i<n; ++i){MACRO_VEC_ROW_Scan(i, __VA_ARGS__);}
template<typename T> void MACRO_VEC_ROW_Init(int n, T& t) { t.resize(n); }
template<typename First, typename...Rest>void MACRO_VEC_ROW_Init(int n, First& first, Rest&...rest) { first.resize(n); MACRO_VEC_ROW_Init(n, rest...); }
template<typename T> void MACRO_VEC_ROW_Scan(int p, T& t) { std::cin >> t[p]; }
template<typename First, typename...Rest>void MACRO_VEC_ROW_Scan(int p, First& first, Rest&...rest) { std::cin >> first[p]; MACRO_VEC_ROW_Scan(p, rest...); }
#define OUT(d) std::cout<<d;
#define FOUT(n, d) std::cout<<std::fixed<<std::setprecision(n)<<d;
#define SOUT(n, c, d) std::cout<<std::setw(n)<<std::setfill(c)<<d;
#define SP std::cout<<" ";
#define TAB std::cout<<"\t";
#define BR std::cout<<"\n";
#define ENDL std::cout<<std::endl;
#define FLUSH std::cout<<std::flush;
#define VEC(type, c, n) std::vector<type> c(n);for(auto& i:c)std::cin>>i;
#define MAT(type, c, m, n) std::vector<std::vector<type>> c(m, std::vector<type>(n));for(auto& r:c)for(auto& i:r)std::cin>>i;
#define ALL(a) (a).begin(),(a).end()
#define FOR(i, a, b) for(int i=(a);i<(b);++i)
#define RFOR(i, a, b) for(int i=(b)-1;i>=(a);--i)
#define REP(i, n) for(int i=0;i<int(n);++i)
#define RREP(i, n) for(int i=(n)-1;i>=0;--i)
#define FORLL(i, a, b) for(ll i=ll(a);i<ll(b);++i)
#define RFORLL(i, a, b) for(ll i=ll(b)-1;i>=ll(a);--i)
#define REPLL(i, n) for(ll i=0;i<ll(n);++i)
#define RREPLL(i, n) for(ll i=ll(n)-1;i>=0;--i)
#define PAIR std::pair<int, int>
#define PAIRLL std::pair<ll, ll>
#define IN(a, x, b) (a<=x && x<b)
#define SHOW(d) {std::cerr << #d << "\t:" << d << "\n";}
#define SHOWVECTOR(v) {std::cerr << #v << "\t:";for(const auto& xxx : v){std::cerr << xxx << " ";}std::cerr << "\n";}
#define SHOWVECTOR2(v) {std::cerr << #v << "\t:\n";for(const auto& xxx : v){for(const auto& yyy : xxx){std::cerr << yyy << " ";}std::cerr << "\n";}}
#define SHOWPAIR(p) {std::cerr << #p << "\t:(" << p.first << ",\t" << p.second << ")\n";}
#define SHOWPAIRVECTOR2(v) {std::cerr << #v << "\t:\n";for(const auto& xxx : v){for(const auto& yyy : xxx){std::cerr<<'('<<yyy.first<<", "<<yyy.second<<") ";}std::cerr << "\n";}}
#define SHOWPAIRVECTOR(v) {for(const auto& xxx:v){std::cerr<<'('<<xxx.first<<", "<<xxx.second<<") ";}std::cerr<<"\n";}
#define SHOWQUEUE(a) {std::queue<decltype(a.front())> tmp(a);std::cerr << #a << "\t:";for(int i=0; i<static_cast<int>(a.size()); ++i){std::cerr << tmp.front() << "\n";tmp.pop();}std::cerr << "\n";}
template<typename T> inline T CHMAX(T& a, const T b) { return a = (a < b) ? b : a; }
template<typename T> inline T CHMIN(T& a, const T b) { return a = (a > b) ? b : a; }
#define EXCEPTION(msg) throw std::string("Exception : " msg " [ in ") + __func__ + " : " + std::to_string(__LINE__) + " lines ]"
#define TRY(cond, msg) try {if (cond) EXCEPTION(msg);}catch (std::string s) {std::cerr << s << std::endl;}
void CHECKTIME(std::function<void()> f) { auto start = std::chrono::system_clock::now(); f(); auto end = std::chrono::system_clock::now(); auto res = std::chrono::duration_cast<std::chrono::nanoseconds>((end - start)).count(); std::cerr << "[Time:" << res << "ns  (" << res / (1.0e9) << "s)]\n"; }

//#define int ll
using ll = long long;
using ull = unsigned long long;
constexpr int INFINT = 1 << 30;                          // 1.07x10^ 9
constexpr int INFINT_LIM = (1LL << 31) - 1;              // 2.15x10^ 9
constexpr ll INFLL = 1LL << 60;                          // 1.15x10^18
constexpr ll INFLL_LIM = (1LL << 62) - 1 + (1LL << 62);  // 9.22x10^18
constexpr double EPS = 1e-7;
constexpr int MOD = 1000000007;
constexpr double PI = 3.141592653589793238462643383279;

signed main() {
	INIT;
	VAR(int, n);
	VEC(int, q, n);
	VAR(int, m);
	VEC(int, p, m);
	if (m == 1) {
		OUT("Yes")BR;
		return 0;
	}
	if (q[0] < q[1]) {
		int inc = 0;
		{
			std::vector<int> dp(n, INFINT);
			REP(i, n) {
				*std::lower_bound(ALL(dp), q[i]) = q[i];
			}
			inc = std::distance(dp.begin(), std::lower_bound(ALL(dp), INFINT));
		}
		int dec = 1;
		FOR(i, 1, n) {
			if (q[i - 1] > q[i]) ++dec;
		}
		int a = 1, b = 1;
		bool first = true;
		FOR(i, 1, n) {
			if (q[i - 1] < q[i]) {
				if (first) ++a;
				else ++b;
			}
			else {
				first = false;
			}
		}
		///
		int x = 1, y = 1, z = 1;
		first = true;
		FOR(i, 1, m) {
			if (p[i - 1] < p[i]) {
				if (first) ++x;
				else ++z;
			}
			else {
				if (z != 1) {
					OUT("No")BR;
					return 0;
				}
				first = false;
				++y;
			}
		}
		if (x != 1 && y == 1 && z == 1) { // up
			OUT(((inc >= x) ? "Yes" : "No"))BR;
		}
		else if (x == 1 && y != 1 && z == 1) { // down
			OUT(((dec >= y) ? "Yes" : "No"))BR;
		}
		else if (x != 1 && y != 1 && z == 1) { // up-down
			OUT(((a >= x && dec >= y) ? "Yes" : "No"))BR;
		}
		else if (x == 1 && y != 1 && z != 1) { // down-up
			OUT(((dec >= y && b >= z) ? "Yes" : "No"))BR;
		}
		else if (x != 1 && y != 1 && z != 1) { // up-down-up
			OUT(((a >= x && dec >= y && b >= z) ? "Yes" : "No"))BR;
		}
		else {
			assert(false);
		}
	}
	///////////////////////////////////////////////////////////////////////
	else {
		int min = INFINT;
		int dec = 0;
		{
			std::vector<int> dp(n, INFINT);
			REP(i, n) {
				*std::lower_bound(ALL(dp), -q[i]) = -q[i];
			}
			dec = std::distance(dp.begin(), std::lower_bound(ALL(dp), INFINT));
		}
		int inc = 1;
		FOR(i, 1, n) {
			if (q[i - 1] < q[i]) ++inc;
		}
		int a = 1, b = 1;
		bool first = true;
		FOR(i, 1, n) {
			if (q[i - 1] > q[i]) {
				if (first) ++a;
				else ++b;
			}
			else {
				first = false;
			}
		}
		///
		int x = 1, y = 1, z = 1;
		first = true;
		FOR(i, 1, m) {
			if (p[i - 1] > p[i]) {
				if (first) ++x;
				else ++z;
			}
			else {
				if (z != 1) {
					OUT("No")BR;
					return 0;
				}
				first = false;
				++y;
			}
		}
		if (x != 1 && y == 1 && z == 1) { // down
			OUT(((dec >= x) ? "Yes" : "No"))BR;
		}
		else if (x == 1 && y != 1 && z == 1) { // up
			OUT(((inc >= y) ? "Yes" : "No"))BR;
		}
		else if (x != 1 && y != 1 && z == 1) { // down-up
			OUT(((a >= x && inc >= y) ? "Yes" : "No"))BR;
		}
		else if (x == 1 && y != 1 && z != 1) { // up-down
			OUT(((inc >= y && b >= z) ? "Yes" : "No"))BR;
		}
		else if (x != 1 && y != 1 && z != 1) { // down-up-down
			OUT(((a >= x && inc >= y && b >= z) ? "Yes" : "No"))BR;
		}
		else {
			assert(false);
		}
	}
	return 0;
}