CF1205C Palindromic Paths

题目链接

问题分析

首先可以想到,坐标和为奇数的位置可以被唯一确定。同样的,如果假定\((1,2)\)\(0\),那么坐标和为偶数的位置也可以被唯一确定。这样总共使用了\(n^2-3\)次询问。

那么接下来就需要在\(3\)步之内判断是否要翻转坐标和为偶数的位置。

如果仅仅只是这样简单的判断:

printf( "? 1 1 2 3\n" ); fflush( stdout );
	int x; scanf( "%d", &x );
	if( x == 1 && A[ 1 ][ 1 ] != A[ 2 ][ 3 ] ) 
		for( int i = 1; i <= n; ++i )
			for( int j = 1; j <= n; ++j ) 
				if( ( i + j ) % 2 )
					A[ i ][ j ] = ( A[ i ][ j ] == 1 ) ? 0 : 1;
	if( x == 0 && A[ 1 ][ 1 ] == A[ 2 ][ 3 ] && 
		( A[ 2 ][ 1 ] == A[ 2 ][ 2 ] || A[ 1 ][ 2 ] == A[ 2 ][ 2 ] || A[ 1 ][ 2 ] == A[ 1 ][ 3 ] ) )
		for( int i = 1; i <= n; ++i )
			for( int j = 1; j <= n; ++ j )
				if( ( i + j ) % 2 )
					A[ i ][ j ] = ( A[ i ][ j ] == 1 ) ? 0 : 1;

那么就愉快的Wrong Answer on test 5

观察这样一组数据:

110
101
110

会发现,不论是否翻转,所得的结果都是\(0\)

观察发现,翻转会改变这样一条长度为\(4\)的路径上的两个位置。而这样路径上值的异或和是不变的。而长度为\(4\)\(01\)串异或和为\(0\)是回文的必要条件。如果异或和不为\(0\),就会出现所给反例中的情况。

那么异或和为\(0\)的长度为\(4\)的路径是否一定存在?考虑反证法。

假设不存在这样一条路径。考虑从左上到右下的任意一条路径。这条路径的长度为\(2n-1\)。不妨设这条路径所组成的序列是\(\{a_i\}\)。那么\(a_1 \oplus a_2 \oplus a_3 \oplus a_4=1\)\(a_2\oplus a_3\oplus a_4\oplus a_5=1\)。那么\(a_1=a_5\)。同样的\(a_i=a_{i-4}\)。由于\(n\)是奇数,所以\(a_{2n-1}=a_1\)。 而题目中要求\(a_1=1,a_{2n-1}=0\),所以一定存在这样一条路径。

那么就得到了可行的做法。

参考程序

#include <bits/stdc++.h>
using namespace std;

const int Maxn = 60;
int n, A[ Maxn ][ Maxn ], x;

int Check( int x1, int y1, int x2, int y2 ) {
	if( x1 == x2 ) return 1 ^ A[ x1 ][ y1 ] ^ A[ x1 ][ y1 + 1 ] ^ A[ x1 ][ y1 + 2 ] ^ A[ x1 ][ y2 ];
	if( x1 + 1 == x2 ) {
		int t = A[ x1 ][ y1 ] ^ A[ x2 ][ y2 ];
		return ( t == ( A[ x1 + 1 ][ y1 ] ^ A[ x1 + 1 ][ y1 + 1 ] ) ) || 
			( t == ( A[ x1 ][ y1 + 1 ] ^ A[ x1 + 1 ][ y1 + 1 ] ) ) ||
			( t == ( A[ x1 ][ y1 + 1 ] ^ A[ x1 ][ y1 + 2 ] ) );
	}
	if( x1 + 2 == x2 ) {
		int t = A[ x1 ][ y1 ] ^ A[ x2 ][ y2 ];
		return ( t == ( A[ x1 + 1 ][ y1 ] ^ A[ x1 + 2 ][ y1 ] ) ) || 
			( t == ( A[ x1 + 1 ][ y1 ] ^ A[ x1 + 1 ][ y1 + 1 ] ) ) ||
			( t == ( A[ x1 ][ y1 + 1 ] ^ A[ x1 + 1 ][ y1 + 1 ] ) );
	}
	if( x1 + 3 == x2 ) return 1 ^ A[ x1 ][ y1 ] ^ A[ x1 + 1 ][ y1 ] ^ A[ x1 + 2 ][ y1 ] ^ A[ x2 ][ y1 ];
	return 0;
}

void Swap() {
	for( int i = 1; i <= n; ++i )
		for( int j = 1; j <= n; ++j ) 
			if( ( i + j ) % 2 )
				A[ i ][ j ] = ( A[ i ][ j ] == 1 ) ? 0 : 1;
	return;
}

void Trans() {
	for( int i = 1; i <= n; ++i ) 
		for( int j = 1; j <= n; ++j )
			for( int k = 0; k < 4; ++k )
				if( i + k <= n && j + 3 - k <= n && Check( i, j, i + k, j + 3 - k ) ) {
					printf( "? %d %d %d %d\n", i, j, i + k, j + 3 - k ); fflush( stdout ); scanf( "%d", &x );
					if( x == 1 && A[ i ][ j ] != A[ i + k ][ j + 3 - k ] ) Swap();
					if( x == 0 && A[ i ][ j ] == A[ i + k ][ j + 3 - k ] ) Swap();
					return;
				}
	return;
}

int main() {
	memset( A, 0, sizeof( A ) );
	A[ 1 ][ 1 ] = 1;
	scanf( "%d", &n );
	for( int i = 1; i <= n; ++i ) 
		for( int j = 1; j <= n; ++j ) {
			if( i == 2 && j == 1 ) {
				printf( "? 2 1 2 3\n" ); fflush( stdout ); scanf( "%d", &x );
				if( x == 0 ) A[ 2 ][ 1 ] = ( A[ 2 ][ 3 ] == 1 ) ? 0 : 1;
				if( x == 1 ) A[ 2 ][ 1 ] = ( A[ 2 ][ 3 ] == 1 ) ? 1 : 0;
			}
			if( i == 1 && j + 2 <= n ) {
				printf( "? %d %d %d %d\n", i, j, i, j + 2 ); fflush( stdout ); scanf( "%d", &x );
				if( x == 0 ) A[ i ][ j + 2 ] = ( A[ i ][ j ] == 1 ) ? 0 : 1;
				if( x == 1 ) A[ i ][ j + 2 ] = ( A[ i ][ j ] == 1 ) ? 1 : 0;
			}
			if( j == 1 && i + 2 <= n ) {
				printf( "? %d %d %d %d\n", i, j, i + 2, j ); fflush( stdout ); scanf( "%d", &x );
				if( x == 0 ) A[ i + 2 ][ j ] = ( A[ i ][ j ] == 1 ) ? 0 : 1;
				if( x == 1 ) A[ i + 2 ][ j ] = ( A[ i ][ j ] == 1 ) ? 1 : 0;
			}
			if( i + 1 <= n && j + 1 <= n && i + j + 2 < n + n ) {
				printf( "? %d %d %d %d\n", i, j, i + 1, j + 1 ); fflush( stdout ); scanf( "%d", &x );
				if( x == 0 ) A[ i + 1 ][ j + 1 ] = ( A[ i ][ j ] == 1 ) ? 0 : 1;
				if( x == 1 ) A[ i + 1 ][ j + 1 ] = ( A[ i ][ j ] == 1 ) ? 1 : 0;
			}
		}
	Trans();
	printf( "!\n" ); fflush( stdout );
	for( int i = 1; i <= n; ++i ) {
		for( int j = 1; j <= n; ++j ) 
			printf( "%d", A[ i ][ j ] ), fflush( stdout );
		printf( "\n" ); fflush( stdout );
	}
	return 0;
}
posted @ 2019-09-07 13:37  chy_2003  阅读(172)  评论(0编辑  收藏