結果

問題 No.1683 Robot Guidance
ユーザー 👑 NachiaNachia
提出日時 2021-09-17 22:04:45
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 97 ms / 2,000 ms
コード長 1,583 bytes
コンパイル時間 804 ms
コンパイル使用メモリ 82,152 KB
実行使用メモリ 50,092 KB
最終ジャッジ日時 2023-09-12 07:42:03
合計ジャッジ時間 3,566 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 2 ms
4,376 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 16 ms
9,592 KB
testcase_04 AC 6 ms
4,580 KB
testcase_05 AC 9 ms
5,664 KB
testcase_06 AC 22 ms
10,852 KB
testcase_07 AC 19 ms
10,116 KB
testcase_08 AC 61 ms
24,724 KB
testcase_09 AC 20 ms
10,708 KB
testcase_10 AC 36 ms
15,732 KB
testcase_11 AC 28 ms
12,392 KB
testcase_12 AC 48 ms
18,872 KB
testcase_13 AC 64 ms
33,896 KB
testcase_14 AC 63 ms
29,052 KB
testcase_15 AC 48 ms
26,488 KB
testcase_16 AC 30 ms
16,992 KB
testcase_17 AC 16 ms
9,792 KB
testcase_18 AC 19 ms
11,968 KB
testcase_19 AC 2 ms
4,376 KB
testcase_20 AC 2 ms
4,380 KB
testcase_21 AC 2 ms
4,376 KB
testcase_22 AC 25 ms
14,660 KB
testcase_23 AC 48 ms
26,544 KB
testcase_24 AC 66 ms
26,512 KB
testcase_25 AC 48 ms
26,404 KB
testcase_26 AC 97 ms
50,092 KB
testcase_27 AC 70 ms
38,140 KB
testcase_28 AC 48 ms
26,424 KB
testcase_29 AC 47 ms
26,456 KB
testcase_30 AC 48 ms
26,540 KB
testcase_31 AC 42 ms
23,688 KB
testcase_32 AC 42 ms
23,740 KB
testcase_33 AC 31 ms
17,332 KB
testcase_34 AC 31 ms
17,232 KB
testcase_35 AC 37 ms
21,444 KB
testcase_36 AC 38 ms
21,340 KB
testcase_37 AC 34 ms
19,284 KB
testcase_38 AC 34 ms
19,440 KB
testcase_39 AC 47 ms
26,412 KB
testcase_40 AC 51 ms
26,604 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <atcoder/modint>
using namespace std;
using i32 = int32_t;
using u32 = uint32_t;
using i64 = int64_t;
using u64 = uint64_t;
#define rep(i,n) for(int i=0; i<(n); i++)

using m32 = atcoder::modint1000000007;

int main(){
  int A,B,X,Y; cin >> A >> B >> X >> Y;
  vector<m32> F,I,iF;
  int Z = A+B+abs(X)+abs(Y);
  F.assign(Z+1,1);
  for(int i=1; i<=Z; i++) F[i] = F[i-1] * i;
  I.assign(Z+1,1);
  for(int i=2; i<=Z; i++) I[i] = -1000000007/i * I[1000000007%i];
  iF.assign(Z+1,1);
  for(int i=1; i<=Z; i++) iF[i] = iF[i-1] * I[i];

  auto Comb = [&](int n,int r)->m32{ if(n<r) return 0; return F[n]*iF[r]*iF[n-r]; };

  int cR = (B+4)/4;
  int cU = (B+3)/4;
  int cL = (B+2)/4;
  int cD = (B+1)/4;
  
  if(X < 0){ swap(cR,cL); X = -X; }
  if(Y < 0){ swap(cU,cD); Y = -Y; }

  int leftA = A - X - Y;
  if(leftA < 0 || leftA % 2 != 0){ cout << 0 << endl; return 0; }

  if(X > 0 && cR == 0){ cout << 0 << endl; return 0; }
  if(Y > 0 && cU == 0){ cout << 0 << endl; return 0; }

  m32 ans = 0;

  for(int i=0; i*2<=leftA; i++){
    int j = leftA/2 - i;
    if(i != 0 && cL == 0) continue;
    if(j != 0 && cD == 0) continue;
    m32 tmp = 1;
    if(i != 0) tmp *= Comb(i+cL-1,i);
    if(j != 0) tmp *= Comb(j+cD-1,j);
    if(j+X != 0) tmp *= Comb(i+X+cR-1,i+X);
    if(j+Y != 0) tmp *= Comb(j+Y+cU-1,j+Y);
    ans += tmp;
  }
  cout << ans.val() << endl;
  return 0;
}




struct ios_do_not_sync {
    ios_do_not_sync() {
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
    }
} ios_do_not_sync_instance;
0