// Knapsack DP is harder than FFT.
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> pii; typedef pair<ll, ll> pll;
#define ff first
#define ss second
#define pb emplace_back
#define FOR(i,n) for(int i = 0; i < (n); ++i)
#define FOO(i,a,b) for(int i = (a); i <= (b); ++i)
#define AI(x) (x).begin(),(x).end()
template<typename I> bool chmax(I &a, I b){ return a < b ? (a = b, true) : false;}
template<typename I> bool chmin(I &a, I b){ return a > b ? (a = b, true) : false;}
#ifdef OWO
#define debug(args...) LKJ("[ " + string(#args) + " ]", args)
void LKJ(){ cerr << endl;}
template<typename I, typename...T> void LKJ(I&&x, T&&...t){ cerr<<x<<", ", LKJ(t...);}
template<typename I> void DE(I a, I b){ while(a < b) cerr<<*a<<" \n"[next(a)==b], ++a;}
#else
#define debug(...) 0
#define DE(...) 0
#endif
void printb(vector<int> v){
int n = __lg(v.size());
cout << v.size() << '\n';
for(auto i: v){
for(int j = n - 1; j >= 0; --j)
cout << ((i & (1<<j)) ? 1 : 0);
cout << '\n';
}
}
vector<int> solvek1(int n){
vector<int> ans = {0, 1};
FOO(i,2,n){
vector<int> b = ans;
reverse(AI(b));
for(auto &j: b) j += (1<<(i-1));
for(auto j: b) ans.pb(j);
}
return ans;
}
vector<int> addk(int k, int n, vector<int> v){
vector<int> h = solvek1(k);
vector<int> ans;
int msk = (((1<<k)-1) << n);
FOR(st, h.size()){
FOR(x, v.size()){
int id = st + x; if(id >= v.size()) id -= v.size();
int i = v[id];
i ^= (h[st]<<n);
if(x & 1) i ^= msk;
ans.pb(i);
}
}
return ans;
}
int tobin(string s){
int ans = 0;
for(int i = 0; i < s.size(); ++i)
if(s[s.size() - 1 - i] == '1')
ans += 1<<i;
return ans;
}
int n, k, t;
string ss;
int32_t main(){
ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
cin >> n >> k >> t >> ss;
if(k % 2 == 0 or k >= n){
puts("-1");
return 0;
}
vector<int> ans = solvek1(n - k + 1);
ans = addk(k - 1, n - k + 1, ans);
int s = tobin(ss);
FOR(i,ans.size()) if(ans[i] == s){
rotate(ans.begin(), ans.begin() + i, ans.end());
break;
}
printb(ans);
return 0;
}
Compilation message
lyuboyn.cpp: In function 'std::vector<int> addk(int, int, std::vector<int>)':
lyuboyn.cpp:9:35: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
9 | #define FOR(i,n) for(int i = 0; i < (n); ++i)
| ^
lyuboyn.cpp:47:2: note: in expansion of macro 'FOR'
47 | FOR(st, h.size()){
| ^~~
lyuboyn.cpp:9:35: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
9 | #define FOR(i,n) for(int i = 0; i < (n); ++i)
| ^
lyuboyn.cpp:48:3: note: in expansion of macro 'FOR'
48 | FOR(x, v.size()){
| ^~~
lyuboyn.cpp:49:27: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
49 | int id = st + x; if(id >= v.size()) id -= v.size();
| ~~~^~~~~~~~~~~
lyuboyn.cpp: In function 'int tobin(std::string)':
lyuboyn.cpp:60:19: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
60 | for(int i = 0; i < s.size(); ++i)
| ~~^~~~~~~~~~
lyuboyn.cpp: In function 'int32_t main()':
lyuboyn.cpp:9:35: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
9 | #define FOR(i,n) for(int i = 0; i < (n); ++i)
| ^
lyuboyn.cpp:78:2: note: in expansion of macro 'FOR'
78 | FOR(i,ans.size()) if(ans[i] == s){
| ^~~
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
1 ms |
364 KB |
The output is neither -1 nor the length of the answer |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
364 KB |
Ok |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
0 ms |
364 KB |
Ok |
| 2 |
Correct |
1 ms |
364 KB |
Ok |
| 3 |
Correct |
0 ms |
364 KB |
Ok |
| 4 |
Correct |
1 ms |
364 KB |
Ok |
| 5 |
Correct |
1 ms |
364 KB |
Ok |
| 6 |
Correct |
0 ms |
364 KB |
Ok |
| 7 |
Correct |
1 ms |
364 KB |
Ok |
| 8 |
Correct |
1 ms |
364 KB |
Ok |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
564 ms |
15056 KB |
The output is neither -1 nor the length of the answer |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
364 KB |
Ok |
| 2 |
Correct |
8 ms |
492 KB |
Ok |
| 3 |
Correct |
128 ms |
4184 KB |
Ok |
| 4 |
Correct |
61 ms |
2024 KB |
Ok |
| 5 |
Correct |
1 ms |
364 KB |
Ok |
| 6 |
Correct |
2 ms |
364 KB |
Ok |
| 7 |
Correct |
30 ms |
1196 KB |
Ok |
| 8 |
Correct |
1 ms |
364 KB |
Ok |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
272 ms |
7536 KB |
Ok |
| 2 |
Correct |
274 ms |
7648 KB |
Ok |
| 3 |
Correct |
267 ms |
7640 KB |
Ok |
| 4 |
Correct |
127 ms |
3944 KB |
Ok |
| 5 |
Correct |
127 ms |
4196 KB |
Ok |
| 6 |
Correct |
60 ms |
2152 KB |
Ok |
| 7 |
Incorrect |
128 ms |
3932 KB |
The output is neither -1 nor the length of the answer |
| 8 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
564 ms |
15056 KB |
The output is neither -1 nor the length of the answer |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
127 ms |
4200 KB |
The values in the output sequence are not pairwise distinct! |
| 2 |
Halted |
0 ms |
0 KB |
- |
