Saat menulis program Petri Net, saya dihadapkan dengan pilihan tentang struktur data untuk mewakili grafik. Daftar adjacency (yaitu daftar yang menyebutkan busur masuk dan keluar dari masing-masing tempat atau transisi) mudah diimplementasikan, tetapi ketika saya sedang mempelajari teori petri nets, saya dibawa dengan keindahan pendekatan persamaan-persamaan berbasis matriks - yang mungkin akan meminta saya untuk menggunakan matriks jarang.
Yang membuat saya bertanya-tanya - apakah ada implementasi matriks jarang menyediakan penghitungan cepat di baris dan kolom? Jika tidak, apakah ada alternatif yang memungkinkan saya untuk membuat dan secara efisien melintasi grafik bipartit dalam bahasa fungsional seperti Erlang?
FWIW - Dengan 'efisien', dalam hal ini, maksud saya cepat dalam menyebutkan insiden busur pada transisi atau tempat tertentu. Saya akan lebih senang berdagang ruang untuk waktu jika ada trade-off yang akan dibuat. Karena grafik tidak akan dimodifikasi setelah konstruksi, grafik tidak perlu efisien untuk penyisipan atau pembaruan.
TIA