최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 경북대학교 KyungPook National University |
---|---|
연구책임자 | 시거스, 마크 할버 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 대한민국 |
발행년월 | 2018-11 |
과제시작연도 | 2017 |
주관부처 | 교육부 Ministry of Education |
등록번호 | TRKO201900026562 |
과제고유번호 | 1345270646 |
사업명 | 개인기초연구(교육부) |
DB 구축일자 | 2020-09-05 |
키워드 | Constraint Satisfaction Problem.Computation Complexity.Graph Homomorphism.Homomorphism Reconfiguration.Graph Recoluring.Polymorphisms.Mal'cev Conditions. |
□ 연구개요
The main part of my research is related to the CSP dichotomy conjecture. I started working on characterising graphs that admit various polymorphisms, and so characterising the graphs that fall into the different complexity classes according to the conjecture. The focus changed, as the conj
※ AI-Helper는 부적절한 답변을 할 수 있습니다.