귀하의 진술은 약간 모호합니다. 먼저 "... 아르 자형"이지만 다음 단락에서는 정점 사이에 모서리가 없음을 나타냅니다. ㅏ. 또한 별이 분리되어 있고 모든 별 (처음 별에있는 것 포함)을 세는 것으로 가정합니다. 또한 적어도 두 개의 별이 있고 그 중 적어도 하나는 학위를 가지고 있다고 가정 해 봅시다.≥ 2.
이 경우에는 2 N− 4 바운드 (엔= 모든 정점의 수). 약간 다른 시나리오를 고려하십시오.엔정점, 일부는 약간 검은 색, 적어도 두 종류는 있습니다. 각 단계에서 교차점을 만들거나 모서리를 복제하지 않는 한 빨간색과 검은 색 정점 사이에 모서리를 임의로 추가합니다. 나는 당신이 붙어있을 때, 모든주기는 길이가 있다고 주장4.
시나리오는 먼저 별을 만든 다음 나중에 나머지 가장자리를 추가하여 시작하는이 프로세스의 특별한 경우입니다. 모든 사이클의 길이가4, 2 N− 4바운드는 다음과 같습니다. 더 일반적으로, 그것은 당신이 어떤 이분 그래프를 시작하든, 항상 그것을 사변형 (내가 만든 단어) 그래프로 완성 할 수 있음을 보여줍니다.
이제 주장을 보여 드리겠습니다. 이 과정에서 모든 경로는 번갈아가는 검은 색과 빨간색 정점을 가지며 각주기의 길이는 최소한4. 그래프가 연결되어 있지 않으면 한 구성 요소의 외부면에있는 빨간색 정점을 다른 구성 요소의 다른면에있는 검은 정점과 연결할 수 있습니다. 그래프가 이미 연결되어 있다고 가정 할 수 있습니다.
얼굴이 있다고 가정 에프 길이의 6 이상. 에프최소한 3 개의 검은 꼭짓점이 있어야합니다 (일부는 동일 할 수 있음). 정점이엑스 ~에 반복된다 에프시계 방향으로 두 번 연속으로 나타납니다. 엑스말하다 X - - . . . − x − b . . .. 에프 검은 꼭짓점을 포함해야합니다 지≠ x따라서 위치에 따라 지, 우리는 둘 중 하나를 연결할 수 있습니다 ㅏ 또는 비 에 지 내부 에프가장자리를 복제하지 않고. 정점이 반복되지 않으면 시계 방향 섹션을 선택하십시오.x − a − y− b − z 의 에프, 어디 x , y, z 검은 색 a , b빨간색입니다. 만약엑스 에 연결되어있다 비 그때 ㅏ 연결할 수 없습니다 지 (평면도에 따라) 모서리 중 하나를 추가 할 수 있습니다 ( x , b ), ( a , z) 내부 에프.