Bu çalışma, Malatya Hâkim Küme Algoritmasının (MDSA) teorik ispatına odaklanmaktadır. MDSA, merkezilik kavramını kullanarak açgözlü ve dinamik programlama tekniklerini birleştiren ve böylece optimum veya optimuma yakın çözümler üreten bir hâkim küme belirleme algoritmasıdır. Önceki çalışmada, MDSA algoritması çeşitli veri kümeleri üzerinde deneysel olarak uygulanmış ve başarılı sonuçlar elde edilmiştir. Ancak bu deneysel başarıların teorik kanıtlarla analitik olarak ispatlanması gerekmektedir. Bu amaçla, bu çalışmada, MDSA'nın bazı özel graf tiplerinde (yollar, döngüler, yıldız graflar, iki taraflı graflar vb.) optimum veya optimuma yakın sonuçlar ürettiği analitik olarak ispatlanmıştır. Çalışmada, MDSA'nın belirli graf yapılarına uygulandığında minimum hâkim kümeyi nasıl ürettiği detaylı olarak incelenmiştir. İspat sürecinde, merkezilik hesaplamalarının hâkim küme seçimini nasıl etkilediği ve algoritmanın gereksiz düğümleri eleyerek nasıl artık düğümlerden arındırılmış hâkim küme ürettiği matematiksel olarak gösterilmiştir. Sonuç olarak, bu çalışma MDSA'nın teorik temellerini güçlendirmekte ve literatürdeki diğer baskın küme algoritmalarıyla karşılaştırıldığında belirli grafik tiplerinde avantajlarını analitik olarak ortaya koymaktadır.
Hâkim Kümeler Malatya Merkeziyet Değeri Malatya Hâkim Küme Algoritması Açgözlü Algoritmalar Dinamik Programlama Teorik İspat
This study focuses on the theoretical proof of the Malatya Dominating Set Algorithm (MDSA). MDSA is a dominating set determination algorithm that combines greedy and dynamic programming techniques by using the concept of centrality and thus produces optimum or near-optimum solutions. In the previous study, the MDSA algorithm has been experimentally implemented on various datasets and successful results have been obtained. However, these experimental successes need to be proven analytically with theoretical evidence. For this purpose, in this study, it is analytically proven that MDSA produces optimum or near-optimum results on some special graph types (paths, cycles, star graphs, two-sided graphs, etc.). In the study, it is examined in detail how MDSA produces the minimum dominant set when applied to specific graph structures. In the proof process, it is mathematically shown how centrality calculations affect the selection of dominating set and how the algorithm produces redundant-free dominating set by eliminating unnecessary nodes. In conclusion, this study strengthens the theoretical foundations of MDSA and analytically demonstrates its advantages in certain graph types when compared to other dominating set algorithms in the literature.
Dominating Sets Malatya Centrality Value Malatya Dominating Set Algorithm Greedy Algorithms Dynamic Programming Theoretical Proof
| Primary Language | English |
|---|---|
| Subjects | Software Engineering (Other) |
| Journal Section | Research Article |
| Authors | |
| Early Pub Date | June 24, 2025 |
| Publication Date | June 30, 2025 |
| Submission Date | February 20, 2025 |
| Acceptance Date | April 14, 2025 |
| Published in Issue | Year 2025 Volume: 13 Issue: 1 |