다이아스토미 방향 그래프 리스트 동형 사상의 이분법

다이아스토미 방향 그래프 리스트 동형 사상의 이분법 초록: 제약 만족 문제에 대한 이분법 추측은 보수적인 문제(또는 동등하게 리스트 동형 사상 문제)에서 안드레이 불라토프에 의해 검증되었다. 무방향 그래프에 대한 리스트 동형 사상에 대한 초기 이분법은 트랙터블 케이스와 비트랙터블 케이스를 구분하는 우아한 구조적 구분을 제공하였다. 그러나 불라토프의 분류에서는 이러한 구조적 특성이 제시되지 않았으며, 불라토프는 이를 찾을 수 있는지 질문하였다. 우리는 방향 그래프의 경우에 답을 제시한다; 이 기법은 보다 넓은 맥락에서도 적용될 수 있다. 핵심 개념으로 우리는 방향 그래프 소행성 삼중(DAT)을 도입한다. 이 이분법은 다음과 같이 전개된다. 만약 방향 그래프 H가 DAT를 포함한다면 H에 대한 리스트 동형 사상 문제는 NP‑완전이며, DAT가 없는 방향 그래프 H는 리스트 동형 사상 문제가 다항 시간 안에 해결 가능하다. DAT가 없는 그래프는 다항 시간 내에 인식될 수 있다.