CSES - Datatähti 2018 alku - Results
Submission details
Task:Bittijono
Sender:Tannhäuser
Submission time:2017-10-08 00:15:30 +0300
Language:C++
Status:READY
Result:49
Feedback
groupverdictscore
#1ACCEPTED7
#2ACCEPTED15
#3ACCEPTED27
#40
Test results
testverdicttimegroup
#1ACCEPTED0.46 s1details
#2ACCEPTED0.39 s1details
#3ACCEPTED0.34 s1details
#4ACCEPTED0.36 s1details
#5ACCEPTED0.36 s1details
#6ACCEPTED0.33 s1details
#7ACCEPTED0.32 s1details
#8ACCEPTED0.38 s1details
#9ACCEPTED0.35 s1details
#10ACCEPTED0.35 s1details
#11ACCEPTED0.33 s2details
#12ACCEPTED0.33 s2details
#13ACCEPTED0.33 s2details
#14ACCEPTED0.33 s2details
#15ACCEPTED0.38 s2details
#16ACCEPTED0.34 s2details
#17ACCEPTED0.35 s2details
#18ACCEPTED0.34 s2details
#19ACCEPTED0.36 s2details
#20ACCEPTED0.34 s2details
#21ACCEPTED0.43 s3details
#22ACCEPTED0.38 s3details
#23ACCEPTED0.62 s3details
#24ACCEPTED0.48 s3details
#25ACCEPTED0.49 s3details
#26ACCEPTED0.52 s3details
#27ACCEPTED0.51 s3details
#28ACCEPTED0.59 s3details
#29ACCEPTED0.51 s3details
#30ACCEPTED0.49 s3details
#31ACCEPTED0.81 s4details
#32ACCEPTED0.78 s4details
#33ACCEPTED0.76 s4details
#340.79 s4details
#35ACCEPTED0.95 s4details
#36ACCEPTED0.82 s4details
#370.78 s4details
#38ACCEPTED0.82 s4details
#390.97 s4details
#400.80 s4details

Compiler report

input/code.cpp: In function 'int main()':
input/code.cpp:111:26: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
    if (l[i] >= sh.length()) break;
                          ^
input/code.cpp:117:35: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
      if (l[i] + l[j] >= sh.length()) break;
                                   ^
input/code.cpp:151:36: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
       if (l[i] + l[j] >= sh.length()) break;
                                    ^

Code

#include <bits/stdc++.h>

#define N (1<<19)
#define ll long long
#define ld long double
#define M 1000000007
#define INF 0x5ADFACE5
#define LINF 0x51DEEFFEC7C0DECALL
#define pii pair<ll, ll>
#define pll pair<long long, long long>
#define F first
#define S second

using namespace std;

struct X {
	ll v[3][3];
};

X I = {{{1, 0, 0}, {0, 1, 0}, {0, 0, 1}}};
X A = {{{1, 1, 1}, {1, 0, 0}, {0, 0, 1}}};
X B = {{{2, -1, 0}, {1, 0, 0}, {0, 0, 1}}};
X AI = {{{0, 1, 0}, {1, -1, -1}, {0, 0, 1}}};
X BI = {{{0, 1, 0}, {-1, 2, 0}, {0, 0, 1}}};



inline bool eq (const X a, const X b) {
	for (ll y = 0; y < 3; y++) {
		for (ll x = 0; x < 3; x++) {
			if (a.v[y][x] != b.v[y][x]) return false;
		}
	}
	return true;
}

X mul (const X a, const X b) {
	if (eq(b, I)) return a;
	if (eq(a, I)) return b;
	X c;
	for (ll y = 0; y < 3; y++) {
		for (ll x = 0; x < 3; x++) {
			c.v[y][x] = 0;
			for (ll z = 0; z < 3; z++) {
				c.v[y][x] += a.v[y][z] * b.v[z][x];
			}
		}
	}
	return c;
}

X v[(1<<19)];
X inv[(1<<19)];
//vector<ll> su[4181];

vector<ll> su[22001][11000 / 20];

ll l[(1<<19)];

ll test (const string s) {
	ll l = s.length();
	ll dp[l];
	ll l1 = -1;
	ll l0 = -1;
	for (ll j = 0; j < l; j++) {
		dp[j] = 0;
		if (s[j] == '1') {
			if (j) dp[j] = 2 * dp[j - 1];
			else dp[j] = 2;
			if (l1 != -1) dp[j] -= !l1 ? 1 : dp[l1 - 1];
			l1 = j;
		} else {
			if (j) dp[j] = 2 * dp[j - 1];
			else dp[j] = 2;
			if (l0 != -1) dp[j] -= !l0 ? 1 : dp[l0 - 1];
			l0 = j;
		}
	}
	return dp[l - 1];
}

int main () {
	//for (ll z = 1000000; z >= 0; z--) {
		ll k;
		//cout<<k<<" -> ";
		cin>>k;
		k++;
		v[0] = I;
		inv[0] = I;
		for (ll i = 1; i < (1<<19); i++) {
			if (i & 1) v[i] = mul(v[(i - 1) / 2], A);
			else v[i] = mul(v[(i - 1) / 2], B);
			if (i & 1) inv[i] = mul(AI, inv[(i - 1) / 2]);
			else inv[i] = mul(BI, inv[(i - 1) / 2]);
			l[i] = l[(i - 1) / 2] + 1;
		}
		ll mx = 0;
		ll mx2 = 0;
		ll mx3 = 0;
		for (ll i = 0; i < (1<<19); i++) {
			X a = v[i];
			mx = max(mx, a.v[0][0] + a.v[0][2]);
			mx2 = max(mx2, a.v[1][0] + a.v[1][2]);

			su[a.v[0][0] + a.v[0][2]][(a.v[1][0] + a.v[1][2]) / 20].push_back(i);
			mx3 = max(mx3, (ll)su[a.v[0][0] + a.v[0][2]][(a.v[1][0] + a.v[1][2]) / 20].size());
		}
		//cout<<mx<<" "<<mx2<<" "<<mx3<<endl;
		string sh = "1111111111111111111111111111111111111111111111";
		for (ll i = 0; i < (1<<19); i++) {
			if (l[i] >= sh.length()) break;
			X ai = inv[i];
			if (ai.v[0][1] == 0) {
				ll q = (ai.v[0][0] * k + ai.v[0][2]);
				ll q2 = (ai.v[1][0] * k + ai.v[1][2]) / 20;
				if (q >= 0 && q <= 22000 && q2 < 11000 / 20 && q2 >= 0) for (ll j : su[q][q2]) {
					if (l[i] + l[j] >= sh.length()) break;
					X p = mul(v[i], v[j]);
					if (p.v[0][0] + p.v[0][2] == k) {
						ll c = 0;
						string s = "";
						ll ic = i;
						ll jc = j;
						for (ll k = l[i]; k --> 0;) {
							if (i % 2) c = 1 - c;
							i = (i - 1) / 2;
							s += c ? '1' : '0'; 
						}
						string t;
						for (ll k = l[j]; k --> 0;) {
							if (j % 2) c = 1 - c;
							j = (j - 1) / 2;
							t += c ? '1' : '0'; 
						}
						reverse(t.begin(), t.end());
						s += t;
						if (test(s) == k) {
							if (s.length() < sh.length()) sh = s;
						}
						i = ic;
						j = jc;
					}
				}
			} else {
				ll q = (ai.v[0][0] * k + ai.v[0][2]);
				ll q2 = (ai.v[1][0] * k + ai.v[1][2]);
				ll c = q / ai.v[0][1];
				while (q - ai.v[0][1] * c <= 22000) {
					// 4180 * (a.v[0][0] + a.v[0][2]) + a.v[1][0] + a.v[1][2]
					if (q - ai.v[0][1] * c >= 0 && (q2 - ai.v[1][1] * c) / 20 >= 0 && (q2 - ai.v[1][1] * c) / 20 < 11000 / 20) for (ll j : su[q - ai.v[0][1] * c][(q2 - ai.v[1][1] * c) / 20]) {
						if (l[i] + l[j] >= sh.length()) break;
						X p = mul(v[i], v[j]);
						if (p.v[0][0] + p.v[0][2] == k) {
							ll c = 0;
							//cout<<i<<" "<<j<<" "<<c<<" "<<ai.v[0][1]<<endl;
							string s = "";
							ll ic = i;
							ll jc = j;
							for (ll k = l[i]; k --> 0;) {
								if (i % 2) c = 1 - c;
								i = (i - 1) / 2;
								s += c ? '1' : '0'; 
							}
							string t;
							for (ll k = l[j]; k --> 0;) {
								if (j % 2) c = 1 - c;
								j = (j - 1) / 2;
								t += c ? '1' : '0'; 
							}
							reverse(t.begin(), t.end());
							s += t;
							if (test(s) == k) {
								if (s.length() < sh.length()) sh = s;
							}
							i = ic;
							j = jc;
						}
					}

					if (ai.v[0][1] < 0) c++;
					else c--;
				}
			}
		}
		cout<<sh<<endl;
}

Test details

Test 1

Group: 1

Verdict: ACCEPTED

input
1

correct output
1

user output
1

Test 2

Group: 1

Verdict: ACCEPTED

input
2

correct output
11

user output
11

Test 3

Group: 1

Verdict: ACCEPTED

input
3

correct output
10

user output
01

Test 4

Group: 1

Verdict: ACCEPTED

input
4

correct output
1111

user output
1111

Test 5

Group: 1

Verdict: ACCEPTED

input
5

correct output
110

user output
011

Test 6

Group: 1

Verdict: ACCEPTED

input
6

correct output
101

user output
101

Test 7

Group: 1

Verdict: ACCEPTED

input
7

correct output
1110

user output
0111

Test 8

Group: 1

Verdict: ACCEPTED

input
8

correct output
1100

user output
0011

Test 9

Group: 1

Verdict: ACCEPTED

input
9

correct output
1101

user output
1011

Test 10

Group: 1

Verdict: ACCEPTED

input
10

correct output
1001

user output
1001

Test 11

Group: 2

Verdict: ACCEPTED

input
38

correct output
1101011

user output
0010100

Test 12

Group: 2

Verdict: ACCEPTED

input
13

correct output
11011

user output
11011

Test 13

Group: 2

Verdict: ACCEPTED

input
90

correct output
111001010

user output
100100010

Test 14

Group: 2

Verdict: ACCEPTED

input
25

correct output
110010

user output
010011

Test 15

Group: 2

Verdict: ACCEPTED

input
82

correct output
111001101

user output
100010011

Test 16

Group: 2

Verdict: ACCEPTED

input
94

correct output
1100011110

user output
1000011100

Test 17

Group: 2

Verdict: ACCEPTED

input
100

correct output
1111001001

user output
1001001111

Test 18

Group: 2

Verdict: ACCEPTED

input
99

correct output
110010010

user output
100011010

Test 19

Group: 2

Verdict: ACCEPTED

input
98

correct output
110110010

user output
100111010

Test 20

Group: 2

Verdict: ACCEPTED

input
92

correct output
100110001

user output
100011001

Test 21

Group: 3

Verdict: ACCEPTED

input
1666

correct output
101101100100101

user output
100100010101010

Test 22

Group: 3

Verdict: ACCEPTED

input
897

correct output
11101001101010

user output
10100010110100

Test 23

Group: 3

Verdict: ACCEPTED

input
4466

correct output
111101010110100101

user output
101001001110001011

Test 24

Group: 3

Verdict: ACCEPTED

input
4240

correct output
11011001011010101

user output
10101011010011011

Test 25

Group: 3

Verdict: ACCEPTED

input
3089

correct output
1011001010100101

user output
1010010101001101

Test 26

Group: 3

Verdict: ACCEPTED

input
4697

correct output
11010101101010110

user output
10010101001010100

Test 27

Group: 3

Verdict: ACCEPTED

input
4608

correct output
11010110101001010

user output
10101101010010100

Test 28

Group: 3

Verdict: ACCEPTED

input
4625

correct output
111011001100101001

user output
100010101110110110

Test 29

Group: 3

Verdict: ACCEPTED

input
4611

correct output
11010101010101100

user output
10101101011010100

Test 30

Group: 3

Verdict: ACCEPTED

input
4917

correct output
10110100101010110

user output
10010101011010010

Test 31

Group: 4

Verdict: ACCEPTED

input
178555

correct output
1011010110110101010110110

user output
1001001010101001001010010

Test 32

Group: 4

Verdict: ACCEPTED

input
864856

correct output
10111010110110100100101010010

user output
01001010100100101101101011101

Test 33

Group: 4

Verdict: ACCEPTED

input
112146

correct output
1101110101011001100100110

user output
0100010010101011010001011

Test 34

Group: 4

Verdict:

input
741124

correct output
1011010011010101100101011010

user output
01001010010011011001000101101

Test 35

Group: 4

Verdict: ACCEPTED

input
511902

correct output
1011010100011010100101001110

user output
1010100100101010100001101001

Test 36

Group: 4

Verdict: ACCEPTED

input
920019

correct output
11100100101101010101001101010

user output
10101010101001011101001100100

Test 37

Group: 4

Verdict:

input
933943

correct output
10101011010100100110100111001

user output
101011001010110110011101100111

Test 38

Group: 4

Verdict: ACCEPTED

input
973410

correct output
1011010101011010101010101001

user output
1011010101011010101010101001

Test 39

Group: 4

Verdict:

input
954943

correct output
10110110010011010100100110101

user output
101110100010101101011101010011

Test 40

Group: 4

Verdict:

input
911674

correct output
1010110010110101010101010110

user output
101010101010101111011101010111