直观数组

Direct Subset

接下来我们介绍的一个技巧叫做数组(Subset)。数组在使用上分两种模式,显性数组(Naked Subset)和隐性数组(Hidden Subset)。从底层上讲,它们是同一个东西,但是在推理上并不相同,而观察层面来说难度也不一样。所以我把他们分开讲解。

最后更新于