Kiraly–Tanigawa's body-pin rigidity characterization conjecture
Kiraly–Tanigawa's body-pin conjecture. The graph GHG_HGH is rigid in R3\mathbb{R}^3R3 if and only if, for every partition P={P1,P2,…,Pt}\mathcal{P}=\{P_1,P_2,\dots,P_t\}P={P1,P2,…,Pt} of WWW,