Permutasyon Algoritması
Yazan : Şadi Evren ŞEKER Bu yazıyı Fatih Bey’in sorusu üzerine siteye eklemeye karar verdim. Fatih Bey’in sorusunu alıntılıyorum: Hocam merhabalar bir soru sormak icin rahatsız etmiştim sizi,Bir fonksiyonumuz olsun ve parametre olarak zarSayisi alsin ve bu fonksiyon zar sayısına…
EQP (Exact Quantum Polynomial)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, kuantum hesaplama konusunda kullanılan bir karmaşıklık sınıfıdır. Literatürde tam kuantum polinom zaman (exact qunatum polynomial time) olarak geçmektedir. Özellikle olasılıksal problemler için %100 başarı ile (yani bütün ihtimalleri eleyerek) sonuç üretme süresinin polinom…
Parçala Fethet Yaklaşımı ile Matris Çarpımı
Yazan : Şadi Evren ŞEKER Bu yazının amacı, parçala fethet yaklaşımı (divide and conquere) kullanarak matris çarpımı işlemini gerçekleştirmektir. Bu uygulamada JAVA dili kullanılacaktır. Öncelikle matris çarpımını hatırlayalım. 2×2 boyutlarında A ve B matrislerinin çarpılıp C matrisine yerleştirilmesi aşağıdaki şekilde…
Von Neumann Makinesi
Yazan : Şadi Evren ŞEKER Bilgisayar bilimleri açısından, von neumann makineleri, günümüz klasik bilgisayarlarının temellerini oluşturur. Bu makine tanımında basitçe bir işlemci, bir hafıza ve giriş / çıkış sistemleri modellenmiştir. Yukarıdaki şekilde görüldüğü üzere, hafıza (memory) ile bir kontrol birimi…
Çakışma Problemi (Collision Problem)
Yazan: Şadi Evren ŞEKER Bilgisayar bilimlerinde, karmaşıklık teoremi (complexity theory) ve kuantum işleme (quantum computing) gibi konularda sıkça geçen bir problemdir. Problem basitçe, bir fonksiyonun 1’e 1 veya n’e 1 olup olmadığını sorgular. Örneğin f: {1 … n } à…
Algoritma Analizi (Analysis of Algorithms)
Algoritma Analizi (Analysis of Algorithms) Yazan : Şadi Evren ŞEKER Bu yazının amacı, bilgisayar bilimlerinin temelini oluşturan, algoritma analizini açıklamaktır. Genelde lisans seviyesinde bir dönemlik ders olarak okutulmaktadır. Bu ders hakkında çok sayıda kitap da yazılmıştır. Dolayısıyla bu yazıda sadece…
Bellman Ford Algoritması
Yazan : Şadi Evren ŞEKER Bu algoritmanın amacı, bir şekil (graph) üzerindeki, bir kaynaktan (source) bir hedefe(target veya sink) giden en kısa yolu bulmaktır. Bu anlamda, literatürde en kısa yol bulma algoritması (shortest path algorithm) olarak sınıflandırılabilir. Algoritma ağırlıklı şekiller…
NL (Non-deterministic Logarithmic)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde de sıkça kullanılan ve matematiğin bir parçası olan karmaşıklı teorisi (complexity theory) içerisinde tanımlı olan bir karmaşıklık sınıfıdır (kümesidir, set) Bu kümenin özelliği, bu kümenin üyesi olan, fonksiyon, denklem veya algoritmaların logaritmik zamanda…
Bool Tatmin Problemi
Bool Tatmin Problemi Yazan : Şadi Evren ŞEKER Litartürde, Boolean Satisfiability Problem olarak geçen ve boole cebirindeki denklemlerin doğruluğunun sağlanması olarak özetlenebilecek olan problemdir. Ayrıca çeşitli kaynaklarda bu probleme, problemin İngilizce tanımında geçen Satisfiability kelimesinin kısaltması olan SAT kelimesi olarak…
Ve/Veya bağlacı normal şeklleri (Conjunction / Disjunction Normal Form)
Yazan : Şadi Evren ŞEKER Bu gösterim, bool cebirinde (boolean algebra) kullanılan ve kaziyeleri (önerme, proposition) ve (and) bağlacı ile bağlamanın özel bir şeklidir. Kısaca CNF (conjuction normal form) olarak ifade edilir. Diğer bir normal şekil olan Chomsky Normal Form…