Jgrapht: Bug di NaiveLcaFinder

Apa yang Anda lakukan untuk men-debug masalah ini?

Karena konstruktor kelas NaiveLcaFinder hanya memastikan bahwa grafik harus diarahkan tetapi tidak memeriksa apakah itu berisi siklus. LCA harus ditemukan di DAG tetapi untuk tes yang diberikan, saya kemudian menyadari bahwa itu bukan DAG. Itu seharusnya menjadi DAG tetapi tidak. Haruskah saya melanjutkan dan menerapkan pemeriksaan ini?

Tidak, bukan ide yang baik untuk menambahkan ini sebagai tanda centang. Selalu ada trade-off antara: menghabiskan upaya komputasi pada validasi input, dan hanya dengan asumsi bahwa pengguna memberikan input yang benar. Saat ini saya tidak memiliki akses ke kode, tetapi yang dapat Anda lakukan adalah:

1. Periksa apakah GraphTests berisi metode isDirectedAcyclicGraph. Jika tidak, tambahkan.
2. dalam kode NaiveLCA, tambahkan pernyataan: assert GraphTests.isDirectedAcyclicGraph(g); Mungkin di NaiveLCA seseorang harus membuatnya lebih eksplisit dalam spesifikasi dokumentasi/parameter bahwa grafik input harus berupa DAG.
3. Ada banyak algoritma di jgrapht yang dapat digunakan untuk menegaskan apakah suatu grafik asiklik, jadi tidak perlu mengimplementasikannya.

Namun demikian, periksa kembali apakah sudah ada beberapa metode yang setara dengan tes isDirectedAcyclicGraph (saya tidak hafal ini).

Untuk proyek saya untuk sementara, saya memodifikasi konstruktor NaiveLcaFinder untuk meminta DAG. Saya akan bekerja menulis metode isDirectedAcyclicGraph . Kami sudah memiliki implementasi keduanya jika grafik diarahkan dan jika grafik berisi siklus, jadi, Bolehkah saya melanjutkan untuk mengimplementasikan isDirectedAcyclicGraph ?

@hulk-baba Ada masalah dengan file input Anda. Saya mendapatkan Cersei ketika saya menjalankan implementasi saya dengan "Robert Cersei" (yang tidak terlalu benar tetapi ada keunggulan dari Cersei ke Robert; seperti dari Robert ke Cersei di file input) sebagai inputnya dengan versi input saya mengajukan.

Silakan periksa file input Anda lagi dan beri tahu saya jika Anda menemukan sesuatu (atau mungkin coba grafik yang lebih kecil yang Anda simulasikan sebagai bagian dari subgraf Lannister/Baratheon dan lebih mudah untuk di-debug).

@AlexandruValeanu silakan coba dengan file input yang sama dengan argumen yang berbeda Joffrey Tommen seperti pada kode checkLcas(graphFinder, "Joffrey", "Tommen", Arrays.asList("Robert"));

@hulk-baba Anda benar. Ini tidak bekerja dalam kasus itu.

Satu set nenek moyang yang sama adalah [Robert, Cersei, Jaime] . Tapi kemudian ini terjadi. Sepotong kode itu menghapus semua node yang memiliki anak di set leluhur. Karena ada tepi dari Cersei ke Robert dan Jaime dan dari Robert ke Cersei, ketiganya dapat (dan akan) dihilangkan dari himpunan nenek moyang yang sama (Cersei dihilangkan karena Robert, Jaime karena Cersei dan Robert karena Cersei) .

Ini bukan masalah dengan implementasi sebenarnya karena grafiknya bukan DAG (siklus antara Robert dan Cersei menciptakan masalah di subgraf Lannister/Baratheon).

Kemungkinan perbaikan:

• Hapus tepi dari Robert ke Cersei; Saya mendapatkan "Robert" setelah saya menghapus tepinya
• Dalam hal ini, findLca berfungsi. Ini mungkin tidak berfungsi pada siklus lain tetapi tampaknya berhasil pada siklus ini
• Ada perbaikan kecil yang bisa saya lakukan sehingga kinerjanya lebih baik pada grafik dengan siklus tetapi ini bukan tujuan dari implementasi ini

@AlexandruValeanu Jadi, apakah kita berasumsi bahwa grafik yang diberikan salah dan kemudian menghapus tepi dari Robert menjadi Cersei ?
Apa yang saya pikir seharusnya tidak ada output dalam kasus grafik siklik yang dilakukan kode saat ini, Ya tetapi ketika kita memasukkan Joffrey dan Cersei maka outputnya adalah Cersei yang menurut saya tidak boleh karena Cersei adalah bagian dari siklus sehingga tidak membuat kami yakin apakah simpul itu adalah LCA atau bukan.
Jadi yang saya sarankan adalah kita dapat memeriksa apakah node input adalah bagian dari siklus atau tidak dengan memanggil fungsi detectCyclesContainingVertex dan jika salah satunya benar maka kita dapat kembali tanpa LCA apa pun. Inilah yang saya lakukan dalam latihan pemanasan saya.
Tolong beri tahu saya jika saya salah memahami ini dan bantu saya untuk memperbaikinya.

@tibrewalpratik17
Grafik dalam pdf itu bukan DAG sehingga Anda tidak perlu berasumsi apa pun: ini bukan input yang valid untuk NaiveLcaFinder .

Untuk tantangan pemanasan, lebih baik hanya memodifikasi grafik sehingga tidak lagi mengandung siklus apa pun. Anda dapat menggunakan CycleDetector untuk memeriksa apakah ada siklus dalam versi grafik Anda.

Implementasi findLcas saya tidak mencoba mendeteksi siklus atau melakukan sesuatu yang cerdas untuk menghasilkan jawaban yang masuk akal ketika diberikan grafik siklik (yaitu Anda mendapatkan undefined behaviour ). Oleh karena itu, tidak ada gunanya menganalisis output jika prasyaratnya rusak.

@AlexandruValeanu oke... tapi bagaimana jika pengguna memasukkan grafik siklik dan mengharapkan output sehingga output yang valid dalam kasus itu harus nol jika ada nenek moyang terbaru dari node yang diberikan atau mungkin node itu sendiri terlibat dalam siklus Baik?

Pengguna tidak boleh mengharapkan jawaban, dalam hal ini, pengguna harus memvalidasi input mereka, itu seperti mengatakan apa f(x) untuk input x, tidak dalam domain f, jawabannya tidak nol tetapi tidak didefinisikan.

@tibrewalpratik17
NaiveLcaFinder mengembalikan daftar lcas yang benar jika dan hanya jika melewati DAG.

Jika inputnya bukan DAG maka outputnya tidak boleh dipercaya. Secara harfiah bisa apa saja. Dalam hal ini, saya percaya bahwa implementasi saya hanya mengembalikan lcas yang bukan bagian dari siklus tetapi saya tidak begitu yakin karena saya belum menguji bagaimana undefined jawabannya.

Bisakah seseorang tolong tutup ini karena ini bukan bug?