「木と林（有向グラフ）」より： 頂点〈ノード〉の高さと林／ツリーの高さは、関連してますが別な概念なので混同しないようにしましょう。 別な概念は別な名前を付けたほうがいいですね。$`\newcommand{\mrm}[1]{ \mathrm{#1} }\newcommand{\cat}[1]{\mathca…