关于等价类划分的问题

这几天看离散数学，然后又翻到了老严数据结构里树和等价类的问题。很有疑惑，抛出来希望大家能提点小弟：
老严书上的算法是在等价关系的结合确定的情况下，去推算等价类。
但是我们实际情况往往是根据条件确定等价类之后，再去推算集合里的数据在哪个等价类中，比如黑盒测试的时候对测试覆盖率的判断。
这让我对老严算法的实用度产生了怀疑，根据等价关系去推算等价类这又实用价值吗？

等价关系这么简单的东西有必要这么追究么。。。
有哪个推哪个还不是一眨眼的事情。。。

 

关于等价类问题，《算法导论》一书中也有详细的论述，如果你做过PKU ACM题目可以发现有不少题目有涉及这个问题，我在做图形相关处理的时候也涉及到了等价类的推算问题。

关于实用度的问题，建议不需要过于深究，很多时候不是没有应用之处，而是我们见识太少了。

希望大家共同进步，算法的研究还是很有助于思维能力提高的，如果有机会可以看看《算法导论》一书，上面对于算法的应用和推演都有不错的论述。