Ma trận kề

Trong Toán học và Khoa học máy tính, ma trận kề (tiếng Anh: "adjacency matrix") cho một đồ thị hữu hạn "G" gồm "n" đỉnh là một ma trận "n" × "n", trong đó, các ô không nằm trên đường chéo chính "a""ij" là số cạnh nối hai đỉnh "i" và "j", còn ô nằm trên đường chéo chính "a""ii" là hai lần số khuyên tại đỉnh "i", hoặc chỉ là số khuyên tại đỉnh đó (bài này chọn cách thứ nhất, các đồ thị có hướng luôn theo cách thứ hai). Mỗi đồ thị có duy nhất một ma trận kề, các đồ thị khác nhau có các ma trận kề khác nhau. Trong trường hợp đặc biệt của đồ thị đơn hữu hạn, ma trận kề là một ma trận (0,1) với các giá trị 0 nằm trên đường chéo chính. Nếu đồ thị là vô hướng, ma trận kề là ma trận đối xứng.
Đối với đồ thị thưa, nghĩa là đồ thị có ít cạnh, người ta thường chọn dùng danh sách kề hơn do nó chiếm ít bộ nhớ hơn. Ma trận liên thuộc là một biểu diễn ma trận khác cho đồ thị.
Quan hệ giữa một đồ thị và ma trận kề của nó được nghiên cứu trong lý thuyết phổ đồ thị ("spectral graph theory"). 
Khái niệm.
Quy tắc.
Ma trận kề của đồ thị G, ký hiệu B(G), là một ma trận nhị phân cấp n x n được định nghĩa như sau: B=(formula_3) với: 
Nếu G là đồ thị vô hướng, ma trận liên thuộc của đồ thị G, ký hiệu A(G), là ma trận nhị phân cấp nxm được định nghĩa như sau: A=(formula_10)
Biểu diễn.
Đồ thị vô hướng.
Cho đồ thị G vô hướng (7 đỉnh):
Biểu diễn đồ thị có hướng.
Cho đồ thị G có hướng (4 đỉnh):
Tính chất.
Ngược lại, mỗi (0,1)-ma trận đối xứng cấp "n" sẽ tương ứng, chính xác đến cách đánh số đỉnh (còn nói là: chính xác đến đẳng cấu), với một đơn đồ thị vô hướng "n" đỉnh.
Các tính chất.
Ma trận kề của một đồ thị vô hướng có tính đối xứng, và do đó có một tập đầy đủ các giá trị riêng ("eigenvalue") và cơ sở vectơ riêng ("eigenvector") trực giao. Tập các giá trị riêng của đồ thị là phổ của đồ thị.
Giả sử cho trước hai đồ thị có hướng hoặc vô hướng "G"1 và "G"2 với các ma trận kề "A"1 và "A"2. "G"1 và "G"2 đẳng cấu ("isomorphic") khi và chỉ khi tồn tại một ma trận hoán vị ("permutation matrix") "P" sao cho
Cụ thể là "A"1 và "A"2 là các ma trận đồng dạng và do đó có cùng đa thức cực tiểu ("minimal polynomial"), đa thức đặc trưng ("characteristic polynomial"), các giá trị riêng, định thức ("determinant") và vết của ma trận ("trace"). Do đó chúng có thể được dùng như các bất biến đẳng cấu của đồ thị. Cho trước hai ma trận kề, có thể xây dựng lại ma trận hoán vị đã được sử dụng: xem chi tiết tại Ma trận hoán vị.
Tuy nhiên, cần lưu ý rằng điều ngược lại không đúng: hai đồ thị có thể có bộ giá trị riêng giống nhau nhưng chúng không đẳng cấu. Phép nhân với ma trận hoán vị có thể được coi là việc gắn nhãn mới cho các cạnh.
Nếu "A" là ma trận kề của đồ thị có hướng hoặc vô hướng "G", thì ma trận "A""n" (ma trận tích của "n" lần "A") có một ý nghĩa thú vị: ô tại hàng "i" và cột "j" cho biết số đường đi (có hướng hoặc vô hướng) có độ dài "n" từ đỉnh "i" tới đỉnh "j".
Ma trận "I" − "A" (trong đó "I" ký hiệu ma trận đơn vị "n"×"n") là nghịch đảo được khi và chỉ khi đồ thị "G" không có chu trình có hướng. Khi đó, ma trận nghịch đảo ("I" − "A")−1 có ý nghĩa sau: ô tại hàng "i" và cột "j" cho biết số đường đi có hướng từ đỉnh "i" tới đỉnh "j" (giá trị này luôn hữu hạn nếu đồ thị không có chu trình có hướng). Điều này có thể được giải thích bằng cấp số nhân ("geometric series") của các ma trận:
tương ứng với thực tế rằng số đường đi từ "i" tới "j" bằng số đường đi độ dài 0 cộng với số đường đi độ dài 1 cộng với số đường đi độ dài 2 v.v...
Đường chéo chính của mọi ma trận kề tương ứng của đồ thị không có khuyên gồm toàn các ô chứa giá trị 0.
Ma trận kề của đồ thị phân đôi.
Một ma trận kề "A" của một đồ thị phân đôi gồm "r" và "s" đỉnh có dạng:
Trong đó "B" là một ma trận "r × s" và "O" là một ma trận toàn-số-0. Rõ ràng là ma trận "B" là đại diện duy nhất cho đồ thị phân đôi. 
Ta có "G" = ("U", "V", "E") là một đồ thị phân đôi với các phần formula_38 và formula_39. Ma trận phân đôi là ma trận "B" "r × s" 0-1 trong đó formula_40 khi và chỉ khi formula_41.
Nếu "G" là một đa đồ thị phân đôi hoặc đồ thị trọng số phân đôi thì các thành phần formula_42 chứa giá trị tương ứng là bậc của các đỉnh hoặc trọng số của cạnh formula_43
Các biến thể.
Ma trận kề (0,−1,1) của một đồ thị đơn có "a""ii" = 0 và "a""ij" = −1 nếu "ij" là một cạnh và bằng 1 nếu không phải là cạnh. Đồ thị này được dùng trong nghiên cứu các đồ thị chính quy mạnh ("strongly regular graph") và các two-graph ("đồ thị đôi"???).
Các thỏa hiệp trong vai trò cấu trúc dữ liệu.
Khi được sử dụng với vai trò cấu trúc dữ liệu, đối thủ chính của ma trận kề là danh sách kề. Do mỗi ô trong ma trận kề chỉ đòi hỏi một bit, nên chúng có thể được biểu diễn bằng một cách rất gọn, chỉ chiếm "n"2/8 byte bộ nhớ liên tục, trong đó "n" là số đỉnh. Ngoài việc tiết kiệm bộ nhớ, lưu trữ gọn gàng này còn khuyến khích locality of reference ("tính địa phương của các truy nhập đến bộ nhớ").
Mặt khác, khi dùng cho đồ thị thưa, danh sách kề lại thắng thế, do chúng không lưu trữ các cạnh "không" tồn tại. Sử dụng cài đặt danh sách liên kết đơn giản trên một máy tính 32-bit, một danh sách kề cho một đồ thị vô hướng cần khoảng 16"e" byte, trong đó "e" là số cạnh của đồ thị.
Lưu ý rằng một đồ thị có thể có nhiều nhất "n"2 cạnh (kể cả các khuyên). Giả sử "d" = "e"/"n"2 ký hiệu "mật độ" của đồ thị. 
Ta có: 16"e" &gt; "n"2/8, có nghĩa là danh sách kề chiếm nhiều không gian hơn khi "d" &gt; 1/128. Do đó, chỉ nên dùng danh sách kề với đồ thị thưa.
Bên cạnh thỏa hiệp về không gian bộ nhớ, các cấu trúc dữ liệu khác nhau còn tạo thuận lợi cho các thao tác dữ liệu khác nhau. Với một danh sách kề, ta dễ dàng tìm mọi đỉnh kề với một đỉnh cho trước; ta chỉ cần đọc danh sách kề của đỉnh đó. Với một ma trận kề, ta phải duyệt toàn bộ một hàng, việc đó cần thời gian O(n). Còn nếu ta lại muốn biết giữa hai đỉnh cho trước có cạnh nối hay không, điều này có thể được xác định ngay lập tức với một ma trận kề, trong khi đó với một danh sách kề, việc này đòi hỏi thời gian tỷ lệ thuận với bậc nhỏ nhất của các đỉnh trong đồ thị.