Wikipedia

Khác biệt giữa bản sửa đổi của “Bài toán đồ thị con đẳng cấu”

Duyệt lịch sử tương tác
← Thay đổi trước
Nội dung được xóa Nội dung được thêm vào
Trực quanMã wiki
Xong đmm
Thẻ: Đã bị lùi lại Soạn thảo trực quan Sửa đổi di động Sửa đổi từ trang di động
n Đã lùi lại sửa đổi của 2402:800:63AD:C5A7:1462:F803:FFA7:CA47 (Thảo luận) quay về phiên bản cuối của Matsui Kiyoko
Thẻ: Lùi tất cả SWViewer [1.4]
 
Dòng 1:
{{Cần biên tập}}
Trong [[lý thuyết đhđộ phức tạp tính toán]] (''Computational complexityfgggcomplexity theory''), '''Đồ thị con đẳng cấu''' là một [[bài toán quyết định]]''g'' (''decision problem'') thuộc loại [[NP-đầy đủ]] (''NP-completerffvccomplete'').
Phát biểu của bài toán quyết định như sau:
 
Đẳng cấu vvggggggggggđồ thị cobbcccfncon(G<sub>1</sub>, G<sub>2</sub>)<br/>
'''Đầu vào:''' hai [[đồ thị (lý thuyết đồ thị)|đồ thị]] G<sub>1</sub> và G<sub>2</sub>.<br/>
'''Câu hỏi:''' G<sub>1</sub> có [[đẳng cấu]] với một đồ thị con của G<sub>2</sub> 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 đẳvdscvhjngđẳng cấu, thay vì chỉ xác định xem có tồn tại đồ thị con đó hay khoonghfxvbhgeddkhô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.
 
==Tham khảo==
Lấy từ “https://vi.wikipedia.org/wiki/Bài_toán_đồ_thị_con_đẳng_cấu”