rt，理论上貌似 2-SAT 可做：若两个人不互相认识，那么一定存在其中一个人在 $a$ 组，另一个人在 $b$ 组，连边即可。