【AtCoder Grand Contest 012C】Tautonym Puzzle [构造]

Tautonym Puzzle

Time Limit: 50 Sec Memory Limit: 256 MB

Description

　　定义一个序列贡献为1，当且仅当这个序列由两个相同的串拼接而成，比如123123。

　　请构造一个序列，使得它子序列的贡献和为n。

　　要求序列长度<=200，权值<=100.

Input

　　一行一个n。

Output

　　第一行为长度len，表示你构造出的序列长度。

　　第二行为你构造出的序列。

Sample Input

Sample Output

　　4
　　1 1 1 1

HINT

　　n <= 1e12

Solution

　　构造题到恰好为n的。一般有两种方法：
　　　　1. 可以构造出2^n，并且每部分互不影响；
　　　　2. 有方法添加若干元素使得原有答案*2或+1。

　　我们先考虑第一种方法。
　　显然我们把 n 化为二进制。并且发现连续 x 个相同的数提供的贡献为2^(x-1)-1，并且若干个连续的不影响。
　　这样 s 需要1+2+……+log2(n)+(log2(n) * 2)（用于补1），极限是900。不能满足条件。

　　我们再考虑第二种方法。
　　s<=200，权值<=100。长度有5 * log2(n)可用，权值有2 * log2(n)可用。
　　先考虑这样一个问题：
　　　　<p1,p2,…,pk>已经是一个排列了，我们在后面加上<1,2,…,k>之后的贡献是多少。
　　显然，此时贡献为：<p1,p2,…,pk>的上升序列的个数。
　　那么我们把问题转化为：构造一个上升序列个数为n的排列。

　　假设我们原来的排列<p1,p2,…,pk>已经x个上升序列了，现在填入k+1。

　　显然，在前面填一个k+1贡献会变为：x+1。完成了+1部分。
　　显然，在最后填一个k+1贡献会变为：x*2+1，这里多了一个+1。怎么办呢？

　　显然一开始是0，经过3次操作：0*2+1=1，1*2+1=3，3*2+1=7；
　　假设一开始是1，经过3次操作：1*2=2，2*2=4，4*2=8。

　　发现我们如果将初值1的话，我们每次x*=2，最后再-1和原来的效果是一样的。这样就完成了*2部分。

　　最后用一个递归即可。

Code

#include<iostream>

#include<string>

#include<algorithm>

#include<cstdio>

#include<cstring>

#include<cstdlib>

#include<cmath>

#include<queue>

using namespace std;

typedef long long s64;

const int ONE = ;

int get()

{

        int res = , Q = ; char c;

        while( (c = getchar()) <  || c > )

            if(c == '-') Q = -;

        if(Q) res = c - ;

        while( (c = getchar()) >=  && c <= )

            res = res *  + c - ;

        return res * Q;

}

s64 n;

int now;

deque <int> q;

void Solve(s64 n)

{

        if(n == ) return;

        if(n & ) Solve(n - ), q.push_front(++now);

        else Solve(n / ), q.push_back(++now);

}

int main()

{

        cin >> n;

        Solve(++n);

        printf("%d\n", now << );

        while(!q.empty())

            printf("%d ", q.front()), q.pop_front();

        for(int i = ; i <= now; i++)

            printf("%d ", i);

}