이 논문은 트리를 구분 짓는 새로운 불변량인 Kneser 색채 함수 XKN,2(•)에 대해 다룬다.
먼저, 저자는 Kneser 그래프와 Kneser 색채 함수의 정의를 소개한다. Kneser 색채 함수 {XKN,k}k∈N는 그래프에 대한 완전 불변량이라는 것이 알려져 있다.
이어서 저자는 트리에 대한 새로운 불변량인 최소 루트 정점 순서와 최소 차수 순서를 정의한다. 이를 이용하여 Gλ0가 원래의 트리 G와 동형이라는 것을 보인다.
마지막으로 저자는 이 결과를 바탕으로 XKN,2(•)가 트리에 대한 완전 불변량임을 증명한다. 즉, 두 비동형 트리 G1과 G2에 대해 XKN,2(G1) ≠ XKN,2(G2)가 성립한다.
다른 언어로
소스 콘텐츠 기반
arxiv.org
더 깊은 질문