发明名称 |
SEARCH OPTIMIZATION IN A COMPUTING ENVIRONMENT |
摘要 |
Systems and methods for verifying membership in one or more sets that are subsets of a global set are provided. The method compromises representing members of the global set by mapping each member to a distinct Boolean variable of length d, wherein 2d is not less than the number of members in the global set; representing each of the given subsets of the global set by a Boolean expression which evaluates to a first value for any of the assignments to the Boolean variables which represent members of the subset, and which evaluates to a second value for any of the assignments to the Boolean variables which represent members of the global set that are not members of the subset. |
申请公布号 |
US2013066825(A1) |
申请公布日期 |
2013.03.14 |
申请号 |
US201213674061 |
申请日期 |
2012.11.11 |
申请人 |
INTERNATIONA BUSINESS MACHINES CORPORATION;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
JONATHAN BNAYAHU;LANDAU ARIEL;NISENSON MORDECHAI |
分类号 |
G06N7/00 |
主分类号 |
G06N7/00 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|