1293: [SCOI2009]生日礼物

Description

小西有一条很长的彩带，彩带上挂着各式各样的彩珠。已知彩珠有N个，分为K种。简单的说，可以将彩带考虑为x轴，每一个彩珠有一个对应的坐标(即位置)。某些坐标上可以没有彩珠，但多个彩珠也可以出现在同一个位置上。 小布生日快到了，于是小西打算剪一段彩带送给小布。为了让礼物彩带足够漂亮，小西希望这一段彩带中能包含所有种类的彩珠。同时，为了方便，小西希望这段彩带尽可能短，你能帮助小西计算这个最短的长度么？彩带的长度即为彩带开始位置到结束位置的位置差。
Input

第一行包含两个整数N, K，分别表示彩珠的总数以及种类数。接下来K行，每行第一个数为Ti，表示第i种彩珠的数目。接下来按升序给出Ti个非负整数，为这Ti个彩珠分别出现的位置。
Output

应包含一行，为最短彩带长度。
Sample Input

6 3

1 5

2 1 7

3 1 3 8

Sample Output

3

HINT

有多种方案可选，其中比较短的是1~5和5~8。后者长度为3最短。
【数据规模】
对于50%的数据， N≤10000；
对于80%的数据， N≤800000；
对于100%的数据，1≤N≤1000000，1≤K≤60，0≤彩珠位置<2^31。

唉，二分答案都没想到，思路有点不清晰啊

const
    maxn=1000010;
    maxk=65;
type
    node=record
      x,k:longint;
    end;
var
    a:array[0..maxn]of node;
    n,k:longint;

operator <(a,b:node)c:boolean;
begin
    c:=a.k<b.k;
end;

procedure swap(var x,y:node);
var
    t:node;
begin
    t:=x;x:=y;y:=t;
end;

procedure sort(l,r:longint);
var
    i,j:longint;
    y:node;
begin
    i:=l;
    j:=r;
    y:=a[(l+r)>>1];
    repeat
      while a[i]<y do
        inc(i);
      while y<a[j] do
        dec(j);
      if i<=j then
      begin
        swap(a[i],a[j]);
        inc(i);
        dec(j);
      end;
    until i>j;
    if i<r then sort(i,r);
    if j>l then sort(l,j);
end;

procedure init;
var
    i,j,x:longint;
begin
    read(k,k);
    for i:=1 to k do
      begin
        read(x);
        for j:=1 to x do
          begin
            inc(n);
            read(a[n].k);
            a[n].x:=i;
          end;
      end;
    sort(1,n);
end;

function flag(len:longint):boolean;
var
    l,r,s:longint;
    cnt:array[0..maxk]of longint;
begin
    l:=1;
    r:=0;
    s:=0;
    fillchar(cnt,sizeof(cnt),0);
    while  r<n do
      begin
        inc(r);
        inc(cnt[a[r].x]);
        if cnt[a[r].x]=1 then inc(s);
        while a[r].k-a[l].k>len do
          begin
            dec(cnt[a[l].x]);
            if cnt[a[l].x]=0 then dec(s);
            inc(l);
          end;
        if s=k then exit(true);
      end;
    exit(false);
end;

procedure work;
var
    l,r,mid:longint;
begin
    l:=0;
    r:=a[n].k-a[1].k;
    while l<>r do
      begin
        mid:=longint((int64(l)+r)>>1);
        if flag(mid) then r:=mid
        else l:=mid+1;
      end;
    write(l);
end;

begin
    init;
    work;
end.