假设空间规模计算

首次看到假设空间规模计算之间就懵逼了。。。。
先描述一下问题，这个问题来源与西瓜书。如何判断一个西瓜是不是好瓜，我们假设这个西瓜是不是好瓜可以有三种属性确定，分布为“色泽”，“根蒂”，“敲声”，同时每种属性有三种可能的情况，那么假设空间的规模说多少？或者说在我们判断一个瓜是不是好瓜有多少种可能出现的情况？
我们第一直观的判断3* 3* 3，简单的排列组合，可以给出所有西瓜的的属性，那么假设空间的大小为27。但是在这种判断中，我们其实默认了一个瓜是不是好瓜，需要通过对西瓜三种属性来进行判断，然而其实也许判断一个瓜是不是好瓜，压根不需要三种属性的确定，可能一种属性，比如只要色泽乌黑的西瓜全是好瓜，那么此时其他2种属性都不再需要，也就是可以表述为‘ *’，那么此时对每种属性的设置，除了我们给出的三种，我们还可以给出任意。。。这就很好玩了，所以我们得到4 *4 *4，即每种属性的选择有了4种可能，但是上面都是判断一个瓜是不是好瓜，那么我们默认这些假设中有总有好瓜的情况，但是如果好瓜压根不存在，那么好瓜的概念压根就不存在。
最后那种极端情况我们可以这样理解，当有个瓜的属性为色泽= *，根蒂= *，敲声= *，我们来判断他是不是好瓜，如果他可能是好瓜，那么当前情况可能足够也可能不够，但是起码我们能确定的是他可能是好瓜，那么瓜属性的情况为4 *4 *4，但是如果根本不存在好瓜，即判断一个瓜是不是好瓜这个问题本身就是无意义的，因为压根就没有好瓜，就和你判断猫是不是动物这种问题一样。。。。。。
用个图来描述一下把

所以4 * 4 *4也是默认了有好瓜的情况，但是没有好瓜这种情况不在上面的假设，是极端情况。
如果我的表述或者理解有任何的问题，欢迎留言指出。