Geliştirici mısır bulmacasını Google CP-SAT ile çözdü
Öne çıkanlar
- Claude, fiziksel mısır bulmacasını çözmek için Google OR-Tools CP-SAT kütüphanesini kullandı.
- Problem, her parçanın ve hücrenin tam olarak bir kez eşleştiği bir kısıt modeline dönüştürüldü.
- Aynı kısıt programlama yaklaşımı Sudoku bulmacasında da başarıyla uygulandı.
Bir yazılım mühendisi, üç boyutlu yazıcıyla üretilmiş fiziksel bir mısır koçanı bulmacasını çözmek için yapay zeka aracı Claude'a başvurdu. Koçan üzerindeki oluklara 3 ila 10 taneden oluşan parçaların boşluk kalmayacak ve üst üste binmeyecek şekilde yerleştirilmesini amaçlayan bulmaca için Claude, kaba kuvvet yerine matematiksel kısıt çözücü kullanan bir Python betiği hazırladı.
Geliştirici başlangıçta özyinelemeli geri izleme algoritmasını kullanmayı düşündü ancak Claude'un kodu Google tarafından geliştirilen OR-Tools CP-SAT kütüphanesinden yararlandı. Problem, kombinatoryal matematikteki Tam Kapsama modeline dönüştürüldü. Çözüm mimarisinde her bir parçanın tek bir konumda yer alması ve koçandaki her hücrenin yalnızca tek bir parça tarafından örtülmesi şeklinde iki temel ikili kısıt kümesi tanımlandı.
Sistemin mantığını pekiştirmek isteyen geliştirici, çalışma arkadaşlarıyla birlikte CP-SAT kütüphanesini Sudoku çözümünde de test etti. Satır, sütun ve blok kısıtlarının tanımlandığı Sudoku denemesi de başarıyla sonuçlandı. Çalışma, karmaşık kombinatoryal bulmacalarda sıfırdan arama algoritmaları yazmak yerine kısıt programlama araçlarını kullanmanın yazılım geliştirme sürecindeki verimliliğini ortaya koydu.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.