# Liars, Liars, Everywhere

Logic Level 5

Before you stands a panel of 100 identically appearing councilmen. These men have extremely valuable information that your nation requires, however, you must first overcome a small snag - it is known that 50 of the councilmen are consistent liars, never replying truthfully to a question, while the other 50 always speak the truth. However, we have no idea which of them are the liars, and which are the truth-tellers.

All of the councilmen know which of them are truth-tellers, and which are liars. Your task is to determine, with certainty, which are truth-tellers, and which are liars. You may ask any yes-or-no question, but only to one councilman at a time. What is the minimum number of questions you need to be allowed to ask to be certain that you can determine every councilman's alignment, for all cases?

Details:

• For formality: Let $$S$$ be the set of all questioning strategies, let $$C$$ be the set of all entire councilmen alignments, and let $$f : S \times C \rightarrow \mathbb{Z}^+$$ be the number of questions it takes a given strategy $$s \in S$$ to unambiguously determine entire councilmen alignment $$c \in C$$.

• The answer we seek is $$\min\limits_{s \in S} \left( \max\limits_{c \in C} f(s,c) \right)$$.
• You may vary your questions based on the answers you've already received. For example, you may have two "Question #2"'s, one for if the answer to "Question #1" is 'yes', and the other if it's 'no'. You may also vary the councilmen you query in this manner.

• The questions must be logically sound, and have a single, consistent 'yes' or 'no' answer. "Is this statement false?" is not a logically sound question.

×