結果

問題 No.3275 Minesweeper on Graph
コンテスト
ユーザー 👑 tails
提出日時 2025-09-20 00:30:33
言語 C
(gcc 13.3.0)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 805 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 547 ms
コンパイル使用メモリ 31,416 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-09-20 00:30:37
合計ジャッジ時間 4,433 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 40
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.c: In function ‘main’:
main.c:43:25: warning: implicit declaration of function ‘write’ [-Wimplicit-function-declaration]
   43 |                         write(1,wbuf,wp-wbuf);
      |                         ^~~~~
main.c:45:17: warning: implicit declaration of function ‘exit’ [-Wimplicit-function-declaration]
   45 |                 exit(0);
      |                 ^~~~
main.c:1:1: note: include ‘<stdlib.h>’ or provide a declaration of ‘exit’
  +++ |+#include <stdlib.h>
    1 | #pragma GCC optimize("Ofast")
main.c:45:17: warning: incompatible implicit declaration of built-in function ‘exit’ [-Wbuiltin-declaration-mismatch]
   45 |                 exit(0);
      |                 ^~~~
main.c:45:17: note: include ‘<stdlib.h>’ or provide a declaration of ‘exit’
main.c:49:9: warning: implicit declaration of function ‘_exit’ [-Wimplicit-function-declaration]
   49 |         _exit(0);
      |         ^~~~~
main.c:49:9: warning: incompatible implicit declaration of built-in function ‘_exit’ [-Wbuiltin-declaration-mismatch]

ソースコード

diff #
raw source code 

#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

#define rd_init() char*rp=({char*mmap();mmap(0l,1l<<25,1,2,0,0ll);})
#define rd() ({int _v=0,_c;while(_c=*rp++-48,_c>=0)_v=_v*10+_c;_v;})
#define rep(v,e) for(typeof(e)v=0;v<e;++v)
#define repeat(e) for(typeof(e)_=e;_--;)

char wbuf[1<<25];
int a[16];
unsigned e[16];

int main(){
	rd_init();
	int n=rd();
	int m=rd();
	rep(i,n){
		a[i]=rd();
	}
	repeat(m){
		int u=rd()-1;
		int v=rd()-1;
		e[u]|=1<<v;
		e[v]|=1<<u;
	}
	rep(b,1<<n){
		rep(i,n){
			if(a[i]!=__builtin_popcount(b&e[i])){
				goto next;
			}
		}
		{
			char*wp=wbuf;
			*wp++='Y';
			*wp++='e';
			*wp++='s';
			*wp++='\n';
			rep(j,n){
				*wp++='0'|b>>j&1;
				*wp++=' ';
			}
			wp[-1]='\n';
			write(1,wbuf,wp-wbuf);
		}
		exit(0);
		next:;
	}
	write(1,"No\n",3);
	_exit(0);
}
0