Untuk grafik asiklik diarahkan , apakah ada struktur data yang memungkinkan untuk permintaan reachability tanpa memerlukan ruang kuadrat atau waktu linier? Idealnya saya mencari algoritma yang hanya menggunakan O (log n) ruang per titik dan waktu logaritmik di mana .
Tampaknya secara intuitif jelas bagi saya bahwa struktur data seperti ini harus ada, berdasarkan beberapa generalisasi dari algoritma pengurutan standar. Tetapi saya terkejut bahwa saya tidak dapat menemukannya. Segala sesuatu yang saya temui baik membuat asumsi tentang grafik (misalnya planaritas) atau memecahkan masalah yang lebih sulit dalam waktu kuadrat / ruang (misalnya pertanyaan yang diselingi dengan modifikasi grafik).
The Wikipedia halaman di Reachability hanya mencakup satu algoritma umum (Floyd-Warshall); sisa halaman berhubungan dengan kasus-kasus khusus yang melibatkan asumsi-asumsi seperti grafik planar (bukan).
Makalah yang paling sering dikutip dalam ruang ini tampaknya efisiensi yang diamortisasi dari struktur pengambilan jalur , tetapi ini dan semua makalah yang dikutipnya melibatkan ruang O (n ^ 2) atau waktu O (n ^ 2) untuk memungkinkan pembaruan pada grafik yang disatukan dengan permintaan (yaitu tidak ada preprocessing).
Pertanyaan ini tidak dijawab, tetapi ini berhubungan dengan masalah yang lebih sulit yaitu mengizinkan penyisipan tepi yang disatukan dengan permintaan.
Pertanyaan ini menanyakan struktur data persisten (murni fungsional), yang tidak diperlukan di sini. Kertas "Succinct Posets" membutuhkan ruang tetapi berhasil mencapai O ( 1 ) -waktu permintaan; Saya mencari algoritma waktu yang lebih buruk, lebih baik.
Sebagian besar mencari pijakan dalam literatur di sini. Jika ada makalah survei tentang jangkauan grafik yang tidak menghabiskan 99% waktunya pada kasing planar, itu akan membantu.