✨Bài toán đồ thị con đẳng cấu

Bài toán đồ thị con đẳng cấu

Trong lý thuyết độ phức tạp tính toán (Computational complexity theory), Đồ thị con đẳng cấu là một bài toán quyết định (decision problem) thuộc loại NP-đầy đủ (NP-complete). Phát biểu của bài toán quyết định như sau:

Đẳng cấu đồ thị con(G1, G2)
Đầu vào: hai đồ thị G1 và G2.
Câu hỏi: G1 có đẳng cấu với một đồ thị con của G2 hay không?

Đôi khi bài toán này còn nhấn mạnh vào việc tìm đồ thị con đẳng cấu, thay vì chỉ xác định xem có tồn tại đồ thị con đó hay không (như trường hợp bài toán quyết định cơ bản).

Đồ thị con đẳng cấu là suy rộng của một bài toán có thể dễ hơn: bài toán đồ thị đẳng cấu; nếu bài toán này thuộc loại NP-đầy đủ thì polynomial hierarchy (cây phả hệ đa thức???) sẽ sụp đổ. Vậy có lẽ không phải như vậy.

👁️ 1 | 🔗 | 💖 | ✨ | 🌍 | ⌚
Trong lý thuyết độ phức tạp tính toán (_Computational complexity theory_), **Đồ thị con đẳng cấu** là một bài toán quyết định (_decision problem_) thuộc loại NP-đầy đủ (_NP-complete_). Phát biểu của bài toán quyết
nhỏ|phải|Hình vẽ một đồ thị có 6 đỉnh và 7 cạnh Trong toán học và tin học, **lý thuyết đồ thị** (tiếng Anh: _graph theory_) nghiên cứu các tính chất của đồ thị. Một cách
nhỏ|phải|[[Đồ thị Petersen có sắc số bằng 3.]] Trong Lý thuyết đồ thị, **tô màu đồ thị** (tiếng Anh: _graph coloring_) là trường hợp đặc biệt của gán nhãn đồ thị, mà trong đó mỗi
Bài này nói về từ điển các chủ đề trong toán học. ## 0-9 * -0 * 0 * 6174 ## A * AES * ARCH * ARMA * Ada Lovelace * Adrien-Marie Legendre *
Trong toán học, cụ thể hơn là trong đại số trừu tượng, **các định lý đẳng cấu** (hay còn được biết với tên **các định lý đẳng cấu của Noether**) là các định lý mô
Bài viết này là **danh sách các thuật toán** cùng một mô tả ngắn cho mỗi thuật toán. ## Thuật toán tổ hợp ### Thuật toán tổ hợp tổng quát * Thuật toán Brent: tìm
[[Hình:Hypergraph-wikipedia.svg|right|frame| Một ví dụ về siêu đồ thị, với X = \{v_1, v_2, v_3, v_4, v_5, v_6, v_7\}E = \{e_1,e_2,e_3,e_4\} = \{\{v_1, v_2, v_3\}, \{v_2,v_3\}, \{v_3,v_5,v_6\}, \{v_4\}\}. ]] Trong toán học,một **siêu
Trong Lý thuyết đồ thị, **phép đồng cấu đồ thị** (tiếng Anh: _graph homomorphism_) là ánh xạ giữa hai đồ thị trong khi tôn trọng cấu trúc của chúng. Cụ thể hơn, nó ánh xạ
Trong toán học, **đồ thị đối ngẫu** của một đồ thị mặt phẳng G là một đồ thị G' trong đó có một đỉnh tương ứng cho mỗi miền mặt phẳng của đồ thị G,
nhỏ|Nếu người bán hàng xuất phát từ điểm A, và nếu khoảng cách giữa hai điểm bất kì được biết thì đâu là đường đi ngắn nhất mà người bán hàng có thể thực hiện
nhỏ|350x350px| Một trang trại đô thị ở [[Chicago ]] **Nông nghiệp** **đô thị** **, trồng trọt** **đô thị**, hoặc **làm vườn đô thị** là hoạt động trồng trọt, chế biến và phân phối thực phẩm
right|thumb|Đồ thị Cayley của [[nhóm tự do trên hai phần tử sinh _a_ và _b_]] Trong toán học, **đồ thị Cayley**, hay còn gọi là **đồ thị tô màu Cayley**, **biểu đồ Cayley**, **biểu đồ
Trong khoa học máy tính và toán học, **bài toán tối ưu hóa** là bài toán tìm kiếm _lời giải tốt nhất _trong tất cả các lời giải khả thi. Bài toán tối ưu hóa
Trong lý thuyết đồ thị, một **đồ thị phẳng** là một đồ thị có thể được nhúng vào mặt phẳng, tức là có thể được vẽ trên mặt phẳng sao cho các cạnh chỉ gặp
Lưu ý: Danh sách **thuật ngữ lý thuyết đồ thị** này chỉ là điểm khởi đầu cho những người mới nhập môn làm quen với một số thuật ngữ và khái niệm cơ bản. Bài
Ví dụ về một bài toán xếp ba lô giới hạn 1 chiều: chọn các hộp nào để tổng giá trị các hộp trong ba lô là lớn nhất mà tổng khối lượng dưới 15 kg?
**Bài toán cây Steiner** hay bài toán tìm đường đi ngắn nhất từ 2 điểm cho trước được phát triển dựa trên bài toán Fermat của nhà toán học nổi tiếng người Pháp. Vào thế
Trong lý thuyết độ phức tạp tính toán, lớp **NP-đầy đủ** là một lớp các bài toán quyết định. Một bài toán _L_ là NP-đầy đủ nếu nó nằm trong lớp NP (lời giải cho
Quy hoạch vùng ven đô có mật độ dân cư thấp ở [[Cincinnati, Hoa Kỳ.]] **Quy hoạch đô thị** là một khái niệm hay được dùng để chỉ các hoạt động kiểm soát hay tổ
**Đô thị nhỏ gọn** hay còn có tên gọi khác là **đô thị nén** ([https://en.wikipedia.org/wiki/Compact_City Compact City]) là tên gọi do Dantzig và Saaty đưa ra từ năm 1973 và được thông dụng tại châu
**Đường sắt đô thị Hà Nội** () là hệ thống đường sắt đô thị của thành phố Hà Nội. Hệ thống được vận hành bởi Công ty Đường sắt Hà Nội (Hanoi Metro Company –
Biểu diễn đồ thị của bài toán vận tải Trong toán học, **Bài toán vận tải** (tiếng Anh: _transportation problem_) là một dạng của bài toán quy hoạch tuyến tính. Bài toán vận tải có
**Tuyến 2** hay còn gọi là **Tuyến Nội Bài – Hoàng Quốc Việt** hoặc **Tuyến Hoàn Kiếm** (Giai đoạn 1: **Nam Thăng Long – Trần Hưng Đạo**) là tuyến metro đang được giải phóng mặt
**Truyền thuyết đô thị Nhật Bản** là những câu chuyện được lưu truyền trong dân gian Nhật Bản và được cho là có thật, dù chưa có bằng chứng xác thực. Những truyền thuyết đô
nhỏ|230x230px|Quang cảnh một góc khu đô thị Phú Mỹ Hưng tại Nam Sài Gòn nhỏ|230x230px|Khu đô thị Phú Mỹ Hưng - Đại lộ Nguyễn Văn Linh **Khu đô thị Phú Mỹ Hưng** là một khu
Trong lý thuyết khả tính, **bài toán dừng** có thể diễn đạt như sau: cho trước một chương trình máy tính, quyết định xem chương trình đó có chạy mãi mãi hay không. Bài toán
**Bài toán ngược** hay **bài toán nghịch đảo** (Inverse problem) trong khoa học là quá trình tính toán ra các nhân tố nhân quả (causal factors) dựa theo tập hợp các quan sát những đại
phải|Một hành trình của quân mã trên bàn cờ. phải|Lời giải bài toán trên bàn cờ 5 x 5. **Mã đi tuần** hay **hành trình của quân mã** (Tiếng Anh: Knight's tour) là bài toán
**Tuyến 3: Trôi – Nhổn – Ga Hà Nội – Hoàng Mai** là tuyến đường sắt đô thị đang được xây dựng và là một phần của hệ thống mạng lưới Đường sắt đô thị
**Tuyến 2** (tên tuyến theo giai đoạn 1: **Bến Thành – Tham Lương**) là một tuyến metro thuộc hệ thống Đường sắt đô thị Thành phố Hồ Chí Minh đang được xây dựng từ năm
**Lý thuyết độ phức tạp tính toán** (tiếng Anh: _computational complexity theory_) là một nhánh của lý thuyết tính toán trong lý thuyết khoa học máy tính và toán học tập trung vào phân loại
Danh sách các vấn đề mở trong toán học ## Danh sách các bài toán mở trong toán học nói chung Nhiều nha toán học và tổ chức đã xuất bản danh sách cái bài
**Thuật toán Dijkstra**, mang tên của nhà khoa học máy tính người Hà Lan Edsger Dijkstra vào năm 1956 và ấn bản năm 1959, là một thuật toán giải quyết bài toán đường đi ngắn
thumb|Lời giải nhỏ nhất cho bài toán đàn gia súc Archimedes với mỗi biểu tượng chỉ cho con gia súc **Bài toán đàn gia súc Archimedes** (tiếng Anh: Archimedes' cattle problem) là một bài toán
Trong đại số trừu tượng, **đẳng cấu nhóm** là hàm thiết lập quan hệ tương ứng một-một giữa hai nhóm trong đó vẫn bảo toàn được phép toán nhóm. Nếu tồn tại đẳng cấu giữa
Trong khoa học máy tính, **thuật toán dòng dữ liệu** là thuật toán để xử lý các dòng dữ liệu trong đó dữ liệu vào được cung cấp dưới dạng một dãy các phần tử,
Trong toán học và khoa học máy tính, **bài toán hôn nhân bền vững** (**SMP**) yêu cầu tìm một **cặp ghép bền vững** giữa các phần tử của hai tập hợp theo thứ tự ưu
Bài toán **P so với NP** là một bài toán mở quan trọng trong lý thuyết khoa học máy tính. Mô tả một cách đơn giản, bài toán là có phải bất kì vấn đề
Quần âu nam A- NEO kiểu dáng hàn quốc đường may TIÊU CHUẨN, l - Màu: Đen, Xanh than, ghi đậm, ghi nhạt, ghi sáng, vàng bò, đỏ đô - Ống: Côn, dáng ôm, body
Quần âu nam A- NEO kiểu dáng hàn quốc đường may TIÊU CHUẨN, l - Màu: Đen, Xanh than, ghi đậm, ghi nhạt, ghi sáng, vàng bò, đỏ đô - Ống: Côn, dáng ôm, body
**Phú Thọ** là một thị xã thuộc tỉnh Phú Thọ, Việt Nam. Hiện nay, thị xã Phú Thọ không phải là tỉnh lỵ của tỉnh Phú Thọ, mà tỉnh lỵ là thành phố Việt Trì.
thumb|Trong việc tìm kiếm một chiếc xe mới, người chơi chọn một cánh cửa, ví dụ như cửa 1. Người dẫn chương trình sau đó mở một trong những cánh cửa khác, ví dụ cửa
Trong lý thuyết độ phức tạp tính toán, **NP** là viết tắt của "nondeterministic polynomial time" (thuật toán bất định trong thời gian đa thức). Cụ thể hơn, **NP** là tập hợp các bài toán
**Cục Chấp pháp và Quản lý Hành chính Đô thị**, thường được viết tắt là **_Thành Quản_** (), là một cơ quan chính quyền địa phương được thành lập ở mọi thành phố tại Trung
**Chứng chỉ Kế toán viên, Kiểm toán viên** là các chứng chỉ nghề nghiệp được cấp bởi Bộ Tài chính (Việt Nam). Chứng chỉ này nhằm mục đích đăng ký hành nghề hoạt động dịch
"**Born This Way**" (tạm dịch: _Sinh ra như thế_) là một ca khúc chủ đề và cũng là đĩa đơn đầu tiên trích từ album phòng thu thứ hai cùng tên của nữ ca sĩ
**Sông Cầu** là một thị xã ven biển nằm ở phía bắc tỉnh Phú Yên, Việt Nam. ## Địa lý Thị xã Sông Cầu nằm ở phía bắc tỉnh Phú Yên, cách thành phố Tuy
"**S&M**" là một bài hát của nữ ca sĩ người Barbados Rihanna nằm trong album phòng thu thứ năm _Loud_ (2010) của cô, được phát hành làm đĩa đơn thứ tư của album vào ngày
"**Poker Face**" là một ca khúc nhạc pop-điện tử của nữ ca sĩ-nhạc sĩ người Mỹ Lady Gaga trích từ album đầu tay của cô mang tên _The Fame_ (2008). Bài hát do RedOne sản
**Tấn**, hay còn gọi là Tú lơ khơ hoặc gọi tắt là bài Tú, là cách chơi bài truyền thống của Nga, du nhập vào Việt Nam, được chơi bởi 2-4 người. Đây là một