Mã được triển khai để tính toán độ rộng đường dẫn (= Số tìm kiếm nút, số tách đỉnh, độ dày khoảng)

13

Tôi đang tìm kiếm một triển khai của một thuật toán để tính toán độ rộng đường dẫn của đồ thị. Người ta biết rằng tính toán độ rộng đường dẫn tương đương với tính toán số tìm kiếm nút, số tách đỉnh hoặc độ dày khoảng của biểu đồ. Thuật toán không phải rất nhanh; Tôi muốn chạy nó trên đồ thị của tối đa 20 đỉnh. Tôi yêu cầu thuật toán để tính toán chính xác băng thông, thay vì đưa ra một xấp xỉ.

Tôi biết rằng có một số triển khai để tính toán treewidth của đồ thị (một khái niệm liên quan) nhưng không thể tìm thấy bất kỳ để tính toán độ rộng đường dẫn. Bất kỳ con trỏ được đánh giá cao!

— Bart Jansen
nguồn

8

Một triển khai DFS + DP đơn giản đã được thêm vào SAGE 4.8 vào năm ngoái: sage.graphs.graph_decysiss.vertex_separation.path_decysis

Nó được triển khai trong Cython (GNU GPL) tại đây và đây . Rất đơn giản và ngắn gọn nếu bạn bỏ qua mọi thứ không quan trọng. trong đó . Nó có thể được tăng tốc với các quy tắc cắt tỉa, và đặc biệt là heuristic. $O(n\omega 2^n)$ $\omega = pw(G)$

— Ralph Versteegen
nguồn

Wouaaaaaaaaahhhh !! Làm thế nào bạn biết rằng nó đã được thêm vào Sage? Rất vui khi thấy mọi người thực sự nhìn vào các tính năng mới của Sage là :-)

— Nathann Cohen

Bằng cách này, tài liệu của mô-đun chỉ ở đó và giải thích cách thức hoạt động của tất cả: sagemath.org/doc/reference/sage/graphs/graph_decysiss/

— Nathann Cohen

Xin lỗi để thất vọng, nhưng tôi thực sự không phải là người dùng SAGE; Google tìm thấy bản vá của bạn đóng góp nó. Tôi sẽ đóng góp cho SAGE (tôi đã sử dụng Cython), nhưng tôi cảm thấy sẽ tốt hơn nếu đóng góp cho các dự án thượng nguồn (NetworkX?) Nơi nhiều người có thể sử dụng nó.

— Ralph Versteegen

Tốt. NetworkX không thực sự "ngược dòng" của Sage nữa, vì nó không thực sự sử dụng NetworkX nhiều trừ khi bạn yêu cầu. Và việc có thể sử dụng các phần khác của toán học, Cython và giao diện với lập trình tuyến tính cũng tạo nên sự khác biệt :-P

— Nathann Cohen

8

Không biết về "triển khai" nhưng hãy kiểm tra

Tính toán đường truyền nhanh hơn 2 ^ n Karol suchan và Yngve Villanger Tính toán tham số và chính xác, Hội thảo quốc tế lần thứ 4, IWPEC 2009, Copenhagen, Đan Mạch, Springer Verlag, Ghi chú bài giảng trong Khoa học máy tính 5917, Trang 324-335.

— Andreas Bjorklund
nguồn

2

Hisao Tamaki gần đây đã nghĩ ra một thuật toán chính xác cho băng thông đường dẫn (WG 2011). Ở đó anh ta đề cập đến một số ứng dụng thực tế thành công trong cách tiếp cận của anh ta (ISCIT 2010), vì vậy tôi đoán anh ta cũng đã thực hiện thuật toán.

Hisao Tamaki: Một cách tiếp cận phân rã đường dẫn trực tiếp để xác định chính xác những người thu hút của các mạng boolean. Hội thảo quốc tế về công nghệ thông tin và truyền thông (ISCIT 2010), trang 844-849

Hisao Tamaki: Một thuật toán thời gian đa thức cho băng thông được điều hướng có giới hạn. Trong: Hội thảo quốc tế lần thứ 37 về các khái niệm lý thuyết đồ thị trong khoa học máy tính (WG 2011), LNCS 6986, trang 331-342.

— Hermann Gruber
nguồn