AtCoder ABC 155D Pairs

Posted zaq19970105

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了AtCoder ABC 155D Pairs相关的知识,希望对你有一定的参考价值。

题目链接:https://atcoder.jp/contests/abc155/tasks/abc155_d

题目大意

  给定$N$个整数$A_1, A_2, dots, A_N$, 求集合$S = {A_i * A_j | 1 leq i, j leq N 且 i eq j}$的第$K$小。

分析

  首先,通过把$N$个数分为正数,负数,零,再排下序,我们可以计算$S$中所有的正数,负数以及零的数目,进而可以判断出第$K$小的数是正数,是负数,还是零。
  如果第$K$小的数是零,无需多言。
  如果第$K$小的数不是零,则可以先求出上界与下界,通过二分法,指定所二分的数就是第$K$小的,然后用二分法计数有多少数比它小,直到上界等于下届为止。
  时间复杂度为$O(Nlog^2N)$。

代码如下

技术图片
  1 #include <bits/stdc++.h>
  2 using namespace std;
  3 
  4 /*-------------------Define Start-------------------*/
  5 typedef bool BL;                        // 布尔类型
  6 typedef char SB;                        // 有符号1字节,8位
  7 typedef unsigned char UB;                // 无符号1字节,8位
  8 typedef short SW;                        // 有符号短整型,16位
  9 typedef unsigned short UW;                // 无符号短整型,16位
 10 typedef long SDW;                        // 有符号整型,32位
 11 typedef unsigned long UDW;               // 无符号整型,32位
 12 typedef long long SLL;                    // 有符号长整型,64位
 13 typedef unsigned long long ULL;            // 无符号长整型,64位
 14 typedef char CH;                        // 单个字符
 15 typedef float R32;                        // 单精度浮点数
 16 typedef double R64;                        // 双精度浮点数
 17 
 18 #define Rep(i, n) for (register SDW i = 0; i < (n); ++i)
 19 #define For(i, s, t) for (register SDW i = (s); i <= (t); ++i)
 20 #define rFor(i, t, s) for (register SDW i = (t); i >= (s); --i)
 21 #define foreach(i, c) for (__typeof(c.begin()) i = c.begin(); i != c.end(); ++i)
 22 #define ms0(a) memset(a,0,sizeof(a))
 23 #define msI(a) memset(a,0x7f,sizeof(a))
 24 #define LOWBIT(x) ((x)&(-x))
 25 
 26 #define MP make_pair
 27 #define PB push_back
 28 #define ft first
 29 #define sd second
 30 #define ALL(x) x.begin(),x.end()
 31 
 32 #define pr(x) cout << #x << " = " << x << "  "
 33 #define prln(x) cout << #x << " = " << x << endl
 34 
 35 const ULL mod = 1e9 + 7;                //常用模数(可根据题目需要修改)
 36 const ULL inf = 0x7fffffff;                //用来表示无限大
 37 const ULL infLL = 0x7fffffffffffffffLL;    //用来表示无限大
 38 /*-------------------Define End-------------------*/
 39 
 40 const UDW maxN = 1e6 + 7;
 41 SDW N, K; 
 42 vector< SLL > posi; // 存正数 
 43 SLL lenP; 
 44 vector< SLL > nega; // 存负数 
 45 SLL lenN;
 46 SLL zero; // 记录0的个数 
 47 SLL cntP; // 正数数对个数 
 48 SLL cntN; // 负数数对个数 
 49 SLL cntZ; // 零数对个数 
 50 SLL ans;
 51 
 52 void input(){
 53     SLL tmp;
 54     
 55     cin >> N >> K;
 56     Rep(i, N) {
 57         cin >> tmp;
 58         if(tmp == 0) {
 59             ++zero;
 60         }
 61         else if(tmp > 0) {
 62             posi.PB(tmp);
 63         }
 64         else {
 65             nega.PB(tmp);
 66         }
 67     }
 68     
 69     lenP = posi.size();
 70     lenN = nega.size();
 71     
 72     sort(ALL(posi));
 73     sort(ALL(nega));
 74     
 75     cntP = lenP * (lenP - 1) / 2 + lenN * (lenN - 1) / 2;
 76     cntN = lenP * lenN;
 77     cntZ = zero * (zero - 1) / 2 + zero * (lenP + lenN);
 78 }
 79 
 80 // 二分查找 A 中第一个满足 A * b > p的下标 
 81 SLL upper_bound(vector< SLL > &A, SLL b, SLL p) {
 82     SLL L = 0;
 83     SLL R = A.size();
 84     
 85     while(L != R) {
 86         SLL mid = (L + R) >> 1;
 87         
 88         if(A[mid] * b <= p) {
 89             L = mid + 1;
 90         }
 91         else {
 92             R = mid;
 93         }
 94     }
 95     return R;
 96 }
 97 
 98 void solve(){
 99     if(K > cntN && K <= cntN + cntZ) {
100         ans = 0;
101     }
102     else if(K <= cntN) { // 第 K 小数对乘积为负数 
103         SLL L = posi.back() * nega[0];
104         SLL R = posi[0] * nega.back();
105         
106         while(L != R) {
107             SLL mid = (L + R) >> 1;
108             SLL sum = 0; // 记录小于等于mid的数对个数 
109             
110             Rep(i, lenP) {
111                 SLL tmp = upper_bound(nega, posi[i], mid);
112                 sum += tmp; 
113             } 
114             
115             if(sum >= K) {
116                 R = mid;
117             }
118             else {
119                 L = mid + 1;
120             }
121         }
122         
123         ans = R;
124     }
125     else { // 第 K 小数对乘积为正数 
126         K -= cntN + cntZ;
127         reverse(ALL(nega)); // 由于负数 ×负数会改变数组的有序性,会使二分出错,所以这里反转一下 
128         
129         SLL L = infLL;
130         SLL R = 0;
131         
132         if(lenP >= 2) {
133             L = min(L, posi[0] * posi[1]);
134             R = max(R, posi[lenP - 1] * posi[lenP - 2]);
135         }
136         
137         if(lenN >= 2) {
138             L = min(L, nega[0] * nega[1]);
139             R = max(R, nega[lenN - 1] * nega[lenN - 2]);
140         }
141         
142         while(L != R) {
143             SLL mid = (L + R) >> 1;
144             SLL sum = 0; // 记录小于等于mid的数对个数 
145             
146             Rep(i, lenP) {
147                 SLL tmp = upper_bound(posi, posi[i], mid);
148                 sum += tmp; 
149                 if(tmp > i) {
150                     --sum; // 减去自己乘自己 
151                 }
152             } 
153             
154             Rep(i, lenN) {
155                 SLL tmp = upper_bound(nega, nega[i], mid);
156                 sum += tmp; 
157                 if(tmp > i) {
158                     --sum; // 减去自己乘自己 
159                 }
160             } 
161             
162             sum /= 2; // 一个数对算了两遍,要除以2 
163             
164             if(sum >= K) {
165                 R = mid;
166             }
167             else {
168                 L = mid + 1;
169             }
170         }
171         
172         ans = R;
173     }
174 }
175 
176 void output(){
177     cout << ans << endl;
178 }
179 
180 int main() {
181     input();
182     solve();
183     output();
184     return 0;
185 }
View Code

 

以上是关于AtCoder ABC 155D Pairs的主要内容,如果未能解决你的问题,请参考以下文章

abc155d二分答案

abc155D

AtCoder ABC 154E Almost Everywhere Zero

AtCoder ABC 155F Perils in Parallel

题解Atcoder ABC295 A-G

赛时总结◇赛时·VII◇ Atcoder ABC-106