結果

問題 No.1683 Robot Guidance
ユーザー 👑 NachiaNachia
提出日時 2021-09-17 22:04:45
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 97 ms / 2,000 ms
コード長 1,583 bytes
コンパイル時間 800 ms
コンパイル使用メモリ 82,148 KB
実行使用メモリ 50,064 KB
最終ジャッジ日時 2024-06-29 20:36:48
合計ジャッジ時間 3,270 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 17 ms
9,600 KB
testcase_04 AC 6 ms
5,376 KB
testcase_05 AC 9 ms
5,888 KB
testcase_06 AC 23 ms
11,108 KB
testcase_07 AC 19 ms
10,304 KB
testcase_08 AC 61 ms
24,828 KB
testcase_09 AC 20 ms
10,752 KB
testcase_10 AC 37 ms
16,000 KB
testcase_11 AC 29 ms
12,544 KB
testcase_12 AC 50 ms
18,944 KB
testcase_13 AC 64 ms
34,060 KB
testcase_14 AC 65 ms
29,132 KB
testcase_15 AC 49 ms
26,616 KB
testcase_16 AC 30 ms
17,152 KB
testcase_17 AC 16 ms
9,984 KB
testcase_18 AC 21 ms
12,032 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 2 ms
5,376 KB
testcase_21 AC 2 ms
5,376 KB
testcase_22 AC 25 ms
14,776 KB
testcase_23 AC 48 ms
26,624 KB
testcase_24 AC 69 ms
26,624 KB
testcase_25 AC 49 ms
26,600 KB
testcase_26 AC 97 ms
50,064 KB
testcase_27 AC 73 ms
38,400 KB
testcase_28 AC 50 ms
26,624 KB
testcase_29 AC 48 ms
26,624 KB
testcase_30 AC 48 ms
26,752 KB
testcase_31 AC 42 ms
23,808 KB
testcase_32 AC 43 ms
23,768 KB
testcase_33 AC 31 ms
17,536 KB
testcase_34 AC 31 ms
17,408 KB
testcase_35 AC 39 ms
21,500 KB
testcase_36 AC 39 ms
21,464 KB
testcase_37 AC 34 ms
19,456 KB
testcase_38 AC 34 ms
19,408 KB
testcase_39 AC 49 ms
26,624 KB
testcase_40 AC 49 ms
26,624 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