이 연구 논문은 다중 집합에서 교차 t-교차하는 집합족의 크기 합의 최댓값을 연구합니다. 저자들은 이 문제에 대한 상한을 설정하고, 상한을 달성하는 극단적인 집합족의 특징을 밝힙니다.
Erdős-Ko-Rado 정리는 교차 집합족 이론의 기본 정리 중 하나로, 주어진 조건 하에서 교차 집합족의 최대 크기를 설정합니다. 이 정리는 다양한 방식으로 확장되었으며, 그 중 하나가 교차 교차하는 집합족의 개념입니다. 두 집합족은 모든 집합 쌍의 교집합 크기가 특정 임계값 이상일 때 교차 교차한다고 합니다.
이 논문에서 저자들은 다중 집합에서 교차 t-교차하는 집합족의 크기 합의 최댓값에 대한 상한을 설정합니다. 즉, m ≥ k + 1이고 F, G ∈ ([m] choose k)가 비어 있지 않은 교차 교차 집합족이면 |F| + |G| ≤ 1 + (m+k-1 choose k) - (m-1 choose k)임을 보여줍니다. 또한, m ≥ 2k - t 및 2 ≤ t ≤ k인 경우 |F| + |G| ≤ (m+k-1 choose k) - Σ(i=0 to t-1) (k choose i)(m-1 choose k-i) + 1임을 보여줍니다.
저자들은 이러한 결과를 증명하기 위해 다중 집합 집합족과 집합 집합족 사이의 전단사를 구성하는 것을 포함한 다양한 기술을 사용합니다. 또한, F¨uredi, Gerbner, Vizer가 도입한 하향 압축이라는 특수 이동 연산을 사용합니다.
이 논문은 교차 교차 집합족 이론에 대한 중요한 기여를 합니다. 저자들이 설정한 상한과 극단적인 집합족의 특징은 이 분야에 대한 우리의 이해에 중요한 의미를 갖습니다.
Na inny język
z treści źródłowej
arxiv.org
Głębsze pytania