C++[USACO06FEB]Backward Digit Sums

[USACO06FEB]Backward Digit Sums G/S

题目描述：
有这么一个游戏：

写出一个1至N的排列a_i，然后每次将相邻两个数相加，构成新的序列，再对新序列进行这样的操作，显然每次构成的序列都比上一次的序列长度少1，直到只剩下一个数字位置。下面是一个例子：

3,1,2,4

4,3,6

7,9

16

最后得到16这样一个数字。

现在想要倒着玩这样一个游戏，如果知道N，知道最后得到的数字的大小sum，请你求出最初序列a_i，为1至N的一个排列。若答案有多种可能，则输出字典序最小的那一个。

管理员注：本题描述有误，这里字典序指的是
1,2,3,4,5,6,7,8,9,10,11,12
而不是
1,10,11,12,2,3,4,5,6,7,8,9

输入格式
两个正整数n,sum

输出格式
输出包括1行，为字典序最小的那个答案。

当无解的时候，请什么也不输出。

输入输出样例
输入 #1复制
4 16
输出 #1复制
3 1 2 4
说明/提示
对于40%的数据，n≤7；

对于80%的数据，n≤10；

对于100%的数据，n≤12,sum≤12345。

首先，这题目要运用到两个数学知识，一个是杨辉三角，这个自己多写几遍可以发现这个规律，杨辉三角的递推式子是

c[i][j]=c[i-1][j-1]+c[i-1][j];

接下来，我们需要另一个数学知识，叫做排序不等式，就是存在两个不等式队列，x1<=x2<=x3<=x4.<=xn；y1<=y2<=y3<=y4…<=yn。两个相乘符号不变，用于查看还没选的数，它必须满足这个排序不等式的规律

最后，再加上一个判断的最优性剪枝即可

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
int n,sum,ans[25]={0},c[25][25]={0};
bool vis[25]={0};
void solve(int step,int &maxx,int &minx)
{
    maxx=minx=0;
    int j1=1,j2=n;
    for(int i=0;n-i>=i+1;i++)
    {
        if (!ans[i+1])
        {
            while(vis[j1]) j1++;
            while(vis[j2]) j2--;
            maxx+=j1*c[n][i+1];j1++;
            minx+=j2*c[n][i+1];j2--;
        }
        if (!ans[n-i]&&n-i>i+1)
        {
            while(vis[j1]) j1++;
            while(vis[j2]) j2--;
            maxx+=j1*c[n][i+1];j1++;
            minx+=j2*c[n][i+1];j2--;
        }
    }
}
bool dfs(int step,int now)
{
    if (step==n+1)
    {
        if (now==sum) {for(int i=1;i<=n;i++) printf("%d ",ans[i]);return 1;}
        else return 0;
    }
    int maxx,minx;
    solve(step,maxx,minx);
    if (now+maxx<sum) return 0;
    if (now+minx>sum) return 0;
    int i=1;
    if (step>n-step+1) i=ans[n-step+1]+1;
    for(;i<=n;i++)
        if (!vis[i])
        {
            ans[step]=i;
            vis[i]=1;
            if (dfs(step+1,now+i*c[n][step])) return 1;
            ans[step]=0;
            vis[i]=0;
        }
    return 0;
}
int main()
{
    scanf("%d%d",&n,&sum);
    c[1][1]=1;
    for(int i=2;i<=n;i++)
        for(int j=1;j<=i;j++)
            c[i][j]=c[i-1][j-1]+c[i-1][j];
    dfs(1,0);
    return 0;
}