Artifact 556c57b27a57d85a51eaa5ce2fed02fbd085228e:
0000: 23 69 6e 63 6c 75 64 65 20 3c 69 6f 73 74 72 65 #include <iostre
0010: 61 6d 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 73 am>..#include <s
0020: 73 74 72 65 61 6d 3e 0d 0a 23 69 6e 63 6c 75 64 stream>..#includ
0030: 65 20 3c 69 6f 6d 61 6e 69 70 3e 0d 0a 23 69 6e e <iomanip>..#in
0040: 63 6c 75 64 65 20 3c 76 65 63 74 6f 72 3e 0d 0a clude <vector>..
0050: 23 69 6e 63 6c 75 64 65 20 3c 73 74 72 69 6e 67 #include <string
0060: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 6d 61 70 >..#include <map
0070: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 73 65 74 >..#include <set
0080: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 61 6c 67 >..#include <alg
0090: 6f 72 69 74 68 6d 3e 0d 0a 23 69 6e 63 6c 75 64 orithm>..#includ
00a0: 65 20 3c 6e 75 6d 65 72 69 63 3e 0d 0a 23 69 6e e <numeric>..#in
00b0: 63 6c 75 64 65 20 3c 69 74 65 72 61 74 6f 72 3e clude <iterator>
00c0: 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 66 75 6e 63 ..#include <func
00d0: 74 69 6f 6e 61 6c 3e 0d 0a 23 69 6e 63 6c 75 64 tional>..#includ
00e0: 65 20 3c 63 6f 6d 70 6c 65 78 3e 0d 0a 23 69 6e e <complex>..#in
00f0: 63 6c 75 64 65 20 3c 71 75 65 75 65 3e 0d 0a 23 clude <queue>..#
0100: 69 6e 63 6c 75 64 65 20 3c 73 74 61 63 6b 3e 0d include <stack>.
0110: 0a 23 69 6e 63 6c 75 64 65 20 3c 63 6d 61 74 68 .#include <cmath
0120: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 63 61 73 >..#include <cas
0130: 73 65 72 74 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 sert>..#include
0140: 3c 74 75 70 6c 65 3e 0d 0a 75 73 69 6e 67 20 6e <tuple>..using n
0150: 61 6d 65 73 70 61 63 65 20 73 74 64 3b 0d 0a 74 amespace std;..t
0160: 79 70 65 64 65 66 20 6c 6f 6e 67 20 6c 6f 6e 67 ypedef long long
0170: 20 4c 4c 3b 0d 0a 74 79 70 65 64 65 66 20 63 6f LL;..typedef co
0180: 6d 70 6c 65 78 3c 64 6f 75 62 6c 65 3e 20 43 4d mplex<double> CM
0190: 50 3b 0d 0a 0d 0a 63 6c 61 73 73 20 54 6f 77 65 P;....class Towe
01a0: 72 50 6c 61 63 65 6d 65 6e 74 20 7b 20 70 75 62 rPlacement { pub
01b0: 6c 69 63 3a 0d 0a 09 69 6e 74 20 73 6f 6c 76 65 lic:...int solve
01c0: 28 69 6e 74 20 52 2c 20 69 6e 74 20 43 2c 20 69 (int R, int C, i
01d0: 6e 74 20 73 65 65 64 2c 20 69 6e 74 20 58 29 0d nt seed, int X).
01e0: 0a 09 7b 0d 0a 09 09 76 65 63 74 6f 72 3c 69 6e ..{....vector<in
01f0: 74 3e 20 71 72 28 35 30 30 30 30 29 2c 20 71 63 t> qr(50000), qc
0200: 28 35 30 30 30 30 29 3b 0d 0a 09 09 4c 4c 20 73 (50000);....LL s
0210: 74 61 74 65 20 3d 20 73 65 65 64 3b 0d 0a 09 09 tate = seed;....
0220: 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 30 3b 20 for (int i = 0;
0230: 69 20 3c 20 35 30 30 30 30 3b 20 2b 2b 69 29 20 i < 50000; ++i)
0240: 7b 0d 0a 09 09 09 73 74 61 74 65 20 3d 20 28 73 {.....state = (s
0250: 74 61 74 65 20 2a 20 31 31 30 33 35 31 35 32 34 tate * 110351524
0260: 35 20 2b 20 31 32 33 34 35 29 20 26 20 30 78 37 5 + 12345) & 0x7
0270: 66 66 66 66 66 66 66 4c 4c 3b 0d 0a 09 09 09 71 fffffffLL;.....q
0280: 72 5b 69 5d 20 3d 20 28 73 74 61 74 65 20 2f 20 r[i] = (state /
0290: 31 30 30 30 29 20 25 20 52 3b 0d 0a 09 09 09 73 1000) % R;.....s
02a0: 74 61 74 65 20 3d 20 28 73 74 61 74 65 20 2a 20 tate = (state *
02b0: 31 31 30 33 35 31 35 32 34 35 20 2b 20 31 32 33 1103515245 + 123
02c0: 34 35 29 20 26 20 30 78 37 66 66 66 66 66 66 66 45) & 0x7fffffff
02d0: 4c 4c 3b 0d 0a 09 09 09 71 63 5b 69 5d 20 3d 20 LL;.....qc[i] =
02e0: 28 73 74 61 74 65 20 2f 20 31 30 30 30 29 20 25 (state / 1000) %
02f0: 20 43 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 76 65 C;....}......ve
0300: 63 74 6f 72 3c 62 6f 6f 6c 3e 20 72 65 6a 28 35 ctor<bool> rej(5
0310: 30 30 30 30 29 3b 0d 0a 09 09 66 6f 72 20 28 69 0000);....for (i
0320: 6e 74 20 72 20 3d 20 30 3b 20 72 20 3c 20 58 3b nt r = 0; r < X;
0330: 20 2b 2b 72 29 20 7b 0d 0a 09 09 09 69 6e 74 20 ++r) {.....int
0340: 4c 20 3d 20 30 2c 20 52 20 3d 20 35 30 30 30 31 L = 0, R = 50001
0350: 3b 0d 0a 09 09 09 77 68 69 6c 65 20 28 52 20 2d ;.....while (R -
0360: 20 4c 20 3e 20 31 29 20 7b 0d 0a 09 09 09 09 69 L > 1) {......i
0370: 6e 74 20 4d 20 3d 20 28 4c 20 2b 20 52 29 20 2f nt M = (L + R) /
0380: 20 32 3b 0d 0a 09 09 09 09 28 66 65 61 73 69 62 2;......(feasib
0390: 6c 65 28 52 2c 43 2c 71 72 2c 71 63 2c 72 65 6a le(R,C,qr,qc,rej
03a0: 2c 4d 29 20 3f 20 4c 20 3a 20 52 29 20 3d 20 4d ,M) ? L : R) = M
03b0: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 69 66 20 28 ;.....}.....if (
03c0: 4c 20 3d 3d 20 35 30 30 30 30 29 0d 0a 09 09 09 L == 50000).....
03d0: 09 72 65 74 75 72 6e 20 2d 31 3b 0d 0a 09 09 09 .return -1;.....
03e0: 69 66 20 28 72 20 3d 3d 20 58 20 2d 20 31 29 0d if (r == X - 1).
03f0: 0a 09 09 09 09 72 65 74 75 72 6e 20 4c 3b 0d 0a .....return L;..
0400: 09 09 09 72 65 6a 5b 4c 5d 20 3d 20 74 72 75 65 ...rej[L] = true
0410: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 2f ;....}...}...../
0420: 2f 20 49 73 20 70 6c 61 63 69 6e 67 20 5b 30 2c / Is placing [0,
0430: 20 4d 29 20 66 65 61 73 69 62 6c 65 3f 0d 0a 09 M) feasible?...
0440: 62 6f 6f 6c 20 66 65 61 73 69 62 6c 65 28 69 6e bool feasible(in
0450: 74 20 52 2c 20 69 6e 74 20 43 2c 20 63 6f 6e 73 t R, int C, cons
0460: 74 20 76 65 63 74 6f 72 3c 69 6e 74 3e 26 20 71 t vector<int>& q
0470: 72 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c r, const vector<
0480: 69 6e 74 3e 26 20 71 63 2c 20 63 6f 6e 73 74 20 int>& qc, const
0490: 76 65 63 74 6f 72 3c 62 6f 6f 6c 3e 26 20 72 65 vector<bool>& re
04a0: 6a 2c 20 69 6e 74 20 4d 29 20 7b 0d 0a 09 09 23 j, int M) {....#
04b0: 64 65 66 69 6e 65 20 45 4e 43 28 72 2c 63 29 20 define ENC(r,c)
04c0: 28 28 72 29 2a 43 2b 28 63 29 29 0d 0a 09 09 6d ((r)*C+(c))....m
04d0: 61 70 3c 69 6e 74 2c 20 69 6e 74 3e 20 74 3b 0d ap<int, int> t;.
04e0: 0a 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 ...for (int i =
04f0: 30 3b 20 69 20 3c 20 4d 3b 20 2b 2b 69 29 20 7b 0; i < M; ++i) {
0500: 0d 0a 09 09 09 69 66 20 28 72 65 6a 5b 69 5d 29 .....if (rej[i])
0510: 0d 0a 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 0d ......continue;.
0520: 0a 09 09 09 69 6e 74 20 6b 65 79 20 3d 20 45 4e ....int key = EN
0530: 43 28 71 72 5b 69 5d 2c 20 71 63 5b 69 5d 29 3b C(qr[i], qc[i]);
0540: 0d 0a 09 09 09 69 66 20 28 74 2e 63 6f 75 6e 74 .....if (t.count
0550: 28 6b 65 79 29 29 0d 0a 09 09 09 09 63 6f 6e 74 (key))......cont
0560: 69 6e 75 65 3b 0d 0a 0d 0a 09 09 09 74 5b 6b 65 inue;.......t[ke
0570: 79 5d 20 3d 20 69 3b 0d 0a 0d 0a 09 09 09 2f 2f y] = i;.......//
0580: 20 63 6f 6e 66 6c 69 63 74 20 67 65 6e 65 72 61 conflict genera
0590: 74 69 6f 6e 0d 0a 09 09 09 71 72 5b 69 5d 2b 31 tion.....qr[i]+1
05a0: 2c 20 71 63 5b 69 5d 0d 0a 09 09 7d 0d 0a 09 09 , qc[i]....}....
05b0: 2f 2f 20 73 6f 6c 76 65 0d 0a 09 09 72 65 74 75 // solve....retu
05c0: 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 23 75 6e rn false;....#un
05d0: 64 65 66 20 45 4e 43 0d 0a 09 7d 0d 0a 7d 3b 0d def ENC...}..};.
05e0: 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 ...// BEGIN CUT
05f0: 48 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 3c HERE..#include <
0600: 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 73 ctime>..double s
0610: 74 61 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 6e tart_time; strin
0620: 67 20 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f 73 g timer().. { os
0630: 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 tringstream os;
0640: 6f 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e os << " (" << in
0650: 74 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74 t((clock()-start
0660: 5f 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 _time)/CLOCKS_PE
0670: 52 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22 R_SEC*1000) << "
0680: 20 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20 msec)"; return
0690: 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 6d os.str(); }..tem
06a0: 70 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 54 plate<typename T
06b0: 3e 20 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 61 > ostream& opera
06c0: 74 6f 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 6f tor<<(ostream& o
06d0: 73 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c s, const vector<
06e0: 54 3e 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c 3c T>& v).. { os <<
06f0: 20 22 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 74 "{ ";.. for(t
0700: 79 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c 54 ypename vector<T
0710: 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 6f >::const_iterato
0720: 72 20 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b 20 r it=v.begin();
0730: 69 74 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b 69 it!=v.end(); ++i
0740: 74 29 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c 22 t).. os << '\"
0750: 27 20 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 27 ' << *it << '\"'
0760: 20 3c 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e 64 << (it+1==v.end
0770: 28 29 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 3b () ? "" : ", ");
0780: 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 74 os << " }"; ret
0790: 75 72 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 20 urn os; }..void
07a0: 76 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 verify_case(cons
07b0: 74 20 69 6e 74 26 20 45 78 70 65 63 74 65 64 2c t int& Expected,
07c0: 20 63 6f 6e 73 74 20 69 6e 74 26 20 52 65 63 65 const int& Rece
07d0: 69 76 65 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 6f ived) {.. bool o
07e0: 6b 20 3d 20 28 45 78 70 65 63 74 65 64 20 3d 3d k = (Expected ==
07f0: 20 52 65 63 65 69 76 65 64 29 3b 0d 0a 20 69 66 Received);.. if
0800: 28 6f 6b 29 20 63 65 72 72 20 3c 3c 20 22 50 41 (ok) cerr << "PA
0810: 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 SSED" << timer()
0820: 20 3c 3c 20 65 6e 64 6c 3b 20 20 65 6c 73 65 20 << endl; else
0830: 7b 20 63 65 72 72 20 3c 3c 20 22 46 41 49 4c 45 { cerr << "FAILE
0840: 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c D" << timer() <<
0850: 20 65 6e 64 6c 3b 0d 0a 20 63 65 72 72 20 3c 3c endl;.. cerr <<
0860: 20 22 5c 74 6f 3a 20 5c 22 22 20 3c 3c 20 45 78 "\to: \"" << Ex
0870: 70 65 63 74 65 64 20 3c 3c 20 27 5c 22 27 20 3c pected << '\"' <
0880: 3c 20 65 6e 64 6c 20 3c 3c 20 22 5c 74 78 3a 20 < endl << "\tx:
0890: 5c 22 22 20 3c 3c 20 52 65 63 65 69 76 65 64 20 \"" << Received
08a0: 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b << '\"' << endl;
08b0: 20 7d 20 7d 0d 0a 23 64 65 66 69 6e 65 20 43 41 } }..#define CA
08c0: 53 45 28 4e 29 20 7b 63 65 72 72 20 3c 3c 20 22 SE(N) {cerr << "
08d0: 54 65 73 74 20 43 61 73 65 20 23 22 20 3c 3c 20 Test Case #" <<
08e0: 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c 3c 20 66 6c N << "..." << fl
08f0: 75 73 68 3b 20 73 74 61 72 74 5f 74 69 6d 65 3d ush; start_time=
0900: 63 6c 6f 63 6b 28 29 3b 0d 0a 23 64 65 66 69 6e clock();..#defin
0910: 65 20 45 4e 44 09 20 76 65 72 69 66 79 5f 63 61 e END. verify_ca
0920: 73 65 28 5f 2c 20 54 6f 77 65 72 50 6c 61 63 65 se(_, TowerPlace
0930: 6d 65 6e 74 28 29 2e 73 6f 6c 76 65 28 52 2c 20 ment().solve(R,
0940: 43 2c 20 73 65 65 64 2c 20 58 29 29 3b 7d 0d 0a C, seed, X));}..
0950: 69 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 int main(){....C
0960: 41 53 45 28 30 29 0d 0a 09 69 6e 74 20 52 20 3d ASE(0)...int R =
0970: 20 31 3b 20 0d 0a 09 69 6e 74 20 43 20 3d 20 31 1; ...int C = 1
0980: 3b 20 0d 0a 09 69 6e 74 20 73 65 65 64 20 3d 20 ; ...int seed =
0990: 34 37 3b 20 0d 0a 09 69 6e 74 20 58 20 3d 20 35 47; ...int X = 5
09a0: 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 34 3b 20 ; ...int _ = 4;
09b0: 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 31 29 0d 0a ..END..CASE(1)..
09c0: 09 69 6e 74 20 52 20 3d 20 33 3b 20 0d 0a 09 69 .int R = 3; ...i
09d0: 6e 74 20 43 20 3d 20 33 3b 20 0d 0a 09 69 6e 74 nt C = 3; ...int
09e0: 20 73 65 65 64 20 3d 20 34 37 3b 20 0d 0a 09 69 seed = 47; ...i
09f0: 6e 74 20 58 20 3d 20 34 3b 20 0d 0a 09 69 6e 74 nt X = 4; ...int
0a00: 20 5f 20 3d 20 36 3b 20 0d 0a 45 4e 44 0d 0a 43 _ = 6; ..END..C
0a10: 41 53 45 28 32 29 0d 0a 09 69 6e 74 20 52 20 3d ASE(2)...int R =
0a20: 20 31 30 30 30 30 3b 20 0d 0a 09 69 6e 74 20 43 10000; ...int C
0a30: 20 3d 20 31 34 37 30 30 3b 20 0d 0a 09 69 6e 74 = 14700; ...int
0a40: 20 73 65 65 64 20 3d 20 31 32 33 34 35 3b 20 0d seed = 12345; .
0a50: 0a 09 69 6e 74 20 58 20 3d 20 31 3b 20 0d 0a 09 ..int X = 1; ...
0a60: 69 6e 74 20 5f 20 3d 20 2d 31 3b 20 0d 0a 45 4e int _ = -1; ..EN
0a70: 44 0d 0a 43 41 53 45 28 33 29 0d 0a 09 69 6e 74 D..CASE(3)...int
0a80: 20 52 20 3d 20 31 30 3b 20 0d 0a 09 69 6e 74 20 R = 10; ...int
0a90: 43 20 3d 20 31 32 3b 20 0d 0a 09 69 6e 74 20 73 C = 12; ...int s
0aa0: 65 65 64 20 3d 20 31 32 33 34 35 36 37 38 39 3b eed = 123456789;
0ab0: 20 0d 0a 09 69 6e 74 20 58 20 3d 20 33 3b 20 0d ...int X = 3; .
0ac0: 0a 09 69 6e 74 20 5f 20 3d 20 31 39 3b 20 0d 0a ..int _ = 19; ..
0ad0: 45 4e 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 34 29 END../*..CASE(4)
0ae0: 0d 0a 09 69 6e 74 20 52 20 3d 20 3b 20 0d 0a 09 ...int R = ; ...
0af0: 69 6e 74 20 43 20 3d 20 3b 20 0d 0a 09 69 6e 74 int C = ; ...int
0b00: 20 73 65 65 64 20 3d 20 3b 20 0d 0a 09 69 6e 74 seed = ; ...int
0b10: 20 58 20 3d 20 3b 20 0d 0a 09 69 6e 74 20 5f 20 X = ; ...int _
0b20: 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 = ; ..END..CASE(
0b30: 35 29 0d 0a 09 69 6e 74 20 52 20 3d 20 3b 20 0d 5)...int R = ; .
0b40: 0a 09 69 6e 74 20 43 20 3d 20 3b 20 0d 0a 09 69 ..int C = ; ...i
0b50: 6e 74 20 73 65 65 64 20 3d 20 3b 20 0d 0a 09 69 nt seed = ; ...i
0b60: 6e 74 20 58 20 3d 20 3b 20 0d 0a 09 69 6e 74 20 nt X = ; ...int
0b70: 5f 20 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 2a 2f 0d _ = ; ..END..*/.
0b80: 0a 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 .}..// END CUT H
0b90: 45 52 45 0d 0a ERE..