The Surprisingly Difficult #Mathematical Proof That Anime Fans Helped Solve | #ScientificAmerican
#Math #Permutations #Superpermutations #GraphTheory #graph_theory #Salesman_problem #Anime #Haruhi #TheMelancholyOfHaruhiSuzumiya #Fun #Mathematical_proofs #Blogs
head-to-head 型のグラフィカルモデル（\(C→B←A\) 、\(A, C \not \perp B\) とする）をモラル化するさい、A と C の間にリンクを張る必要があるのは、モラルグラフにおいて B を観測した（除いた）場合に A と C が非独立であることを示すためと理解した。
条件付き独立性 3変数を考えます。 およびが与えられたとき、の条件付き分布がの値に依存しないとします。 式で書くと以下のようになります。このとき、が与えられた下で、はに対して、条件付き独立であるといいます。 この条件付き独立は次のようにも表せます。また、次のような記法でも表せます。 以下で、条件付き独立を考える上で大事な3つのパターンを紹介します。 tail-to-tail まず、tail-to-tailです。 が2本のリンクの矢印の尾(英語でtail)で接続しているので、tail-to-tailといいます。 が未観測の時のグラフは以下のようになります。図1: が未観測の時のtail-to-t…
ゲイングラフ (gain graph) は、枝の重み \( \phi(e) \) の集合が群 \( G \) をなすグラフで、隣接行列 \( A_{ij} = \phi (e_{ij}) \) の冪乗 \( A^n \) の元もまた \( G \) に属するという性質を持っている。反対に、符号付きグラフ (signed graph) は群をなさない。
Fiedler 固有値はグラフラプラシアンの下から二番目の固有値を指し、Fiedler 固有値 > 0 であることがグラフが連結であるための必要十分条件であるらしい (知らね〜）
Carl von Lesquereux
Yuzuki Arai
Yuzuki Arai
nope
Michael Sperberg-McQueen