CCF认证 2018-09 再卖菜

可以用dfs记忆化搜索+剪枝

更稳的方法是用差分约束，因为会有三元一次的不等式，所以把不等式全部改为前缀和的不等式

s[i]代表前i项的和，如a1+a2+a3>=b可改为s3-s0>=b，a1+a2+a3<=c改为s0-s3>=-c

以此类推，就全部转化为s[x]-s[y]>=z的形式，然后按照差分约束建图

用spfa求解，一开始就把所有点入队，求最长路，便可以得到字典序最小解

下面是两种方法代码：

//记忆化搜索+剪枝
#include
#include
#include
#include
#include
using namespace std;
typedef long long ll;
const int N=300+10;
int a[N],up[N],down[N]; //保存第二天菜价，以及第一天和邻居菜价的和的上限，下限
int n;
int b[N]; //保存第一天菜价
int dp[N][N][N]; //初始为-1
int dfs(int d)
{
    if(dp[d][b[d-1]][b[d-2]]!=-1) return dp[d][b[d-1]][b[d-2]]; //记忆化
    if(d==n)
    {
        if(b[n-1]+b[n-2]>=down[n-1]&&b[n-1]+b[n-2]<=up[n-1]) //最后检测一次
            return 1;
        return 0;
    }
    int l=down[d-1]-b[d-1]-b[d-2],r=up[d-1]-b[d-1]-b[d-2]; //根据前两个菜价推算这个菜价范围
    if(l<1) l=1; //最少为1
    if(r

//差分约束
#include
#include
#include
#include
#include
#include
using namespace std;
typedef long long ll;
const int N=300+10;
const int M=2000+10;
struct Edge
{
    int to,w,nxt;
}edge[M];
int tot,first[N];
void addedge(int u,int v,int w)
{
    edge[tot].to=v;
    edge[tot].w=w;
    edge[tot].nxt=first[u];
    first[u]=tot++;
}
void init()
{
    tot=0;
    memset(first,-1,sizeof(first));
}
int dist[N];
bool vis[N];
void spfa(int n)
{
    queue q;
    for(int i=0;i<=n;i++)
    {
        q.push(i);
        vis[i]=true;
        dist[i]=0;
    }
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        vis[u]=false;
        for(int i=first[u];i!=-1;i=edge[i].nxt)
        {
            int v=edge[i].to;
            if(dist[v]