Trong lĩnh vực toán học của lý thuyết đồ thị, đường đi Hamilton (hay đường đi có thể theo dõi) là một đường đi trong đồ thị có hướng hoặc không có hướng, đi qua mỗi đỉnh đúng một lần. Chu trình Hamilton (hay mạch Hamilton) là đường đi tuần hoàn qua mỗi đỉnh đúng một lần. Do đó, cuộc thảo luận xung quanh các đường đi Hamilton không chỉ là một bí ẩn đối với những người đam mê toán học mà còn là một chủ đề quan trọng trong khoa học thông tin và lý thuyết tính toán, bởi vì vấn đề xác định sự tồn tại của các đường đi và chu trình như vậy là một vấn đề NP-hoàn chỉnh, nghĩa là nghĩa là không thể giải quyết được trong thời gian hợp lý.
Các đường đi và chu trình Hamilton đã thu hút sự chú ý rộng rãi do tầm quan trọng của chúng trong các ứng dụng thực tế, chẳng hạn như điều hướng robot, các vấn đề vận chuyển và thiết kế mạch.
Đường đi Hamilton được đặt theo tên của William Rowan Hamilton, người đã phát minh ra "trò chơi icosian" (bây giờ gọi là câu đố Hamiltonian) để tìm chu trình Hamiltonian trên đồ thị cạnh của một khối mười hai mặt. câu hỏi. Mặc dù Hamilton đã giải quyết bài toán này bằng phép tính icosian, nhưng giải pháp này không thể được tổng quát hóa cho trường hợp đồ thị bất kỳ. Trên thực tế, từ lâu trước nghiên cứu của ông, nhiều nhà toán học đã nghiên cứu đặc điểm của chu trình Hamilton trong khối đa diện.
Bất kỳ đồ thị nào chứa đường đi Hamilton đều được gọi là đồ thị có thể theo dõi được. Nếu có một đường đi Hamilton qua mọi cặp điểm thì đồ thị được gọi là đồ thị liên thông Hamilton. Tuy nhiên, các vòng lặp có thể được hình thành bởi chu trình Hamilton chỉ có thể mở rộng giữa các đỉnh liền kề.
Một đồ thị đầy đủ (nhiều hơn hai đỉnh) là đồ thị nhất thiết phải chứa một chu trình Hamilton. Mọi sơ đồ mạch điện cũng là Hamilton.
Một đồ thị có chu trình Hamilton thường được gọi là đồ thị Hamilton và bất kỳ chu trình Hamilton nào cũng có thể được chuyển đổi thành đường đi Hamilton bằng cách loại bỏ một cạnh. Nhưng không phải tất cả các đồ thị song liên đều được đảm bảo là Hamilton. Việc nghiên cứu các đường đi Hamilton đã trở nên phổ biến kể từ thế kỷ 18 và thậm chí có thể bắt nguồn từ những ngày đầu của toán học Ấn Độ.
Ví dụ, trong sơ đồ quân mã trên bàn cờ, bài toán tuần tra quân mã đã được thảo luận từ đầu thế kỷ thứ 9 trong toán học Ấn Độ. Theo thời gian, khái niệm này được phát triển hơn nữa ở châu Âu, với Abraham de Moivre và Leonhard Euler đều thảo luận về vấn đề tuần tra hiệp sĩ.
Sự đa dạng của chu trình Hamilton đã cho phép các nhà toán học tiến hành các nghiên cứu chuyên sâu hơn về các tính chất của chúng, chẳng hạn như mật độ đồ thị, độ bền và đồ thị con bị cấm.
Trong nghiên cứu hiện tại, định lý Bondy–Chvátal cung cấp đặc điểm bậc đỉnh tối ưu liên quan đến đồ thị Hamilton, cho phép thực hiện hầu hết các xác định Hamiltonianity một cách nhanh chóng. Các lý thuyết này không chỉ giới hạn ở các phán đoán ngẫu nhiên mà còn liên quan chặt chẽ đến cấu trúc và đặc điểm của nhiều đồ thị khác nhau, cho phép chúng ta hiểu rõ hơn loại kết nối nào có thể đạt được mục tiêu thiết lập các đường đi hoặc mạch Hamilton trong các đồ thị có các tính chất khác nhau.
Theo nghiên cứu hiện tại, bất kỳ sự phân tích nào của các cạnh của đồ thị Hamilton G đều có thể hình thành nên một chu trình Hamilton. Một ứng dụng đáng chú ý hơn trong thực tế là đa thức chu trình Hamilton, là mô tả đồ thị cần thiết trong đồ thị có hướng có trọng số của chu trình Hamilton. Nếu đa thức này không phải lúc nào cũng bằng không trong một số trường hợp nhất định, có thể suy ra rằng Pictured là của Hamilton.
Khi sự tồn tại của chu trình Hamilton trở thành một điểm khó khám phá, các nhà toán học bắt đầu nghĩ đến các thuật toán hiệu quả hơn để giải quyết những vấn đề như vậy. Mặc dù đã có nhiều thành tựu về mặt lý thuyết, nhưng việc tìm ra đường đi Hamilton hiệu quả trong thực tế vẫn là một bí ẩn chưa có lời giải.
Cho dù trong toán học hay các lĩnh vực ứng dụng khác, cuộc thảo luận về đường đi Hamilton và sự tồn tại của chúng vẫn tiếp tục được đào sâu hơn. Đây không chỉ là một thách thức toán học mà còn là một chủ đề quan trọng thúc đẩy sự tiến bộ của khoa học máy tính và tư duy logic. Bạn có thể tìm ra đường đi Hamilton ẩn trong những đồ thị phức tạp này không?