B. Neko Performs Cat Furrier Transform
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output
Cat Furrier Transform is a popular algorithm among cat programmers to create longcats. As one of the greatest cat programmers ever exist, Neko wants to utilize this algorithm to create the perfect longcat.
Assume that we have a cat with a number xx. A perfect longcat is a cat with a number equal 2m−12m−1 for some non-negative integer mm. For example, the numbers 00, 11, 33, 77, 1515 and so on are suitable for the perfect longcats.
In the Cat Furrier Transform, the following operations can be performed on xx:
- (Operation A): you select any non-negative integer nn and replace xx with x⊕(2n−1)x⊕(2n−1), with ⊕⊕ being a bitwise XOR operator.
- (Operation B): replace xx with x+1x+1.
The first applied operation must be of type A, the second of type B, the third of type A again, and so on. Formally, if we number operations from one in the order they are executed, then odd-numbered operations must be of type A and the even-numbered operations must be of type B.
Neko wants to produce perfect longcats at industrial scale, thus for each cat Neko only wants to perform at most 4040 operations. Can you help Neko writing a transformation plan?
Note that it is not required to minimize the number of operations. You just need to use no more than 4040 operations.
Input
The only line contains a single integer xx (1≤x≤1061≤x≤106).
Output
The first line should contain a single integer tt (0≤t≤400≤t≤40) — the number of operations to apply.
Then for each odd-numbered operation print the corresponding number nini in it. That is, print ⌈t2⌉⌈t2⌉ integers nini (0≤ni≤300≤ni≤30), denoting the replacement xx with x⊕(2ni−1)x⊕(2ni−1) in the corresponding step.
If there are multiple possible answers, you can print any of them. It is possible to show, that there is at least one answer in the constraints of this problem.
Examples
input
Copy
39
output
Copy
4 5 3
input
Copy
1
output
Copy
0
input
Copy
7
output
Copy
0
Note
In the first test, one of the transforms might be as follows: 39→56→57→62→6339→56→57→62→63. Or more precisely:
- Pick n=5n=5. xx is transformed into 39⊕3139⊕31, or 5656.
- Increase xx by 11, changing its value to 5757.
- Pick n=3n=3. xx is transformed into 57⊕757⊕7, or 6262.
- Increase xx by 11, changing its value to 63=26−163=26−1.
In the second and third test, the number already satisfies the goal requirement
分析:2^n-1在二进制表示中是n个1,考虑异或的性质,相当于把X中右边n位取反,那么我们如果想要把X中全部变成1的话,就需要优先把X左边的0全部变成1,同时+1操作是不会让目前最左边的0的左边出现0的,除非它以及满足了X=2^m-1的条件。那么直接模拟就可以了。
#include "bits/stdc++.h"
using namespace std;
int getsum(int x) {
int res = 0;
while (x) {
x >>= 1;
res++;
}
return res;
}
int main() {
int x;
cin >> x;
int ans = 0;
vector<int> v;
set<int> s;
for (int i = 1; i <= 100000000; i *= 2) {
s.insert(i);
}
while (s.count(x + 1) == 0) {
if (ans & 1) {
ans++;
x++;
} else {
ans++;
int base = 1;
int cnt = 0;
while (base < x) {
if (!(x & base))cnt = base;
base <<= 1;
}
cnt <<= 1;
x ^= (cnt - 1);
v.push_back(cnt);
}
}
printf("%d\n", ans);
if (v.size()) {
for (int i = 0; i < v.size(); ++i) {
printf("%d ", getsum(v[i]) - 1);
}
}
}