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 73 74 61 74 69 63 20 63 6f 6e P;....static con
01a0: 73 74 20 75 6e 73 69 67 6e 65 64 20 4d 4f 44 56 st unsigned MODV
01b0: 41 4c 20 3d 20 31 30 30 30 30 30 30 30 30 37 3b AL = 1000000007;
01c0: 0d 0a 73 74 72 75 63 74 20 6d 69 6e 74 0d 0a 7b ..struct mint..{
01d0: 0d 0a 09 75 6e 73 69 67 6e 65 64 20 76 61 6c 3b ...unsigned val;
01e0: 0d 0a 09 6d 69 6e 74 28 29 3a 76 61 6c 28 30 29 ...mint():val(0)
01f0: 7b 7d 0d 0a 09 6d 69 6e 74 28 69 6e 74 20 20 20 {}...mint(int
0200: 20 20 20 78 29 3a 76 61 6c 28 78 25 4d 4f 44 56 x):val(x%MODV
0210: 41 4c 29 20 7b 7d 0d 0a 09 6d 69 6e 74 28 75 6e AL) {}...mint(un
0220: 73 69 67 6e 65 64 20 78 29 3a 76 61 6c 28 78 25 signed x):val(x%
0230: 4d 4f 44 56 41 4c 29 20 7b 7d 0d 0a 09 6d 69 6e MODVAL) {}...min
0240: 74 28 4c 4c 20 20 20 20 20 20 20 78 29 3a 76 61 t(LL x):va
0250: 6c 28 78 25 4d 4f 44 56 41 4c 29 20 7b 7d 0d 0a l(x%MODVAL) {}..
0260: 7d 3b 0d 0a 6d 69 6e 74 26 20 6f 70 65 72 61 74 };..mint& operat
0270: 6f 72 2b 3d 28 6d 69 6e 74 26 20 78 2c 20 6d 69 or+=(mint& x, mi
0280: 6e 74 20 79 29 20 7b 20 72 65 74 75 72 6e 20 78 nt y) { return x
0290: 20 3d 20 78 2e 76 61 6c 2b 79 2e 76 61 6c 3b 20 = x.val+y.val;
02a0: 7d 0d 0a 6d 69 6e 74 26 20 6f 70 65 72 61 74 6f }..mint& operato
02b0: 72 2d 3d 28 6d 69 6e 74 26 20 78 2c 20 6d 69 6e r-=(mint& x, min
02c0: 74 20 79 29 20 7b 20 72 65 74 75 72 6e 20 78 20 t y) { return x
02d0: 3d 20 78 2e 76 61 6c 2d 79 2e 76 61 6c 2b 4d 4f = x.val-y.val+MO
02e0: 44 56 41 4c 3b 20 7d 0d 0a 6d 69 6e 74 26 20 6f DVAL; }..mint& o
02f0: 70 65 72 61 74 6f 72 2a 3d 28 6d 69 6e 74 26 20 perator*=(mint&
0300: 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 72 65 74 x, mint y) { ret
0310: 75 72 6e 20 78 20 3d 20 4c 4c 28 78 2e 76 61 6c urn x = LL(x.val
0320: 29 2a 79 2e 76 61 6c 3b 20 7d 0d 0a 6d 69 6e 74 )*y.val; }..mint
0330: 20 6f 70 65 72 61 74 6f 72 2b 28 6d 69 6e 74 20 operator+(mint
0340: 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 72 65 74 x, mint y) { ret
0350: 75 72 6e 20 78 2b 3d 79 3b 20 7d 0d 0a 6d 69 6e urn x+=y; }..min
0360: 74 20 6f 70 65 72 61 74 6f 72 2d 28 6d 69 6e 74 t operator-(mint
0370: 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 72 65 x, mint y) { re
0380: 74 75 72 6e 20 78 2d 3d 79 3b 20 7d 0d 0a 6d 69 turn x-=y; }..mi
0390: 6e 74 20 6f 70 65 72 61 74 6f 72 2a 28 6d 69 6e nt operator*(min
03a0: 74 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 72 t x, mint y) { r
03b0: 65 74 75 72 6e 20 78 2a 3d 79 3b 20 7d 0d 0a 0d eturn x*=y; }...
03c0: 0a 63 6c 61 73 73 20 43 6f 75 6e 74 42 69 6e 61 .class CountBina
03d0: 72 79 53 65 71 75 65 6e 63 65 73 20 7b 20 70 75 rySequences { pu
03e0: 62 6c 69 63 3a 0d 0a 09 69 6e 74 20 63 6f 75 6e blic:...int coun
03f0: 74 53 65 71 75 65 6e 63 65 73 28 69 6e 74 20 6e tSequences(int n
0400: 2c 20 69 6e 74 20 6b 2c 20 76 65 63 74 6f 72 20 , int k, vector
0410: 3c 69 6e 74 3e 20 4c 2c 20 76 65 63 74 6f 72 20 <int> L, vector
0420: 3c 69 6e 74 3e 20 52 29 0d 0a 09 7b 0d 0a 09 09 <int> R)...{....
0430: 63 6f 6e 73 74 20 69 6e 74 20 4e 20 3d 20 4c 2e const int N = L.
0440: 73 69 7a 65 28 29 3b 0d 0a 09 09 76 65 63 74 6f size();....vecto
0450: 72 3c 70 61 69 72 3c 69 6e 74 2c 69 6e 74 3e 3e r<pair<int,int>>
0460: 20 52 4e 47 3b 0d 0a 09 09 66 6f 72 28 69 6e 74 RNG;....for(int
0470: 20 69 3d 30 3b 20 69 3c 4e 3b 20 2b 2b 69 29 0d i=0; i<N; ++i).
0480: 0a 09 09 09 52 4e 47 2e 65 6d 70 6c 61 63 65 5f ....RNG.emplace_
0490: 62 61 63 6b 28 4c 5b 69 5d 2c 20 52 5b 69 5d 29 back(L[i], R[i])
04a0: 3b 0d 0a 09 09 73 6f 72 74 28 52 4e 47 2e 62 65 ;....sort(RNG.be
04b0: 67 69 6e 28 29 2c 20 52 4e 47 2e 65 6e 64 28 29 gin(), RNG.end()
04c0: 2c 20 5b 26 5d 28 70 61 69 72 3c 69 6e 74 2c 69 , [&](pair<int,i
04d0: 6e 74 3e 20 61 2c 20 70 61 69 72 3c 69 6e 74 2c nt> a, pair<int,
04e0: 69 6e 74 3e 20 62 29 7b 0d 0a 09 09 09 69 66 28 int> b){.....if(
04f0: 61 2e 73 65 63 6f 6e 64 2d 61 2e 66 69 72 73 74 a.second-a.first
0500: 20 21 3d 20 62 2e 73 65 63 6f 6e 64 2d 62 2e 66 != b.second-b.f
0510: 69 72 73 74 29 0d 0a 09 09 09 09 72 65 74 75 72 irst)......retur
0520: 6e 20 61 2e 73 65 63 6f 6e 64 2d 61 2e 66 69 72 n a.second-a.fir
0530: 73 74 20 3c 20 62 2e 73 65 63 6f 6e 64 2d 62 2e st < b.second-b.
0540: 66 69 72 73 74 3b 0d 0a 09 09 09 72 65 74 75 72 first;.....retur
0550: 6e 20 61 3c 62 3b 0d 0a 09 09 7d 29 3b 0d 0a 0d n a<b;....});...
0560: 0a 09 09 76 65 63 74 6f 72 3c 76 65 63 74 6f 72 ...vector<vector
0570: 3c 69 6e 74 3e 3e 20 63 68 69 6c 64 28 4e 2b 31 <int>> child(N+1
0580: 29 3b 0d 0a 09 09 66 6f 72 28 69 6e 74 20 69 3d );....for(int i=
0590: 30 3b 20 69 3c 4e 3b 20 2b 2b 69 29 20 7b 0d 0a 0; i<N; ++i) {..
05a0: 09 09 09 69 6e 74 20 70 20 3d 20 4e 3b 0d 0a 09 ...int p = N;...
05b0: 09 09 66 6f 72 28 69 6e 74 20 6b 3d 69 2b 31 3b ..for(int k=i+1;
05c0: 20 6b 3c 4e 3b 20 2b 2b 6b 29 0d 0a 09 09 09 09 k<N; ++k)......
05d0: 69 66 28 52 4e 47 5b 6b 5d 2e 66 69 72 73 74 3c if(RNG[k].first<
05e0: 3d 52 4e 47 5b 69 5d 2e 66 69 72 73 74 20 26 26 =RNG[i].first &&
05f0: 20 52 4e 47 5b 69 5d 2e 73 65 63 6f 6e 64 3c 3d RNG[i].second<=
0600: 52 4e 47 5b 6b 5d 2e 73 65 63 6f 6e 64 29 0d 0a RNG[k].second)..
0610: 09 09 09 09 09 7b 70 3d 6b 3b 20 62 72 65 61 6b .....{p=k; break
0620: 3b 7d 0d 0a 09 09 09 63 68 69 6c 64 5b 70 5d 2e ;}.....child[p].
0630: 65 6d 70 6c 61 63 65 5f 62 61 63 6b 28 69 29 3b emplace_back(i);
0640: 0d 0a 09 09 7d 0d 0a 09 09 66 6f 72 28 61 75 74 ....}....for(aut
0650: 6f 26 20 63 63 3a 20 63 68 69 6c 64 29 0d 0a 09 o& cc: child)...
0660: 09 09 73 6f 72 74 28 63 63 2e 62 65 67 69 6e 28 ..sort(cc.begin(
0670: 29 2c 20 63 63 2e 65 6e 64 28 29 2c 20 5b 26 5d ), cc.end(), [&]
0680: 28 69 6e 74 20 61 2c 20 69 6e 74 20 62 29 7b 0d (int a, int b){.
0690: 0a 09 09 09 09 72 65 74 75 72 6e 20 52 4e 47 5b .....return RNG[
06a0: 61 5d 2e 66 69 72 73 74 20 3c 20 52 4e 47 5b 62 a].first < RNG[b
06b0: 5d 2e 66 69 72 73 74 3b 0d 0a 09 09 09 7d 29 3b ].first;.....});
06c0: 0d 0a 0d 0a 09 09 52 4e 47 2e 65 6d 70 6c 61 63 ......RNG.emplac
06d0: 65 5f 62 61 63 6b 28 31 2c 20 6e 29 3b 0d 0a 0d e_back(1, n);...
06e0: 0a 09 09 6d 65 6d 6f 2e 61 73 73 69 67 6e 28 28 ...memo.assign((
06f0: 4e 2b 31 29 2a 28 6b 2b 31 29 2a 28 6b 2b 31 29 N+1)*(k+1)*(k+1)
0700: 2c 20 2d 31 29 3b 0d 0a 0d 0a 09 09 6d 69 6e 74 , -1);......mint
0710: 20 74 6f 74 61 6c 20 3d 20 30 3b 0d 0a 09 09 66 total = 0;....f
0720: 6f 72 28 69 6e 74 20 6c 3d 30 3b 20 6c 3c 3d 6b or(int l=0; l<=k
0730: 3b 20 2b 2b 6c 29 0d 0a 09 09 66 6f 72 28 69 6e ; ++l)....for(in
0740: 74 20 72 3d 30 3b 20 72 3c 3d 6b 3b 20 2b 2b 72 t r=0; r<=k; ++r
0750: 29 0d 0a 09 09 09 74 6f 74 61 6c 20 2b 3d 20 73 ).....total += s
0760: 6f 6c 76 65 28 52 4e 47 2c 20 63 68 69 6c 64 2c olve(RNG, child,
0770: 20 6b 2c 20 4e 2c 20 6c 2c 20 72 29 3b 0d 0a 09 k, N, l, r);...
0780: 09 72 65 74 75 72 6e 20 74 6f 74 61 6c 2e 76 61 .return total.va
0790: 6c 3b 0d 0a 09 7d 0d 0a 0d 0a 09 76 65 63 74 6f l;...}.....vecto
07a0: 72 3c 69 6e 74 3e 20 6d 65 6d 6f 3b 0d 0a 09 69 r<int> memo;...i
07b0: 6e 74 20 73 6f 6c 76 65 28 0d 0a 09 09 63 6f 6e nt solve(....con
07c0: 73 74 20 76 65 63 74 6f 72 3c 70 61 69 72 3c 69 st vector<pair<i
07d0: 6e 74 2c 69 6e 74 3e 3e 26 20 52 4e 47 2c 0d 0a nt,int>>& RNG,..
07e0: 09 09 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c 76 ..const vector<v
07f0: 65 63 74 6f 72 3c 69 6e 74 3e 3e 26 20 72 6e 67 ector<int>>& rng
0800: 5f 6c 69 73 74 2c 0d 0a 09 09 63 6f 6e 73 74 20 _list,....const
0810: 69 6e 74 20 4b 2c 0d 0a 09 09 69 6e 74 20 69 64 int K,....int id
0820: 78 2c 20 69 6e 74 20 4c 31 2c 20 69 6e 74 20 52 x, int L1, int R
0830: 31 29 20 7b 0d 0a 09 09 63 6f 6e 73 74 20 62 6f 1) {....const bo
0840: 6f 6c 20 6d 75 73 74 5f 62 65 5f 65 76 65 6e 20 ol must_be_even
0850: 3d 20 28 69 64 78 2b 31 20 3d 3d 20 52 4e 47 2e = (idx+1 == RNG.
0860: 73 69 7a 65 28 29 29 3b 0d 0a 09 09 63 6f 6e 73 size());....cons
0870: 74 20 69 6e 74 20 6b 65 79 20 3d 20 28 69 64 78 t int key = (idx
0880: 2a 28 4b 2b 31 29 2b 4c 31 29 2a 28 4b 2b 31 29 *(K+1)+L1)*(K+1)
0890: 2b 52 31 3b 0d 0a 09 09 69 66 28 6d 65 6d 6f 5b +R1;....if(memo[
08a0: 6b 65 79 5d 20 21 3d 20 2d 31 29 20 72 65 74 75 key] != -1) retu
08b0: 72 6e 20 6d 65 6d 6f 5b 6b 65 79 5d 3b 0d 0a 0d rn memo[key];...
08c0: 0a 09 09 2f 2f 20 52 4e 47 5b 69 64 78 5d 20 69 ...// RNG[idx] i
08d0: 73 20 74 68 65 20 63 75 72 72 65 6e 74 20 72 61 s the current ra
08e0: 6e 67 65 20 79 6f 75 20 6e 65 65 64 20 74 6f 20 nge you need to
08f0: 63 6f 6e 73 69 64 65 72 2e 0d 0a 09 09 2f 2f 20 consider.....//
0900: 72 6e 67 5f 6c 69 73 74 5b 69 64 78 5d 20 69 73 rng_list[idx] is
0910: 20 6c 65 66 74 2d 74 6f 2d 72 69 67 68 74 20 73 left-to-right s
0920: 6f 72 74 65 64 20 73 75 62 2d 72 61 6e 67 65 73 orted sub-ranges
0930: 2e 0d 0a 09 09 2f 2f 20 74 68 65 20 72 65 67 69 .....// the regi
0940: 6f 6e 20 6d 75 73 74 20 62 65 20 73 75 6d 2d 65 on must be sum-e
0950: 76 65 6e 20 69 66 20 6d 75 73 74 5f 62 65 5f 65 ven if must_be_e
0960: 76 65 6e 2e 0d 0a 09 09 2f 2f 20 6d 6f 72 65 20 ven.....// more
0970: 74 68 61 6e 20 4b 20 63 6f 6e 73 65 63 75 74 69 than K consecuti
0980: 76 65 20 31 27 73 20 61 72 65 20 6e 6f 74 20 61 ve 1's are not a
0990: 6c 6c 6f 77 65 64 2e 0d 0a 09 09 2f 2f 20 6c 65 llowed.....// le
09a0: 66 74 2d 65 6e 64 20 6d 75 73 74 20 68 61 76 65 ft-end must have
09b0: 20 65 78 61 63 74 6c 79 20 4c 31 20 63 6f 6e 73 exactly L1 cons
09c0: 65 63 75 74 69 76 65 20 31 27 73 2e 0d 0a 09 09 ecutive 1's.....
09d0: 2f 2f 20 72 69 67 68 74 2d 65 6e 64 20 6d 75 73 // right-end mus
09e0: 74 20 68 61 76 65 20 65 78 61 63 74 6c 79 20 52 t have exactly R
09f0: 31 20 63 6f 6e 73 65 63 75 74 69 76 65 20 31 27 1 consecutive 1'
0a00: 73 2e 0d 0a 09 09 72 65 74 75 72 6e 20 6d 65 6d s.....return mem
0a10: 6f 5b 6b 65 79 5d 20 3d 20 30 3b 0d 0a 09 7d 0d o[key] = 0;...}.
0a20: 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 .};....// BEGIN
0a30: 43 55 54 20 48 45 52 45 0d 0a 23 69 6e 63 6c 75 CUT HERE..#inclu
0a40: 64 65 20 3c 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 de <ctime>..doub
0a50: 6c 65 20 73 74 61 72 74 5f 74 69 6d 65 3b 20 73 le start_time; s
0a60: 74 72 69 6e 67 20 74 69 6d 65 72 28 29 0d 0a 20 tring timer()..
0a70: 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61 6d 20 { ostringstream
0a80: 6f 73 3b 20 6f 73 20 3c 3c 20 22 20 28 22 20 3c os; os << " (" <
0a90: 3c 20 69 6e 74 28 28 63 6c 6f 63 6b 28 29 2d 73 < int((clock()-s
0aa0: 74 61 72 74 5f 74 69 6d 65 29 2f 43 4c 4f 43 4b tart_time)/CLOCK
0ab0: 53 5f 50 45 52 5f 53 45 43 2a 31 30 30 30 29 20 S_PER_SEC*1000)
0ac0: 3c 3c 20 22 20 6d 73 65 63 29 22 3b 20 72 65 74 << " msec)"; ret
0ad0: 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20 7d 0d urn os.str(); }.
0ae0: 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70 65 6e 61 .template<typena
0af0: 6d 65 20 54 3e 20 6f 73 74 72 65 61 6d 26 20 6f me T> ostream& o
0b00: 70 65 72 61 74 6f 72 3c 3c 28 6f 73 74 72 65 61 perator<<(ostrea
0b10: 6d 26 20 6f 73 2c 20 63 6f 6e 73 74 20 76 65 63 m& os, const vec
0b20: 74 6f 72 3c 54 3e 26 20 76 29 0d 0a 20 7b 20 6f tor<T>& v).. { o
0b30: 73 20 3c 3c 20 22 7b 20 22 3b 0d 0a 20 20 20 66 s << "{ ";.. f
0b40: 6f 72 28 74 79 70 65 6e 61 6d 65 20 76 65 63 74 or(typename vect
0b50: 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 or<T>::const_ite
0b60: 72 61 74 6f 72 20 69 74 3d 76 2e 62 65 67 69 6e rator it=v.begin
0b70: 28 29 3b 20 69 74 21 3d 76 2e 65 6e 64 28 29 3b (); it!=v.end();
0b80: 20 2b 2b 69 74 29 0d 0a 20 20 20 6f 73 20 3c 3c ++it).. os <<
0b90: 20 27 5c 22 27 20 3c 3c 20 2a 69 74 20 3c 3c 20 '\"' << *it <<
0ba0: 27 5c 22 27 20 3c 3c 20 28 69 74 2b 31 3d 3d 76 '\"' << (it+1==v
0bb0: 2e 65 6e 64 28 29 20 3f 20 22 22 20 3a 20 22 2c .end() ? "" : ",
0bc0: 20 22 29 3b 20 6f 73 20 3c 3c 20 22 20 7d 22 3b "); os << " }";
0bd0: 20 72 65 74 75 72 6e 20 6f 73 3b 20 7d 0d 0a 76 return os; }..v
0be0: 6f 69 64 20 76 65 72 69 66 79 5f 63 61 73 65 28 oid verify_case(
0bf0: 63 6f 6e 73 74 20 69 6e 74 26 20 45 78 70 65 63 const int& Expec
0c00: 74 65 64 2c 20 63 6f 6e 73 74 20 69 6e 74 26 20 ted, const int&
0c10: 52 65 63 65 69 76 65 64 29 20 7b 0d 0a 20 62 6f Received) {.. bo
0c20: 6f 6c 20 6f 6b 20 3d 20 28 45 78 70 65 63 74 65 ol ok = (Expecte
0c30: 64 20 3d 3d 20 52 65 63 65 69 76 65 64 29 3b 0d d == Received);.
0c40: 0a 20 69 66 28 6f 6b 29 20 63 65 72 72 20 3c 3c . if(ok) cerr <<
0c50: 20 22 50 41 53 53 45 44 22 20 3c 3c 20 74 69 6d "PASSED" << tim
0c60: 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 20 20 65 er() << endl; e
0c70: 6c 73 65 20 7b 20 63 65 72 72 20 3c 3c 20 22 46 lse { cerr << "F
0c80: 41 49 4c 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 AILED" << timer(
0c90: 29 20 3c 3c 20 65 6e 64 6c 3b 0d 0a 20 63 65 72 ) << endl;.. cer
0ca0: 72 20 3c 3c 20 22 5c 74 6f 3a 20 5c 22 22 20 3c r << "\to: \"" <
0cb0: 3c 20 45 78 70 65 63 74 65 64 20 3c 3c 20 27 5c < Expected << '\
0cc0: 22 27 20 3c 3c 20 65 6e 64 6c 20 3c 3c 20 22 5c "' << endl << "\
0cd0: 74 78 3a 20 5c 22 22 20 3c 3c 20 52 65 63 65 69 tx: \"" << Recei
0ce0: 76 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 ved << '\"' << e
0cf0: 6e 64 6c 3b 20 7d 20 7d 0d 0a 23 64 65 66 69 6e ndl; } }..#defin
0d00: 65 20 43 41 53 45 28 4e 29 20 7b 63 65 72 72 20 e CASE(N) {cerr
0d10: 3c 3c 20 22 54 65 73 74 20 43 61 73 65 20 23 22 << "Test Case #"
0d20: 20 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c << N << "..." <
0d30: 3c 20 66 6c 75 73 68 3b 20 73 74 61 72 74 5f 74 < flush; start_t
0d40: 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b 0d 0a 23 64 ime=clock();..#d
0d50: 65 66 69 6e 65 20 45 4e 44 09 20 76 65 72 69 66 efine END. verif
0d60: 79 5f 63 61 73 65 28 5f 2c 20 43 6f 75 6e 74 42 y_case(_, CountB
0d70: 69 6e 61 72 79 53 65 71 75 65 6e 63 65 73 28 29 inarySequences()
0d80: 2e 63 6f 75 6e 74 53 65 71 75 65 6e 63 65 73 28 .countSequences(
0d90: 6e 2c 20 6b 2c 20 4c 2c 20 52 29 29 3b 7d 0d 0a n, k, L, R));}..
0da0: 69 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 int main(){....C
0db0: 41 53 45 28 30 29 0d 0a 09 69 6e 74 20 6e 20 3d ASE(0)...int n =
0dc0: 20 34 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 32 4; ...int k = 2
0dd0: 3b 20 0d 0a 09 69 6e 74 20 4c 5f 5b 5d 20 3d 20 ; ...int L_[] =
0de0: 7b 32 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 {2};... vector
0df0: 3c 69 6e 74 3e 20 4c 28 4c 5f 2c 20 4c 5f 2b 73 <int> L(L_, L_+s
0e00: 69 7a 65 6f 66 28 4c 5f 29 2f 73 69 7a 65 6f 66 izeof(L_)/sizeof
0e10: 28 2a 4c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 52 (*L_)); ...int R
0e20: 5f 5b 5d 20 3d 20 7b 33 7d 3b 0d 0a 09 20 20 76 _[] = {3};... v
0e30: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 52 28 52 5f ector <int> R(R_
0e40: 2c 20 52 5f 2b 73 69 7a 65 6f 66 28 52 5f 29 2f , R_+sizeof(R_)/
0e50: 73 69 7a 65 6f 66 28 2a 52 5f 29 29 3b 20 0d 0a sizeof(*R_)); ..
0e60: 09 69 6e 74 20 5f 20 3d 20 35 3b 20 0d 0a 45 4e .int _ = 5; ..EN
0e70: 44 0d 0a 43 41 53 45 28 31 29 0d 0a 09 69 6e 74 D..CASE(1)...int
0e80: 20 6e 20 3d 20 34 3b 20 0d 0a 09 69 6e 74 20 6b n = 4; ...int k
0e90: 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 4c 5f 5b = 1; ...int L_[
0ea0: 5d 20 3d 20 7b 32 7d 3b 0d 0a 09 20 20 76 65 63 ] = {2};... vec
0eb0: 74 6f 72 20 3c 69 6e 74 3e 20 4c 28 4c 5f 2c 20 tor <int> L(L_,
0ec0: 4c 5f 2b 73 69 7a 65 6f 66 28 4c 5f 29 2f 73 69 L_+sizeof(L_)/si
0ed0: 7a 65 6f 66 28 2a 4c 5f 29 29 3b 20 0d 0a 09 69 zeof(*L_)); ...i
0ee0: 6e 74 20 52 5f 5b 5d 20 3d 20 7b 32 7d 3b 0d 0a nt R_[] = {2};..
0ef0: 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 . vector <int>
0f00: 52 28 52 5f 2c 20 52 5f 2b 73 69 7a 65 6f 66 28 R(R_, R_+sizeof(
0f10: 52 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 5f 29 29 R_)/sizeof(*R_))
0f20: 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 36 3b 20 ; ...int _ = 6;
0f30: 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 32 29 0d 0a ..END..CASE(2)..
0f40: 09 69 6e 74 20 6e 20 3d 20 36 3b 20 0d 0a 09 69 .int n = 6; ...i
0f50: 6e 74 20 6b 20 3d 20 33 3b 20 0d 0a 09 69 6e 74 nt k = 3; ...int
0f60: 20 4c 5f 5b 5d 20 3d 20 7b 31 2c 20 32 2c 20 33 L_[] = {1, 2, 3
0f70: 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 };... vector <i
0f80: 6e 74 3e 20 4c 28 4c 5f 2c 20 4c 5f 2b 73 69 7a nt> L(L_, L_+siz
0f90: 65 6f 66 28 4c 5f 29 2f 73 69 7a 65 6f 66 28 2a eof(L_)/sizeof(*
0fa0: 4c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 52 5f 5b L_)); ...int R_[
0fb0: 5d 20 3d 20 7b 36 2c 20 35 2c 20 34 7d 3b 0d 0a ] = {6, 5, 4};..
0fc0: 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 . vector <int>
0fd0: 52 28 52 5f 2c 20 52 5f 2b 73 69 7a 65 6f 66 28 R(R_, R_+sizeof(
0fe0: 52 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 5f 29 29 R_)/sizeof(*R_))
0ff0: 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 36 3b 20 ; ...int _ = 6;
1000: 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 33 29 0d 0a ..END..CASE(3)..
1010: 09 69 6e 74 20 6e 20 3d 20 31 30 30 30 3b 20 0d .int n = 1000; .
1020: 0a 09 69 6e 74 20 6b 20 3d 20 34 3b 20 0d 0a 09 ..int k = 4; ...
1030: 69 6e 74 20 4c 5f 5b 5d 20 3d 20 7b 31 30 2c 20 int L_[] = {10,
1040: 31 30 31 2c 20 32 30 31 2c 20 31 31 30 2c 20 31 101, 201, 110, 1
1050: 32 31 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 21};... vector
1060: 3c 69 6e 74 3e 20 4c 28 4c 5f 2c 20 4c 5f 2b 73 <int> L(L_, L_+s
1070: 69 7a 65 6f 66 28 4c 5f 29 2f 73 69 7a 65 6f 66 izeof(L_)/sizeof
1080: 28 2a 4c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 52 (*L_)); ...int R
1090: 5f 5b 5d 20 3d 20 7b 31 30 30 2c 20 32 30 30 2c _[] = {100, 200,
10a0: 20 33 30 30 2c 20 31 32 30 2c 20 31 33 30 7d 3b 300, 120, 130};
10b0: 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 ... vector <int
10c0: 3e 20 52 28 52 5f 2c 20 52 5f 2b 73 69 7a 65 6f > R(R_, R_+sizeo
10d0: 66 28 52 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 5f f(R_)/sizeof(*R_
10e0: 29 29 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 34 )); ...int _ = 4
10f0: 34 34 37 34 33 38 38 35 3b 20 0d 0a 45 4e 44 0d 44743885; ..END.
1100: 0a 43 41 53 45 28 34 29 0d 0a 09 69 6e 74 20 6e .CASE(4)...int n
1110: 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d = 1; ...int k =
1120: 20 35 3b 20 0d 0a 09 69 6e 74 20 4c 5f 5b 5d 20 5; ...int L_[]
1130: 3d 20 7b 31 7d 3b 0d 0a 09 20 20 76 65 63 74 6f = {1};... vecto
1140: 72 20 3c 69 6e 74 3e 20 4c 28 4c 5f 2c 20 4c 5f r <int> L(L_, L_
1150: 2b 73 69 7a 65 6f 66 28 4c 5f 29 2f 73 69 7a 65 +sizeof(L_)/size
1160: 6f 66 28 2a 4c 5f 29 29 3b 20 0d 0a 09 69 6e 74 of(*L_)); ...int
1170: 20 52 5f 5b 5d 20 3d 20 7b 31 7d 3b 0d 0a 09 20 R_[] = {1};...
1180: 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 52 28 vector <int> R(
1190: 52 5f 2c 20 52 5f 2b 73 69 7a 65 6f 66 28 52 5f R_, R_+sizeof(R_
11a0: 29 2f 73 69 7a 65 6f 66 28 2a 52 5f 29 29 3b 20 )/sizeof(*R_));
11b0: 0d 0a 09 69 6e 74 20 5f 20 3d 20 31 3b 20 0d 0a ...int _ = 1; ..
11c0: 45 4e 44 0d 0a 43 41 53 45 28 35 29 0d 0a 09 69 END..CASE(5)...i
11d0: 6e 74 20 6e 20 3d 20 39 39 38 3b 20 0d 0a 09 69 nt n = 998; ...i
11e0: 6e 74 20 6b 20 3d 20 32 3b 20 0d 0a 09 69 6e 74 nt k = 2; ...int
11f0: 20 4c 5f 5b 5d 20 3d 20 7b 33 31 33 2c 33 36 35 L_[] = {313,365
1200: 2c 31 38 39 2c 39 31 33 2c 33 33 34 2c 33 36 30 ,189,913,334,360
1210: 2c 31 36 30 2c 39 33 31 2c 33 31 33 2c 34 30 32 ,160,931,313,402
1220: 2c 33 38 39 2c 33 32 38 2c 33 37 36 2c 34 37 2c ,389,328,376,47,
1230: 39 30 36 2c 33 38 33 2c 33 38 31 2c 39 32 37 2c 906,383,381,927,
1240: 33 33 38 2c 31 37 38 2c 39 33 34 2c 39 33 33 2c 338,178,934,933,
1250: 31 36 32 2c 33 33 32 2c 31 39 31 2c 31 38 38 2c 162,332,191,188,
1260: 33 38 30 2c 39 31 32 2c 39 37 30 2c 33 36 30 2c 380,912,970,360,
1270: 31 36 31 2c 31 37 39 2c 39 36 36 2c 34 30 35 2c 161,179,966,405,
1280: 39 37 31 2c 33 38 31 7d 3b 0d 0a 09 20 20 76 65 971,381};... ve
1290: 63 74 6f 72 20 3c 69 6e 74 3e 20 4c 28 4c 5f 2c ctor <int> L(L_,
12a0: 20 4c 5f 2b 73 69 7a 65 6f 66 28 4c 5f 29 2f 73 L_+sizeof(L_)/s
12b0: 69 7a 65 6f 66 28 2a 4c 5f 29 29 3b 20 0d 0a 09 izeof(*L_)); ...
12c0: 69 6e 74 20 52 5f 5b 5d 20 3d 20 7b 33 31 33 2c int R_[] = {313,
12d0: 33 36 35 2c 31 38 39 2c 39 31 33 2c 33 33 34 2c 365,189,913,334,
12e0: 33 36 32 2c 31 36 30 2c 39 33 31 2c 33 34 30 2c 362,160,931,340,
12f0: 34 30 35 2c 33 38 39 2c 33 32 39 2c 33 39 38 2c 405,389,329,398,
1300: 34 32 35 2c 39 30 37 2c 33 38 33 2c 33 38 32 2c 425,907,383,382,
1310: 39 32 37 2c 33 33 38 2c 31 37 38 2c 39 33 34 2c 927,338,178,934,
1320: 39 33 33 2c 31 36 32 2c 33 33 32 2c 31 39 31 2c 933,162,332,191,
1330: 31 38 38 2c 33 38 34 2c 39 31 32 2c 39 37 30 2c 188,384,912,970,
1340: 33 36 35 2c 31 36 31 2c 31 37 39 2c 39 36 36 2c 365,161,179,966,
1350: 34 30 35 2c 39 37 31 2c 33 38 31 7d 3b 0d 0a 09 405,971,381};...
1360: 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 52 vector <int> R
1370: 28 52 5f 2c 20 52 5f 2b 73 69 7a 65 6f 66 28 52 (R_, R_+sizeof(R
1380: 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 5f 29 29 3b _)/sizeof(*R_));
1390: 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 34 32 30 38 ...int _ = 4208
13a0: 38 39 30 30 33 3b 20 0d 0a 45 4e 44 0d 0a 2f 2a 89003; ..END../*
13b0: 0d 0a 43 41 53 45 28 36 29 0d 0a 09 69 6e 74 20 ..CASE(6)...int
13c0: 6e 20 3d 20 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d n = ; ...int k =
13d0: 20 3b 20 0d 0a 09 69 6e 74 20 4c 5f 5b 5d 20 3d ; ...int L_[] =
13e0: 20 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 ;... vector <i
13f0: 6e 74 3e 20 4c 28 4c 5f 2c 20 4c 5f 2b 73 69 7a nt> L(L_, L_+siz
1400: 65 6f 66 28 4c 5f 29 2f 73 69 7a 65 6f 66 28 2a eof(L_)/sizeof(*
1410: 4c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 52 5f 5b L_)); ...int R_[
1420: 5d 20 3d 20 3b 0d 0a 09 20 20 76 65 63 74 6f 72 ] = ;... vector
1430: 20 3c 69 6e 74 3e 20 52 28 52 5f 2c 20 52 5f 2b <int> R(R_, R_+
1440: 73 69 7a 65 6f 66 28 52 5f 29 2f 73 69 7a 65 6f sizeof(R_)/sizeo
1450: 66 28 2a 52 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 f(*R_)); ...int
1460: 5f 20 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 _ = ; ..END..CAS
1470: 45 28 37 29 0d 0a 09 69 6e 74 20 6e 20 3d 20 3b E(7)...int n = ;
1480: 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 3b 20 0d 0a ...int k = ; ..
1490: 09 69 6e 74 20 4c 5f 5b 5d 20 3d 20 3b 0d 0a 09 .int L_[] = ;...
14a0: 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 4c vector <int> L
14b0: 28 4c 5f 2c 20 4c 5f 2b 73 69 7a 65 6f 66 28 4c (L_, L_+sizeof(L
14c0: 5f 29 2f 73 69 7a 65 6f 66 28 2a 4c 5f 29 29 3b _)/sizeof(*L_));
14d0: 20 0d 0a 09 69 6e 74 20 52 5f 5b 5d 20 3d 20 3b ...int R_[] = ;
14e0: 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 ... vector <int
14f0: 3e 20 52 28 52 5f 2c 20 52 5f 2b 73 69 7a 65 6f > R(R_, R_+sizeo
1500: 66 28 52 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 5f f(R_)/sizeof(*R_
1510: 29 29 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 3b )); ...int _ = ;
1520: 20 0d 0a 45 4e 44 0d 0a 2a 2f 0d 0a 7d 0d 0a 2f ..END..*/..}../
1530: 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 0d 0a / END CUT HERE..