公共文化服务平台

搜索到297篇“ SAT问题“的相关文章

SAT问题处理系统及处理方法: 本发明提供一种SAT问题处理系统，利用包含光域矩阵器和阈值判断器的光电混合计算装置来进行处理，其特征在于，包括：问题转化模块，该问题转化模块基于伊辛问题的特点，获得与所述SAT问题的CNF范式相关联的邻接矩阵及外场向量；...; 何自强

一种SAT问题处理方法及装置: 本申请公开了一种SAT问题处理方法及装置，方法包括：获得目标SAT问题对应的异或SAT问题对应的线性方程组以及所述线性方程组的初始解：根据所述初始解，制备包含所述异或SAT问题所有解构成的初始量子态；利用量子搜索线路，执...; 赵勇杰

三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质: 本发明提供一种三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质，涉及量子计算机技术领域。所述方法包括：将三取一形式SAT问题的解空间更新为目标解空间，得到目标2‑SAT问题，所述目标解空间对应放宽问题的解空间...; 龙桂鲁陆全枫魏世杰曾进峰

三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质: 本发明提供一种三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质，涉及量子计算机技术领域。所述方法包括：将三取一形式SAT问题中的各初始变量表示为至少一个目标变量的线性组合，得到降维后SAT问题；获取所述降维后...; 龙桂鲁陆全枫魏世杰曾进峰

随机正则恰当(d,k)-SAT问题的可满足相变分析: 2024年; 为深入理解随机正则恰当(d,k)-SAT问题难解的内在本质,理清相变与难解之间的变化规律,进一步设计高效的求解算法,引入随机正则恰当可满足性实例产生模型,采用一阶矩和二阶矩方法分析了该问题的相变情况,给出了正则恰当(d,k)-SAT问题的可满足相变点d^(*).当相变控制参数d^(*)时,正则恰当(d,k)-SAT问题实例高概率可满足;当d>d^(*)时,正则恰当(d,k)-SAT问题实例高概率不可满足.最后,选取子句长度k分别为3和4进行实验,结果表明:在d^(*)的取值分别为2.3798和3.0668附近发生了相变现象,进一步证明了理论结果与实验结果的一致性.; 王晓峰王军霞; 关键词：二阶矩

基于SAT问题实例特性的端到端SAT求解模型: 2024年; 当前基于神经网络的端到端SAT求解模型在各类SAT问题求解上展现了巨大潜力。然而SAT问题难以容忍误差存在,神经网络模型无法保证不产生预测误差。为利用SAT问题实例特性来减少模型预测误差,提出了错误偏好变量嵌入架构(architecture of embedding error-preference variables, AEEV)。该架构包含错误偏好变量嵌入调整算法和动态部分标签训练模式。首先,为利用参与越多未满足子句的变量越可能被错误分类这一特性,提出了错误偏好变量嵌入调整算法,在消息传递过程中根据变量参与的未满足子句个数来调整其嵌入。此外,提出了动态部分标签监督训练模式,该模式利用了SAT问题实例的变量赋值之间存在复杂依赖关系这一特性,避免为全部变量提供标签,仅为错误偏好变量提供一组来自真实解的标签,保持其他变量标签为预测值不变,以在训练过程管理一个更小的搜索空间。最后,在3-SAT、k-SAT、k-Coloring、3-Clique、SHA-1原像攻击以及收集的SAT竞赛数据集上进行了实验验证。结果表明,相较于目前较先进的基于神经网络的端到端求解模型QuerySAT,AEEV在包含600个变量的k-SAT数据集上准确率提升了45.81%。; 龙峥嵘李金龙梁永濠

基于LSTM的启发式SAT问题求解算法研究: 布尔可满足性问题（SAT）作为首个被证明的NP问题,在人工智能、电子设计自动化（EDA）、电路设计、安全协议验证等诸多实际领域发挥着重要的作用,由此实现一种可以更高效率解决SAT问题的求解算法意义重大。当前没有任何一种S...; 梁小龙; 关键词：SAT问题 NPC

车辆配置的SAT或MAX-SAT问题的Grover求解方法及装置: 本发明公开了一种车辆配置的SAT或MAX－SAT问题的Grover求解方法及装置，所述方法包括：构造用于车辆生产配置的可建造性约束对应的第一量子线路，作为Grover的初始化叠加线路模块；构造预设测试条件对应的总哈密顿量...; 袁野为柴雅卉李叶窦猛汉

求解SAT问题的DNA计算模型研究: 面对日益增长的高性能计算需求，传统计算模型正遭遇前所未有的重大考验。尤其是在处理大规模的复杂问题时，传统计算机的计算时间可能会随着问题规模的增大呈指数增长。可满足性问题（SAT）作为经典的大规模复杂计算问题之一，其求解方...; 肖雅诗; 关键词：DNA计算

一种针对量子退火器求解3-SAT问题的噪音优化方法: 本发明公开了一种针对量子退火器求解3‑SAT问题的噪音优化方法，包括：将图着色数据转化3‑SAT问题，将每个三元子句转化为多个二元子句，同时根据多个二元子句目标函数构建初始总目标函数，以及每个变量的变量系数，将三元子句中...; 尹建伟谭思危于茗谦卢丽强尚永衡

相关作者