论文标题
没有有效的脱节或开关列表的连接
No Efficient Disjunction or Conjunction of Switch-Lists
论文作者
论文摘要
结果表明，两个开关列表的脱节可以呈指数级表示表示规模。由于可以否定开关列表而不会增加大小的任何增加，因此这表明开关名单的连接也会导致指数爆炸。
It is shown that disjunction of two switch-lists can blow up the representation size exponentially. Since switch-lists can be negated without any increase in size, this shows that conjunction of switch-lists also leads to an exponential blow-up in general.
