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 için yapıldığının tutulması artık sıradan birer gereksinim haline gelmiştir. Bu amaçla doğmuş olan OWL Time […]

Devam

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 bu sembollerin ifade ettiği yeni fonksiyon ve formülleri tanımlama imkanı sağlanır. Bu durum MathML kullanan […]

Devam

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 daha kötü çözümleri bulunduğu gibi AC4, AC5 gibi daha başarılı ancak uygulaması daha zor ve […]

Devam

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 sütün veya diyagonal olarak (ileri, geri, sağa, sola veya istenilen bir çapraz yöne) istedikleri kadar […]

Devam

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 artan zamanda çözüldüğü için de bu problem tiplerinin çokterimli zamanda (polynomial time) çözülmesi mümkün değildir. […]

Devam

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 mâlum olduğu üzere bu seçim her zaman için en iyi seçim değildir. Örneğin para üzeri […]

Devam

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 durumda her eşyanın Aşağıdaki her özel problem durumu için eşyaların pahası pi olsun ve her […]

Devam

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 kapama düğmesine basılmasını bekler. Tersi durumda da kapalıdan açığa geçmek için kapama düğmesinin basılmasını bekler. […]

Devam

Kruskal Asgari Tarama Ağacı Algoritması

Görsel konu anlatımı: https://www.youtube.com/watch?v=k4e98XN6cPU Yazan : Şadi Evren ŞEKER Bir asgari tarama ağacı (minimum spanning tree) algoritması olan Dijkstra algoritması, işaretlemiş olduğu komşuluklara en yakın düğümü bünyesine katarak ilerler. Buna göre aşağıdaki grafiğin asgari tarama ağacını çıkaralım: Yukarıdaki grafikte her düğüm için bir temsili harf ve her bağlantı için bir ağırlık değeri atanmıştır. Buna göre […]

Devam

Prim asgari tarama ağacı Algoritması

Bu konunun görsel anlatımı eklenmiştir: Yazan: Şadi Evren ŞEKER Bir asgari tarama ağacı (minimum spanning tree) algoritması olan Prim algoritması, işaretlemiş olduğu komşuluklara en yakın düğümü bünyesine katarak ilerler. Buna göre aşağıdaki grafiğin asgari tarama ağacını çıkaralım: Yukarıdaki grafikte her düğüm için bir temsili harf ve her bağlantı için bir ağırlık değeri atanmıştır. Buna göre […]

Devam