結果
| 問題 | 
                            No.93 ペガサス
                             | 
                    
| コンテスト | |
| ユーザー | 
                             vjudge1
                         | 
                    
| 提出日時 | 2025-09-06 11:41:25 | 
| 言語 | C++14  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 43 ms / 5,000 ms | 
| コード長 | 1,743 bytes | 
| コンパイル時間 | 1,471 ms | 
| コンパイル使用メモリ | 162,584 KB | 
| 実行使用メモリ | 23,040 KB | 
| 最終ジャッジ日時 | 2025-09-06 11:41:28 | 
| 合計ジャッジ時間 | 2,814 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 16 | 
ソースコード
#include<bits/stdc++.h>
#define int long long
using namespace std;
const int mod=1e9+7;
const int N=1010;
int n,dp[N][N][2][2];
signed main(){
    ios::sync_with_stdio(false);cin.tie(0),cout.tie(0);
    cin>>n;
    dp[1][0][0][0]=1;dp[2][0][0][0]=2;
    for(int i=2;i<n;++i){
        for(int j=0;j<=i;++j){
            if(j<n){
                dp[i+1][j+1][1][0]=(dp[i+1][j+1][1][0]+dp[i][j][0][1])%mod;
                dp[i+1][j+1][1][1]=(dp[i+1][j+1][1][1]+dp[i][j][1][1])%mod;
                dp[i+1][j+1][1][0]=(dp[i+1][j+1][1][0]+dp[i][j][0][0]*2%mod)%mod;
                dp[i+1][j+1][1][1]=(dp[i+1][j+1][1][1]+dp[i][j][1][0]*2%mod)%mod;
            }
            if(j>0){
                dp[i+1][j-1][0][0]=(dp[i+1][j-1][0][0]+dp[i][j][0][0]*j%mod)%mod;
                dp[i+1][j-1][0][1]=(dp[i+1][j-1][0][1]+dp[i][j][1][0]*max(0ll,j-1)%mod)%mod;
                dp[i+1][j-1][0][0]=(dp[i+1][j-1][0][0]+dp[i][j][1][0])%mod;
                dp[i+1][j-1][0][0]=(dp[i+1][j-1][0][0]+dp[i][j][0][1]*max(0ll,j-1)%mod)%mod;
                dp[i+1][j-1][0][1]=(dp[i+1][j-1][0][1]+dp[i][j][1][1]*max(0ll,j-2)%mod)%mod;
                dp[i+1][j-1][0][0]=(dp[i+1][j-1][0][0]+dp[i][j][1][1])%mod;
            }
            dp[i+1][j][1][0]=(dp[i+1][j][1][0]+dp[i][j][0][1])%mod;
            dp[i+1][j][1][1]=(dp[i+1][j][1][1]+dp[i][j][1][1])%mod;
            dp[i+1][j][0][0]=(dp[i+1][j][0][0]+max(i-j-1,0ll)*dp[i][j][0][0]%mod)%mod;
            dp[i+1][j][0][1]=(dp[i+1][j][0][1]+max(i-j-1,0ll)*dp[i][j][1][0]%mod)%mod;
            dp[i+1][j][0][0]=(dp[i+1][j][0][0]+max(i-j,0ll)*dp[i][j][0][1]%mod)%mod;
            dp[i+1][j][0][1]=(dp[i+1][j][0][1]+max(i-j,0ll)*dp[i][j][1][1]%mod)%mod;
        }
    }
    cout<<dp[n][0][0][0];
    return 0;
}
            
            
            
        
            
vjudge1