Diberikan adalah dag. Anda ingin memberi label pada setiap node dengan berapa banyak node yang dapat dijangkau darinya. adalah batas atas sepele; Ω ( V + E ) adalah batas bawah (saya pikir). Apakah ada algoritma yang lebih baik? Adakah alasan untuk percaya bahwa batas bawah dapat ditingkatkan (terkait: apa yang sebenarnya diketahui tentang batas bawah untuk penutupan transitif)?
Motivasi: Saya harus melakukan ini beberapa kali sambil merepresentasikan rumus fol sebagai dags.
Sunting: Harap dicatat bahwa dengan melakukan menghitung jalur , bukan simpul yang dapat dijangkau . (Saya menambahkan ini karena ternyata banyak orang mengira solusi sederhana ini akan bekerja dengan suara yang saya lihat pada jawaban yang sekarang dihapus) lebih dari satu jalur. Juga, saya katakan, karena jika mereka dipecahkan, maka memecahkan digraf itu mudah.