쾨니그의 정리: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Aydin1884 (토론 | 기여)
편집 요약 없음
Aydin1884 (토론 | 기여)
편집 요약 없음
6번째 줄:
쾨니그가 1931년 제시한 정리는 원래 그래프 이론에서의 용어를 사용한 다음과 같은 형태였다.
 
* [[이분그래프]]에서 [[최대 매칭]]의 변 수는 최소 꼭지점 덮개(minimun vertex cover)<ref>어떤 그래프에서 꼭지점의 집합으로서 그 그래프에 속하는 모든 변이 그 집합에 속하는 하나 이상의 원소와 접하는 경우 그 집합을 꼭지점 덮개(vertex cover)라 한다. 최소 꼭지점 덮개는 가장 원소의 수가 적은 꼭지점 덮개를 말한다.</ref>에서의 꼭지점 수와 같다.
 
이 정리는 나중에 [[영국]]의 [[필립 홀]](Philip Hall)에 의해 [[1935년]] 다음과 같은 더 일반적인 집합론적 형태로 표현되었다. 두 표현은 동치이며, 이들은 [[딜워스의 정리]]와도 동치이다.