結果

問題 No.1001 注文の多い順列
ユーザー persimmon-persimmonpersimmon-persimmon
提出日時 2021-07-02 15:26:54
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 224 ms / 2,000 ms
コード長 1,552 bytes
コンパイル時間 191 ms
コンパイル使用メモリ 82,348 KB
実行使用メモリ 77,800 KB
最終ジャッジ日時 2024-06-29 01:34:59
合計ジャッジ時間 4,702 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
51,968 KB
testcase_01 AC 37 ms
51,840 KB
testcase_02 AC 38 ms
51,968 KB
testcase_03 AC 37 ms
51,968 KB
testcase_04 AC 36 ms
52,480 KB
testcase_05 AC 34 ms
52,096 KB
testcase_06 AC 35 ms
52,352 KB
testcase_07 AC 34 ms
51,968 KB
testcase_08 AC 35 ms
52,224 KB
testcase_09 AC 35 ms
52,224 KB
testcase_10 AC 35 ms
52,608 KB
testcase_11 AC 34 ms
52,224 KB
testcase_12 AC 34 ms
51,712 KB
testcase_13 AC 35 ms
52,608 KB
testcase_14 AC 44 ms
61,184 KB
testcase_15 AC 46 ms
62,336 KB
testcase_16 AC 43 ms
60,672 KB
testcase_17 AC 46 ms
60,800 KB
testcase_18 AC 194 ms
77,184 KB
testcase_19 AC 164 ms
77,184 KB
testcase_20 AC 133 ms
77,184 KB
testcase_21 AC 132 ms
77,184 KB
testcase_22 AC 198 ms
77,800 KB
testcase_23 AC 201 ms
77,568 KB
testcase_24 AC 67 ms
73,600 KB
testcase_25 AC 196 ms
77,472 KB
testcase_26 AC 105 ms
77,568 KB
testcase_27 AC 107 ms
77,440 KB
testcase_28 AC 112 ms
77,440 KB
testcase_29 AC 216 ms
77,440 KB
testcase_30 AC 208 ms
77,440 KB
testcase_31 AC 214 ms
77,556 KB
testcase_32 AC 224 ms
77,132 KB
testcase_33 AC 212 ms
77,440 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

def main1(n,tx_):
  mod=10**9+7
  tx=[[t,x] if t==0 else [t,x-1] for t,x in tx_]
  tx.sort(key=lambda x:x[1])
  # dp[k]:以上条件をすくなくともk個満たさない。
  dp=[0]*(n+1)
  dp[0]=1
  num0,num1=0,0
  for i,(t,x) in enumerate(tx):
    ndp=[0]*(n+1)
    if t==0:
      # 以下条件
      if x<=num0:return 0 
      for j in range(n):
        # 以上条件を少なくともj個満たさない状態の遷移
        # 今まで出てきた以上条件の内j個は少なくとも満たしていない。pk<=xkとなる箇所があった。
        ndp[j]+=dp[j]*(x-num0-j)
        ndp[j]%=mod
      num0+=1
    else:
      # 以上条件
      for j in range(n):
        if dp[j]==0:break
        # 以上条件を少なくともj個満たさない状態の遷移
        # x+1以上を入れると以上条件を満たせる。
        # x以下を入れる。
        if j+1<n:
          ndp[j+1]+=dp[j]*max(0,(x-num0-j))
          ndp[j+1]%=mod
        # 後回し
        ndp[j]+=dp[j]
        ndp[j]%=mod
      num1+=1
    dp=ndp
  kai=[1,1]
  for i in range(2,n+1):kai.append(kai[-1]*i%mod)
  for k in range(num1+1):
    # dp[k]:k個満たしていないことが確定している。のこりnum1-k個は好きに入れられる。
    dp[k]*=kai[num1-k]
    dp[k]%=mod

  ans=dp[0]
  for k in range(1,n+1):
    if k%2==0:
      ans+=dp[k]
    else:
      ans-=dp[k]
    ans%=mod
  return ans

if __name__=='__main__':
  n=int(input())
  tx=[list(map(int,input().split())) for _ in range(n)]
  ret1=main1(n,tx)
  print(ret1)
0