結果

問題 No.1227 I hate ThREE
ユーザー kakel-san
提出日時 2025-04-06 17:29:13
言語 C#
(.NET 8.0.404)
結果
AC  
実行時間 284 ms / 2,000 ms
コード長 4,864 bytes
コンパイル時間 8,174 ms
コンパイル使用メモリ 170,236 KB
実行使用メモリ 213,104 KB
最終ジャッジ日時 2025-04-06 17:29:29
合計ジャッジ時間 15,251 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 33
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (113 ミリ秒)。
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;

class Program
{
    static int NN => int.Parse(ReadLine());
    static int[] NList => ReadLine().Split().Select(int.Parse).ToArray();
    static int[] NMi => ReadLine().Split().Select(c => int.Parse(c) - 1).ToArray();
    static int[][] NMap(int n) => Enumerable.Repeat(0, n).Select(_ => NMi).ToArray();
    public static void Main()
    {
        Solve();
        // Test();
    }
    static void Test()
    {
        var c = NList;
        var (n, k) = (c[0], c[1]);
        var map = NMap(n - 1);
        var tree = new List<int>[n];
        for (var i = 0; i < n; ++i) tree[i] = new List<int>();
        foreach (var edge in map)
        {
            tree[edge[0]].Add(edge[1]);
            tree[edge[1]].Add(edge[0]);
        }
        WriteLine(Solve1(n, k, tree));
        WriteLine(Solve2(n, k, tree));
    }
    static void Solve()
    {
        var c = NList;
        var (n, k) = (c[0], c[1]);
        if (k <= 3)
        {
            WriteLine(0);
            return;
        }
        var map = NMap(n - 1);
        var tree = new List<int>[n];
        for (var i = 0; i < n; ++i) tree[i] = new List<int>();
        foreach (var edge in map)
        {
            tree[edge[0]].Add(edge[1]);
            tree[edge[1]].Add(edge[0]);
        }
        var ans = 0L;
        if (k > 6 * n + 10)
        {
            ans = Solve1(n, k, tree);
        }
        else
        {
            ans = Solve2(n, k, tree);
        }
        WriteLine(ans % mod);
    }
    static long Solve1(int n, int k, List<int>[] tree)
    {
        var ans = 0L;
        var (s, m, l) = DFS1(0, -1, tree, n);
        // WriteLine(string.Join(" ", s));
        // WriteLine(m);
        // WriteLine(string.Join(" ", l));
        ans = m * (k - s.Length - l.Length) % mod;
        for (var i = 0; i < s.Length; ++i) ans += s[i];
        for (var i = 0; i < l.Length; ++i) ans += l[i];
        return ans % mod;
    }
    static long Solve2(int n, int k, List<int>[] tree)
    {
        var ans = 0L;
        var list = DFS2(0, -1, tree, k);
        // WriteLine(string.Join(" ", list));
        for (var i = 0; i < list.Length; ++i) ans += list[i];
        return ans % mod;
    }
    static int mod = 1_000_000_007;
    static (long[] small, long mid, long[] large) DFS1(int cur, int prev, List<int>[] tree, int n)
    {
        var small = new long[3 * n + 1];
        var large = new long[3 * n + 1];
        for (var i = 0; i < small.Length; ++i) small[i] = 1;
        var mid = 1L;
        for (var i = 0; i < large.Length; ++i) large[i] = 1;
        if (prev >= 0 && tree[cur].Count == 1)
        {
            return (small, mid, large);
        }
        foreach (var next in tree[cur])
        {
            if (prev == next) continue;
            var (ns, nm, nl) = DFS1(next, cur, tree, n);
            for (var i = 0; i < small.Length; ++i)
            {
                if (i - 3 >= 0 && i + 3 < small.Length)
                {
                    small[i] = small[i] * ((ns[i - 3] + ns[i + 3]) % mod) % mod;
                    large[i] = large[i] * ((nl[i - 3] + nl[i + 3]) % mod) % mod;
                }
                else if (i - 3 >= 0)
                {
                    small[i] = small[i] * ((ns[i - 3] + nm) % mod) % mod;
                    large[i] = large[i] * ((ns[i - 3] + nm) % mod) % mod;
                }
                else
                {
                    small[i] = small[i] * ns[i + 3] % mod;
                    large[i] = large[i] * ns[i + 3] % mod;
                }
            }
            mid = mid * nm % mod * 2 % mod;
        }
        return (small, mid, large);
    }
    static long[] DFS2(int cur, int prev, List<int>[] tree, int k)
    {
        var ans = new long[k];
        for (var i = 0; i < k; ++i) ans[i] = 1;
        if (prev >= 0 && tree[cur].Count == 1)
        {
            return ans;
        }
        foreach (var next in tree[cur])
        {
            if (prev == next) continue;
            var nans = DFS2(next, cur, tree, k);
            for (var i = 0; i < k; ++i)
            {
                if (i - 3 >= 0 && i + 3 < k)
                {
                    ans[i] = ans[i] * ((nans[i - 3] + nans[i + 3]) % mod) % mod;
                }
                else if (i - 3 >= 0)
                {
                    ans[i] = ans[i] * nans[i - 3] % mod;
                }
                else if (i + 3 < k)
                {
                    ans[i] = ans[i] * nans[i + 3] % mod;
                }
                else
                {
                    ans[i] = 0;
                }
            }
        }
        return ans;
    }
}
0