結果

問題 No.122 傾向と対策:門松列(その3)
ユーザー eitahoeitaho
提出日時 2015-06-15 02:14:17
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 135 ms / 5,000 ms
コード長 3,170 bytes
コンパイル時間 2,466 ms
コンパイル使用メモリ 109,656 KB
実行使用メモリ 28,108 KB
最終ジャッジ日時 2023-09-21 02:05:37
合計ジャッジ時間 4,360 ms
ジャッジサーバーID
(参考情報)
judge14 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 99 ms
27,996 KB
testcase_01 AC 101 ms
28,052 KB
testcase_02 AC 135 ms
26,112 KB
testcase_03 AC 112 ms
28,052 KB
testcase_04 AC 105 ms
28,000 KB
testcase_05 AC 134 ms
26,052 KB
testcase_06 AC 100 ms
28,108 KB
testcase_07 AC 91 ms
28,076 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.IO;
using System.Linq;
using System.Text;
using System.Collections.Generic;
using System.Diagnostics;
using System.Numerics;
using Enu = System.Linq.Enumerable;

class Program
{
    static readonly int Mod = (int)1e9 + 7;
    void Add(ref int a, int b) { if ((a += b) >= Mod) a -= Mod; }

    public void Solve()
    {
        var range = Reader.IntTable(7); // min, max
        int maxVal = range.Max(r => r[1]);
        int even = (1 << 0) + (1 << 2) + (1 << 4) + (1 << 6);
        int odd = (1 << 1) + (1 << 3) + (1 << 5);
        int ans = (DP(range, even, odd) + DP(range, odd, even)) % Mod;
        Console.WriteLine(ans);
    }

    int DP(int[][] range, int lower, int upper)
    {
        int maxVal = range.Max(r => r[1]);
        var dp = new int[1 << range.Length];
        dp[0] = 1;

        for (int val = 0; val <= maxVal; val++)
        {
            var next = new int[dp.Length];
            for (int used = 0; used < (1 << range.Length); used++)
            {
                if (dp[used] == 0 || (used & lower) != lower && (used & upper) != 0) continue;
                Add(ref next[used], dp[used]);
                for (int i = 0; i < range.Length; i++)
                    if ((used >> i & 1) == 0 && val >= range[i][0] && val <= range[i][1])
                        Add(ref next[used | 1 << i], dp[used]);
            }
            dp = next;
        }

        return dp.Last();
    }
}


class Entry { static void Main() { new Program().Solve(); } }
class Reader
{
    private static TextReader reader = Console.In;
    private static readonly char[] separator = { ' ' };
    private static readonly StringSplitOptions op = StringSplitOptions.RemoveEmptyEntries;
    private static string[] A = new string[0];
    private static int i;
    private static void Init() { A = new string[0]; }
    public static void Set(TextReader r) { reader = r; Init(); }
    public static void Set(string file) { reader = new StreamReader(file); Init(); }
    public static bool HasNext() { return CheckNext(); }
    public static string String() { return Next(); }
    public static int Int() { return int.Parse(Next()); }
    public static long Long() { return long.Parse(Next()); }
    public static double Double() { return double.Parse(Next()); }
    public static int[] IntLine() { return Array.ConvertAll(Split(Line()), int.Parse); }
    public static int[] IntArray(int N) { return Enu.Range(0, N).Select(i => Int()).ToArray(); }
    public static int[][] IntTable(int H) { return Enu.Range(0, H).Select(i => IntLine()).ToArray(); }
    public static string[] StringArray(int N) { return Enu.Range(0, N).Select(i => Line()).ToArray(); }
    public static string Line() { return reader.ReadLine().Trim(); }
    private static string[] Split(string s) { return s.Split(separator, op); }
    private static string Next() { CheckNext(); return A[i++]; }
    private static bool CheckNext()
    {
        if (i < A.Length) return true;
        string line = reader.ReadLine();
        if (line == null) return false;
        if (line == "") return CheckNext();
        A = Split(line);
        i = 0;
        return true;
    }
}
0