加载中…
For a constraint satisfaction problem defined by a relation , its non-redundancy is the size of largest instance (as a function of the number of variables) for which no constraint is implied by the rest. Its chain length is the largest such instance where the constraints can be ordered so that no constraint is implied by the preceding ones. Clearly but so far no asymptotic separation was known between these quantities. We exhibit an explicit arity relation for which .

生成讲解博客的中文版本

生成AI智能校验的中文版本