結果

問題 No.58 イカサマなサイコロ
ユーザー femtofemto
提出日時 2015-04-01 05:29:35
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 29 ms / 5,000 ms
コード長 4,535 bytes
コンパイル時間 931 ms
コンパイル使用メモリ 114,588 KB
実行使用メモリ 19,840 KB
最終ジャッジ日時 2024-07-03 23:05:17
合計ジャッジ時間 1,886 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 29 ms
19,840 KB
testcase_01 AC 28 ms
19,712 KB
testcase_02 AC 28 ms
19,840 KB
testcase_03 AC 28 ms
19,712 KB
testcase_04 AC 29 ms
19,584 KB
testcase_05 AC 28 ms
19,712 KB
testcase_06 AC 29 ms
19,712 KB
testcase_07 AC 28 ms
19,712 KB
testcase_08 AC 28 ms
19,712 KB
testcase_09 AC 28 ms
19,712 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.Diagnostics;
using System.Collections.Generic;
using System.Linq;
using Enu = System.Linq.Enumerable;

class Solution {
    int N, K;
    double[,] dp1, dp2;
    void calc() {
        N = ri();
        K = ri();

        dp1 = new double[N + 1, N * 6 + 1];
        dp2 = new double[N + 1, N * 6 + 1];
        dp1[0, 0] = 1.0;
        dp2[0, 0] = 1.0;

        for (int n = 0; n < N; n++) {
            for (int s = 0; s <= N * 6; s++) {
                for (int i = 1; i <= 6 && s + i <= N * 6; i++) {
                    dp1[n + 1, s + i] += dp1[n, s] / 6.0;
                }
            }
        }

        for (int n = 0; n < N; n++) {
            for (int s = 0; s <= N * 6; s++) {
                if (n < K) {
                    for (int i = 4; i <= 6 && s + i <= N * 6; i++) {
                        dp2[n + 1, s + i] += dp2[n, s] / 3.0;
                    }
                }
                else {
                    for (int i = 1; i <= 6 && s + i <= N * 6; i++) {
                        dp2[n + 1, s + i] += dp2[n, s] / 6.0;
                    }
                }
            }
        }

        var p1 = dp1.ToJagArray()[N];
        var p2 = dp2.ToJagArray()[N];

        double ans = 0;
        for (int i = 0; i <= N * 6; i++) {
            ans += p1[i] * p2.Skip(i + 1).Sum();
        }

        Console.WriteLine(ans);
    }

    static void Main(string[] args) {
        new Solution().calc();
    }

    #region
    static int ri() { return int.Parse(Console.ReadLine()); }
    static int[] ria(int n) {
        if (n <= 0) { Console.ReadLine(); return new int[0]; }
        else return Console.ReadLine().Trim().Split(' ').Select(int.Parse).ToArray();
    }
    static void rio(out int p1) { p1 = ri(); }
    static void rio(out int p1, out int p2) { var r = ria(2); p1 = r[0]; p2 = r[1]; }
    static void rio(out int p1, out int p2, out int p3) { var r = ria(3); p1 = r[0]; p2 = r[1]; p3 = r[2]; }
    static void rio(out int p1, out int p2, out int p3, out int p4) { var r = ria(4); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; }
    static void rio(out int p1, out int p2, out int p3, out int p4, out int p5) { var r = ria(5); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; p5 = r[4]; }
    static long rl() { return long.Parse(Console.ReadLine()); }
    static long[] rla(int n) {
        if (n <= 0) { Console.ReadLine(); return new long[0]; }
        else return Console.ReadLine().Trim().Split(' ').Select(long.Parse).ToArray();
    }
    static void rlo(out long p1) { p1 = rl(); }
    static void rlo(out long p1, out long p2) { var r = rla(2); p1 = r[0]; p2 = r[1]; }
    static void rlo(out long p1, out long p2, out long p3) { var r = rla(3); p1 = r[0]; p2 = r[1]; p3 = r[2]; }
    static void rlo(out long p1, out long p2, out long p3, out long p4) { var r = rla(4); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; }
    static void rlo(out long p1, out long p2, out long p3, out long p4, out long p5) { var r = rla(5); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; p5 = r[4]; }
    static double rd() { return double.Parse(Console.ReadLine()); }
    static double[] rda(int n) {
        if (n <= 0) { Console.ReadLine(); return new double[0]; }
        else return Console.ReadLine().Trim().Split(' ').Select(double.Parse).ToArray();
    }
    static void rdo(out double p1) { p1 = rd(); }
    static void rdo(out double p1, out double p2) { var r = rda(2); p1 = r[0]; p2 = r[1]; }
    static void rdo(out double p1, out double p2, out double p3) { var r = rda(3); p1 = r[0]; p2 = r[1]; p3 = r[2]; }
    static void rdo(out double p1, out double p2, out double p3, out double p4) { var r = rda(4); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; }
    static void rdo(out double p1, out double p2, out double p3, out double p4, out double p5) { var r = rda(5); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; p5 = r[4]; }
    static void swap<T>(ref T x, ref T y) { T temp = x; x = y; y = temp; }
    static void wa1<T>(T[] a) { Debug.WriteLine(string.Join(" ", a)); }
    static void wa2<T>(T[][] a) {
        foreach (var row in a) {
            Debug.WriteLine(String.Join(" ", row));
        }
    }

    #endregion
}

static class Extention {
    public static T[][] ToJagArray<T>(this T[,] a) {
        int n = a.GetLength(0), m = a.GetLength(1);
        var ret = new T[n][];
        for (int i = 0; i < n; i++) {
            ret[i] = new T[m];
            for (int j = 0; j < m; j++) {
                ret[i][j] = a[i, j];
            }
        }
        return ret;
    }
}
0