收藏本站
《计算机产品与流通》 2017年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于极大布尔多项式方程组的可满足性问题研究

候琳珊  李德  
【摘要】:在选定的256个含有128个变量的布尔多项式中,我们通过对每个变量个数的统计,分析它们各自出现的频率,分类并对具有相同特征的变量进行赋值,简化变量个数,寻找到一组x_1,x_2,(43),x_(12) _8的赋值(其中x_i的取值均在GF(2)中)使得f_1,f_2,(43),f_(12) _8在这组变量的赋值下函数值取值为0的个数最多。通过上述赋值,我们确定出9个变量的取值,即x _(18),x_(33),x_(35),x _(45),x_(59),x _(63),x_(84),x _(96),x_(101)。对剩余的14个变量和256个多项式的奇偶项进行分析和处理,最终确定出14个变使得多项式为0的个数最多。
【作者单位】延边大学计算机科学与技术学科网络与信息安全研究室
【分类号】:O151.1

【相似文献】
中国期刊全文数据库 前3条
1 王秉钦;加权布尔多项式以及具有二值邏辑变量的队决策问题的解[J];北京钢铁学院学报;1983年02期
2 顾安娜;谈布尔多项式的公式化简法[J];数学的实践与认识;1987年03期
3 李聪睿;;求解最优可满足性问题的算法设计[J];湛江师范学院学报;2011年06期
中国硕士学位论文全文数据库 前1条
1 葛平平;可满足性问题的改进型类组织P系统的求解研究[D];安徽理工大学;2015年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026