Solving the Hamiltonian Problem in Graph Theory Education with Z3 and the Keçeci Layout

Mehmet Keçeci ORCID: https://orcid.org/0000-0001-9937-9839

Received: 08.21.2025

Abstract: Whilst graph theory constitutes a cornerstone of computer science and mathematics education, the abstract nature of NP-complete problems, such as the Hamiltonian cycle problem, presents a significant conceptual challenge for students. An intuitive grasp of such problems often requires the analytical inspection of complex ...

Graf teorisi, bilgisayar bilimleri ve matematik eğitiminin temel taşlarından birini oluşturmakla birlikte, Hamilton döngüsü gibi NP-tam problemlerin soyut doğası, öğrenciler için önemli bir anlama zorluğu teşkil etmektedir. Bu tür problemlerin sezgisel olarak kavranması, genellikle karmaşık ve standart dışı graf yapılarının analitik olarak incelenmesini gerektirir. Geleneksel öğretim metotları, bu karmaşıklığı etkili bir şekilde aktarmada yetersiz kalabilmekte ve öğrencilerin konuya olan ilgisini ...