[构造] Codeforces 618F Wunder Fund Round 2016 F. Double Knapsack

给定两个大小为n的可重集A, B ，两个数集中的元素均为[1, n]的整数。
现在要求在两个数集中各找出一个非空子集(子集也为可重集) ，满足两个集合中元素的和相等。
n<=10^6

加限制使得选的为两个连续的段。
不妨设SA<=SB，记SA的前缀和为SA(0),SA(1),SA(2),…, SB的前缀和为SB(0),SB(1),SB(2),…
对于每个SA(i)，找到最大的SB(j)满足SA(i)>=SB(j)，这样可以得到n+1个SA(i)-SB(j)，然而每个都是在0到n-1之间。
所以至少有两个是一样的。
于是SA(i)-SB(j)=SA(p)-SB(q)，即SA(i)-SA(p)=SB(j)-SB(q)。

#include<cstdio>
#include<cstdlib>
#include<algorithm>
using namespace std;
typedef long long ll;
typedef pair<int,int> abcd;

inline char nc(){
  static char buf[100000],*p1=buf,*p2=buf;
  return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline void read(int &x){
  char c=nc(),b=1;
  for (;!(c>='0' && c<='9');c=nc()) if (c=='-') b=-1;
  for (x=0;c>='0' && c<='9';x=x*10+c-'0',c=nc()); x*=b;
}

const int N=1000005;

int n,a[N],b[N];
ll sa[N],sb[N];
int match[N];
int pos[N];

inline void print(int l,int r){
  if (l>r) swap(l,r);
  printf("%d\n",r-l);
  for (int i=l+1;i<=r;i++)
    printf("%d ",i);
  printf("\n");
}

int main(){
  int flag=0;
  freopen("t.in","r",stdin);
  freopen("t.out","w",stdout);
  read(n);
  for (int i=1;i<=n;i++) read(a[i]),sa[i]=sa[i-1]+a[i];
  for (int i=1;i<=n;i++) read(b[i]),sb[i]=sb[i-1]+b[i];
  if (sa[n]>sb[n]){
    flag=1;
    for (int i=1;i<=n;i++) swap(a[i],b[i]),swap(sa[i],sb[i]);
  }
  sort(sb,sb+n+1);
  for (int i=0;i<n;i++) pos[i]=-1;
  for (int i=0;i<=n;i++){
    int it=upper_bound(sb,sb+n+1,sa[i])-sb-1;
    match[i]=it;
    if (~pos[sa[i]-sb[it]]){
      int t=pos[sa[i]-sb[it]];
      if (!flag)
    print(t,i),print(match[t],match[i]);
      else
    print(match[t],match[i]),print(t,i);    
      return 0;
    }
    else
      pos[sa[i]-sb[it]]=i;
  }
  return 0;
}