Submission #433080

#TimeUsernameProblemLanguageResultExecution timeMemory
433080Return_0Matching (CEOI11_mat)C++17
63 / 100
828 ms65540 KiB
#pragma GCC optimize("Ofast,unroll-loops")
// #pragma comment(linker, "/stack:200000000")
// #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,avx2,fma,tune=native")

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>

using namespace std;
using namespace __gnu_pbds;

typedef long long ll;
typedef long double ld;
typedef pair <ll, ll> pll;

#ifdef SINA
#define dbg(...) __f(#__VA_ARGS__, __VA_ARGS__)
template <typename Arg1> void __f(const char* name, Arg1&& arg1) { cout << name << " : " << arg1 << std::endl; }
template <typename Arg1, typename... Args> void __f (const char* names, Arg1&& arg1, Args&&... args) {
	const char* comma = strchr(names + 1, ',');cout.write(names, comma - names) << " : " << arg1<<" | ";__f(comma+1, args...); }
#define dbg2(x, j, n) cout<< #x << " : "; output((j), (n), x, 1); cout.flush();
#else
#define dbg(...) 0
#define dbg2(x, j, n) 0
#endif
#define SZ(x) ((ll)((x).size()))
#define File(s, t) freopen(s ".txt", "r", stdin); freopen(t ".txt", "w", stdout);
#define input(j, n, a) for (int _i = (j); _i < (n)+(j); _i++) cin>> a[_i];
#define output(j, n, a, t) for (int _i = (j); _i < (n)+(j); _i++) cout<< a[_i] << (((t) && _i != (n)+(j)-1)? ' ' : '\n');
#define kill(x) return cout<< (x) << endl, 0
#define cl const ll
#define fr first
#define sc second
#define lc (v << 1)
#define rc (lc | 1)
#define mid ((l + r) >> 1)
#define All(x) (x).begin(), (x).end()

cl inf = sizeof(ll) == 4 ? (1e9 + 10) : (3e18), mod = 1e9 + 7, MOD = 998244353;

template <class A,class B> ostream& operator << (ostream& out,const pair<A,B>&a){return out<<'('<<a.first<<", "<<a.second<<')';}
template <class A> ostream& operator << (ostream& out, const vector<A> &a) {
	out<< '['; for (int i = -1; ++i < int(a.size());) out<< a[i] << (i + 1 < int(a.size()) ? ", " : ""); return out<<']'; }
template <class T, typename _t = less <T> > using Tree = tree <T, null_type, _t, rb_tree_tag, tree_order_statistics_node_update>;

cl N = 1e6 + 7;

mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
cl mods[6] = {mod, MOD, 1100000123, mod + 2, 1610612741, 805306457};
ll md [2];

inline void decide () {
	md[0] = mods[rng() % 6];
	md[1] = mods[rng() % 6];
	if (md[0] == md[1]) md[1] = (md[0] != mods[4] ? mods[4] : mods[5]);
}

struct Hash {
	ll x, y;
	inline Hash (cl &_x = 0, cl &_y = 0) : x(_x), y(_y) {}
	inline ll operator ()(Hash a) const { return x * 31LL + y; }
	friend bool operator < (const Hash &a, const Hash &b) { return a.x != b.x ? a.x < b.x : a.y < b.y; }
	friend bool operator == (const Hash &a, const Hash &b) { return (a.x == b.x && a.y == b.y); }
	friend Hash operator * (const Hash &a, cl &b) { return Hash((a.x * b) % md[0], (a.y * b) % md[1]); }
	friend Hash operator + (const Hash &a, cl &b) { return Hash((a.x + b) % md[0], (a.y + b) % md[1]); }
	friend Hash operator + (const Hash &a, const Hash &b) { return Hash((a.x + b.x) % md[0], (a.y + b.y) % md[1]); }
	friend Hash operator * (const Hash &a, const Hash &b) { return Hash((a.x * b.x) % md[0], (a.y * b.y) % md[1]); }
	friend Hash operator - (const Hash &a, const Hash &b) { return Hash((a.x - b.x + md[0]) % md[0], (a.y - b.y + md[1]) % md[1]); }
} base (1e6 + 7, 1e6 + 11), pw [N], H, cur;

struct fenwick {
	ll fen [N];
	fenwick () { reset(); }
	inline void reset () { memset(fen, 0, sizeof fen); }
	inline void inc (ll i) { for (; i < N; i += i & -i) ++fen[i]; }
	inline void dec (ll i) { for (; i < N; i += i & -i) --fen[i]; }
	inline ll ask (ll i) { ll t = 0; for (; i; i -= i & -i) t += fen[i]; return t; }
} fen;

struct segtree {
	ll l, r, lz;
	Hash sum;
	segtree *lt, *rt;
	inline segtree (cl &L = 1, cl &R = N - 2) : l(L), r(R), lz(0) {}

	void build () {
		if (l == r) return;
		lt = new segtree (l, mid);
		rt = new segtree (mid + 1, r);
		lt->build();
		rt->build();
	}

	inline void push (cl &x) { sum = sum * pw[x]; lz += x; }
	inline void shift () { if (lz) { lt->push(lz); rt->push(lz); lz = 0; } }

	void modify (cl &pos, cl &x) {
		if (l == r) { sum = Hash(x, x); return; }
		shift();
		if (pos <= lt->r) lt->modify(pos, x);
		else rt->modify(pos, x);
		sum = lt->sum + rt->sum;
	}

	Hash ask (cl &ql, cl &qr) {
		if (r < ql || qr < l) return Hash();
		if (ql <= l && r <= qr) return sum;
		shift();
		return lt->ask(ql, qr) + rt->ask(ql, qr);
	}
} seg;

ll p [N], a [N], n, m;
vector <ll> cmprs, ans;

int main ()
{
	ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);

	decide();
	pw[0] = Hash(1, 1); for (ll i = 1; i < N; i++) pw[i] = pw[i - 1] * base;

	cin>> n >> m;
	for (ll i = 1, x; i <= n; i++) cin>> x, p[x] = i;
	for (ll i = 1; i <= n; i++) H = H * base + p[i];
	for (ll i = 1; i <= m; i++) cin>> a[i], cmprs.push_back(a[i]);
	sort(All(cmprs)); seg.r = m; seg.build();
	for (ll i = 1; i <= m; i++) {
		a[i] = upper_bound(All(cmprs), a[i]) - cmprs.begin();
		if (i > n) {
			cur = cur - (pw[n - 1] * fen.ask(a[i - n]));
			cur = cur - seg.ask(a[i - n] + 1, m);
			fen.dec(a[i - n]); seg.modify(a[i - n], 0);
		}
		seg.push(1);
		fen.inc(a[i]); seg.modify(a[i], 1);
		cur = cur * base + fen.ask(a[i]) + seg.ask(a[i] + 1, m);
		if (cur == H) ans.push_back(i - n + 1);
	}
	cout<< SZ(ans) << '\n'; output(0, SZ(ans), ans, 1);

	cerr<< "\nTime elapsed: " << 1000 * clock() / CLOCKS_PER_SEC << "ms\n";

	return 0;
}
/*
5 10
2 1 5 3 4
5 6 3 8 12 7 1 10 11 9

*/
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...