結果
| 問題 | No.140 みんなで旅行 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2022-05-11 20:31:20 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                MLE
                                 
                             | 
| 実行時間 | - | 
| コード長 | 902 bytes | 
| コンパイル時間 | 4,240 ms | 
| コンパイル使用メモリ | 251,876 KB | 
| 最終ジャッジ日時 | 2025-01-29 06:04:17 | 
| ジャッジサーバーID (参考情報) | judge5 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | MLE * 3 | 
| other | MLE * 19 | 
コンパイルメッセージ
In file included from /usr/include/atcoder/modint:1,
                 from /usr/include/atcoder/convolution.hpp:11,
                 from /usr/include/atcoder/convolution:1,
                 from /usr/include/atcoder/all:1,
                 from main.cpp:3:
In member function ‘atcoder::static_modint<m, <anonymous> >::mint& atcoder::static_modint<m, <anonymous> >::operator+=(const mint&) [with int m = 1000000007; std::enable_if_t<(1 <= m)>* <anonymous> = 0]’,
    inlined from ‘void solve()’ at main.cpp:22:36:
/usr/include/atcoder/modint.hpp:75:9: warning: iteration 599 invokes undefined behavior [-Waggressive-loop-optimizations]
   75 |         _v += rhs._v;
      |         ^~
main.cpp: In function ‘void solve()’:
main.cpp:16:40: note: within this loop
   16 |                         for(int k = 0;k<600;k++){
      |                                       ~^~~~
            
            ソースコード
#include<bits/stdc++.h>
using namespace std;
#include<atcoder/all>
using namespace atcoder;
using ll = long long;
using mint = modint1000000007;
int n;
mint dp[600][600][600];
void solve(){
	dp[1][1][1] = 1;
	dp[1][2][0] = 1;
	for(int i = 1;i<n;i++){
		for(int j = 0;j<600-1;j++){
			for(int k = 0;k<600;k++){
				dp[i+1][j][k+1] += dp[i][j][k] *(j-k);
				dp[i+1][j][k] += dp[i][j][k] *k;
				dp[i+1][j][k] += dp[i][j][k] * j*(j-1);
				dp[i+1][j+1][k+1] += dp[i][j][k];
				dp[i+1][j+1][k] += dp[i][j][k]*j*2;
				dp[i+1][j+2][k] += dp[i][j][k];
			}
		}
	}
	mint ans = 0;
	for(int i = 0;i<=n;i++){
		//cerr<<i<<':'<<dp[n][i][i].val()<<endl;
		ans += dp[n][i][i];
	}
	/*
	for(int i = 0;i<10;i++){
		for(int j = 0;j<10;j++){
			cerr<<dp[2][i][j].val()<<' ';
		}
		cout<<endl;
	}
	*/
	cout<<ans.val()<<endl;
}
signed main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	cin >> n;
	solve();
}
            
            
            
        