布尔可满足性问题

✍ dations ◷ 2024-07-05 09:44:35 #布尔可满足性问题

可满足性（英语：Satisfiability）是用来解决给定的真值方程式，是否存在一组变量赋值，使问题为可满足。布尔可满足性问题（Boolean satisfiability problem；SAT)）属于决定性问题，也是第一个被证明属于NP完全的问题。此问题在计算机科学上许多领域的皆相当重要，包括计算机科学基础理论、算法、人工智能、硬件设计等等。SAT Solvers:Conferences/Publications:Benchmarks:SAT solving in general:

相关

坏血病坏血病（拉丁语：Scorbutus，英语：Scurvy）又称为坏血症、水手病，是一种因缺乏维生素C所引起的疾病。维生素C主要参与人体内胶原的合成，其化学名称是抗坏血酸，源自坏血症的拉丁名scorbut
主动运输主动运输（active transport）是一种物质逆电化学梯度的跨细胞膜的运动。在细胞中，这一过程通常伴随着高浓度的分子积累，如金属离子、葡萄糖和氨基酸。相对于被动运输，主动运输的进
温度温度是表示物体冷热程度的物理量，微观上来讲是物体分子热运动的剧烈程度。温度只能通过物体随温度变化的某些特性来间接测量，而用来量度物体温度数值的标尺叫温标。它规定了温
德尔斐德尔斐（.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium,"Theano Didot
拓扑学在数学里，拓扑学（英语：topology）也可写成拓朴学，或意译为位相几何学，是一门研究拓扑空间的学科，主要研究空间内，在连续变化（如拉伸或弯曲，但不包括撕开或黏合）下维持不变的性质。在拓扑
辅酶A辅酶A（英语：coenzyme A，简称CoA、CoASH或HSCoA）是一种辅酶，值得注意的是其在合成和氧化脂肪酸的角色，和在三羧酸循环中氧化丙酮酸。所有基因组测序日期编码的酶，即利用辅酶A作为底
灰胞藻纲灰藻（Glaucophyta，Glaucophytes，Glaucocystophytes或Glaucocystids），也叫灰胞藻，是原始色素体生物的一支，是一类稀见的小型淡水藻类，具有独特的灰质体。灰藻的近缘类群有红藻、皮胆
寸寸部，为汉字索引里为部首之一，康熙字典214个部首中的第四十一个（三划的则为第十二个）。就繁体和简体中文中，寸部归于三划部首。寸部通常是从下、右方均可为部字，且无其他部首可用
夏威夷岛夏威夷岛（夏威夷语：Hawaiʻi）是夏威夷群岛中的最大岛屿，又称大岛（Big Island）；位于群岛最南端，面积10414平方公里。全岛有丰富的火山活动，岛上有五个盾状火山，设有夏威夷火山国家公园，
音译音译是一种以原来国家的当地语言读音为依据翻译的形式，一般根据原语言内容的发音在目标语言中寻找发音相近的内容进行替代翻译。音译通常用于姓名、企业、地名和国名等的翻译