首页>
外国专利>
MINIMIZING PROCESSING LOAD WHEN SOLVING MAXIMUM SATISFIABILITY PROBLEM
MINIMIZING PROCESSING LOAD WHEN SOLVING MAXIMUM SATISFIABILITY PROBLEM
展开▼
机译:解决最大可满足性问题时将处理负荷最小化
展开▼
页面导航
摘要
著录项
相似文献
摘要
Provided is a processing apparatus that processes a problem for minimizing the sum of weights respectively associated with clauses that each become false, of a plurality of clauses each based on at least one logical variable, the processing apparatus including: a calculation unit for calculating a boundary value of the sum of the weights in a case where it is assumed that a first logical variable and a second logical variable have a predetermined logical relation; and a replacement unit for replacing the first logical variable in each of the plurality of clauses with a logical expression formed by using the second logical variable, in a case where the boundary value satisfies a predetermined condition.
展开▼