Skip to content

The ehrenfeucht-Fraïssè method and the planted clique conjecture

Citations of this article
Mendeley users who have this article in their library.
Get full text


The Ehrenfeucht-Fraïssè method for first-order logic and further logics relevant in descriptive complexity has been quite successful. However, for key problems such as P ≠ NP or NP ≠ co-NP no progress has been achieved using it. We show that for these problems we can not get the board for the corresponding Ehrenfeucht-Fraïssè game in polynomial output time, even if we allow probabilistic methods to obtain the board. In order to get this result in the probabilistic case, we need an additional hypothesis, namely that there is an algorithm, the verifier, verifying in a reasonable time that the two structures of the board satisfy the same properties expressible in a suitable fragment of the logic. The (non)existence of such a verifier is related to a logic version of the planted clique conjecture.




Chen, Y., & Flum, J. (2015). The ehrenfeucht-Fraïssè method and the planted clique conjecture. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9300, pp. 87–108). Springer Verlag.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free