Leimasin

input/code.cpp: In function 'void hsh(std::__cxx11::string)':
input/code.cpp:3:37: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
 #define FOR(i, a, b) for (int i=a; i<(b); i++)
                                     ^
input/code.cpp:65:2: note: in expansion of macro 'FOR'
  FOR(i,1,x.size()) {
  ^~~

#include <bits/stdc++.h>
using namespace std;
#define FOR(i, a, b) for (int i=a; i<(b); i++)
#define IO ios_base::sync_with_stdio(0); cin.tie(0)
#define ff first
#define ss second
#define pb push_back
#define INF 2147483647
#define LINF (1LL<<61LL)
typedef long long ll;
typedef long double ld;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

#define N 1003
ll A = 1e7+7, B = 1e8+13;
ll pA[N];
ll H[N], HASH[N];
ll pre[N], suff[N];
int n, m;
vector<int> pres;
vector<int> full;

using namespace std::chrono;
milliseconds ms = duration_cast<milliseconds>(
	system_clock::now().time_since_epoch()
);

inline bool pr(int n) {
	int i = 2;
	while (i*i<=n) {
		if (n%i++==0) return false;
	}
	return true;
}

inline int up(int n) {
	while (!pr(n)) n++;
	return n;
}

void shake() {
	srand(ms.count());
	A = up(rand());
	B = up(rand());
}

// 0-indexed
ll rq(int a, int b) {
	if (a == 0) return H[b];
	ll h = (H[b]-H[a-1]*pA[b-a+1])%B;
	if (h<0) h+=B;
	return h;
}

ll ran(int a, int b) {
	if (a==0) return HASH[b];
	ll h = (HASH[b]-HASH[a-1]*pA[b-a+1])%B;
	if (h<0) h+=B;
	return h;
}

void hsh(string x) {
	HASH[0] = x[0];
	FOR(i,1,x.size()) {
		HASH[i] = (HASH[i-1]*A+x[i])%B;
	}
	FOR(l,0,m) {
		pre[l+1] = ran(0,l);
		suff[l+1] = ran(m-1-l,m-1);
	}
}

ll pure(const string& x) {
	ll h = 0;
	for (char c:x) h=(h*A+(ll)c)%B;
	return h;
}

int main() {
	IO;
	string s, L;
	cin>>s; cin>>L;
	n = s.size();
	m = L.size();
	
	shake();
	pA[0] = 1;
	H[0] = s[0];
	FOR(i,1,n+1) {
		H[i] = (H[i-1]*A+s[i])%B;
		pA[i] = pA[i-1]*A%B;
	}
	
	hsh(L);
	int i = 0;
	for (;i<n;) {
		// Find block length!
		bool found = false;
		for (int l=m; l>0; l--) {
			ll slice = rq(i,i+l-1);
			//cout<<"slice: ("<<i<<","<<i+l-1<<")\n";
			
			if (slice == pre[l]) {
				if (i+m-1 < n) {
					if (l!=m) pres.pb(i+1);
					else full.pb(i+1);
					//cout<<"flip on "<<i+1<<"\n";
					i += l;
					found = true;
					break;
				}
			}
			if (slice == suff[l]) {
				int p = i+l-1;
				if (p-m+1 >= 0) {
					int crd = i-(m-l)+1;
					if (l!=m) pres.pb(crd);
					else full.pb(crd);
					//cout<<"flip on "<<crd<<"\n";
					i += l;
					found = true;
					break;
				}
			}
		}
		
		if (found) continue;
		// not found :(
		cout<<-1<<"\n";
		exit(0);
	}
	
	cout<<pres.size()+full.size()<<"\n";
	for (int pr : pres) cout<<pr<<" ";
	for (int f : full) cout<<f<<" ";
}

Test 1

Group: 1

Verdict: ACCEPTED

Test 2

Group: 1

Verdict: ACCEPTED

Test 3

Group: 1

Verdict: WRONG ANSWER

Test 4

Group: 1

Verdict: ACCEPTED

Test 5

Group: 1

Verdict: ACCEPTED

Test 6

Group: 1

Verdict: ACCEPTED

Test 7

Group: 1

Verdict: ACCEPTED

Test 8

Group: 1

Verdict: ACCEPTED

Test 9

Group: 1

Verdict: ACCEPTED

Test 10

Group: 1

Verdict: ACCEPTED

Test 11

Group: 1

Verdict: ACCEPTED

Test 12

Group: 1

Verdict: ACCEPTED

Test 13

Group: 1

Verdict: ACCEPTED

Test 14

Group: 1

Verdict: ACCEPTED

Test 15

Group: 2

Verdict: ACCEPTED

Test 16

Group: 2

Verdict: WRONG ANSWER

Test 17

Group: 2

Verdict: WRONG ANSWER

Test 18

Group: 2

Verdict: ACCEPTED

Test 19

Group: 2

Verdict: ACCEPTED

Test 20

Group: 2

Verdict: ACCEPTED

Test 21

Group: 2

Verdict: WRONG ANSWER

Test 22

Group: 2

Verdict: ACCEPTED

Test 23

Group: 2

Verdict: ACCEPTED

Test 24

Group: 2

Verdict: ACCEPTED

Test 25

Group: 2

Verdict: ACCEPTED

Test 26

Group: 2

Verdict: ACCEPTED

Test 27

Group: 2

Verdict: ACCEPTED

Test 28

Group: 2

Verdict: ACCEPTED

Test 29

Group: 3

Verdict: ACCEPTED

Test 30

Group: 3

Verdict: WRONG ANSWER

Test 31

Group: 3

Verdict: WRONG ANSWER

Test 32

Group: 3

Verdict: ACCEPTED

Test 33

Group: 3

Verdict: ACCEPTED

Test 34

Group: 3

Verdict: ACCEPTED

Test 35

Group: 3

Verdict: WRONG ANSWER

Test 36

Group: 3

Verdict: WRONG ANSWER

Test 37

Group: 3

Verdict: ACCEPTED

Test 38

Group: 3

Verdict: ACCEPTED

Test 39

Group: 3

Verdict: ACCEPTED

Test 40

Group: 3

Verdict: ACCEPTED

Test 41

Group: 3

Verdict: ACCEPTED

Test 42

Group: 3

Verdict: ACCEPTED