这是一个创建于 1376 天前的主题，其中的信息可能已经有所发展或是发生改变。
比如 age>18 就包含了 age>10
我想法是先得到语法分析树，然后还是不知道怎么处理。
 |
1
zxCoder OP 比如大条件分析树是
``` [or] [and and and] ``` 小条件分析树是 ``` [or] [and and] ``` 我的想法是递归判断小条件的每一个子树是否被大条件的某一子树所包含，如果是，则小条件被大条件锁包含。 然后递归边界就是一些数值和符号的比较。 |
Select Language