적은 간선으로 만든 2색 불가능 k균일 초그래프

초록

이 논문은 k균일 초그래프를 매우 적은 수의 간선, 구체적으로 (2^{1+o(1)})^k 개의 간선만으로 2색으로 색칠할 수 없도록 구성하는 방법을 제시한다. 초그래프와 단조 k‑CNF 사이의 이중성을 이용해 같은 규모의 절대 불가능한 단조 k‑CNF도 얻는다.

상세 분석

논문은 먼저 임의의 정수 l ≤ k에 대해 m(k,l)=⌈(2^l−1)/l⌉·⌈2^l/k⌉·⌈2^l/l⌉개의 간선을 갖는 비2색가능 k균일 초그래프를 구성한다. 핵심 아이디어는 2l−1개의 길이 k′=2^l·l·k인 시퀀스 A_i (i=1,…,2l−1)를 만든 뒤, 각 시퀀스에 대해 “빨강 다수” 혹은 “파랑 다수”라는 개념을 정의한다. 어떤 2색칠이 모든 선택된 l개의 시퀀스에서 같은 다수 색을 가질 경우, 적절히 시프트된 인덱스 i_1,…,i_l를 선택해 각 시퀀스에서 동일 색을 가진 k/l개의 원소들을 모아 하나의 초그래프 간선으로 만든다. 이를 위해 각 시퀀스 X_j를 x_{j,1},…,x_{j,k′} 로 표기하고, 모든 가능한 시프트 조합 (i_1,…,i_l) 에 대해 S⊆{1,…,k′}, |S|=k/l 인 경우에 해당 원소들의 집합 e_{i_1,…,i_l}(S)를 간선으로 정의한다. 이렇게 구성된 초그래프 G_{X_1,…,X_l}는 최대 k′·⌈k′/k⌉개의 간선을 가진다. 전체 초그래프 G는 모든 l‑원소 부분집합 {X_1,…,X_l}에 대해 위의 구조를 합친 것으로, 전체 간선 수는 ⌈(2^l−1)/l⌉·k′·⌈k′/k⌉와 일치한다. 조합적 추정과 이항계수의 상한 ⌈n choose r⌉ ≤ (en/r)^r 를 이용하면 m(k,l) ≤ 2^{2l+l^2}·k^l·2^{k·l} 가 되고, 특히 l=⌈log k⌉ 를 택하면 m(k,log k) ≤ (2^{1+o(1)})^k 가 된다. 마지막으로 초그래프와 단조 k‑CNF 사이의 이중성을 이용해, 각 초그래프의 간선을 (x_1∨…∨x_k) 와 (¬x_1∨…∨¬x_k) 형태의 두 절으로 변환하면, 동일한 수의 절을 갖는 비만족 단조 k‑CNF를 얻는다. 따라서 논문은 기존에 알려진 비2색가능 초그래프의 상한을 크게 개선하고, 그에 대응하는 단조 CNF의 절 수 상한도 동일하게 낮춘다.