この前の続き。

証明の核となるTCNFがP完全だということを何とか証明できないかと悩んでいたら、呆気ない方法で完成した。
……まあ、例によって本当かどうか判らないけどね。

さっそくarxiv.orgの論文をアップデート。TCNFがP完全だとすると、超導出とかのややこしい手法を使わなくて良くなるから論文自体も簡素になるなぁ。