그래프 이론의 수학 분야에서 해밀턴 경로(또는 추적 가능한 경로)는 무향 그래프나 유향 그래프에서 각 정점을 정확히 한 번씩 방문하는 경로입니다. 해밀턴 사이클(또는 해밀턴 회로)은 각 정점을 정확히 한 번씩 방문하는 순환 경로입니다. 따라서 해밀턴 경로를 둘러싼 논의는 수학 애호가들에게는 미스터리일 뿐만 아니라 정보 과학 및 계산 이론에서도 중요한 주제입니다. 왜냐하면 그러한 경로와 사이클의 존재를 결정하는 문제는 NP-완전 문제이기 때문입니다. 즉, 합리적인 시간 내에 해결이 불가능하다는 의미입니다.
해밀턴 경로와 사이클은 로봇 탐색, 운송 문제, 회로 설계 등의 실용적 응용 분야에서 중요성이 높아 널리 주목을 받았습니다.
해밀턴 경로는 12면체의 모서리 그래프에서 해밀턴 사이클을 찾기 위해 "이코시안 게임"(지금은 해밀턴 퍼즐이라고 함)을 발명한 윌리엄 로완 해밀턴의 이름을 따서 명명되었습니다. 질문입니다. 해밀턴은 이 문제를 이코시안 미적분학을 사용하여 풀었지만, 이 해결책은 임의의 그래프의 경우로 일반화될 수 없습니다. 사실, 그의 연구가 시작되기 훨씬 전부터 많은 수학자들이 다면체의 해밀턴 사이클의 특성을 연구했습니다.
해밀턴 경로를 포함하는 모든 그래프를 추적 가능한 그래프라고 합니다. 모든 점 쌍을 통과하는 해밀턴 경로가 존재하면 해당 그래프를 해밀턴 연결 그래프라고 합니다. 그러나 해밀턴 사이클에 의해 형성될 수 있는 루프는 인접한 정점 사이에서만 확장될 수 있습니다.
완전 그래프(정점이 두 개 이상)는 반드시 해밀턴 사이클을 포함하는 그래프입니다. 모든 회로도는 해밀토니안입니다.
해밀턴 사이클을 갖는 그래프는 일반적으로 해밀턴 그래프라고 하며, 모든 해밀턴 사이클은 모서리를 제거함으로써 해밀턴 경로로 변환될 수 있습니다. 하지만 모든 이중 연결 그래프가 해밀턴 그래프인 것은 보장되지 않습니다. 해밀턴 경로에 대한 연구는 18세기부터 흔히 이루어졌으며, 심지어 초기 인도 수학까지 거슬러 올라갈 수도 있습니다.
예를 들어, 체스판의 나이트 다이어그램에서 나이트 순찰 문제는 9세기 초 인도 수학에서 논의되었습니다. 시간이 지나면서 이 개념은 유럽에서 더욱 발전했으며, 아브라함 드 무아브르와 레온하르트 오일러는 모두 기사 순찰에 대해 논의했습니다. 문제.
해밀턴 사이클의 다양성 덕분에 수학자들은 그래프 밀도, 견고성, 금지된 부분 그래프와 같은 해밀턴 사이클의 속성에 관해 더욱 심층적인 연구를 수행할 수 있게 되었습니다.
최근 연구에서는 Bondy-Chvátal 정리가 해밀턴 그래프에 대한 최적의 정점 차수 특성을 제공하며, 이를 통해 대부분의 해밀턴성 결정을 빠르게 수행할 수 있습니다. 이러한 이론은 무작위적 판단에 국한되지 않고 다양한 그래프의 구조 및 특성과도 긴밀히 연관되어 있어, 서로 다른 속성을 지닌 그래프에서 해밀턴 경로나 회로를 설정하려면 어떤 종류의 연결성이 필요한지 더 명확하게 이해할 수 있게 합니다.
기존 연구에 따르면, 해밀턴 그래프 G의 모서리를 분해하면 해밀턴 사이클이 형성될 수 있습니다. 실제로 더 주목할 만한 응용 분야는 해밀턴 사이클 다항식인데, 이는 해밀턴 사이클의 가중 방향 그래프에서 필요한 그래프 설명입니다. 이 다항식이 특정 상황에서 항상 0이 아닌 경우, Pictured가 해밀턴의 것이라고 추론할 수 있습니다.
해밀턴 사이클의 존재가 탐구하기 어려운 문제가 되자 수학자들은 이런 문제를 해결하기 위한 더 효율적인 알고리즘을 생각하기 시작했습니다. 이론상으로는 많은 성과가 있었지만, 실제로 효과적인 해밀턴 경로를 찾는 방법은 여전히 해결되지 않은 미스터리로 남아 있습니다.
수학이나 다른 응용 분야에서 해밀턴 경로와 그 존재에 대한 논의는 계속해서 심화되고 있습니다. 이는 수학적 도전일 뿐만 아니라, 컴퓨터 과학과 논리적 사고의 발전을 촉진하는 중요한 주제이기도 합니다. 이 복잡한 그래프에서 숨겨진 해밀턴 경로를 찾을 수 있나요?