結果

問題 No.162 8020運動
ユーザー kuuso1kuuso1
提出日時 2015-03-08 18:42:19
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 1,546 ms / 5,000 ms
コード長 2,848 bytes
コンパイル時間 2,769 ms
コンパイル使用メモリ 108,304 KB
実行使用メモリ 100,456 KB
最終ジャッジ日時 2023-09-06 22:04:16
合計ジャッジ時間 41,816 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 870 ms
97,936 KB
testcase_01 AC 1,205 ms
97,124 KB
testcase_02 AC 1,345 ms
99,840 KB
testcase_03 AC 1,510 ms
100,456 KB
testcase_04 AC 1,502 ms
100,404 KB
testcase_05 AC 1,512 ms
98,484 KB
testcase_06 AC 1,546 ms
100,436 KB
testcase_07 AC 1,518 ms
98,536 KB
testcase_08 AC 1,526 ms
98,380 KB
testcase_09 AC 861 ms
95,840 KB
testcase_10 AC 1,356 ms
97,764 KB
testcase_11 AC 1,175 ms
97,224 KB
testcase_12 AC 1,001 ms
96,500 KB
testcase_13 AC 1,522 ms
98,548 KB
testcase_14 AC 896 ms
96,128 KB
testcase_15 AC 902 ms
98,116 KB
testcase_16 AC 1,053 ms
98,556 KB
testcase_17 AC 954 ms
96,144 KB
testcase_18 AC 1,496 ms
98,236 KB
testcase_19 AC 1,314 ms
97,840 KB
testcase_20 AC 1,391 ms
97,972 KB
testcase_21 AC 1,377 ms
97,848 KB
testcase_22 AC 1,352 ms
95,988 KB
testcase_23 AC 1,379 ms
99,968 KB
testcase_24 AC 1,344 ms
97,768 KB
testcase_25 AC 1,416 ms
100,080 KB
testcase_26 AC 889 ms
96,108 KB
testcase_27 AC 1,208 ms
97,332 KB
testcase_28 AC 1,514 ms
96,240 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff # 

using System;
using System.Collections;
using System.Collections.Generic;
 
class TEST{
	static void Main(){
		Sol mySol =new Sol();
		mySol.Solve();
	}
}

class Sol{
	public void Solve(){
		
		//状態 s から推移できる状態数は 2^(sのビット数)
		//推移できる状態もstate[s]に列挙しておく
		double[][] table=new double[1<<14][];
		int[][] state=new int[1<<14][];
		for(int s=0;s<1<<14;s++){
			table[s]=new double[1<<BitCnt(s)];
			state[s]=new int[1<<BitCnt(s)];
		}
		
		//状態 s -> 状態 t になる確率を計算する。
		for(int s=0;s<1<<14;s++){
			int ptr=0;
			for(int t=0;t<=s;t++){
				if((s|t)!=s){
					t+=(t&-t)-1;	//余計なビットが立った時にループを一部省略する。
					continue;
				}
				double p=1.0;
				for(int i=0;i<14;i++){
					if(((s>>i)&1)==0)continue;
					if(((t>>i)&1)==0){
						if(i==0){
							if(((s>>(i+1))&1)==0){
								p*=P0;
							}else{
								p*=P1;
							}
						}else{
							if(((s>>(i+1))&1)==0 && ((s>>(i-1))&1)==0){
								p*=P0;
							}else if(((s>>(i+1))&1)==1 && ((s>>(i-1))&1)==1){
								p*=P2;
							}else{
								p*=P1;
							}
						}
					}else{
						if(i==0){
							if(((s>>(i+1))&1)==0){
								p*=(1.0-P0);
							}else{
								p*=(1.0-P1);
							}
						}else{
							if(((s>>(i+1))&1)==0 && ((s>>(i-1))&1)==0){
								p*=(1.0-P0);
							}else if(((s>>(i+1))&1)==1 && ((s>>(i-1))&1)==1){
								p*=(1.0-P2);
							}else{
								p*=(1.0-P1);
							}
						}
					}
				}
				table[s][ptr]=p;
				state[s][ptr]=t;
				ptr++;
			}
		}
		
		//あとは普通にdpする。
		double[][] dp=new double[2][];
		dp[0]=new double[1<<14];
		
		dp[0][(1<<14)-1]=1.0;
		int now=0,next=1;
		for(int i=0;i<80-A;i++){
			now=i%2;
			next=now^1;
			dp[next]=new double[1<<14];
			for(int s=0;s<(1<<14);s++){
				for(int t=0;t<table[s].Length;t++){
					dp[next][state[s][t]]+=table[s][t]*dp[now][s];
				}
			}
		}
		
		double e=0;
		for(int s=0;s<(1<<14);s++){
			e+=BitCnt(s)*dp[next][s];
		}
		Console.WriteLine(2.0*e);
		
	}
	
	int BitCnt(int s){
		int ret=0;
		for(int i=0;i<20;i++){
			if( ((s>>i)&1)>0 )ret++;
		}
		return ret;
	}
	
	int A;
	double P0,P1,P2;
	public Sol(){
		A=ri();
		var d=rda();
		P0=d[0]/100.0;P1=d[1]/100.0;P2=d[2]/100.0;
	}

	static String rs(){return Console.ReadLine();}
	static int ri(){return int.Parse(Console.ReadLine());}
	static long rl(){return long.Parse(Console.ReadLine());}
	static double rd(){return double.Parse(Console.ReadLine());}
	static String[] rsa(){return Console.ReadLine().Split(' ');}
	static int[] ria(){return Array.ConvertAll(Console.ReadLine().Split(' '),e=>int.Parse(e));}
	static long[] rla(){return Array.ConvertAll(Console.ReadLine().Split(' '),e=>long.Parse(e));}
	static double[] rda(){return Array.ConvertAll(Console.ReadLine().Split(' '),e=>double.Parse(e));}
}
0