Atcoder Beginner Contest 155D（二分，尺取法，细节模拟）

二分，尺取法，细节模拟，尤其是要注意a[i]被计算到和a[i]成对的a[j]里时

 #define HAVE_STRUCT_TIMESPEC
 #include<bits/stdc++.h>
 using namespace std;
 long long a[];
 int n;
 long long k;
 bool check(long long x){
     long long sum=;//比x小的个数
     for(int i=;i<=n;++i){
         if(a[i]!=){
             long long flag=x/a[i];
             if(x%a[i]){
                 if(x>&&a[i]<){//x=5,a[i]=-2,flag=-2
                     sum+=n+-(lower_bound(a+,a++n,flag)-a);//[-2,∞)
                     if(a[i]>=flag)//如果a[i]也在上面sum加过的范围内
                         --sum;//去掉a[i]自己，自己不能和自己成对
                 }
                 else if(x>&&a[i]>){//x=5,a[i]=2,flag=2,flag+1=3
                     sum+=(lower_bound(a+,a++n,flag+)-a)-;//[2,∞)
                     if(a[i]<=flag)//如果a[i]也在上面sum加过的范围内
                         --sum;//去掉a[i]自己，自己不能和自己成对
                 }
                 else if(x<&&a[i]<)//和以上类似
                     sum+=n+-(upper_bound(a+,a++n,flag)-a);
                 else if(x<&&a[i]>)
                     sum+=(lower_bound(a+,a++n,flag)-a)-;
             }
             else{
                 if(x>&&a[i]<){
                     sum+=n+-(upper_bound(a+,a++n,flag)-a);
                     if(a[i]>flag)
                         --sum;
                 }
                 else if(x>&&a[i]>){
                     sum+=(lower_bound(a+,a++n,flag)-a)-;
                     if(a[i]<flag)
                         --sum;
                 }
                 else if(x<&&a[i]<)
                     sum+=n+-(upper_bound(a+,a++n,flag)-a);
                 else if(x<&&a[i]>)
                     sum+=(lower_bound(a+,a++n,flag)-a)-;
                 else if(x==&&a[i]<)
                     sum+=n+-(upper_bound(a+,a++n,)-a);
                 else if(x==&&a[i]>)
                     sum+=(lower_bound(a+,a++n,)-a)-;
             }
         }
         else if(a[i]==&&x>)
             sum+=n-;
     }
     sum>>=;//除以二，同一对被计算了两次
     return sum<k;//如果比x小的不到k个，那么答案还会更大
 }
 int main(){
     ios::sync_with_stdio(false);
     cin.tie(NULL);
     cout.tie(NULL);
     cin>>n>>k;
     for(int i=;i<=n;++i)
         cin>>a[i];
     sort(a+,a++n);
     long long l=-1e18,r=1e18;
     long long ans=;
     while(l<=r){
         long long mid=(l+r)>>;
         if(check(mid)){//此时比mid小的不到k个，答案可能可以更大，正确答案是比mid小的正好是k-1个
             ans=mid;
             l=mid+;
         }
         else
             r=mid-;
     }
     cout<<ans;
     return ;
 }