SAT局部搜索算法的转移矩阵模型
SAT국부수색산법적전이구진모형
A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem
  • 万方数据
    计算机工程 계산궤공정
    COMPUTER ENGINEERING
    2006年 3期 199-202 ,共4页

    曾卫玲%周智%黄刘生

    증위령%주지%황류생

    SAT%局部搜索%搜索空间%模型 SAT%跼部搜索%搜索空間%模型
    SAT%국부수색%수색공간%모형
    对不完全算法在搜索空间上的部分特性进行统计分析,并对算法的执行轨迹进行Markov建模,推导出算法的转移矩阵模型,最后通过实验证明了该模型的正确性.
    대불완전산법재수색공간상적부분특성진행통계분석,병대산법적집행궤적진행Markov건모,추도출산법적전이구진모형,최후통과실험증명료해모형적정학성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문