有n个人在玩一个身份扮演的游戏， 把这n个人编号为1,2,3...n， 其中每个人会扮演下面两种身份中的一种: Truthman:当某个人扮演Truthman时，这个人只会说真话， Fakeman:当某个人扮演Fakeman时，这个人只会说假话， 这n个人是互相知道身份的，但是Casya作为一个旁观者不知道任何一个人的身份， 为了让Casya有可能推断这些人的身份，这n个人说了m句话。
有n个人在玩一个身份扮演的游戏。 把这n个人编号为1,2,3...n。 其中每个人会扮演下面两种身份中的一种: Truthman:当某个人扮演Truthman时，这个人只会说真话。 Fakeman:当某个人扮演Fakeman时，这个人只会说假话。 这n个人是互相知道身份的，但是Casya作为一个旁观者不知道任何一个人的身份。 为了让Casya有可能推断这些人的身份，这n个人说了m句话。 每句话的内容只包含某人对某人身份的一条描述，且被Casya记录为以下形式: u,v,0 -- u认为v是一个Fakeman; u,v,1 -- u认为v是一个Truthman; 当然这些话不一定都是真话，这取决于说话的人的身份。 但是可以肯定的是身份只有两种，也就是说某个人不是Truthman就是Fakeman。 Casya想知道不违反上面的条件和记录最少有多少个Fakeman，除此之外他还想得到一组在此情况下的一组合理的解—即所有人的身份。或者确定记录本来就是矛盾的所以没有任何符合条件的解。
（图片来源网络，侵删）
