1) 2-ASAT problem
Almost 2-SAT问题
1.
Techniques used in the FPT algorithm for parameterized 2-ASAT problem are iterative compression and branch.
本文通过对给定的2-CNF表达式F中同一路由上的相邻子句进行组合分析,细化分支处理,对参数化的带单个字符的2-ASAT问题(2-ASLASAT问题)提出了一个运行时间为O~*(5~k)的确定型参数算法,从而可用于参数化Almost 2-SAT问题的求解。
2) 'Almost' primes
"Almost"素数
3) Almost balanced metric
Almost balanced度量
4) SAT problem
SAT问题
1.
Quantum cooperative immune algorithm for SAT problems
量子协同免疫算法用于SAT问题的求解
2.
Due to the complexity of the SAT problem, the speed of solving the SAT problem with software method is very slow.
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想。
3.
A novel algorithm,SAT-SAGA,is proposed for solving SAT problems based on the combination of the genetic algorithm and simulated annealing algorithm.
提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA。
5) 3-SAT problem
3-SAT问题
1.
A New Method for Solving 3-SAT Problems;
一种求解3-SAT问题的新方法
2.
A genetic algorithms for 3-SAT problem determinant
基于遗传算法的3-SAT问题判定
3.
Finaly,the 3-SAT problem be solved by DNA computing method.
本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。
6) satisfiability problem
SAT问题
1.
The NP-hard problems such as SAT (the propositional satisfiability problem) are long-term issues in the research of computer algorithms and theory.
传统的求解 SAT问题的随机算法主要是对满足解进行搜索 ,在找不到满足解的情况下 ,则无法正确判断问题的可满足性 。
补充资料：Al
元素符号： al 英文名： aluminum 中文名： 铝
相对原子质量： 26.9815 常见化合价： +3 电负性： 1.61
外围电子排布： 3s2 3p1 核外电子排布： 2,8,3
同位素及放射线： al-26[730000y] *al-27 al-28[2.3m]
电子亲合和能： 48 kj·mol-1
第一电离能： 577.6 kj·mol-1 第二电离能： 1817 kj·mol-1 第三电离能： 2745 kj·mol-1
单质密度： 2.702 g/cm3 单质熔点： 660.37 ℃ 单质沸点： 2467 ℃
原子半径： 1.82 埃 离子半径： 0.51(+3) 埃 共价半径： 1.18 埃
常见化合物： al2o3 alcl3 al2s3 naalo2 al2(so4)3 al(oh)3
发现人： 厄斯泰德、维勒 时间： 1825 地点： 丹麦
名称由来：
拉丁文：alumen， aluminis（铝）。
元素描述：
柔软轻质的银白色金属，在地壳中含量第三。
元素来源：
自然界完全没有铝单质存在。可以电解铝土(al2o3)制取铝。
元素用途：
上自飞机下到易拉罐应用广泛。因为纯铝太柔软，所以要加入不到1%的硅或铁以加大其硬度和强度。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条