我想不出一个更好的头衔。
我的问题是：
我有一个符号列表，每个符号都标记有至少一个分类（其中一些可能有更多分类）。
假设我有4个符号：[[1,2]，1,1,1，] - ＆gt;第一个可以被分类为1或2，而另外3个总是被分类为1（而不是数字，你可以想到字符串，如'人'，'动物'等）。
我有一些可以合并符号并生成新符号的“规则”。此过程生成图表。在上面的例子中，我有2个初始状态： [1,1,1,1]和[2,1,1,1]如果我对它们应用一些规则，我会得到2个不同的图形（规则，如将1与1统一，或将2与1统一如果等等......）。
一种解决方案可能是将每个规则应用于每个初始状态并生成最终图形，但我认为图形的某些部分可能是相同的，我最终会重复计算同一个事物不止一次。 / p>
例如，如果我[[1,2,3]，1，....长部分与前一部分不相交]，这些图中的唯一差异可能仅在左侧部分，而在右侧一个总是一样的（用蛮力的方法，我总是会重新计算它。）
你能想到一种聪明的方法来不重新计算图形的相同部分吗？这个问题我记得你能读到的东西吗？