Đỉnh trong toán học là gì

Bài này chỉ viết về những định nghĩa cơ bản. Để hiểu rộng hơn, xin xem kim chỉ nan đồ thị. Về ý nghĩa trình diễn hàm số trên hệ tọa độ, xem đồ thị hàm số .Nội dung chính

  • Mục lục
  • Các định nghĩaSửa đổi
  • Đồ thị vô hướngSửa đổi
  • Đồ thị có hướngSửa đổi
  • Đơn đồ thị và Đa đồ thịSửa đổi
  • Đồ thị hỗn hợpSửa đổi
  • Các định nghĩa khácSửa đổi
  • Các định nghĩa khácSửa đổiXem thêm thuật ngữ lý thuyết đồ thị.
  • Ví dụSửa đổi
  • Các dạng đồ thị quan trọngSửa đổi
  • Các thao tác trên đồ thịSửa đổi
  • Các phép toán một ngôiSửa đổi
  • Các phép toán hai ngôiSửa đổi
  • Các suy rộngSửa đổi
  • Xem thêmSửa đổi
  • Tham khảoSửa đổi

Trong toán học và tin học, đồ thị là đối tượng nghiên cứu cơ bản của lý thuyết đồ thị. Một cách không chính thức, đồ thị là một tập các đối tượng gọi là đỉnh nối với nhau bởi các cạnh. Thông thường, đồ thị được vẽ dưới dạng một tập các điểm (đỉnh, nút) nối với nhau bởi các đoạn thẳng (cạnh). Tùy theo ứng dụng mà một số cạnh có thể có hướng.

Một đồ thị vô hướng với 6 đỉnh (nút) và 7 cạnh.

Bạn đang đọc: Đỉnh trong toán học là gì

Mục lục

  • 1 Các định nghĩa
  • 1.1 Đồ thị vô hướng
  • 1.2 Đồ thị có hướng
  • 1.3 Đơn đồ thị và Đa đồ thị
  • 1.4 Đồ thị hỗn hợp
  • 1.5 Các định nghĩa khác
  • 1.6 Các định nghĩa khác
  • 2 Ví dụ
  • 3 Các dạng đồ thị quan trọng
  • 4 Các thao tác trên đồ thị
  • 4.1 Các phép toán một ngôi
  • 4.2 Các phép toán hai ngôi
  • 5 Các suy rộng
  • 6 Xem thêm
  • 7 Tham khảo

Các định nghĩaSửa đổi

Trong những tài liệu, những định nghĩa trong kim chỉ nan đồ thị được phát biểu theo nhiều kiểu. Dưới đây là kiểu truyền thống cuội nguồn của cuốn từ điển bách khoa này .

Đồ thị vô hướngSửa đổi

Đồ thị vô hướng hoặc đồ thị G là một cặp không có thứ tự (unordered pair) G:=(V, E), trong đó

  • V, tập các đỉnh  hoặc nút,
  • E, tập các cặp không thứ tự chứa các đỉnh phân biệt, được gọi là cạnh. Hai đỉnh thuộc một cạnh được gọi là các đỉnh đầu cuối của cạnh đó.

Trong nhiều tài liệu, tập các cạnh bao gồm cả các cặp đỉnh không phân biệt, các cạnh này được gọi là các khuyên. V (và E) thường là các tập hữu hạn, phần lớn các kết quả nghiên cứu đã biết không đúng (hoặc khác) khi áp dụng cho đồ thị vô hạn (infinite graph) vì nhiều luận cứ không dùng được trong trường hợp vô hạn.

Đồ thị có hướngSửa đổi

Đồ thị có hướng G là một cặp có thứ tự G:=(V, A), trong đó

  • V, tập các đỉnh  hoặc nút,
  • A, tập các cặp có thứ tự chứa các đỉnh, được gọi là các cạnh có hướng hoặc cung.  Một cạnh e = (x, y) được coi là có hướng từ x tới y; x được gọi là điểm đầu/gốc và y được gọi là điểm cuối/ngọn của cạnh.

Đơn đồ thị và Đa đồ thịSửa đổi

Đơn đồ thị là đồ thị mà không có khuyên và không có cạnh song song.

Đa đồ thị là đồ thị mà không thỏa mãn đơn đồ thị.

Đa đồ thị có hướng là một đồ thị có hướng, trong đó, nếu x và y là hai đỉnh thì đồ thị được phép có cả hai cung (x, y) và (y, x).

Đơn đồ thị có hướng (hoặc Đơn đồ thị có hướng) là một đồ thị có hướng, trong đó, nếu x và y là hai đỉnh thì đồ thị chỉ được phép có tối đa một trong hai cung (x, y) hoặc (y, x).

Quiver thường được coi là một đồ thị có hướng. Nhưng trong thực hành, nó là một đồ thị có hướng với các không gian vector (vector space) gắn với các đỉnh và các biến đổi tuyến tính gắn với các cung.

Đồ thị hỗn hợpSửa đổi

Đồ thị hỗn hợp G là một bộ ba có thứ tự G:= (V,E,A) với V, E và A được định nghĩa như trên.

Các định nghĩa khácSửa đổi

Như đã được định nghĩa ở trên, các cạnh của đồ thị vô hướng có hai đầu là hai đỉnh phân biệt;  E và A là các tập hợp (với các phần tử phân biệt). Nhiều ứng dụng cần các khái niệm rộng hơn, và các thuật ngữ cũng khác nhau.

Một khuyên (loop) là một cạnh (vô hướng hoặc có hướng) nối từ một đỉnh về chính nó; Kiểu cạnh này có được chấp nhận hay không là tùy ở ứng dụng. Trong ngữ cảnh này, một cạnh nối hai đỉnh phân biệt được gọi là một liên kết (link).

Đôi khi, E và A được phép là những đa tập hợp ( multiset ), khi đó giữa hai đỉnh hoàn toàn có thể có nhiều hơn một cạnh. Có thể được cho phép giữa hai đỉnh có nhiều cạnh bằng cách cho E là một tập hợp độc lập với V, và xác lập những điểm đầu của mỗi cạnh bằng một quan hệ liên thuộc ( incidence relation ) giữa V và E. Đối với đồ thị có hướng, ta vận dụng tựa như cho tập hợp cạnh có hướng A, tuy nhiên, phải có hai quan hệ liên thuộc, một cho đỉnh đầu và một cho đỉnh cuối của mỗi cung .

Trong các sách, tùy theo ý của tác giả hoặc theo yêu cầu của chủ đề cụ thể mà từ “đồ thị” có thể hàm ý cho phép hoặc không cho phép khuyên hay đa cạnh. Nếu đồ thị không cho phép đa cạnh (và không cho phép khuyên nếu là đồ thị có hướng), đồ thị được gọi là đơn đồ thị. Mặt khác, nếu cho phép đa cạnh (và đôi khi cả khuyên), đồ thị được gọi là đa đồ thị. Đôi khi, từ giả đồ thị (pseudograph) còn được dùng để hàm ý cả đa cạnh và khuyên đều được phép. Trong các trường hợp đặc biệt, thậm chí còn cần đến các cạnh chỉ có một đỉnh, được gọi là nửa cạnh (halfedge), hoặc không có đỉnh nào, (cạnh rời). Xem ví dụ tại signed graph.

Các định nghĩa khácSửa đổiXem thêm thuật ngữ lý thuyết đồ thị.

Hai cạnh của một đồ thị được coi là kề nhau nếu chúng có chung một đỉnh. Tương tự, hai đỉnh được coi là kề nhau nếu chúng được nối với nhau bởi một cạnh. Một cạnh và đỉnh nằm trên cạnh đó được coi là liên thuộc với nhau.

Đồ thị chỉ có một đỉnh và không có cạnh nào được gọi là đồ thị tầm thường. Đồ thị không có cả đỉnh lẫn cạnh được gọi là đồ thị rỗng

Trong một đồ thị có trọng số, mỗi cạnh được gắn với một giá trị nào đó, được gọi là trọng số, độ dài, chi phí, hoặc các tên khác tùy theo ứng dụng; các đồ thị như vậy được dùng trong nhiều ngữ cảnh, chẳng hạn trong các bài toán tối ưu hóa đường đi như bài toán người bán hàng.

Ví dụSửa đổi

Hình bên là một biểu diễn đồ họa của đồ thị sau

  • V:={1,2,3,4,5,6}
  • E:=Bản mẫu:1,2,{1,5},{2,3},{2,5},{3,4},{4,5},Bản mẫu:4,6

Đôi khi, thông tin ” đỉnh 1 được nối với đỉnh 2 ” được ký hiệu là 1 ~ 2 .

  • Trong lý thuyết phạm trù (category theory) một phạm trù có thể được coi là một đa đồ thị có hướng với các đối tượng là các đỉnh và các morphism là các cạnh có hướng. Khi đó, các hàm tử (functor) giữa các phạm trù là một số (nhưng không nhất thiết tất cả) digraph morphism.
  • Trong Khoa học máy tính đồ thị có hướng được dùng để biểu diễn các ô-tô-mát hữu hạn (finite state machine) và nhiều cấu trúc rời rạc khác.
  • Một quan hệ đôi (binary relation) R trên tập X là một đơn đồ thị có hướng. Hai đỉnh x,y của X được nối với nhau bởi một cung nếu xRy.

Các dạng đồ thị quan trọngSửa đổi

  • Trong một đồ thị đầy đủ mỗi cặp đỉnh đều được nối với nhau bằng một cạnh, nghĩa là đồ thị chứa tất cả các cạnh có thể.
  • Một đồ thị phẳng có thể được vẽ trên mặt phẳng sao cho không có hai cạnh nào cắt nhau.
  • Cây là một đồ thị liên thông không có chu trình.
  • Đồ thị hai phía (Bipartite graph)
  • Đồ thị hoàn hảo (Perfect graph)
  • Cograph
  • Đồ thị Cayley
  • Đồ thị Petersen và các suy rộng của nó

Các thao tác trên đồ thịSửa đổi

Có 1 số ít phép toán tạo đồ thị mới từ những đồ thị cũ .

Các phép toán một ngôiSửa đổi

  • Đồ thị đường (Line graph) (tạo đồ thị mới bằng cách chuyển cạnh thành đỉnh và tạo các cạnh tương ứng)
  • Đồ thị đối ngẫu (Dual graph) (tạo đồ thị mới từ một đồ thị phẳng bằng cách tạo một đỉnh cho mỗi miền mặt phẳng và các cạnh được nối giữa hai đỉnh tương ứng với hai miền kề nhau)
  • Đồ thị bù (Complement graph)

Các phép toán hai ngôiSửa đổi

  • Tích Đề-các của đồ thị (Cartesian product of graphs)
  • Tích Ten-xơ của đồ thị (Tensor product of graphs)

Các suy rộngSửa đổi

Trong siêu đồ thị (hypergraph), một cạnh có thể nối nhiều hơn hai đỉnh.

Một đồ thị vô hướng hoàn toàn có thể được coi là một phức đơn hình ( simplicial complex ) gồm có những đơn hình 1 chiều ( những cạnh ) và những đơn hình 0 chiều ( những đỉnh ). Như vậy, đa hình là suy rộng của đồ thị do chúng được cho phép những đơn hình nhiều chiều hơn .Mỗi đồ thị đều cho một matroid, nhưng nói chung, không hề tạo lại đồ thị từ matroid của nó, do đó, matroid không phải là suy rộng của đồ thị .Trong kim chỉ nan quy mô ( Mã Sản Phẩm theory ), một đồ thị chỉ là một cấu trúc. Nhưng khi đó, không có số lượng giới hạn về số cạnh : nó hoàn toàn có thể là một số ít đếm bất kể .

Xem thêmSửa đổi

  • Đa giác
  • Bài toán lát gạch (Tiling)
  • Thuật ngữ lý thuyết đồ thị
  • Danh sách các chủ đề lý thuyết đồ thị
  • Đồ thị (cấu trúc dữ liệu)
  • Các ấn phẩm lý thuyết đồ thị quan trọngWikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Đồ thị (lý thuyết đồ thị).

Tham khảoSửa đổi

ĐÁNH GIÁ post
Bài viết liên quan

Tư vấn miễn phí (24/7) 094 179 2255