<![CDATA[Studi ini menganalisis kebenaran dan efisiensi algoritma Dijkstra dan A* dalam menentukan jalur terpendek pada graf berbobot. Kebenaran dibuktikan secara teoritis menggunakan pendekatan invarian loop untuk Dijkstra dan sifat admissible pada heuristik A*, serta dikonfirmasi melalui eksperimen komputasi. Efisiensi dianalisis berdasarkan kompleksitas waktu dan pengujian empiris meliputi waktu eksekusi, jumlah simpul yang dikunjungi, dan ukuran antrian prioritas. Pengujian dilakukan pada tiga skenario graf berbobot dengan ukuran berbeda menggunakan metode Random Geometric Graph. Hasil menunjukkan bahwa kedua algoritma memiliki tingkat kebenaran 100% dalam seluruh pengujian. Dari segi efisiensi, algoritma A* menunjukkan performa yang lebih cepat dan mampu mengurangi jumlah eksplorasi simpul secara signifikan dibandingkan Dijkstra. Namun, A* memiliki penggunaan memori yang lebih tinggi pada graf berukuran besar. Penelitian ini menyimpulkan bahwa A* lebih unggul dalam efisiensi waktu ketika tersedia heuristik yang valid, sementara Dijkstra lebih stabil ketika heuristik tidak tersedia.]]>
Copyrights © 2026
