Tìm một chu kỳ 5 trong một biểu đồ thưa thớt một cách hiệu quả.


21

(gạch chéo từ MathOverflow)

Chào,

Tôi đã đọc chủ đề này: /mathpro/16393/finding-a- Motorcycle-of -fixed-length

Tôi muốn tìm một chu kỳ 5 trong một biểu đồ. Trên thực tế, những gì tôi thực sự muốn là một chu kỳ kỳ lạ ngắn nhất có độ dài ít nhất là 5, nhưng có lẽ đó là một chút bên cạnh điểm. Đối với mục đích của tôi, tôi đối xử với n giống nhau trong phân tích phức tạp. mn

Chúng ta có thể làm tốt hơn mã màu để tìm 5 chu kỳ trong trường hợp này không? Hãy để tôi đưa ra một công thức cụ thể của câu hỏi của tôi:

Giá trị tối thiểu sao cho có thuật toán thời gian O ( m α ) để phát hiện chu kỳ dài 5? Thuật toán là gì? Và đây là những gì α nếu bạn cấm các phương pháp không thực tế như Coppersmith-Winograd ma trận nhanh phép nhân?αO(mα)α


3
Ngã tư từ MO.
Hsien-Chih Chang 張顯

Đồ thị của bạn có bất kỳ cấu trúc đặc biệt, ngoài việc thưa thớt không? (Chẳng hạn như thoái hóa thấp chẳng hạn.)
Robin Kothari

Không, bạn có thể làm cho biểu đồ độc hại như bạn muốn. Trên thực tế tôi thậm chí không quan tâm nếu biểu đồ thưa thớt: Tôi đang xem xét biểu đồ đường và biểu đồ cơ bản H sao cho G = L ( H ) (chúng ta có thể giả sử H là đơn giản). Lý do tôi điều trị | E ( H ) | | V ( H ) | tương tự là tôi biết | E ( H ) | = | V ( G ) |GHG=L(H)H|E(H)||V(H)||E(H)|=|V(G)|và tôi muốn phân tích sự phức tạp về mặt | E ( G ) | , nhưng tôi không thể nói bất cứ điều gì về cách | E ( H ) | so sánh với | V ( H ) | . |V(G)||E(G)||E(H)||V(H)|
Andrew D. King

Để rõ ràng, bạn không phiền nếu chu trình chứa các đỉnh lặp đi lặp lại, đúng không?
dùng834

Tôi không cho phép các đỉnh lặp đi lặp lại, nhưng đối với chu kỳ 5 thì không thành vấn đề vì tôi cho rằng đồ thị đơn giản và do đó không có 2 chu kỳ.
Andrew D. King

Câu trả lời:


21

Để thêm vào câu trả lời của Mihai:

Thật vậy, 5 chu kỳ (và nói chung là mô-tơ) trong các biểu đồ thưa thớt có thể được giải quyết nhanh hơn nhiều so với thời gian O ( m n ) bằng cách sử dụng thủ thuật mức độ cao / mức độ thấp. Bạn chỉ cần nhìn vào một bài báo khác của Alon, Yuster và Zwick:kO(mn)

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.4120

Ví dụ, 5 chu kỳ có thể được tìm thấy trong thời gian , mà không phụ thuộc vào phép nhân ma trận. Xem Định lý 3.4 của bài báo liên kết ở trên.O(m1.67)

Ngoài ra, mặc dù không quá khó để giảm phát hiện 5 chu kỳ thành phép nhân ma trận Boolean (với chi phí nhân tố không đổi), việc giảm theo hướng ngược lại không xuất hiện trong bài viết mã màu. Việc giảm chặt chẽ (bảo tồn độ phức tạp thời gian chạy) từ phép nhân ma trận Boolean sang phát hiện 5 chu kỳ không được biết đến.


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.