En geniş anlamıyla, sezgisel tarama , farklı matematikçiler tarafından yaklaşılan keşif psikolojisidir.
Daha dar, daha sık anlamıyla, buluşsal yöntem, zor bir optimizasyon problemi için mutlaka optimal veya kesin olmayan, hızlı bir şekilde uygulanabilir bir çözüm sağlayan bir hesaplama yöntemidir .
Özellikle sayı teorisinde , nihayet , örneğin asal sayıları rastgele bir dağılımla değiştiren ve aranan sonucun 1'e eşit bir olasılığa sahip olduğunu gösteren titiz olmayan bir yaklaşımın (ve dolayısıyla hiçbir şey göstermemenin) sezgisel muhakemesinden bahsediyoruz .
Genellikle birkaç kez ayırt ederiz
Pólya bu sorulara matematik açısından yaklaştı.
Operasyonel, taktik ve stratejik seviyeler arasında ayrım yapar. İlki temel bilgileri toplar, sonuncusu en sezgisel ve en zor olanıdır. Ancak deneyim, alt seviyeleri daha zengin, daha zengin ve daha verimli hale getirir.
Sorun net bir şekilde tanımlandıktan sonra (soru, bağlam: veriler, kısıtlamalar, giriş ve çıkışlar) duruma bağlı olarak
Daha fazla deneyime sahip olduğumuz için ilk vaka daha sık ortaya çıkar; "çekiç-çekiçle bir somunu ezmemek" için bir uyarlama isteyebilir.
İkinci durum, bir Kartezyen analize karşılık gelir ve birincisini durdurma kriteri olarak kullanır.
Üçüncü durum, en sezgisel, verimli ancak belirsizdir, çünkü benzer problemler çoğu zaman, ancak her zaman değil, benzer çözümlere sahiptir; dahası, analoji çok uzaksa, onu birkaç ara aşamaya bölmek gerekebilir.
Son olarak bir eylem planı bulunduğunda, uygulanması için açıklanır.
Sonuç iyi değilse süreç sorgulanır.
Sonuç doğruysa, deneyimimizi zenginleştirmek için daha iyi, daha verimli veya daha genel bir şey yapıp yapamayacağımızı görmek iyidir.
Sayı teorisinde , birçok varsayım , asal sayıların rastgele dağıtıldığı varsayılarak varsayım olasılığının tahmin edilmesinden oluşan, sezgisel olarak adlandırılan argümanlara dayanır .
Bir sezgisel hızlı bir şekilde için zorunlu uygun veya tam olmayan çalışılabilir bir çözüm, sağlayan bir hesaplama yöntemi zor optimizasyon sorunu . Bu, diğerleri arasında kombinatoryal optimizasyonda , grafik teorisinde , algoritmaların karmaşıklık teorisinde ve yapay zekada kullanılan bir kavramdır .
Sezgisel, kesin çözüm algoritmaları üstel karmaşıklıkta olduğunda ve birçok zor problemde sıralıdır. Sezgisel yöntemin kullanımı, bir problemin yaklaşık çözümünü hesaplamak veya kesin çözüm sürecini hızlandırmak için de geçerlidir. Genellikle bir buluşsal yöntem, kendi yapısına bağlı olarak belirli bir sorun için tasarlanır, ancak yaklaşımlar daha genel ilkeler içerebilir.
Yani açgözlü yöntem bir buluşsal yöntemdir . Durum bu
Farklı problemlere (örneğin benzetilmiş tavlama gibi) uygulanabilen genel yaklaşık yöntemler için metasezgiden bahsediyoruz .
Çeşitli kriterlere göre değerlendirilebilir:
Bu kriterler, baskın buluşsal yöntemlerin tanımlanması için aynı problemi çözen buluşsal yöntemlerin karşılaştırılmasını mümkün kılar.
Bazıları rekabetçi değildir, diğerleri basit durumlarda yararlıdır veya tam tersine, yalnızca önemli sorunları çözdüklerinde etkili olurlar.
Son olarak, algoritmik bir yönteme ulaşılamazsa, tüm faaliyet alanlarından yararlanmak için çeşitli sezgisel yöntemler ile rekabet edebiliriz.