http://poj.org/problem?id=3139
#include <stdio.h>
#include <algorithm>
using namespace std;
int has_one[1<<16];
int ans[1<<16];
int result[1<<16][24];
int a[16];
void clac_has_one( ) {
int i;
has_one[0] = 0;
for( i=1; i<(1<<16); i++ )
has_one[i] = has_one[ i&(i-1) ] + 1;
}
void clac_result( ) {
int i, j, k;
int index[4];
for( i=0; i<(1<<16); i++ ) {
if( has_one[i] == 4 ) {
k = 0;
for( j=0; j<16; j++ )
if( i & (1<<j) )
index[k++] = j;
j = 0;
do{
result[i][j] = a[index[0]]*4 + a[index[1]]*3
+ a[index[2]]*2 + a[index[3]];
j++;
}while( next_permutation( index, index+4 ) );
sort( result[i], result[i]+j );
}
}
}
int c_8_4[100][4];
int m;
void clac_c84( ) {
int i, j, k;
m = 0;
for( i=0; i<(1<<7); i++ ) {
if( has_one[i] == 4 ) {
k = 0;
for( j=0; j<7; j++ )
if( i & (1<<j) )
c_8_4[m][k++] = j;
m++;
}
}
}
void clac_ans( ) {
int i, j, k, a, b, *ra, *rb, *ka, *kb, t;
char counter[11000] = { 0 };
int id[8];
for( i=0; i<(1<<16); i++ ) {
if( has_one[i] == 8 && ( i<(1<<15) || ans[((1<<16)-1)^i] ) ) {
k = 0;
for( j=0; j<16; j++ )
if( i & (1<<j) )
id[k++] = j;
t = 0;
for( j=0; j<35; j++ ) {
a = (1<<id[c_8_4[j][0]]) | (1<<id[c_8_4[j][1]])
| (1<<id[c_8_4[j][2]]) | (1<<id[c_8_4[j][3]]);
b = i ^ a;
ra = result[a];
rb = result[b];
ka = result[a] + 23;
kb = result[b] + 23;
if( *ra > *kb || *rb > *ka )
continue;
while( ra<=ka )
counter[ *ra++ ]++;
while( rb<=kb )
t += counter[ *rb++ ];
ra = result[a];
while( ra<=ka )
counter[ *ra++ ] = 0;
}
ans[i] = t;
}
else
ans[i] = 0;
}
return ;
}
long long clac( ) {
long long sum = 0;
int i;
for( i=0; i<(1<<15); i++ ) {
if( has_one[i] == 8 ) {
sum += (long long)ans[i]*ans[((1<<16)-1)^i];
}
}
return sum;
}
int main( ) {
int i, count=1;
clac_has_one( );
clac_c84( );
while( true ) {
scanf( "%d", &a[0] );
if( a[0] == 0 ) break;
for( i=1; i<16; i++ )
scanf( "%d", &a[i] );
clac_result( );
clac_ans( );
printf( "Case %d: %lldn", count++, clac() );
}
return 0;
}
Meta
-
Recent Posts
Recent Comments
Archives
- May 2024
- April 2023
- February 2023
- January 2023
- December 2022
- November 2022
- September 2022
- June 2022
- July 2021
- January 2021
- February 2020
- September 2019
- March 2018
- February 2018
- August 2016
- July 2016
- June 2016
- May 2016
- April 2016
- March 2016
- February 2016
- January 2016
- December 2015
- November 2015
- October 2015
- September 2015
- August 2015
- July 2015
- June 2015
- May 2015
- April 2015
- March 2015
- February 2015
- January 2015
- December 2014
- November 2014
- October 2014
- September 2014
- August 2014
- July 2014
- June 2014
- May 2014
- April 2014
- March 2014
- February 2014
- January 2014
- December 2013
- November 2013
- October 2013
- September 2013
- August 2013
- July 2013
- June 2013
- May 2013
- April 2013
- March 2013
- February 2013
- January 2013
- December 2012
- November 2012
- October 2012
- September 2012
- August 2012
- July 2012
- June 2012
- May 2012
- April 2012
- March 2012
- February 2012
- January 2012
- December 2011
- November 2011
- October 2011
- September 2011
- August 2011
- July 2011
- June 2011
- May 2011
- April 2011
- March 2011
- February 2011
- January 2011
- December 2010
- November 2010
- October 2010
- September 2010
- August 2010
- July 2010
- June 2010
- May 2010
- April 2010
- March 2010
- February 2010
- January 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
Categories
