#include <iostream>
#include <stdio.h>
#include <math.h>
#include <string.h>
#include <time.h>
#include <stdlib.h>
#include <string>
#include <bitset>
#include <vector>
#include <set>
#include <map>
#include <queue>
#include <algorithm>
#include <sstream>
#include <stack>
#include <iomanip>
#include <assert.h>
#include <unordered_map>
using namespace std;
#define pb push_back
#define mp make_pair
typedef pair<int,int> pii;
typedef long long ll;
typedef double ld;
typedef vector<int> vi;
#define fi first
#define se second
#define fe first
#define FO(x) {freopen(#x".in","r",stdin);freopen(#x".out","w",stdout);}
#define Edg int M=0,fst[SZ],vb[SZ],nxt[SZ];void ad_de(int a,int b){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;}void adde(int a,int b){ad_de(a,b);ad_de(b,a);}
#define Edgc int M=0,fst[SZ],vb[SZ],nxt[SZ],vc[SZ];void ad_de(int a,int b,int c){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;vc[M]=c;}void adde(int a,int b,int c){ad_de(a,b,c);ad_de(b,a,c);}
#define es(x,e) (int e=fst[x];e;e=nxt[e])
#define esb(x,e,b) (int e=fst[x],b=vb[e];e;e=nxt[e],b=vb[e])
#define SZ 44
int n,a[SZ];
int sf[SZ][SZ],s[SZ],pos[SZ],pl[SZ],pm[SZ],pr[SZ];
#define MOD 10000007
typedef pair<int,ll> pil;
const pil em(0,0);
struct HashTable
{
int h[MOD],nx[9999999],cn=0;
ll rv[9999999]; pil vv[9999999];
pil& operator [] (ll v)
{
for(int e=h[v%MOD];e;e=nx[e])
if(rv[e]==v) return vv[e];
nx[++cn]=h[v%MOD]; rv[cn]=v;
h[v%MOD]=cn; return vv[cn]=em;
}
void clear()
{
for(int i=1;i<=cn;++i)
h[rv[i]%MOD]=0;
cn=0;
}
}f[2];
inline void Add(pil&a,pil b)
{
if((!a.se)||a.fi>b.fi) a=b;
else if(a.fi==b.fi) a.se+=b.se;
}
int main()
{
scanf("%d",&n);
for(int i=1;i<=n;++i)
scanf("%d",a+i);
ll tg=0;
for(int i=1;i<=n;++i)
{
for(int j=i;j<=n;++j)
sf[i][++s[i]]=a[j];
sf[i][0]=0;
sf[i][s[i]+1]=n+1;
sort(sf[i],sf[i]+s[i]+1);
for(int j=1;j<=s[i];++j)
if(sf[i][j]==a[i])
pos[i]=j;
pl[i]=sf[i][pos[i]-1];
pm[i]=sf[i][pos[i]];
pr[i]=sf[i][pos[i]+1];
}
f[0][0]=pil(0,1);
for(int i=1;i<=n;++i)
{
HashTable&ls=f[(i-1)&1],&cs=f[i&1];
cs.clear();
register int pl_=pl[i],pr_=pr[i],pm_=pm[i];
for(int t=1;t<=ls.cn;++t)
{
register pil gg=ls.vv[t];
register ll tx=ls.rv[t],ty=0;
register ll A=(1LL<<(pr_-pl_))-1;
register int tu=__builtin_popcountll(tx>>pm_),
ts=__builtin_popcountll((tx>>pl_)&A);
tx&=(~(A<<pl_));
ty=tx|(((1LL<<ts)-1)<<pl_);
tx|=(((1LL<<(ts+1))-1)<<pl_);
Add(cs[ty],gg);
gg.fi+=tu;
Add(cs[tx],gg);
}
}
static pil op[55];
for(int i=1;i<=f[n&1].cn;++i)
op[__builtin_popcountll(f[n&1].rv[i])]=f[n&1].vv[i];
// for(auto u:f[n&1]) op[u.fi]=u.se;
for(int i=1;i<=n;++i)
printf("%d %lld\n",op[i].fi,op[i].se);
}
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 | #include <iostream> #include <stdio.h> #include <math.h> #include <string.h> #include <time.h> #include <stdlib.h> #include <string> #include <bitset> #include <vector> #include <set> #include <map> #include <queue> #include <algorithm> #include <sstream> #include <stack> #include <iomanip> #include <assert.h> #include <unordered_map> using namespace std; #define pb push_back #define mp make_pair typedef pair<int,int> pii; typedef long long ll; typedef double ld; typedef vector<int> vi; #define fi first #define se second #define fe first #define FO(x) {freopen(#x".in","r",stdin);freopen(#x".out","w",stdout);} #define Edg int M=0,fst[SZ],vb[SZ],nxt[SZ];void ad_de(int a,int b){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;}void adde(int a,int b){ad_de(a,b);ad_de(b,a);} #define Edgc int M=0,fst[SZ],vb[SZ],nxt[SZ],vc[SZ];void ad_de(int a,int b,int c){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;vc[M]=c;}void adde(int a,int b,int c){ad_de(a,b,c);ad_de(b,a,c);} #define es(x,e) (int e=fst[x];e;e=nxt[e]) #define esb(x,e,b) (int e=fst[x],b=vb[e];e;e=nxt[e],b=vb[e]) #define SZ 44 int n,a[SZ]; int sf[SZ][SZ],s[SZ],pos[SZ],pl[SZ],pm[SZ],pr[SZ]; #define MOD 10000007 typedef pair<int,ll> pil; const pil em(0,0); struct HashTable { int h[MOD],nx[9999999],cn=0; ll rv[9999999]; pil vv[9999999]; pil& operator [] (ll v) { for(int e=h[v%MOD];e;e=nx[e]) if(rv[e]==v) return vv[e]; nx[++cn]=h[v%MOD]; rv[cn]=v; h[v%MOD]=cn; return vv[cn]=em; } void clear() { for(int i=1;i<=cn;++i) h[rv[i]%MOD]=0; cn=0; } }f[2]; inline void Add(pil&a,pil b) { if((!a.se)||a.fi>b.fi) a=b; else if(a.fi==b.fi) a.se+=b.se; } int main() { scanf("%d",&n); for(int i=1;i<=n;++i) scanf("%d",a+i); ll tg=0; for(int i=1;i<=n;++i) { for(int j=i;j<=n;++j) sf[i][++s[i]]=a[j]; sf[i][0]=0; sf[i][s[i]+1]=n+1; sort(sf[i],sf[i]+s[i]+1); for(int j=1;j<=s[i];++j) if(sf[i][j]==a[i]) pos[i]=j; pl[i]=sf[i][pos[i]-1]; pm[i]=sf[i][pos[i]]; pr[i]=sf[i][pos[i]+1]; } f[0][0]=pil(0,1); for(int i=1;i<=n;++i) { HashTable&ls=f[(i-1)&1],&cs=f[i&1]; cs.clear(); register int pl_=pl[i],pr_=pr[i],pm_=pm[i]; for(int t=1;t<=ls.cn;++t) { register pil gg=ls.vv[t]; register ll tx=ls.rv[t],ty=0; register ll A=(1LL<<(pr_-pl_))-1; register int tu=__builtin_popcountll(tx>>pm_), ts=__builtin_popcountll((tx>>pl_)&A); tx&=(~(A<<pl_)); ty=tx|(((1LL<<ts)-1)<<pl_); tx|=(((1LL<<(ts+1))-1)<<pl_); Add(cs[ty],gg); gg.fi+=tu; Add(cs[tx],gg); } } static pil op[55]; for(int i=1;i<=f[n&1].cn;++i) op[__builtin_popcountll(f[n&1].rv[i])]=f[n&1].vv[i]; // for(auto u:f[n&1]) op[u.fi]=u.se; for(int i=1;i<=n;++i) printf("%d %lld\n",op[i].fi,op[i].se); } |
English