Çözgütçi

Çözgütçi , matematiki meseläni "çözýän" matematiki programma üpjünçiliginiň bir bölegidir , belki-de, aýratyn kompýuter programmasy görnüşinde ýa-da programma kitaphanasy hökmünde . Çözgütçi meseläniň düşündirişlerini umumy görnüşde alýar we olaryň çözgüdini hasaplaýar. Çözgütçide esasy üns şuňa meňzeş beýleki meselelere aňsatlyk bilen ulanylyp bilinýän programma ýa-da kitaphana döretmäge gönükdirilendir.

Bar bolan ýörite çözüjiler bilen baglanyşykly meseleleriň görnüşlerine aşakdakylar girýär:

• Çyzykly we çyzykly däl deňlemeler . Bir deňleme ýagdaýynda, "çözgüdi" kök tapmak algoritmi diýip atlandyrylmagy has dogry bolar .
• Lineýar deňlemeler ulgamlary .
• Çyzyksyz ulgamlar .
• Polinom deňlemeleriniň ulgamlary , çyzykly däl ulgamlaryň aýratyn ýagdaýy bolup, belli çözüjiler tarapyndan has gowy çözülýär.
• Linear we linear däl optimizasiýa meseleleri
• Adaty differensial deňlemeler ulgamlary
• Differensial algebraik deňlemeler ulgamlary
• SAT çözüjilerini öz içine alýan Boolean kanagatlanmak meseleleri
• Mukdarlaşdyrylan boolean formula çözüjileri ^{[ 1 ]}
• Çäklendirmeleriň kanagatlanma meseleleri
• Iň gysga ýol meseleleri
• Iň az ýaýran agaç meseleleri
• Kombinator optimizasiýasy ^{[ 2 ]}
• Oýun teoriýasyndaky meseleleriň oýun çözüjileri ^{[ 3 ]}
• Üç beden meselesi ^{[ 4 ]}

Umumy Mesele Çözgüdi ( GPS ) 1957-nji ýylda Herbert Saýmon , J.C. Şou we Allen Nýuell tarapyndan döredilen we umumy mesele çözüji hökmünde işlemek üçin niýetlenen aýratyn kompýuter programmasydyr, ol nazaryýet taýdan dogry giriş konfigurasiýasy berlende simwoliki ulgamda resmileşdirilip bilinjek ähli mümkin bolan meseleleri çözmek üçin ulanylyp bilner. Bu, meseleleriň bilimini ( domen düzgünleri görnüşinde ) meseleleri nädip çözmelidigi strategiýasyndan (umumy gözleg motory hökmünde ) bölen ilkinji kompýuter programmasydy.

Umumy çözüjiler, adatça, meseläniň kesgitlemesini ony çözmek üçin ulanylýan strategiýadan aýyrmak üçin GPS-e meňzeş arhitekturany ulanýarlar. Bu aýyrmagyň artykmaçlygy, çözüjiniň belli bir mesele mysalynyň jikme-jikliklerine bagly däldigidir. Umumy çözüjiler tarapyndan ulanylan strategiýa, ýeke-täk maksady dolylyk bolan umumy algoritme (umuman, yza gaýtmak esasynda) esaslanýar. Bu bolsa, olaryň ulanylyşyny düýpli çäklendirýän eksponensial hasaplama wagtyny döredýär . Häzirki zaman çözüjileri meseleleriň gurluşyndan peýdalanýan has ýöriteleşdirilen çemeleşmäni ulanýarlar, şonuň üçin çözüji yza gaýtmak üçin mümkin boldugyça az wagt sarp edýär.

Belli bir klasyň meseleleri üçin (meselem, çyzykly däl deňlemeler ulgamlary ) adatça köp sanly algoritmler elýeterli bolýar. Käbir çözüjiler köp sanly algoritmleri ornaşdyrýarlar.

• Beýleki matematiki programma üpjünçiligi üçin matematiki programma üpjünçiligi .
• Meseleleri çözmek gurşawy : meseläni çözmäge ýolbaşçylyk etmek üçin awtomatlaşdyrylan meseläni çözmek usullaryny adama gönükdirilen gurallar bilen birleşdirýän ýöriteleşdirilen programma üpjünçiligi.
• Klassiki birinji derejeli logikada deňlik bilen beýan edilen fon teoriýalarynyň kombinasiýalaryna görä logiki formulalary çözüjiler üçin kanagatlanma moduly teoriýalary .
• Semantik pikir ýörediji