Expressing Linear Orders Requires Exponential-Size DNNFs
Computational Complexity
2019-05-31 v3 Artificial Intelligence
Logic in Computer Science
Abstract
We show that any DNNF circuit that expresses the set of linear orders over a set of candidates must be of size . Moreover, we show that there exist DNNF circuits of size expressing linear orders over candidates.
Cite
@article{arxiv.1807.06397,
title = {Expressing Linear Orders Requires Exponential-Size DNNFs},
author = {Ronald de Haan},
journal= {arXiv preprint arXiv:1807.06397},
year = {2019}
}