SAT问题处理系统及处理方法
    1.
    发明公开

    公开(公告)号:CN119718001A

    公开(公告)日:2025-03-28

    申请号:CN202311255481.6

    申请日:2023-09-26

    Inventor: 何自强

    Abstract: 本发明提供一种SAT问题处理系统,利用包含光域矩阵器和阈值判断器的光电混合计算装置来进行处理,其特征在于,包括:问题转化模块,该问题转化模块基于伊辛问题的特点,获得与所述SAT问题的CNF范式相关联的邻接矩阵及外场向量;设定模块,该设定模块根据所述邻接矩阵和所述外场向量,对所述光域矩阵器及所述阈值判断器进行设定;以及算法模块,该算法模块通过所述光域矩阵器及所述阈值判断器来确定所述SAT问题的最优解。

Patent Agency Ranking