RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • A combinatorial constraint satisfaction problem dichotomy classification conjecture

        Ne&#x161,etř,il, Jaroslav,Siggers, Mark H.,,dori, Lá,szló Elsevier 2010 European journal of combinatorics : Journal europ& Vol.31 No.1

        <P><B>Abstract</B></P><P>We further generalise a construction–the <I>fibre construction</I>–that was developed in an earlier paper of the first two authors. The extension in this paper gives a polynomial-time reduction of CSP(H) for any relational system H to CSP(P) for any relational system P that meets a certain technical partition condition, that of being <SUB>K3</SUB>-<I>partitionable</I>.</P><P>Moreover, we define an equivalent condition on P, that of being <I>block projective</I>, and using this show that our construction proves NP-completeness for exactly those CSPs that are conjectured to be NP-complete by the CSP dichotomy classification conjecture made by Bulatov, Jeavons and Krohkin, and by Larose and Zádori. We thus provide two new combinatorial versions of the CSP dichotomy classification conjecture.</P><P>As with our previous version of the fibre construction, we are able to address restricted versions of the dichotomy conjecture. In particular, we reduce the Feder–Hell–Huang conjecture to the CSP dichotomy classification conjecture, and we prove the Kostochka–Nešetřil–Smolíková conjecture. Although these results were proved independently by Jonsson et al. and Kun respectively, we give different, shorter, proofs.</P>

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼