Expressing Linear Orders Requires Exponential-Size DNNFs
We show that any DNNF circuit that expresses the set of linear orders over a set of n candidates must be of size 2^Ω(n).
READ FULL TEXTWe show that any DNNF circuit that expresses the set of linear orders over a set of n candidates must be of size 2^Ω(n).
READ FULL TEXT