基于SAT问题的独立集算法
기우SAT문제적독립집산법
An Independent Set Algorithm for SAT Problems
  • 万方数据
    金陵科技学院学报 금릉과기학원학보
    JOURNAL OF JINLING INSTITUTE OF TECHNOLOGY
    2010年 2期 6-9 ,共4页

    李勤丰

    리근봉

    SAT%DNA计算%粘贴模型%独立集 SAT%DNA計算%粘貼模型%獨立集
    SAT%DNA계산%점첩모형%독립집
    独立集问题是组合优化中典型的NP问题,近年来解决SAT问题的算法层出不穷.利用粘贴模型将独立集问题转化为SAT问题,进而解决原问题,并用实例说明了该方法的可行性.
    독립집문제시조합우화중전형적NP문제,근년래해결SAT문제적산법층출불궁.이용점첩모형장독립집문제전화위SAT문제,진이해결원문제,병용실례설명료해방법적가행성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문