#225397 (C#(csc)) No.616 へんなソート

• 問題: No.616 へんなソート
• ユーザー: sekiya9311
• 提出日時: 2017-12-21 23:05:44
• 言語: C#(csc) (csc 3.9.0)
• 結果: AC
• 実行時間: 416 ms / 2,000 ms
• コード長: 7,543 bytes
• コンパイル時間: 2,945 ms
• コンパイル使用メモリ: 114,652 KB
• 実行使用メモリ: 98,356 KB
• 最終ジャッジ日時: 2023-08-22 21:01:02
• 合計ジャッジ時間: 7,135 ms
• ジャッジサーバーID （参考情報）: judge15 / judge12

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	68 ms; 24,108 KB
testcase_01	AC	67 ms; 21,956 KB
testcase_02	AC	67 ms; 24,100 KB
testcase_03	AC	69 ms; 21,956 KB
testcase_04	AC	67 ms; 23,892 KB
testcase_05	AC	66 ms; 21,952 KB
testcase_06	AC	67 ms; 23,864 KB
testcase_07	AC	67 ms; 22,132 KB
testcase_08	AC	68 ms; 24,096 KB
testcase_09	AC	68 ms; 21,968 KB
testcase_10	AC	67 ms; 21,780 KB
testcase_11	AC	67 ms; 23,844 KB
testcase_12	AC	71 ms; 21,960 KB
testcase_13	AC	192 ms; 60,492 KB
testcase_14	AC	69 ms; 21,972 KB
testcase_15	AC	67 ms; 23,992 KB
testcase_16	AC	67 ms; 21,788 KB
testcase_17	AC	131 ms; 42,396 KB
testcase_18	AC	80 ms; 22,528 KB
testcase_19	AC	83 ms; 24,812 KB
testcase_20	AC	67 ms; 21,964 KB
testcase_21	AC	66 ms; 19,696 KB
testcase_22	AC	71 ms; 20,040 KB
testcase_23	AC	67 ms; 22,028 KB
testcase_24	AC	67 ms; 21,944 KB
testcase_25	AC	67 ms; 23,976 KB
testcase_26	AC	68 ms; 21,848 KB
testcase_27	AC	67 ms; 21,852 KB
testcase_28	AC	415 ms; 94,160 KB
testcase_29	AC	416 ms; 98,356 KB

コンパイルメッセージ

Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace ProgrammingContest
{
    class MainClass : IDisposable
    {
        Scanner sc;
        Writer wr;
        string backPath = "..";
        char dirSep = System.IO.Path.DirectorySeparatorChar;
        string inFilePath = null;
        string outFilePath = null;
        public MainClass()
        {
            this.inFilePath = this.backPath
                            + this.dirSep
                            + this.backPath
                            + this.dirSep
                            + "in.txt";
            this.outFilePath = this.backPath
                             + this.dirSep
                             + this.backPath
                             + this.dirSep
                             + "out.txt";

            this.wr = new Writer(this.isReactive);
            //this.wr = new Writer(this.outFilePath);
#if DEBUG
            if (!this.isReactive)
                this.sc = new Scanner(this.inFilePath);
            else
                this.sc = new Scanner();
#else
            this.sc = new Scanner();
#endif
        }
        static void Main(string[] args)
        {
            using (var mainClass = new MainClass())
            {
                //mainClass.MakeTestCase();
                mainClass.Solve();
            }
        }

        public void Dispose()
        {
            if (this.sc != null)
            {
                this.sc.Dispose();
                this.sc = null;
            }
            if (this.wr != null)
            {
                this.wr.Dispose();
                this.wr = null;
            }
        }

        void MakeTestCase()
        {
            Random rand = new Random();
            this.wr = new Writer(inFilePath);


        }

        void Solve()
        {
            const int MOD = (int)1e9 + 7;
            int N = sc.NextInt;
            int K = sc.NextInt;
            sc.GetIntArray(N);
            int[,] dp = new int[N + 10, K + 10];
            dp[0, 0] = 1;
            for (int i = 0; i < N; i++)
            {
                int[] sum = new int[K + 10];
                for (int j = 0; j < K + 10 - 1; j++)
                {
                    sum[j + 1] = (sum[j] + dp[i, j]) % MOD;
                }
                for (int j = 0; j < K + 10 - 1; j++)
                {
                    if (j - i >= 0)
                    {
                        dp[i + 1, j] = (sum[j + 1] - sum[j - i] + MOD) % MOD;
                    }
                    else
                    {
                        dp[i + 1, j] = sum[j + 1];
                    }
                }
            }
            int ans = 0;
            for (int i = 0; i <= K; i++)
            {
                ans += dp[N, i];
                ans %= MOD;
            }
            wr.WriteLine(ans);
        }

        bool isReactive = false; // TODO: reactive check !!
    }

    class Writer : IDisposable
    {
        private System.IO.TextWriter writer;
        private StringBuilder sb;
        private bool isReactive;
        public Writer(string path) : this(new System.IO.StreamWriter(path))
        {
        }
        public Writer(bool isReactive) : this(null, isReactive)
        {
        }
        public Writer(System.IO.TextWriter writer = null, bool isReactive = false)
        {
            this.writer = (writer ?? Console.Out);
            this.isReactive = isReactive;
            if (!this.isReactive)
                this.sb = new StringBuilder();
        }
        public void Dispose()
        {
            if (!this.isReactive)
                this.writer.Write(sb.ToString());
            if (!this.writer.Equals(Console.Out))
                this.writer.Dispose();
        }
        public void Write(object val)
        {
            if (this.isReactive)
            {
                this.writer.Write(val.ToString());
                this.writer.Flush();
            }
            else
                this.sb.Append(val.ToString());
        }
        public void Write(string format, params object[] vals)
        {
            if (this.isReactive)
            {
                this.writer.Write(format, vals);
                this.writer.Flush();
            }
            else
                this.sb.AppendFormat(format, vals);
        }
        public void WriteLine(object val = null)
        {
            this.Write((val ?? string.Empty).ToString() + System.Environment.NewLine);
        }
        public void WriteLine(int val)
        {
            this.WriteLine(val.ToString());
        }
        public void WriteLine(long val)
        {
            this.WriteLine(val.ToString());
        }
        public void WriteLine(string val)
        {
            this.WriteLine((object)val);
        }
        public void WriteLine(string format, params object[] vals)
        {
            this.Write(format + System.Environment.NewLine, vals);
        }
    }

    class Scanner : IDisposable
    {
        private Queue<string> buffer;
        private char[] sep;
        private System.IO.TextReader reader;
        public Scanner(string path) : this(new System.IO.StreamReader(path))
        {
        }
        public Scanner(System.IO.TextReader reader = null)
        {
            this.buffer = new Queue<string>();
            this.sep = new char[] { ' ' };
            this.reader = (reader ?? Console.In);
        }
        private void CheckBuffer()
        {
            if (this.buffer.Count == 0)
            {
                string str = string.Empty;
                while (string.IsNullOrEmpty(str))
                    str = this.reader.ReadLine();

                str.Split(this.sep).ToList()
                   .ForEach(el => this.buffer.Enqueue(el));
            }
        }

        public void Dispose()
        {
            if (!this.reader.Equals(Console.In))
                this.reader.Dispose();
        }

        public string Next
        {
            get
            {
                this.CheckBuffer();
                return this.buffer.Dequeue();
            }
        }
        public string[] GetStringArray(int N)
        {
            return Enumerable.Range(0, N)
                             .Select(e => this.Next)
                             .ToArray();
        }

        public int NextInt
        {
            get
            {
                return int.Parse(this.Next);
            }
        }
        public int[] GetIntArray(int N)
        {
            return Enumerable.Range(0, N)
                             .Select(e => this.NextInt)
                             .ToArray();
        }

        public double NextDouble
        {
            get
            {
                return double.Parse(this.Next);
            }
        }
        public double[] GetdoubleArray(int N)
        {
            return Enumerable.Range(0, N)
                             .Select(e => this.NextDouble)
                             .ToArray();
        }

        public long NextLong
        {
            get
            {
                return long.Parse(this.Next);
            }
        }
        public long[] GetLongArray(int N)
        {
            return Enumerable.Range(0, N)
                             .Select(e => this.NextLong)
                             .ToArray();
        }

        public bool IsEnd
        {
            get
            {
                this.CheckBuffer();
                return this.buffer.Count == 0;
            }
        }
    }
}