Giới hạn nào có thể được đưa vào khi đếm các nút có thể tiếp cận trong một dag?


23

Đưa ra là một dag. Bạn muốn gắn nhãn cho mỗi nút bằng cách có bao nhiêu nút có thể truy cập từ nó. là một giới hạn trên tầm thường; Ω ( V + E ) là một giới hạn thấp hơn (tôi nghĩ). Có một thuật toán tốt hơn? Có lý do để tin rằng giới hạn dưới có thể được cải thiện (liên quan: chính xác những gì được biết về giới hạn dưới cho đóng cửa bắc cầu)?Ôi(V(V+E))Ω(V+E)

Động lực: Tôi đã phải làm điều này một vài lần trong khi đại diện cho các công thức fol là dags.

Chỉnh sửa: Xin lưu ý rằng chỉ cần thực hiện đếm các đường dẫn , không thể truy cập các nút . (Tôi đã thêm điều này vì rõ ràng nhiều người nghĩ giải pháp đơn giản này sẽ hoạt động bằng số phiếu tôi thấy trong câu trả lời đã bị xóa.) Trên thực tế, vấn đề này xuất hiện chính xác khi bạn muốn làm điều gì đó thú vị với các phần 'chia sẻ', các nút có thể truy cập bằng nhiều hơn một con đường Ngoài ra, tôi nói dag, bởi vì nếu chúng được giải quyết, thì việc giải quyết sơ đồ là dễ dàng.cx= =1+Σxycy


Đây dường như là một trường hợp đặc biệt (đặt tất cả các trọng số thành một) của cstheory.stackexchange.com/questions/736/ chủ
Suresh Venkat

@Suresh: Cho dù trọng lượng tùy ý làm cho vấn đề khó hơn đối với tôi giống như một câu hỏi thú vị khác.
Radu GRIGore

Câu trả lời:


10

mnÔi(mn)Ôi(n2+mn/đăng nhậpn)Ôi(n2+mnđăng nhập(n2/m)/đăng nhập2n)


4
Ngoài ra, hãy xem bài viết "Khung ước lượng kích thước với các ứng dụng để đóng và chuyển tiếp" của Edith Cohen. Nó đưa ra một thuật toán ngẫu nhiên ước tính số lượng con cháu một cách hiệu quả.
virgi

Lưu ý rằng kết quả này áp dụng cho tất cả các biểu đồ được định hướng, không chỉ DAG.
tonfa

Vâng. Kết quả cũng áp dụng cho phiên bản có trọng số được đề cập trong cstheory.stackexchange.com/questions/736/ mẹo
virgi

7

nω


Cảm ơn, thật thú vị! Tôi nên thêm rằng dags đại diện cho các công thức tượng trưng có xu hướng thưa thớt, vì vậy tôi quan tâm hơn một chút trong trường hợp này.
Radu GRIGore

1

Có thể không hữu ích trong ngữ cảnh của bạn, nhưng bạn có thể lấy xấp xỉ bằng cách sử dụng Synopsis Diffusion (http://www.cs.cmu.edu/~sknath/sd.htm). Tôi nghĩ rằng làm cho nó O (V + E). Mô phỏng khuếch tán tóm tắt trên một bộ xử lý đơn đối với tôi là O (V + E), (trước tiên bạn cần thực hiện một loại tôpô, cũng là O (V + E)).

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.