結果
| 問題 | No.1463 Hungry Kanten | 
| コンテスト | |
| ユーザー |  tails | 
| 提出日時 | 2021-04-09 09:58:02 | 
| 言語 | C (gcc 13.3.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 124 ms / 2,000 ms | 
| コード長 | 878 bytes | 
| コンパイル時間 | 858 ms | 
| コンパイル使用メモリ | 29,436 KB | 
| 実行使用メモリ | 33,920 KB | 
| 最終ジャッジ日時 | 2025-06-20 01:36:09 | 
| 合計ジャッジ時間 | 2,351 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 24 | 
コンパイルメッセージ
main.c:28:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
   28 | main(){
      | ^~~~
main.c: In function ‘main’:
main.c:56:17: warning: implicit declaration of function ‘write’ [-Wimplicit-function-declaration]
   56 |                 write(1,&d,n);
      |                 ^~~~~
main.c:58:9: warning: implicit declaration of function ‘_exit’ [-Wimplicit-function-declaration]
   58 |         _exit(0);
      |         ^~~~~
main.c:58:9: warning: incompatible implicit declaration of built-in function ‘_exit’ [-Wbuiltin-declaration-mismatch]
            
            ソースコード
#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")
char*mmap();
#define rd(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;}
#define rep(v,e) for(int v=0;v<e;++v)
#define HASH_BITS 22
long hash[1<<HASH_BITS];
int hash_add(long x){
	int h=x&(1<<HASH_BITS)-1;
	while(1){
		if(hash[h]==0){
			hash[h]=x;
			return 1;
		}
		if(hash[h]==x){
			return 0;
		}
		h=h+1&(1<<HASH_BITS)-1;
	}
}
#define MD 18446744073709551557ul
main(){
	char*rp=mmap(0l,1l<<28,1,2,0,0ll);
	rd(n);
	rd(k);
	int a[18];
	rep(i,n){
		rd(ai);
		a[i]=ai;
	}
	int z=0;
	for(int i=0;i<1<<n;++i){
		if(__builtin_popcount(i)>=k){
			long b=0,c=1;
			for(int j=0;j<n;++j){
				if(i&1<<j){
					b+=a[j];
					c=(__int128)(unsigned long)c*a[j]%MD;
				}
			}
			z+=hash_add(b);
			z+=hash_add(c);
		}
	}
	{
		int n=0;
		long d=0;
		while(++n,d=d<<8|0x30|z%10,z/=10);
		write(1,&d,n);
	}
	_exit(0);
}
            
            
            
        