Ağaçlar (tree)
Yazan : Şadi Evren ŞEKER Bir graf şayet bağlı grafsa ve hiç döngü içermiyorsa bu grafa ağaç adı verilir. Bilgisayar bilimlerinin önemli veri tutma yöntemlerinden birisi de ağaçlardır. Buna göre veriler bir ağaç yapısına benzer şekilde (kök gövde yapraklar) tutulur….
Dairesel Grup (Cyclic Group)
Yazan: Şadi Evren ŞEKER Grup teorisinde, bir sayıdan bütün grubun üretilebildiği gruplara dairesel grup (cyclic group) ve bu üretmek için kullanılan sayıya üreteç (generator) ismi verilir. Örneğin G = { g0, g1, g2, g3, g4, g5 } grubu için 6…
OWL Time (OWL Zaman, Web Varlıkbilim Dili Zaman)
Yazan : Şadi Evren ŞEKER Gelişen zamanlama ihtiyaçları ile birlikte zamanın gösterimi ve formüllenmesi de bir ihtiyaç haline gelmiştir. Örneğin yapılan her siparişte, siparişin zamanının tutulması, basir bir kiralama işleminde veya bilet satış işleminde yapılan işlemin hangi tarih ve saatler…
TTML (Time Tabling Markup Language, Zaman Çizelgeleme İşaretleme Dili)
Yazan : Şadi Evren ŞEKER Zaman çizelge işareteleme dili (Timetabling Markup Language (TTML)), XML üzerine kurulmuştur. MathML üzerine kurulu zaman çizelgeleme problemlerinin çözümünde kullanılmaktadır. TTML üzerinde kullanılan formülleme dili küme teorisine dayandırılabilir. Örneğin MathML üzerinde kullanıcılara tamamen yeni semboller ile…
Arc Constraint (Kiriş Şartı)
Yazan : Şadi Evren ŞEKER AC3 algoritması olarak bilinen ve kiriş tutarlılıklarını (arc consistency) işlemek için kullanılan algoritma anlatılacaktır. Şart işleme (Constraint Processing) konusunda kullanılan önemli yöntemlerden birisidir. Bu algoritmanın AC1 ve AC2 diye adlandırılan daha eski ancak performans olarak…
4 vezir problemi (4 queen problem)
Yazan: Şadi Evren ŞEKER Satranç oyunundan esinlenerek üretilen bu problemde 4×4’lük bir satranç tahtasına (orjinal satranç tahtası 8×8’lik olmakla beraber problem tahtanın küçültülmüş bir kısmında tasarlanmıştır) 4 adet vezirin birbirini yemeden nasıl yerleştirileceği tartışılır. Bilindiği üzere satranç oyununda vezirler satır…
Belirsiz Çokterimli Tam (NP-Complete, Nondeterministic Polynomial Complete)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde problem sınıflamada kullanılan sınıflardan birisidir. Bu sınıfa giren problemler için çözümleme zamanı arttıkça artan (super increasing) yapıya sahip olmaktadır. Buna göre her adımdaki çözümleme zamanı kendinden çözümleme zamanlarından daha fazladır. Problem yapı olarak…
Açgözlü Yaklaşımı (Greedy Approach)
Açgözlü Yaklaşımı (Greedy Approach) Yazan: Şadi Evren ŞEKER Algoritma üretme yöntemlerinden birisi olan açgözlü yaklaşımına göre mümkün olan ve sonuca en yakın olan seçim yapılır. Yani basitçe bir seçim yapılması gerektiğinde sonuca en çok yaklaştıracak olan seçimin yapılmasını önerir. Ancak…
Torba Problemi (knapsack problem)
Torba Problemi (knapsack problem) Yazan: Şadi Evren ŞEKER Torba problemi basitçe bir torbanın içerisine en fazla eşyanın yerleştirilmesini hedefler. Problem hırsız örneğinden daha iyi anlaşılabilir. Buna göre bir hırsız çantasına ağırlıkça en az, pâhâca en çok eşyayı doldurmak ister. Bu…
Sonlu Durum Makinası (Finite State Machine, Finite State Automaton)
Yazan: Şadi Evren ŞEKER Sonlu durum makinaları bir çizim şeklidir. Bu çizim şeklinde çeşitli durumlar ve bu durumlar arası geçiş şekilleri gösterilir. Örneğin aşağıda basit bir kapı açma ve kapama makinesi verilmiştir: Yukarıdaki şekilde makine, açık durumdan kapalıya geçmek için…