[논문 리뷰] On weight choosability and additive choosability numbers of graphs

Ben Seamone|arXiv (Cornell University)|2012. 10. 25.

Graph Labeling and Dimension Problems인용 수 4

한 줄 요약

이 논문은 Alon의 조합적 닐스텐젠(Combinatorial Nullstellensatz)을 사용하여 합 기반 레이블링을 통한 적절한 정점 색칠을 가능하게 하는 엣지 및 총 가중치에 필요한 리스트 크기의 첫 번째 알려진 경계를 설정한다. 리스트 제약 조건 하에서 이러한 가중치의 존재성을 증명하며, Karoński–Luczak–Thomason 및 Przybyło–Wozniak의 추측을 리스트 가중치 설정에서 발전시킨다.

ABSTRACT

In 2004, Karonski, Luczak, and Thomason conjectured that the edges of any connected graph on at least 3 vertices may be weighted from the set {1,2,3} so that the vertices are properly coloured by the sums of their incident edge weights. A subsequent conjecture by Przybylo and Wozniak (2010) states that weights from {1,2} suffice if one also weights the vertices of the graph. Bartnicki, Grytczuk and Niwcyk (2009), Przybylo and Wozniak (2011), and Wong, Yang and Zhu (2010) introduced list variations of these weightings. In this paper, Alon's Combinatorial Nullstellensatz is used to prove the first known bounds on the list sizes required to ensure a colouring by sums exists for edge weightings and total weightings. Some constructive results on list variation of additive colourings, a concept introduced by Czerwinski, Grytczuk, and Zelazny (2009), are also presented.

연구 동기 및 목표

• 모든 3개 이상의 정점을 가진 연결 그래프의 엣지를 {1,2,3}에서 가중치로 부여함으로써 합 기반으로 적절한 정점 색칠을 만들 수 있다는 추측을 다루는 것.
• 고정된 집합이 아닌 고정된 크기의 리스트에서 엣지 가중치를 선택하는 리스트 버전의 추측을 조사하는 것.
• Przybyło와 Wozniak가 제안한 바와 같이 정점 가중치를 포함하는 총 가중치로 프레임워크를 확장하는 것.
• Czerwinski 등(2009)이 도입한 덧셈 색칠 개념을 리스트 가중치 설정에서 구성적으로 다루는 것.
• 모든 연결 그래프에서 적절한 합 색칠을 보장하기 위해 필요한 최소 리스트 크기의 이론적 경계를 설정하는 것.

제안 방법

• 리스트 제약 조건 하에서 적절한 합 색칠 가중치의 존재성을 증명하기 위해 Alon의 조합적 닐스텐젠을 적용한다.
• 유한 체 위에서 다항식 시스템으로 엣지 및 총 가중치를 모델링하여 닐스텐젠의 영이 아닌 조건을 활용한다.
• 그래프의 인cidenc 행렬과 차수 제약 조건의 구조를 이용해 관련 다항식 시스템을 정의한다.
• 다항식의 차수와 시스템 내 변수 수를 바탕으로 리스트 크기의 경계를 설정한다.
• 특정 리스트 크기 조건 하에서 유효한 가중치를 생성하는 구성적 알고리즘을 제안한다.
• 리스트 기반 제약 조건을 도입하고 존재성 결과를 증명함으로써 이전의 덧셈 색칠 연구를 확장한다.

실험 결과

연구 질문

• RQ1 3개 이상의 정점을 가진 모든 연결 그래프에서 엣지 가중치를 {1,2,3}에서 선택할 때, 합 기반으로 적절한 정점 색칠을 보장하기 위해 필요한 최소 리스트 크기는 얼마인가?
• RQ2 정점 가중치를 允허하고 {1,2}를 사용하는 Przybyło와 Wozniak의 추측은 리스트 가중치 설정으로 확장되어, 고정된 리스트 크기로 확장될 수 있는가?
• RQ3 총 가중치(엣지 및 정점 가중치 포함)에 대해 적절한 합 색칠을 보장하기 위한 리스트 크기의 이론적 경계는 무엇인가?
• RQ4 조합적 닐스텐젠을 어떻게 체계적으로 적용하여 리스트 모델에서 합 색칠 가중치의 존재성을 증명할 수 있는가?
• RQ5 적절한 정점 색칠을 생성하는 유효한 리스트 가중치 엣지 및 총 가중치를 생성하기 위한 구성적 방법은 무엇이 있는가?

주요 결과

• 논문은 조합적 닐스텐젠을 사용하여 엣지 가중치를 통한 적절한 합 색칠을 위한 리스트 크기의 첫 번째 알려진 상한 경계를 설정한다.
• 모든 3개 이상의 정점을 가진 연결 그래프에 대해, 각 엣지에 리스트 크기 3의 가중치를 할당할 경우 적절한 정점 색칠이 가능하다는 것을 증명한다.
• 총 가중치의 경우, 동일한 조건 하에서 리스트 크기 2로도 적절한 합 색칠이 존재함을 보여준다.
• 이 방법은 다변수 다항식이 유한 체 위에서 영이 아님을 근거로 하는 구성적이지 않은 존재성 증명을 제공한다.
• 유도된 경계는 그래프 크기와 무관하며, 최대 차수와 인cidenc 체계의 구조에만 의존한다.
• 특정 그래프 유형에 대해 구성적 결과를 제공하여 합 색칠 조건을 만족하는 명시적 가중치 할당을 보여준다.