Komşuluk Listesi (Adjacency List)
Yazan : Şadi Evren ŞEKER Bir grafikteki her düğümün (node) komşularının listesine verilen isimdir. Örneğin aşağıdaki listeyi ele alalım: Bu grafikte hangi düğümün hangi düğümlerle komşu olduğunu tutan birer liste çıkarılması mümkündür. Örneğin A düğümünün komşuluk listesi (adjacency list) {B,C,D}…
Derin Öncelikli Arama (Depth First Search , DFS)
Derin Öncelikli Arama (Depth First Search , DFS) Yazan : Şadi Evren ŞEKER Bir ağaç dolaşma algoritmasının (tree traverse algorithm, tree traversal) ilk önce alt seviyesinde bulunan komşularını araması durumudur. Örneğin aşağıdaki ağacı ele alalım: Ağacı dolaşma sırlaması örneğin…
Sığ Öncelikli Arama (Breadth First Search , BFS)
Yazan : Şadi Evren ŞEKER Bir ağaç dolaşma algoritmasının (tree traverse algorithm, tree traversal) ilk önce aynı seviyede bulunan komşularını araması durumudur. Örneğin aşağıdaki ağacı ele alalım: Ağacı dolaşma sırlaması örneğin 5,7,8,3,2,1,9 şeklindeyse bu dolaşmaya sığ öncelikli arama ismi verilebilir….
Doğrusal Ahenk (Linear Congruence)
Yazan : Şadi Evren ŞEKER Sayı teorisinde (Number theory) kullanılan bu terim aşağıdaki formülasyona uyan yapılara verilen isimdir: ax ≡ b mod p , (p>0 ve a ve b sabit sayılar, x ise değişken) Yukarıdaki bu tanıma göre bir tabanda…
Adi Rasgele (PseudoRandom)
Yazan : Şadi Evren ŞEKER Rastgele sayı üretmek için kullanılan yöntemlerden birisidir. Aslında tam olarak sayıların rasgele üretildiği söylenemez. Daha çok belirli bir aralıktaki sayıların moduler bir fonksiyonlar belirli periyotlarda tekrarlandığını söylemek doğru olur. Örneğin doğrusal ahenk methodu (linear congruential…
Bağlama Zamanı (Binding Time)
Yazan : Şadi Evren ŞEKER Bir değişkenin , derleyici (compiler) veya yorumlayıcı (interpreter) tarafından bağlanmasıdır. Buna göre değişkeni o dilde ifade eden sembolün fiziksel makine adresine (hafızdaki adrese) çevrilmesi işlemidir.Yani, int a = 4; satırında a değişkeni ifade eden semboldür…
Değişken Bağlama (Binding Variable)
Yazan : Şadi Evren ŞEKER Matematikte veya Bilgisayar Bilimlerinde bir değişken(variable) , duruma göre bağlı değişken (bounded variable) veya serbest değişken (free variable) olarak isimlendirilebilir. Şayet değişken genel olarak herhangi bir sayıyı ifade ediyorsa ve anlık olarak hangi sayı olduğu…
Durma Problemi (Halting Problem)
Yazan : Şadi Evren ŞEKER Problem kısaca bir programın bir zaman sonra durup durmayacağının belirsizliği üzerine tartışmadır. Yani basitçe elimizde bir program ve bu programın parametresi olsun (programa verilebilen bir girdi). Programın bitip bitmeyeceğini bilemeyiz. Peki bunu nasıl ispatlarız? Burada…
Tersine Koyarak İspat (antitez, Contraposition)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde de kullanılan ispat yöntemlerinden birisi bir önermenin tersini ispatlayarak önermenin doğruluğunu göstermektir. Doğrudan ispat yöntemlerinde p -> q zinciri kullanılmaktadır. Bu yaklaşımda ise ¬p -> ¬q yaklaşımı ile iki önermenin de tersi alınır…
Doğrudan İspat (Direct Proofing)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin pekçok alanında da kullanılan ispat yöntemlerinden en basitidir. Bu yönteme göre ispatlanmak istenen durum genelde p->q şeklinde bir önermenin (kaziye) ispatının diğer bir önermeyi (kaziyeyi) gerektirdiği bir dizilimdir ve birisinin ispatı diğerini gerektirir….
