典型文献
Super solutions of the model RB
文献摘要：
1 Introduction
Constraint satisfaction problems(CSPs)have come to play a prominent role in the area of computer science,statistical physics and information theory.A CSP instance involves a set of variables and a set of constraints,and the task is to find a solution(an assignment of variables that satisfies all the constraints)or to prove the unsolvability.Model RB[1]is a CSP model proposed to overcome the trivial unsatisfiability of standard Model B[2].The satisfiability phase transition and exact threshold points have been estabilished[1],and the benchmarks generated from model RB have been widely used in algorithm competitions[3].Studies from the statistical physics perspective are also fruitful[4-6],where more sturc-tures of solution space such as clustering phase are revealed.
文献关键词：
中图分类号：
作者姓名：
Guangyan ZHOU;Wei XU
作者机构：
Department of Mathematics,Beijing Technology and Business University,Beijing 100048,China;School of Mathematics and Physics,University of Science and Technology Beijing,Beijing 100083,China
文献出处：
引用格式：
[1]Guangyan ZHOU;Wei XU-.Super solutions of the model RB)[J].计算机科学前沿,2022(06):178-180
A类：
Constraint,unsolvability,unsatisfiability,estabilished,sturc
B类：
Super,solutions,model,RB,Introduction,satisfaction,problems,CSPs,have,play,prominent,role,area,computer,science,statistical,physics,information,theory,instance,involves,set,variables,constraints,task,find,assignment,that,satisfies,all,prove,Model,proposed,overcome,trivial,standard,phase,transition,exact,threshold,points,been,benchmarks,generated,from,widely,used,algorithm,competitions,Studies,perspective,also,fruitful,where,more,tures,space,such,clustering,revealed
AB值：
0.56037
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
