Algoritma Temelli Problemler Konu Anlatımı

Konu anlatımı notları

1. Algoritmalarda Karar Alma Süreci

   Bir algoritmanın belirli koşullar altında doğru adımları uygulayabilmesi, mantık bağlaçları ($\wedge$, $\vee$, $\underline{\vee}$, $\Rightarrow$, $\Leftrightarrow$) ve niceleyiciler ($\forall$, $\exists$) aracılığıyla kurulan kesin önermelere dayanır.

   Algoritmik yapılarda:

   • Ve ($\wedge$) Bağlacı: Birden fazla şartın aynı anda sağlanması gereken denetim noktalarında kullanılır.
   • Veya ($\vee$) Bağlacı: Alternatif koşullardan en az birinin yeterli olduğu durumlarda devreye girer.
   • Evrensel Niceleyici ($\forall$): Bir listenin ya da veri kümesinin tüm elemanlarının belirli bir koşulu karşılayıp karşılamadığını denetler.
   • Varlıksal Niceleyici ($\exists$): Veri kümesi içinde aranan özelliği taşıyan en az bir elemanın varlığını tespit eder.

   Bu yapılar, karmaşık akışların hatasız ve yoruma kapalı bir kesinlikle işletilmesini sağlar.

   Veri Analizinde Koşullu Durumlar

   Aşağıdaki veri tablosunda bir sayının belirli algoritmik şartları sağlama durumu modellenmiştir:

   • Sayı: 12 → Çift Sayı mı? Evet | 3'ün Katı mı? Evet | Karar ($p \wedge q$): Sağlar (1)
   • Sayı: 14 → Çift Sayı mı? Evet | 3'ün Katı mı? Hayır | Karar ($p \wedge q$): Sağlamaz (0)
   • Sayı: 15 → Çift Sayı mı? Hayır | 3'ün Katı mı? Evet | Karar ($p \wedge q$): Sağlamaz (0)
   • Sayı: 17 → Çift Sayı mı? Hayır | 3'ün Katı mı? Hayır | Karar ($p \wedge q$): Sağlamaz (0)

   Burada $p(x)$: "$x$ çift sayıdır." ve $q(x)$: "$x$, 3 ile kalansız bölünür." açık önermeleridir. Algoritmanın "6 ile kalansız bölünebilme" kuralını doğrulaması için $p(x) \wedge q(x)$ bileşik önermesinin doğruluk değerinin 1 olması gerekir. Veri tablosu, mantıksal bağlaçların algoritmik filtreleme görevini açıkça göstermektedir.

   Algoritmadan Matematiksel Doğrulamaya

   Algoritmada sonlu sayıda veri için test edilen bir durumun genel geçerliliği, matematiksel ispat yöntemleri ve niceleyicilerle güvenceye alınır.

   Örneğin bir algoritmanın "Her tek sayının karesi tektir." hipotezini sonlu sayıda eleman için sınaması sadece deneysel bir gözlemdir. Matematiksel olarak kesinlik kazanması ise evrensel niceleyici ve cebirsel temsil ile ifade edilir:

   $\forall n \in \mathbb{Z}, \quad n \text{ tek} \Rightarrow n^2 \text{ tek}$

   İspat Adımları:

   1. $n$ tek sayı olsun. Bu durumda $k \in \mathbb{Z}$ olmak üzere $n = 2k + 1$ biçiminde yazılabilir.
   2. Her iki tarafın karesi alındığında: $n^2 = (2k + 1)^2 = 4k^2 + 4k + 1$ elde edilir.
   3. İfade 2 parantezine alınırsa: $n^2 = 2(2k^2 + 2k) + 1$ olur.
   4. $2k^2 + 2k = m \in \mathbb{Z}$ seçildiğinde $n^2 = 2m + 1$ elde edilir; bu da $n^2$ sayısının tek olduğunu kanıtlar.

   Bu süreç, algoritmada kullanılan mantıksal koşulun ($\Rightarrow$) matematiksel ispat adımlarında tümdengelim yöntemine temel oluşturduğunu gösterir.

   Sembolizmin Kesinliği

   Doğal dille yapılan açıklamalar belirsizlikler içerebilirken mantık bağlaçları ve niceleyiciler evrensel ve kesin bir dil sunar.

   Kanıta dayalı bir değerlendirme yapıldığında:

   • Bir ifadenin yanlışlığını kanıtlamak için algoritma mantığındaki gibi en az bir karşıt örnek ($\exists$) bulmak yeterlidir. Örneğin; "Tüm asal sayılar tektir." iddiası, $\exists x = 2$ asal sayısı çift olduğundan doğrudan çürütülür.
   • Bir ifadenin genel doğruluğunu iddia etmek için ise sonlu sayıdaki deneme yetersizdir; bütün evreni kapsayan ($\forall$) biçimsel bir ispat şarttır.

   Sonuç olarak; mantık bağlaçları ve niceleyiciler algoritmaların tutarlı çalışmasını, matematiksel görevlerin hatasız yürütülmesini ve kuramların eksiksiz temellendirilmesini sağlar.

2. Algoritma Nedir?

   Algoritma; belirli bir problemi çözmek, bir görevi yerine getirmek veya bir amaca ulaşmak için tasarlanan, sonlu sayıda ve kesin olarak tanımlanmış işlem adımları dizisidir. Batı dillerine İslam medeniyeti matematikçilerinden Hârizmî'nin isminin Latinceye telaffuzundan geçen bu kavram, günümüzde matematiksel modelleme ve bilişimsel düşünmenin merkezinde yer alır.

   Bir algoritmanın temel özellikleri şunlardır:

   • Girdi ve Çıktı: Algoritma sıfır ya da daha fazla girdi alır ve en az bir çıktı üretir.
   • Kesinlik: Her adım net, açık ve tek anlamlı olmalıdır.
   • Sonluluk: Algoritma sonsuz döngüye girmeden makul bir adım sayısında tamamlanmalıdır.
   • Etkinlik: Algoritmadaki adımlar uygulanabilir ve temel işlemlerden oluşmalıdır.

   Deney ve Gözlem Bağlamında Değişkenler

   Algoritmik problem çözme, bilimsel yöntem ve güvenli deney süreçleriyle doğrudan ilişkilidir. Bir deney ortamında modellenen değişkenler algoritma adımlarına şu şekilde yansır:

   • Bağımsız Değişken: Algoritmaya dışarıdan adım adım sağlanan veya kontrollü biçimde artırılan girdi değeridir.
   • Bağımlı Değişken: Algoritmanın hesapladığı, bağımsız değişkene göre değişen çıktı ya da sonuç değeridir.
   • Kontrol Edilen (Sabit) Değişkenler: Algoritma boyunca sabit tutulan eşik değerleri ve parametrelerdir.

   Algoritmanın Temsil Edilmesi

   Problemlerin çözüm stratejileri sözel dilden matematiksel ve algoritmik dillere aktarılırken farklı temsil biçimleri kullanılır. Bunların başlıcaları algoritmik doğal dil, sözde kod (pseudo-code) ve akış şemalarıdır.

   Laboratuvar Sıcaklık İzleme Algoritması Örneği

   Bir fen laboratuvarında güvenli bir kimyasal çözünme deneyi gerçekleştirilmektedir. Çözeltinin sıcaklığı 5 saniyede bir sensörle ölçülmekte, sıcaklık 60 °C üzerine çıktığında ısıtıcı kapatılarak soğutma uyarısı verilmekte, deney sıcaklık 80 °C'ye ulaştığında veya toplam 60 saniye süre dolduğunda güvenlik gereği sonlandırılmaktadır.

   Bu sürecin algoritmik doğal dil ve sözde kod temsili şu şekildedir:

   1. Başla: Zaman sayacını sıfırla ($t = 0$).
   2. Sensör Oku: Çözelti sıcaklığını ($T$) oku.
   3. Gözlem Tablosuna Yaz: $t$ ve $T$ değerlerini kaydet.
   4. Koşul Kontrolü: Eğer $T \ge 80$ veya $t \ge 60$ ise Deneyi Bitir, Adım 8'e git.
   5. Güvenlik Kontrolü: Eğer $T > 60$ ise Isıtıcıyı Kapat ve Soğutma Başlat; değilse Isıtıcıyı Açık Tut.
   6. Adım İlerlemesi: 5 saniye bekle, zaman sayacını artır ($t = t + 5$).
   7. Döngü: Adım 2'ye dön.
   8. Bitir: Güvenli durumu bildir ve dur.

   Algoritma Testi ve İzleme Tablosu

   Tasarlanan bir algoritmanın doğruluğu, toplanan deney verilerinin algoritmaya girdi olarak verilmesi ve oluşan adımların adım adım takip edilmesiyle (kuru çalışma / trace table) kanıtlanır. Algoritmanın beklenen sonuçları üretip üretmediği bu yolla denetlenir.

   Örnek Gözlem ve Algoritma Yürütme Tablosu

   Yukarıdaki güvenli deney algoritmasının laboratuvar gözlem verileriyle test edilişi aşağıda gösterilmiştir:

   • t = 0 saniye, T = 25 °C: $25 < 60$ olduğu için ısıtıcı açık kalır. Süreç devam eder.
   • t = 15 saniye, T = 58 °C: Sıcaklık eşik değerin altında, ısıtıcı açık tutulur.
   • t = 20 saniye, T = 64 °C: $64 > 60$ şartı sağlandığı için ısıtıcı kapatılır, soğutma başlatılır.
   • t = 35 saniye, T = 81 °C: $T \ge 80$ kritik güvenlik sınırı aşıldığı için döngü sonlanır, deney güvenli biçimde durdurulur.

   Çıkarım ve Strateji Değerlendirmesi

   Algoritmik stratejinin kanıta dayalı değerlendirilmesinde şu sorulara yanıt aranır:

   • Algoritma olası tüm uç durumları (örneğin sıcaklığın aniden yükselmesi veya sensörden okunan hatalı veriler) doğru yönetti mi?
   • Kontrol edilen değişkenler ve güvenlik eşikleri amaca hizmet edecek doğrulukta mı belirlendi?
   • Alternatif stratejiler (örneğin ölçüm aralığını 5 saniyeden 2 saniyeye düşürmek) yakıt, zaman veya işlem maliyetini nasıl etkiler?

   Bu değerlendirme basamağı, algoritmik düşünmenin yalnızca kod oluşturmaktan ibaret olmadığını; kanıtlara dayalı karar verme, optimizasyon ve hata ayıklama becerilerini de kapsadığını gösterir.