constraint programming

• constraint programming, çözüm bulmak için gereken basamakları^* anlatmaktan çok, çözümün uyması gereken constraintlerin neler olduğunu belirten programlama ekolüdür.
• constraintler belirlendikten sonra çözüme ulaşmak için iki tip arama methodu kullanılır:
  
  (bkz: local search)
  (bkz: global search)
• bir problemi cozmek icin brute force disinda bir yontem akla, kullanilacak en akilli yontemlerden birisi. problemin bir modelini tanimlayip bir constraint solver'a vermek yeterli olacaktir. boylece hem kodunuz adam gibi gozukecektir, hem de olur ya solver'i yazanlarin genel durumlar icin yaptigi optimizasyonlari kullanarak belki de daha hizli cozersiniz derdiniz neyse.
• (bkz: #16658632)
• (bkz: simplex)
• hesaplama ve mantığa dayalı, kısıtlı kaynakların ataması yapılırken kullanılan bir programlama yaklaşımı. kullanılan karar değişkenlerin alabileceği değerlerin alanını kombinasyonlu olarak oluşturup buna göre amaç fonksiyonuna eklenmesidir. alabileceği uygun değerler kısıtlara göre belirlenir ve uygun çözüm değerleri elde edilir. genellikle optimizasyon problelerinde kullanılır.
• (bkz: linear programming)
• türkçeye kısıt programlama olarak çevirilmiş programlama yaklaşımına verilen ıngilizce isim.
• optimaliteyi garanti eden bir kombinatoryal optimizasyon metodu.
  
  simpleks algoritması, dogrusal cebir esasli matematiksel metodlarla cozum uzayini sinirlamaya calisan bir algoritma iken constraint programming, tam sayili programlamada kullanilan branch and bound gibi backtracking bazli bir metoddur.
  
  ancak branch and bound dogrusal gevsetme kullanarak optimal cozume daha cabuk yakinsarken, constraint programming degiskenlerin alabilecegi degerleri filtrelemeye yonelik checking algoritmalari (ornegin: (bkz: #55706479)) kullanir. dolayisiyla constraint programming ile optimizasyon yapilabilmesine ragmen cozum kalitesi acisindan tam sayili programlamanin ulastigi kalitede sonuclari genellikle daha gec bulursunuz.
  
  bununla birlikte daha buyuk problemlere de uyarlanabilmesi ve hizli bir sekilde kabul edilebilir kalitede olurlu cozumleri bulabilmesi nedeniyle endustride cokca tercih edilir. sezgisel algoritmalara entegrasyonu ise cozum kalitesini artirip komsu cozumleri hizlica kesfetmeye olanak sagladigindan tadindan yenmez!
  
  meraklisi icin, alanin onculerinden pascal van hentenryck'in de aralarinda oldugu uc onemli isim tarafindan acilan ilk online dersi, 7 subat 2023’de baslayacak, siddetle tavsiye edilir!
  
  edit: en onemli basvuru kaynaklari ve bu konuda ilerlemek isteyenlere yonelik yol haritalari , endustri basari hikayeleri icin :
  
  kurucu babalardan eugene freuder’in kaynak kutuphanesi ve association for constraint programming kutuphanesi onerilebilir.