Specifically, it is to judge whether two multilateral types are adjacent and disjoint. Forgive me, my English is poor.