m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ トレース／コンパクト閉圏 具体例 境界付き有向グラフは、グラフGの次数1の頂点部分集合dGが指定されたもの。つまり、(G, dG)、dG⊆Node(G)、x∈dG⇒ord(x) = 1。もとになるグラフGには、ループ、並行辺、サイクル、サークル（頂点なしのサイクル）なども認める。回路グラフGは、境界付きグラフで、境界がdom(G)とcod(G)に分割されていて、dom(G)もcod(G)も全順序が付いている。より一般的に、すべてのノードに対してその出る辺と入る辺に全順序（番号）が付いている。Σがアリティ／コアリティともに自然数になっている指標とすると、Σラベル付き回路グラフが定義できる。Σにソートがあれば、ソート列でアリティ／… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060727%2F1153959798" title="回路グラフ - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-07-27 09:23:18 rich https://m-hiyama-memo.hatenablog.jp/entry/20060727/1153959798 1.0 100%