방향성 그래프의 피드백 정점 수를 정점 차수로 제한하기

이 논문은 무방향 그래프의 투란 경계와 카로-위 부등식을 방향성 그래프에 적용하는 방법을 제시한다. 투란 경계는 그래프에서 금지된 클리크 크기에 따라 가장 큰 독립 집합의 크기를 제한하며, 카로-위 부등식은 정점 차수 시퀀스를 통해 더 세밀하게 제한하는 방법을 제공한다. 논문에서는 방향성 그래프에서 피드백 정점 수를 외차수와 평균 외차수에 따라 제한하는 새로운 경계를 도입한다. 이 연구는 방향성 그래프의 기본 개념과 용어, 특히 아시클릭 집합과 피드백 정점 집합을 설명하며, 이들 개념은 무방향 그래프에서 독립 집합과 유사하다. 논문에서는 간단한 그리디 휴리스틱 알고리즘인 Min-Greedy를 사용하여 최대 아시클릭 집합을 찾는 방법을 소개한다. 이 알고리즘은 각 단계마다 현재 그래프에서 가장 작은 외차수를 가진 정점을 선택하고, 해당 정점과 그의 외부 이웃들을 제거하는 방식으로 작동한다. 논문에서는 Min-Greedy 알고리즘이 방향성 그래프에서 정확하게 작동함을 증명하며, 이를 통해 최대 아시클릭 집합의 크기를 외차수에 따라 제한할 수 있음을 보인다. 또한 카로-위 부등식과 투란 경계의 일반화된 형태인 코롤라리 5를 통해 평균 외차수에 따른 피드백 정점 수의 상한을 제시한다. 이 결과는 방향성 그래프에서 최소 피드백 정점 집합 문제를 해결하는 데 중요한 역할을 하며, 특히 알고리즘적으로 복잡도가 높은 이 문제에 대한 간단하고 효과적인 접근 방법을 제공한다. 논문은 이러한 결과들이 무방향 그래프의 이론에서 방향성 그래프로 부드럽게 일반화되는 프레임워크를 제시하며, 향후 연구 주제로서 방향성 그래프에 대한 이론적 이해를 확장하는 데 중요한 기여를 한다.