מושגי ליבה
이 글은 2024년 슬로바키아 포프라드에서 열린 제32회 사이클 및 색칠 워크숍에서 제시된 그래프 색칠과 관련된 미해결 문제들을 다룹니다.
תקציר
제32회 사이클 및 색칠 워크숍 미해결 문제 개요
본 문서는 2024년 9월 8일부터 13일까지 슬로바키아 포프라드에서 개최된 제32회 사이클 및 색칠 워크숍에서 제시된 미해결 문제들을 다루고 있습니다. 워크숍에서는 그래프 색칠과 관련된 다양한 주제가 논의되었으며, 본 문서는 그중에서도 참가자들이 제시한 미해결 문제들을 중심으로 정리되어 있습니다. 각 문제는 현재까지 밝혀진 연구 결과 및 관련 참고 문헌과 함께 소개됩니다.
1. 크럼비 색칠 (제안자: 야노스 바라트)
3-연결 3차 그래프의 청색-적색 정점 색칠에서, 청색 정점으로 유도된 부분 그래프의 최대 차수가 1 이하이고, 적색 정점으로 유도된 부분 그래프의 최소 차수가 1 이상이며, 적색 부분 그래프에 3개의 모서리를 가진 경로가 포함되지 않도록 하는 청색-적색 색칠을 크럼비 색칠이라고 합니다.
문제: 3-연결 3차 그래프에서 항상 크럼비 색칠이 존재하도록 하는 적색 부분 그래프에 대한 조건 완화는 무엇일까요?
2. 리스트 패킹 관련 미해결 문제 (제안자: 스테인 캄비)
리스트 패킹은 주어진 그래프에서 각 정점에 색상 목록이 주어졌을 때, 인접한 정점끼리 서로 다른 색상을 가지도록 색칠하는 문제입니다.
문제 2.1: χ⋆ℓ(G) > χℓ(G) + 1을 만족하는 그래프 G가 존재할까요?
문제 2.2: 모든 그래프 G에 대해 χ⋆ℓ(G) ≤ 2χℓ(G)가 성립할까요?
문제 2.3: 3차 평면 그래프의 3-리스트 할당에 대해, 두 개의 서로소인 적절한 색칠을 선택하는 것이 가능할까요?
문제 2.4: 3차 평면 그래프의 3-리스트 할당에 대해, 세 개의 서로소인 적절한 색칠을 선택하는 것이 가능할까요?
문제 2.5: 모든 그래프 G에 대해 χ⋆ℓ(G) ≤ Δ(G) + 1이 성립할까요?
문제 2.6: χ⋆ℓ(G) ≥ 6을 만족하는 평면 그래프가 존재할까요?
문제 2.7: 모든 평면 그래프에 대해 χ⋆ℓ(G) ≤ 7이 성립할까요?
문제 2.8: 삼각형이 없는 평면 그래프 G에 대해 χ⋆ℓ(G) ≤ 4가 성립할까요?
문제 2.9: 그래프 G의 정점 v와 모서리 e에 대해, χ⋆ℓ(G) ≤ χ⋆ℓ(G \ v) + 2 또는 χ⋆ℓ(G) ≤ χ⋆ℓ(G \ e) + 2가 성립할까요?
문제 2.10: k > 2일 때, 입력으로 그래프 G가 주어졌을 때, χ⋆ℓ(G) ≤ k를 결정하는 문제는 복잡도 클래스 ΠP2에 대해 완전할까요?
문제 2.11: t > 1일 때, 트리 너비가 최대 t인 그래프 G가 입력으로 주어졌을 때, χ⋆ℓ(G) 또는 χ•ℓ(G)의 값을 결정하는 문제는 P에 속할까요?
3. 확장된 페테르센 그래프의 색 지수 (제안자: 게나 한)
확장된 페테르센 그래프는 특정 조건을 만족하는 정점과 모서리 집합으로 구성된 그래프입니다.
추측: 페테르센 그래프 자체를 제외한 모든 확장된 페테르센 그래프는 클래스 1에 속합니다.
4. 레인보우 연결성에 대한 추측 (제안자: 게나 한)
레인보우 연결성은 그래프의 모든 두 정점 사이에 모든 모서리가 서로 다른 색으로 칠해진 경로(레인보우 경로)가 존재하는 속성을 의미합니다.
문제: 그래프 G가 δ(G) ≥ n/2 + c (c는 상수)를 만족하는 n개의 정점을 가진 완전 그래프가 아닌 경우, rc(G) = 2를 만족하는 상수 c ≥ 0가 존재할까요? 특히, δ(G) ≥ n/2이면 rc(G) = 2가 성립할까요?
5. 5-모서리 연결 5-정규 그래프의 모서리 색칠 가능성 및 완벽 매칭 (제안자: 다비데 마티올로)
문제 5.1: 5-모서리 연결 5-정규 클래스 2 그래프가 존재할까요?
문제 5.2: 완벽 매칭이 두 개 이상 존재하지 않는 5-모서리 연결 5-그래프가 존재할까요?
6. 클래스 2에 속하는 부분 3차 K3-자유 그래프 (제안자: 잉고 쉬어마이어)
문제: 클래스 2에 속하는 모든 부분 3차 K3-자유 그래프를 설명할 수 있을까요?
7. 정점의 특수 순서 (제안자: 졸트 투자)
문제 7.1: 주어진 그래프 G가 유형 A 순서 또는 유형 B 순서를 갖는지 여부를 다항식 시간 안에 결정할 수 있을까요?
문제 7.2: 유형 A 또는 유형 B 순서가 존재하는 경우, 다항식 시간 안에 찾을 수 있을까요?