【pku3657】二分答案+区间染色

最近有点懒，很久没写总结了，估计今天相当差的状态跟这有关吧（向总笑而不语）

好了，废话不多说，还是随便记记最近做的的题目吧

 

pku 3657：

  很有意思的题，大意是给你若干句形如a,b,c的描述，表示a~b的最小值为c，要你求第一句出现矛盾的话。

  乍一看没什么好想法，模拟吧，不可能，线段树吧，判不出，怎么办？回过头想想，为什么麻烦了，麻烦在了哪里，依我看，就是麻烦在了"求第一句出现矛盾的话"上，"第一句"会卡死了我们的思路，怎么解决呢？二分答案！二分的性质很显然，解会是连续的，而且二分答案之后就可以排序了，此为此题收获之一，二分答案以获得更多信息和更宽松的条件

  好了，排完序之后容易想到按c从大到小排序，有如下两种情况可能产生矛盾：如果一段区间的最小值已知为c1了，那么<c1的值在这段区间上是不可能出现的了，就相当于拿到值为ci的一堆区间时（注意，可能不止一个），对整段区间中没有颜色的点染上ci的颜色（哦，不记得说了，先给区间离散化一下），如果最后发现这一段没染到一个，那么就矛盾了；题目有要求任意两个仓库的存量不能相同，也就是说，对于值同为ci的区间，如果它们的并不是一个整区间的话，显然会出现矛盾（ci的存量要出现在多个地方）。此为此题收获之二,细致的读题是ac的必要条件。。第二种情况我自己就没有想到。。

  这个染色的过程用什么东西来实现？线段树？麻烦。模拟？。。不予评价。这都不是最佳选择。由于每个点只能被染色一次，那么并查集就能够胜任这个过程了。具体方法就是每个点的f[i]记录当前它被一整段区间所覆盖的最左边那个点，这样，每次给区间染色就可以用并查集做到均摊O(alpha(n))的了。并查集的妙用，此为此题收获之三

  看这个神奇的数据

  10 3
  1 10 1
  1 1 5
  10 10 4

  输出3的同学要注意了，普通的离散化不能区分[a,a]U[b,b]和[a,b]，那么我们离散化的时候往[a,b](a+1<b)中插一个点就可以了。离散化时的细节（好像离散化经常要插点啊什么的），此为此题收获之四

 

代码:

program syj; {erfen ans+range covering_using bingcha set} const maxn=25000+5; var n,q,nn,l,r,mid,i:longint; x,c,p,f,color:array[0..maxn*4]of longint; a:array[1..maxn]of longint; procedure sort1(l,r:longint); var i,j,k,z:longint; begin i:=l;j:=r;k:=x[(l+r) div 2]; repeat while x[i]<k do inc(i); while x[j]>k do dec(j); if i<=j then begin z:=x[i];x[i]:=x[j];x[j]:=z; z:=c[i];c[i]:=c[j];c[j]:=z; inc(i);dec(j); end; until i>j; if l<j then sort1(l,j); if i<r then sort1(i,r); end; procedure sort2(l,r:longint); var i,j,k,kk,z:longint; begin i:=l;j:=r;k:=a[c[(l+r) div 2]];kk:=p[c[(l+r) div 2]]; repeat while (a[c[i]]>k) or (a[c[i]]=k)and(p[c[i]]<kk) do inc(i); while (a[c[j]]<k) or (a[c[j]]=k)and(p[c[j]]>kk) do dec(j); if i<=j then begin z:=c[i];c[i]:=c[j];c[j]:=z; inc(i);dec(j); end; until i>j; if l<j then sort2(l,j); if i<r then sort2(i,r); end; function find(x:longint):longint; begin if f[x]<>x then f[x]:=find(f[x]); find:=f[x]; end; function check(kk:longint):boolean; var u,i,j,k,l,r,ii,ll,rr:longint; ok:boolean; begin for i:=1 to kk do c[i]:=i; sort2(1,kk); for i:=1 to nn do begin f[i]:=i;color[i]:=0; end; k:=1; for i:=1 to kk do if (i=kk)or(a[c[i]]<>a[c[i+1]]) then begin l:=p[c[k]];r:=p[c[k]+q];ll:=l;rr:=r; for u:=k+1 to i do begin ii:=c[u]; if p[ii]>ll then ll:=p[ii]; if p[ii+q]<rr then rr:=p[ii+q]; if ll>rr then exit(false); if p[ii+q]>r then r:=p[ii+q]; end; j:=find(r); while j>=l do begin if color[j]=0 then color[j]:=a[c[i]]; f[j]:=l; j:=find(j-1); end; ok:=false; for ii:=ll to rr do if color[ii]=a[c[i]] then begin ok:=true;break; end; if not ok then exit(false); k:=i+1; end; check:=true; end; begin assign(input,'pku3657.in');reset(input); assign(output,'pku3657.out');rewrite(output); readln(n,q); for i:=1 to q do begin readln(x[i],x[i+q],a[i]); c[i]:=i;c[i+q]:=i+q; end; sort1(1,q*2); for i:=1 to q*2 do p[c[i]]:=p[c[i-1]]+ord(x[i]<>x[i-1])*(ord(x[i]-x[i-1]>1)+1); nn:=p[c[q*2]]; l:=1;r:=q; while l<r do begin mid:=(l+r+1) div 2; if check(mid) then l:=mid else r:=mid-1; end; if l=q then l:=0 else inc(l); writeln(l); close(input); close(output); end.

 

  并不难的一道题，收获超乎想象。。顺便膜拜下fanhq神牛。