Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối


12

Đặt G là đồ thị được kết nối.

Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối nếu G thuộc các loại sau?

  • G là chung.
  • G là mặt phẳng.
  • G là lưỡng cực.

Tôi không quan tâm đến bất kỳ cấu trúc nào hoặc ..., chỉ cần đếm tất cả các sơ đồ con được kết nối! Tôi cũng quan tâm đến sự phức tạp của việc đếm tất cả các sơ đồ con được kết nối với chính xác các nút k trong G.

Con trỏ đến giấy tờ và sách cũng được hoan nghênh!


4
Bạn có biết rằng danh sách trong câu hỏi không được định dạng chính xác? meta.cstheory.stackexchange.com/questions/300/ mài Nếu bạn không quan tâm đến định dạng, điều đó là tốt. Nhưng tôi không chắc có ai muốn dành thời gian để trả lời câu hỏi của bạn không khi bạn không muốn dành thời gian để định dạng câu hỏi của mình đúng cách. (Tôi không nói rằng tôi biết câu trả lời.)
Tsuyoshi Ito

Ngoài ra, bạn có quan tâm đến việc liệt kê các sơ đồ con được kết nối với kích thước / thứ tự / cấu trúc tùy ý / ..., hoặc bạn muốn chúng được kéo dài, hoặc bất cứ điều gì khác không?
Anthony Labarre

2
Dường như có tác dụng đếm các sơ đồ con kéo dài được kết nối . Trang 32 của "Đa thức Tutte đa thức" của Sokal kết nối đa thức đồ thị phụ với đa thức độ tin cậy có một tài liệu khổng lồ
Yaroslav Bulatov

Tôi xin lỗi, câu trả lời trước đây của tôi về việc sử dụng định lý Kirchhoff là sai. Tôi đã nghĩ về một đối số loại trừ bao gồm nhưng điều này có thể không khả thi.
Diego de Estrada

1
Bài viết này không chính xác những gì bạn yêu cầu, nhưng bài báo và tài liệu tham khảo của nó có thể giúp phát triển một số ý tưởng.
MS Dousti

Câu trả lời:


14

Welsh nói rằng vấn đề # P-hoàn thành ngay cả trong trường hợp hạn chế nhất (đếm số lượng đồ thị con được kết nối của đồ thị hai mặt phẳng). Xem phần dưới cùng của trang 304 bằng tiếng Wales, Dominic (1997), "Đếm gần đúng", Khảo sát về sự kết hợp , Bailey, RA, chủ biên, Nhà xuất bản Đại học Cambridge, trang 287.

Mặc dù vậy, trong bối cảnh, tôi tự hỏi liệu anh ta thực sự có nghĩa là các sơ đồ con được kết nối. Và điều đó khiến tôi tự hỏi phiên bản nào của vấn đề mà bạn muốn: các sơ đồ con được kết nối, các sơ đồ con được kết nối không cần kéo dài hoặc các sơ đồ con được kết nối?


6

Đây là một câu trả lời cho câu trả lời của David. Khi chưa xem cuốn sách đó, tôi đoán rằng vấn đề đang đếm các sơ đồ con được kết nối, bởi vì đây là điểm x = 1 y = 2 của đa thức Tutte và tác giả đã quan tâm đến điều đó. Nhưng trên thực tế tôi nghĩ rằng ba vấn đề đó giảm đi khá dễ dàng từ việc đếm vấn đề đồ thị con nối dài. Các mức giảm sau đây sẽ hoạt động để tính chính xác hoặc xấp xỉ, mặc dù tôi nghĩ rằng vấn đề cho xấp xỉ vẫn còn mở.

KAA

KAA

#P


2
Bạn không cần phải đính kèm một cụm, phải không? Bạn có thể đính kèm bất cứ thứ gì có nhiều sơ đồ con được kết nối, miễn là bạn gắn cùng một thứ vào mỗi đỉnh. Vì vậy, bạn có thể thực hiện những giảm bớt này trong khi bảo tồn cả hai mặt phẳng và lưỡng cực.
David Eppstein
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.