[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"_public_topic_publications_%C4%91%E1%BB%93%20th%E1%BB%8B%20t%C3%A1ch%20c%E1%BB%B1c{\"limit\":5}":3,"_public_topic_byId_đồ thị tách cực":11},{"code":4,"data":5,"meta":10},"SUCCESS",{"latest":6,"mostCited":7,"vietnamFeatured":8,"vietnamLatest":9},[],[],[],[],null,{"code":4,"data":12,"meta":10},{"id":13,"title":14,"description":15,"content":16,"term":13,"englishTitle":17,"synonyms":18,"definition":21,"discipline":22,"references":23,"faqs":48,"createUser":58,"publishUser":10,"keywords":62,"keywordCount":69,"enrichTopicLink":70,"status":71,"createTime":72,"updateTime":73,"publishTime":10,"linkEnrichedTime":74,"publicationScanTime":10,"contentErrorMessage":10,"viewCount":75,"relateTopics":76},"đồ thị tách cực","Đồ thị tách cực là gì? Định nghĩa, định lý Foldes-Hammer và thuật toán","Đồ thị tách cực có tập đỉnh phân hoạch thành clique và tập độc lập, giải được trong thời gian đa thức cho các bài toán tối ưu tổ hợp NP-khó.","\u003Cp>Đồ thị tách cực là loại đồ thị đơn vô hướng mà tập hợp đỉnh của nó có thể được phân hoạch thành hai tập hợp con rời nhau: một tập hợp tạo thành một đồ thị đầy đủ (clique) và tập hợp còn lại tạo thành một tập hợp độc lập (independent set). Cấu trúc đặc thù này mang lại cho đồ thị tách cực nhiều tính chất đại số và tổ hợp độc đáo, là giao điểm quan trọng giữa lớp đồ thị dây cung (chordal graphs) và đồ thị bù dây cung (co-chordal graphs) trong lý thuyết đồ thị thuật toán và khoa học máy tính lý thuyết.\u003C\u002Fp>\n\n\u003Ch2>Định nghĩa hình thức và tính chất cấu trúc\u003C\u002Fh2>\n\u003Cp>Cho đồ thị đơn vô hướng \u003Cscript type=\"math\u002Ftex\">G = (V, E)\u003C\u002Fscript> với tập đỉnh \u003Cscript type=\"math\u002Ftex\">V\u003C\u002Fscript> và tập cạnh \u003Cscript type=\"math\u002Ftex\">E\u003C\u002Fscript>. Đồ thị \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> được gọi là đồ thị tách cực (split graph) nếu tồn tại một phân hoạch \u003Cscript type=\"math\u002Ftex\">V = K \\cup I\u003C\u002Fscript> với \u003Cscript type=\"math\u002Ftex\">K \\cap I = \\emptyset\u003C\u002Fscript> sao cho:\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Đồ thị con cảm ứng trên \u003Cscript type=\"math\u002Ftex\">K\u003C\u002Fscript> là một đồ thị đầy đủ (clique), nghĩa là với mọi cặp đỉnh \u003Cscript type=\"math\u002Ftex\">u, v \\in K\u003C\u002Fscript> phân biệt, luôn tồn tại cạnh \u003Cscript type=\"math\u002Ftex\">(u, v) \\in E\u003C\u002Fscript>.\u003C\u002Fli>\n  \u003Cli>Đồ thị con cảm ứng trên \u003Cscript type=\"math\u002Ftex\">I\u003C\u002Fscript> là một tập hợp độc lập (independent set), nghĩa là không tồn tại bất kỳ cạnh nào nối hai đỉnh thuộc \u003Cscript type=\"math\u002Ftex\">I\u003C\u002Fscript> (với mọi \u003Cscript type=\"math\u002Ftex\">x, y \\in I\u003C\u002Fscript>, \u003Cscript type=\"math\u002Ftex\">(x, y) \notin E\u003C\u002Fscript>).\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>Một tính chất đối ngẫu quan trọng của đồ thị tách cực là tính tự bù (self-complementary duality): đồ thị bù \u003Cscript type=\"math\u002Ftex\">\\overline{G}\u003C\u002Fscript> của một đồ thị tách cực \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> cũng là một đồ thị tách cực. Trong đồ thị bù \u003Cscript type=\"math\u002Ftex\">\\overline{G}\u003C\u002Fscript>, tập đỉnh \u003Cscript type=\"math\u002Ftex\">K\u003C\u002Fscript> trở thành tập độc lập và tập đỉnh \u003Cscript type=\"math\u002Ftex\">I\u003C\u002Fscript> trở thành clique đầy đủ (Golumbic, 1980).\u003C\u002Fp>\n\n\u003Ch2>Định lý đặc trưng Foldes-Hammer về đồ thị con cấm\u003C\u002Fh2>\n\u003Cp>Vào năm 1977, hai nhà toán học Stéphane Földes và Peter L. Hammer đã chứng minh định lý nền tảng xác lập điều kiện cần và đủ cho đồ thị tách cực dựa trên tập các đồ thị con cảm ứng cấm (forbidden induced subgraphs) (Foldes & Hammer, 1977):\u003C\u002Fp>\n\u003Ctable>\n  \u003Cthead>\n    \u003Ctr>\n      \u003Cth>Đồ thị con cảm ứng cấm\u003C\u002Fth>\n      \u003Cth>Ký hiệu\u003C\u002Fth>\n      \u003Cth>Cấu trúc hình học\u003C\u002Fth>\n      \u003Cth>Ý nghĩa đối với phân hoạch Split\u003C\u002Fth>\n    \u003C\u002Ftr>\n  \u003C\u002Fthead>\n  \u003Ctbody>\n    \u003Ctr>\n      \u003Ctd>\u003Cstrong>Cặp cạnh rời nhau\u003C\u002Fstrong>\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">2K_2\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>Gồm 4 đỉnh tạo thành 2 cạnh độc lập không chung đỉnh và không có cạnh chéo nối giữa chúng.\u003C\u002Ftd>\n      \u003Ctd>Vi phạm tính chất clique của tập \u003Cscript type=\"math\u002Ftex\">K\u003C\u002Fscript> hoặc tạo cạnh nội bộ trong tập độc lập \u003Cscript type=\"math\u002Ftex\">I\u003C\u002Fscript>.\u003C\u002Ftd>\n    \u003C\u002Ftr>\n    \u003Ctr>\n      \u003Ctd>\u003Cstrong>Chu trình độ dài 4\u003C\u002Fstrong>\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">C_4\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>Chu trình 4 đỉnh liên tiếp không có đường chéo nối tắt.\u003C\u002Ftd>\n      \u003Ctd>Ngăn cản việc phân tách 4 đỉnh thành clique và tập độc lập rời nhau.\u003C\u002Ftd>\n    \u003C\u002Ftr>\n    \u003Ctr>\n      \u003Ctd>\u003Cstrong>Chu trình độ dài 5\u003C\u002Fstrong>\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">C_5\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>Chu trình ngũ giác 5 đỉnh không có đường chéo.\u003C\u002Ftd>\n      \u003Ctd>Là đồ thị tự bù nhỏ nhất không thể phân hoạch thành clique và tập độc lập.\u003C\u002Ftd>\n    \u003C\u002Ftr>\n  \u003C\u002Ftbody>\n\u003C\u002Ftable>\n\u003Cp>Định lý phát biểu rằng: Một đồ thị đơn vô hướng \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> là một đồ thị tách cực khi và chỉ khi \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> không chứa bất kỳ đồ thị con cảm ứng nào đồng hình với \u003Cscript type=\"math\u002Ftex\">2K_2\u003C\u002Fscript>, \u003Cscript type=\"math\u002Ftex\">C_4\u003C\u002Fscript>, hoặc \u003Cscript type=\"math\u002Ftex\">C_5\u003C\u002Fscript>.\u003C\u002Fp>\n\n\u003Ch2>Đặc trưng theo dãy bậc đỉnh và thuật toán nhận dạng tuyến tính\u003C\u002Fh2>\n\u003Cp>Hammer và Simeone (1981) đã đưa ra một tiêu chuẩn nhận dạng đại số cực kỳ hiệu quả dựa trên dãy bậc của đồ thị. Giả sử các đỉnh của \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> có bậc được sắp xếp giảm dần:\u003C\u002Fp>\n\u003Cscript type=\"math\u002Ftex; mode=display\">d_1 \\ge d_2 \\ge \\dots \\ge d_n\u003C\u002Fscript>\n\u003Cp>Gọi \u003Cscript type=\"math\u002Ftex\">m\u003C\u002Fscript> là chỉ số lớn nhất thỏa mãn bất đẳng thức \u003Cscript type=\"math\u002Ftex\">d_m \\ge m - 1\u003C\u002Fscript>. Đồ thị \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> là đồ thị tách cực khi và chỉ khi phương trình cân bằng bậc sau đây được thỏa mãn chính xác:\u003C\u002Fp>\n\u003Cscript type=\"math\u002Ftex; mode=display\">\\sum_{i=1}^m d_i = m(m-1) + \\sum_{i=m+1}^n d_i\u003C\u002Fscript>\n\u003Cp>Nếu phương trình trên thỏa mãn, kích thước của clique lớn nhất trong \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> bằng \u003Cscript type=\"math\u002Ftex\">m\u003C\u002Fscript> hoặc \u003Cscript type=\"math\u002Ftex\">m+1\u003C\u002Fscript>. Tiêu chuẩn này cho phép xây dựng thuật toán nhận dạng đồ thị tách cực với độ phức tạp thời gian tuyến tính \u003Cscript type=\"math\u002Ftex\">O(|V| + |E|)\u003C\u002Fscript> bằng cách đếm bậc đỉnh bằng sắp xếp theo cơ số (counting sort) và kiểm tra đẳng thức tổng bậc (McDiarmid & Yolov, 2015).\u003C\u002Fp>\n\n\u003Ch2>Vị trí trong phân cấp họ đồ thị hoàn hảo\u003C\u002Fh2>\n\u003Cp>Đồ thị tách cực thuộc lớp đồ thị hoàn hảo (perfect graphs) và có mối liên hệ chặt chẽ với các họ đồ thị quan trọng khác:\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>\u003Cstrong>Giao điểm giữa Chordal và Co-chordal:\u003C\u002Fstrong> Một đồ thị là đồ thị tách cực khi và chỉ khi cả \u003Cscript type=\"math\u002Ftex\">G\u003C\u002Fscript> và đồ thị bù \u003Cscript type=\"math\u002Ftex\">\\overline{G}\u003C\u002Fscript> đều là đồ thị dây cung (chordal graphs). Điều này có nghĩa là \u003Cscript type=\"math\u002Ftex\">\text{Split} = \text{Chordal} \\cap \text{Co-Chordal}\u003C\u002Fscript>.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Đồ thị khoảng (Interval graphs):\u003C\u002Fstrong> Giao của đồ thị khoảng và đồ thị tách cực tạo nên lớp đồ thị tách cực khoảng (interval split graphs), xuất hiện nhiều trong bài toán lập lịch tài nguyên.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Đồ thị ngưỡng (Threshold graphs):\u003C\u002Fstrong> Đồ thị ngưỡng là trường hợp đặc biệt của đồ thị tách cực, trong đó các đỉnh trong tập độc lập \u003Cscript type=\"math\u002Ftex\">I\u003C\u002Fscript> có lân cận trong \u003Cscript type=\"math\u002Ftex\">K\u003C\u002Fscript> được bao hàm lẫn nhau theo quan hệ thứ tự tuyến tính.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Độ phức tạp tính toán và các bài toán tối ưu trên Split Graphs\u003C\u002Fh2>\n\u003Cp>Trong khi các bài toán kinh điển như Clique lớn nhất (Maximum Clique), Tập độc lập lớn nhất (Maximum Independent Set), Tô màu đồ thị (Graph Coloring) và Phủ đỉnh nhỏ nhất (Minimum Vertex Cover) đều là các bài toán NP-khó (NP-hard) trên lớp đồ thị tổng quát, chúng đều có thể được giải quyết trong thời gian đa thức (polynomial time) hoặc tuyến tính trên đồ thị tách cực:\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>\u003Cstrong>Bài toán Clique lớn nhất:\u003C\u002Fstrong> Kích thước clique lớn nhất \u003Cscript type=\"math\u002Ftex\">\\omega(G)\u003C\u002Fscript> được xác định ngay qua giá trị \u003Cscript type=\"math\u002Ftex\">m\u003C\u002Fscript> của dãy bậc đỉnh trong thời gian \u003Cscript type=\"math\u002Ftex\">O(|V|)\u003C\u002Fscript>.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Bài toán Tập độc lập lớn nhất:\u003C\u002Fstrong> Tập độc lập lớn nhất \u003Cscript type=\"math\u002Ftex\">\u0007lpha(G)\u003C\u002Fscript> có kích thước bằng \u003Cscript type=\"math\u002Ftex\">|V| - m\u003C\u002Fscript> và được tìm thấy trực tiếp từ phần hoạch bù.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Bài toán Sắc số (Chromatic Number):\u003C\u002Fstrong> Vì đồ thị tách cực là đồ thị hoàn hảo, sắc số \u003Cscript type=\"math\u002Ftex\">\\chi(G)\u003C\u002Fscript> luôn bằng đúng kích thước clique lớn nhất \u003Cscript type=\"math\u002Ftex\">\\omega(G)\u003C\u002Fscript>.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Ứng dụng thực tiễn trong khoa học máy tính\u003C\u002Fh2>\n\u003Cp>Đồ thị tách cực có nhiều ứng dụng thiết thực trong thiết kế hệ thống và giải thuật:\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>\u003Cstrong>Mô hình hóa mạng truyền thông phân cấp:\u003C\u002Fstrong> Cấu trúc clique mô tả mạng lưới lõi (core backbone network) với các bộ định tuyến tốc độ cao kết nối đầy đủ, trong khi tập độc lập mô tả các trạm đầu cuối (access edge nodes) chỉ kết nối vào mạng lõi mà không kết nối trực tiếp với nhau.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Phân tích mạng lưới sinh học và tin sinh học:\u003C\u002Fstrong> Phân cụm các protein trung tâm (hub proteins) có tương tác tương hỗ dày đặc liên kết với các protein vệ tinh chuyên biệt.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Tối ưu hóa lập lịch và quản lý bộ nhớ đệm:\u003C\u002Fstrong> Lập lịch thực thi các tiến trình song song chia sẻ tài nguyên tính toán độc quyền trong các hệ thống tính toán hiệu năng cao.\u003C\u002Fli>\n\u003C\u002Ful>","split graph",[19,20],"đồ thị phân chia","đồ thị chẻ","Đồ thị tách cực là loại đồ thị đơn vô hướng mà tập hợp đỉnh của nó có thể được phân hoạch thành hai tập hợp con rời nhau: một tập hợp tạo thành một đồ thị đầy đủ (clique) và tập hợp còn lại tạo thành một tập hợp độc lập (independent set).","NATURAL_SCIENCES",[24,32,40],{"citationText":25,"title":26,"authors":27,"source":28,"year":29,"doi":30,"url":31},"Foldes, S., & Hammer, P. L. (1977). Split Graphs Having Dilworth Number Two. Canadian Journal of Mathematics, 29(4), 666-672.","Split Graphs Having Dilworth Number Two","Foldes, S., Hammer, P. L.","Canadian Journal of Mathematics",1977,"10.4153\u002Fcjm-1977-069-1","https:\u002F\u002Fdoi.org\u002F10.4153\u002Fcjm-1977-069-1",{"citationText":33,"title":34,"authors":35,"source":36,"year":37,"doi":38,"url":39},"Golumbic, M. C. (1980). Split Graphs. Algorithmic Graph Theory and Perfect Graphs, 149-156.","Split Graphs","Golumbic, M. C.","Algorithmic Graph Theory and Perfect Graphs",1980,"10.1016\u002Fb978-0-12-289260-8.50013-3","https:\u002F\u002Fdoi.org\u002F10.1016\u002Fb978-0-12-289260-8.50013-3",{"citationText":41,"title":42,"authors":43,"source":44,"year":45,"doi":46,"url":47},"McDiarmid, C., & Yolov, N. (2015). Recognition of Unipolar and Generalised Split Graphs. Algorithms, 8(1), 46-59.","Recognition of Unipolar and Generalised Split Graphs","McDiarmid, C., Yolov, N.","Algorithms",2015,"10.3390\u002Fa8010046","https:\u002F\u002Fdoi.org\u002F10.3390\u002Fa8010046",[49,52,55],{"question":50,"answer":51},"Đồ thị tách cực là gì và làm thế nào để nhận biết?","Đồ thị tách cực là đồ thị vô hướng có tập đỉnh phân hoạch thành một clique (đồ thị con đầy đủ) và một tập độc lập. Có thể nhận biết đồ thị tách cực trong thời gian tuyến tính bằng cách kiểm tra đẳng thức tổng dãy bậc đỉnh của Hammer-Simeone.",{"question":53,"answer":54},"Đồ thị con cấm của đồ thị tách cực gồm những loại nào?","Theo định lý Foldes-Hammer (1977), một đồ thị là đồ thị tách cực khi và chỉ khi nó không chứa đồ thị con cảm ứng đẳng cấu với 2K2 (hai cạnh rời nhau), C4 (chu trình 4 đỉnh) hoặc C5 (chu trình 5 đỉnh).",{"question":56,"answer":57},"Tại sao đồ thị tách cực lại quan trọng trong lý thuyết thuật toán?","Nhiều bài toán tối ưu NP-khó trên đồ thị tổng quát như Tìm Clique lớn nhất, Tập độc lập lớn nhất, Tô màu đồ thị và Phủ đỉnh đều trở nên giải được trong thời gian đa thức hoặc tuyến tính trên đồ thị tách cực.",{"id":59,"researcherId":10,"name":60,"imageUrl":61},1,"Nguyễn Ngọc Sơn","https:\u002F\u002Flh3.googleusercontent.com\u002Fa\u002FACg8ocLGfGsF1nYQqYK5BasTLhNu1dBrBXg2fcEgBNPXJ0p2gqLQnO7i=s96-c",[63,64,65,66,67,68],"lập lịch","phân hoạch","thuật toán","ma trận","mô hình hóa","phân tích hệ thống",6,false,"PUBLISHED","2024-12-25T12:40:38.722+00:00","2026-08-26T08:31:14.232+00:00","2026-08-26T08:08:47.081+00:00",286,[77,80,83,86,89,92,95,98,101,104],{"id":78,"title":79,"term":78,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"ngữ nghĩa","Ngữ nghĩa là gì? Các nghiên cứu khoa học về Ngữ nghĩa",{"id":81,"title":82,"term":81,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"năng lực mô hình hóa toán học","Năng lực mô hình hóa toán học là gì? Các nghiên cứu khoa học",{"id":84,"title":85,"term":84,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"mô hình lý thuyết","Mô hình lý thuyết là gì? Các nghiên cứu về Mô hình lý thuyết",{"id":87,"title":88,"term":87,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"chuỗi markov","Chuỗi markov là gì? Các công bố khoa học về Chuỗi markov",{"id":90,"title":91,"term":90,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"matlab simulink","Matlab simulink là gì? Các công bố khoa học về Matlab simulink",{"id":93,"title":94,"term":93,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"toán cao cấp","Toán cao cấp là gì? Các nghiên cứu khoa học về Toán cao cấp",{"id":96,"title":97,"term":96,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"simulink","Simulink là gì? Các công bố khoa học về Simulink",{"id":99,"title":100,"term":99,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"artificial intelligence","Artificial Intelligence là gì? Các nghiên cứu khoa học về AI",{"id":102,"title":103,"term":102,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"vị từ","Vị từ là gì? Các nghiên cứu khoa học về Vị từ",{"id":105,"title":106,"term":105,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"random forest","Random forest là gì? Các công bố khoa học về Random forest"]