結果

問題 No.382 シャイな人たち (2)
ユーザー Ryuhei MoriRyuhei Mori
提出日時 2020-04-26 10:09:19
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,327 bytes
コンパイル時間 246 ms
コンパイル使用メモリ 33,920 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-04-27 19:28:34
合計ジャッジ時間 23,733 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cstdio>

using u32 = unsigned;
using u64 = unsigned long long;
using u128 = __uint128_t;

u32 step(u32 s){
  return (u64) s * 12345 % 1000003;
}

u128 edges[121];

int ctz(const u128 &n){
  if((u64) n){
    return __builtin_ctzll((u64) n);
  }
  return 64 + __builtin_ctzll((u64) (n >> 64));
}

int popc(const u128 &n){
  return __builtin_popcountll((u64) n) + __builtin_popcountll((u64) (n >> 64));
}

u128 mis(const u128 &g){
  if(g == 0) return 0;
  int y = 127;
  int d = 0;
  for(u128 h = g; h; h &= h - 1){
    int z = ctz(h);
    int k = popc(g & edges[z]);
    if(k <= 2) return mis(g & ~edges[z]) | ((u128) 1 << z);
    if(k > d){
      y = z;
      d = k;
    }
  }

  u128 g0 = mis(g & ~edges[y]) | ((u128) 1 << y);

  if(d == 3) return g0;

  u128 g1 = mis(g & ~((u128) 1 << y));

  return popc(g0) > popc(g1) ? g0 : g1;
}



int main(){
  int s;
  scanf("%d", &s);
  s = step(s);
  int n = (s % 120) + 2;
  s = step(s);
  int p = s;
  for(int i = 0; i < n; i++){
    edges[i] |= ((u128) 1 << i);
    for(int j = i+1; j < n; j++){
      s = step(s);
      edges[i] |= ((u128) (s >= p) << j);
      edges[j] |= ((u128) (s >= p) << i);
    }
  }
  u128 g = mis(((u128) 1 << n) - 1);
  printf("%d\n", popc(g)+1);
  for(u128 h = g; h; h &= h - 1){
    printf("%d ", ctz(h) + 1);
  }
  puts("");
  return 0;
}
0