AtCoderのARC    次のARCの問題へ    前のARCの問題へ

ARC037-B バウムテスト


問題へのリンク


C#のソース

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

class Program
{
    static string InputPattern = "InputX";

    static List<string> GetInputList()
    {
        var WillReturn = new List<string>();

        if (InputPattern == "Input1") {
            WillReturn.Add("8 7");
            WillReturn.Add("1 2");
            WillReturn.Add("2 3");
            WillReturn.Add("2 4");
            WillReturn.Add("5 6");
            WillReturn.Add("6 7");
            WillReturn.Add("6 8");
            WillReturn.Add("7 8");
            //1
        }
        else if (InputPattern == "Input2") {
            WillReturn.Add("5 1");
            WillReturn.Add("1 2");
            //4
        }
        else if (InputPattern == "Input3") {
            WillReturn.Add("11 11");
            WillReturn.Add("1 2");
            WillReturn.Add("1 3");
            WillReturn.Add("2 4");
            WillReturn.Add("3 5");
            WillReturn.Add("4 6");
            WillReturn.Add("5 7");
            WillReturn.Add("6 8");
            WillReturn.Add("7 9");
            WillReturn.Add("8 10");
            WillReturn.Add("9 11");
            WillReturn.Add("10 11");
            //0
        }
        else {
            string wkStr;
            while ((wkStr = Console.ReadLine()) != null) WillReturn.Add(wkStr);
        }
        return WillReturn;
    }

    static int mN;

    // 隣接リスト
    static Dictionary<int, List<int>> mToNodeListDict = new Dictionary<int, List<int>>();

    static void Main()
    {
        List<string> InputList = GetInputList();

        int[] wkArr = { };
        Action<string> SplitAct = pStr =>
            wkArr = pStr.Split(' ').Select(pX => int.Parse(pX)).ToArray();

        SplitAct(InputList[0]);
        mN = wkArr[0];

        foreach (string EachStr in InputList.Skip(1)) {
            SplitAct(EachStr);
            int FromNode = wkArr[0];
            int ToNode = wkArr[1];

            if (mToNodeListDict.ContainsKey(FromNode) == false) {
                mToNodeListDict[FromNode] = new List<int>();
            }
            if (mToNodeListDict.ContainsKey(ToNode) == false) {
                mToNodeListDict[ToNode] = new List<int>();
            }
            mToNodeListDict[FromNode].Add(ToNode);
            mToNodeListDict[ToNode].Add(FromNode);
        }

        ExecDFS();

        int Answer = mTreeDict.Values.Distinct().Count() - mHasCycleTreeSet.Count;
        Console.WriteLine(Answer);
    }

    // 木のID[ノードID]なDict
    static Dictionary<int, int> mTreeDict = new Dictionary<int, int>();

    // 閉路がある木のSet
    static HashSet<int> mHasCycleTreeSet = new HashSet<int>();

    struct JyoutaiDef
    {
        internal int CurrNode;
        internal int PreVisit;
    }

    // 深さ優先探索を行う
    static void ExecDFS()
    {
        for (int I = 1; I <= mN; I++) {
            if (mTreeDict.ContainsKey(I)) continue;

            var Stk = new Stack<JyoutaiDef>();
            JyoutaiDef WillPush;
            WillPush.CurrNode = I;
            WillPush.PreVisit = -1;
            Stk.Push(WillPush);
            mTreeDict[I] = I;

            while (Stk.Count > 0) {
                JyoutaiDef Popped = Stk.Pop();

                // 子ノード無しの場合
                if (mToNodeListDict.ContainsKey(Popped.CurrNode) == false)
                    continue;

                foreach (int EachToNode in mToNodeListDict[Popped.CurrNode]) {
                    if (mTreeDict.ContainsKey(EachToNode)) {
                        // 直前ノード以外のノードに再訪可能なら、閉路ありと判定
                        if (Popped.PreVisit != EachToNode) {
                            mHasCycleTreeSet.Add(I);
                        }
                        continue;
                    }

                    WillPush.CurrNode = EachToNode;
                    WillPush.PreVisit = Popped.CurrNode;
                    Stk.Push(WillPush);
                    mTreeDict[EachToNode] = I;
                }
            }
        }
    }
}


解説

DFSで連結成分分解してます。

DFSで直前の訪問ノード以外のノードに再訪可能なら、
閉路有りと判定してます。