DNA´ya Problem Çözdürmek - Biyolojik Bilgisayarlar

0
malkocoglu
Matematikçi/biyolojist Leonard Adelman, biyolojik bilgisayar'ın olabileceğini ispatlamak için, DNA ve biyolojik yöntemler kullanarak, seyahat eden satış görevlisi (traveling salesman) probleminin ufak bir şeklini DNA'ya çözdürmeyi başardı. Seyahat eden satış görevlisi (SESG) problemi, çizit (graph) olarak temsil edilen şehirler arasındaki en az yol tutacak olan seyahat rotasını bulan algoritmadır.
DNA'nın günümüz bilgisayarlara oranla en büyük avantajı, az yerde çok fazla bilgiyi kodlayabilmesi. Ayrıca, baz harfler A, T, C, G nükleoit'ler arasında (biyoloji kanunlara göre) bağları kuran enzimlerin "eşzamanlı (paralel)" bir şekilde DNA'yı işlemesi diğer bir avantaj.

Yani, DNA bazlı çözümler, gerekirci algoritmalar ile çözülemeyen problemler için biçilmiş kaftan gibi gözüküyor; Gerekirci (deterministic) algoritmalar bütün çözümleri teker teker, ya da akıllı tahmin (heuristic) ile azıcık kısaltmalar ile, başı belli sonu belli algoritmalardır.

SESG problemin Turing Makinası temelli dünyada da gerekirci (deterministic) ve polinom zamanlı (n veri icin işleyiş zamanı =< O(n^k), k sabit) bir çözümü yoktur.

Sonuç: Bahsedilen biyolojik özelliklerden istifade eden Adelman, özet olarak seyahat eden satış görevlisi probleminin "bütün mümkün çözümlerini" DNA kopyalama tekniklerini kullanarak çıkardı, ve daha önce bilinen DNA teknikleri ile arasından istediği başlangıç şehri ve bitiş şehri olan DNA zincirlerini çekip çıkardı.

Bu seçilen DNA zinciri problemin çözümü oluyordu.

Özet makaleler: 1 2 3 4

Her şeyin başlangıcı olan risale(!) (makale, yayın, paper)

Takipçiler ve bazı tekniklerde ilerleme kateden şahıslar: 1 2 3

Görüşler

0
FZ
Üstadın bu konudaki çalışmalarına dair haberlerini Dr. Dobb´s Journal dergisinde birkaç yıl önce okumuştum, görmeyeli epey ilerleme kaydetmiş olmalı. Fantastik bir fikir, çok acayip bir uygulama. Düşünsenize adamın biri geliyor ve ``hocam bizim falanca sistem için bir optimizasyon lazım´´ diyor, siz de ``tamam ben biyoloji laboratuvarıma uğrayıp şu benim hücre kültürüne bir bakayım mikroskopla´´ falan diyorsunuz :)

Bu arada meraklısına not, yazıda adı geçen çılgın bilimadamı Adelman, meşhur şifreleme algoritması ve bununla bağlantılı şirket ismi RSA´nın A´sındaki Adelman ;-)
0
malkocoglu
Vay! O Adelman'in bu oldugunu bilmiyordum.

Bulusun da eski oldugu dogru; Ilk yapilan yayinin tarihi 1994. Ek yayinlar yaklasimi biraz daha ilerletmis.

Yanliz bir sey daha eklemem gerekiyor; Haberde verdigim ayni bilgileri Hesapsal Algoritma Yuku (computational complexity) dersimin asistanina da yolladim, ve soyle bir cevap geldi.

"Cok ufak bir problem cozmusler, onu belirteyim. Asagidaki kelimeler de benim buldugum bir baglantidan, ustel (exponential) yuku olan bir problemi cozmek icin ustel miktarda DNA gerekiyormus. Yani, su anki bilgi ile DNA bilgisayari kurulsa, NP-complete problemler, polinom zamanda cozulemeyecek.

http://www.usc.edu/dept/engineering/news/2002_stories/adlemanNYT.html

Gene de alternatif bilgisayar mimarileri bana hep ilginc geliyor. Ayrica Kuantum Bilgisayarlara da bakmani tavsiye ederim, bu teknik ile algoritma yukunde azaltma yapmak mumkun olabiliyor (gibi gozukuyor)".

Neyse; sahsi fikrim hala teknik bazi kisitlamalar olsa da, fikrin harika oldugu... Hesap yapan mikroplar, web servisi olan terliksi yaratiklar...

Yazilim virusu olan bir biyolojik virus yapilabilir mi acaba? :) Isim uysun diye. :)


0
FZ
``Bilgi´´ sözcüğünün ne kadar geniş bir açılımı olduğu, bu kavramın ne kadar garip kılıklara bürünebildiği sanırım içinde bulunduğumuz 21. yüzyılda çok daha iyi anlaşılacak. Geçen yüzyılda olup bitenleri bir tür ısınma turu olarak algılıyorum (büyük vizyoner FZ konuştu breh breh :-P

Kuantum bilgisayarlara gelince, bitirme ödevimde bir miktar kurcalamıştım onları, simülasyon bağlamında yani. Grover´ın hızlı veritabanı arama ve Shor´un kolayca asal çarpanlara ayırma yöntemleri gerçekten çok ilginçti. Konu ile ilgili detaylı ve somut örnekler şu adreste bulunabilir: QCL, Quantum Computing Language: http://tph.tuwien.ac.at/~oemer/qcl.html

Muhtemelen Adelman ve RSA´da hissesi olan herkes her gün yatakten kalkarken ``inşallah pratik olarak çalışan bir kuantum bilgisayarı yapılmamıştır!´´ diye dua ediyorlardır :)
0
malkocoglu
Butun hukumetler ve hukumet ajanslari da buna dahil herhalde, evet... Adelman kendi sifre sistemini kirdirmak icin niye bu kadar ugrasiyor kardesim! :)

Dipnot: Bir NP-butun (complete) problemin biri cozulurse , geri kalan hepsi corap sokugu gibi gelecek, buyuk bir sayinin asallarina ayirilmasi gibi (sifre kirmak icin), oteki problemler seyahat eden satici, hamilton yolu bulma, vs.. Amma cok terim! Yakinda Algoritma Yuku hakkindak dersimizin finalini alacagiz; bir bitsin, Turkce yazi dizisi gelecek (insallah). Turing makinalari, NP-butunluk, rasgele algoritmalar.

Ayrica: Bebek'te hemen deniz kenarinda bir cafe var; Ismi Turing Cafe. FZ haberin olsun. :)

0
FZ
Valla Adelman gibi uçuk bir adamın ticari kaygılarla matematiksel, biyolojik, teknolojik keşiflerin peşinden gitme çabalarına son vereceğini pek sanmam. Bürokratik kurumlar uzunca bir süre daha bilimsel ilerlemelerin, özellikle de bilgi işlem teknolojisindeki yeniliklerin peşinden nefes nefese koşturmaya mahkûm gibi görünüyor.

NP-tam (bu da benim önerim, NP-bütün yerine ;-) mevzusu hakikaten belki de bilgi işlem teorisindeki en önemli mevzulardan biri, bu tür konulardaki yazı dizilerine her daim açığız.

Bu arada bilgisayarların NELERİ YAPAMAYACAĞI konusu ile ilgili David Harel adlı bir profesörün şirin mi şirin, akıcı mı akıcı, ufak tefek bir kitabı var, herkese tavsiye ederim, hatta çevirisi yapılsa yayınlansa falan süper olur: Computers Ltd: What They Really Can't Do.

http://www.amazon.com/exec/obidos/tg/detail/-/0198505558/qid=1071428167/sr=1-1/ref=sr_1_1/102-2952528-1425721?v=glance&s=books

Bebek´e gelince, gerçekten güzel mekan ancak bahsettiğin kafe sakın şu Turing ile ilgili olmasın?

http://www.turing.org.tr

E yani bizim ülkeden de şimdilik ancak bu şekilde Turing çıkıyor. İnşallah bir gün biz de A. Turing ayarında bir miktar adam yetiştiririz ve kültürümüzü, insanlarımızı dünya ile daha iyi entegre eder, yüksek standartlı hale getiririz ;-) (Amin, Amin hatta Amon-Ra!)
0
skoylu
> "Cok ufak bir problem cozmusler, onu belirteyim. Asagidaki kelimeler de benim buldugum bir baglantidan, ustel (exponential) yuku olan bir problemi cozmek icin ustel miktarda DNA gerekiyormus. Yani, su anki bilgi ile DNA bilgisayari kurulsa, NP-complete problemler, polinom zamanda cozulemeyecek.

Tamam, kabul ederim ama. unutmayınki, DNA kendini çoğaltabilir. Bir bilgisayarın DNA tabanlı olduğunu düşünün vede çözüm için kendisinin yeni DNA'lar ürettiğini.

Pek dilim dönmüyor ama böyle bir durumda bunların ula DNA yapmak sarmıyo, hadi birde mitokondri yapalım birader diyerek karşımıza bildiğimiz bir canlı gibi çıkıvermesi, üstelik de bolca mevcut olan bizleri mükemmel bir protein deposu olarak görmeleri ihtimalide var.. Haa, bu kötü ihtimal. Iyi ihtimaller de bolca mevcut.

Unutmayalım ki, bugünkü bilgisayar macerasının temelleri Abacus ile atılmıştı. Transistörün keşfi bir dönüm noktası oldu. Braedley'in, tanıtıma gelen SONY kurucularının bundan radyo yapmayı düşünüyoruz cevabına gülüp geçtiği rivayet edilir.

Vay be dedirten bir gelişme netekim. Dikkatle takip etmek lazım bence..

0
malkocoglu
Evet ben de katiliyorum. Nanoteknoloji ve bilahere biyoloji arastirmalarinin arkasinda sIkI butceler de varmis. Klinton baskanligi zamaninda nanoteknolojiye 1 milyar dolar harcadim diyordu; isin muhendislik tarafi birden olgunlasirsa, ucar gider. Takip etmek lazim, kesinlikle...
0
hako
Bu nefis haber için teşekkürler. Gerçekten hayalgücünün sınırı yok. Böyle bir probleme bu tür bir çözüm üretebilen zekaya da hayran olmamak elde değil. Konuyla ilgili kaynak ve haberleri yazıya iliştirdiğiniz için da ayrıca teşekkürler...
Görüş belirtmek için giriş yapın...

İlgili Yazılar

KNOPPIX ile disk kurtarma

yalcink01

Evdeki sistem yine çöktü. Garibimi bu sefer tekrar kurmak yerine, kurtaralım bari dedik. Knoppix'in bu konudaki maharetinden bahsedilip duruluyor. Ben de evdeki emektar Knoppix Cd si ile sistemi kurtarmaya karar verdim. İyi bir kılavuz bulup önce dersimizi çalıştık. Çalışırken yazmak gibi bir huyum olduğu için arada çevirmişte olduk. Benim işime yaramadı /* çünkü Knoppix CDim çalışmıyor. Garibim perişan olmuş yüzü gözü çizik içinde*/ belki birinin işine yarar. KNOPPIX İLE SİSTEM KURTARMA

Saygılarımla,
Yalçın KOLUKISA
NOT: Çeviride oldukça fazla imla hatası olma ihtimali mevcut. Henüz kontrol yapmaya fırsatım olmadı. Yazım ve imla hatalarını bildirirseniz sevinirim. Hafta sonu gerekli düzenlemeleri yapmak niyetindeyim.

Xmame : Birkaç Romalı Dövelim Mi?

darkhunter

Xmame, zamanında Atari salonlarında harçlıklarımızı tükettiğimiz oyunları GNU/Linux'a taşıyan bir emülatör. Emülatörler ve Emülasyon hakında daha fazla bilgi almak için buraya bakabilirsiniz. Bu klavuz xmame'in Debian GNU/Linux altında kurulumunu ve çalıştırılmasını anlatmaktadır. Ek olarak günün stresini Romalı döverek atmak isteyenlere yol göstermektedir. ;-)

e-bergi Mart 2009 Sayısı Yayında

ilke444

Günden güne artan okuyucu kitlesi ile tüm bilgisayar bilimi ve özgür yazılım meraklılarına hitap ettiğini kanıtlayan e-bergi, Mart 2009 sayısı ile sizlerle.

Kadınlar ve Bilgisayarlar

FZ

Kadınlar ve bilgisayarlar. Kadınlar ve programlar. Kadın programcılar. Kadın "hacker"lar. Kadınların bilgisayar bilimleri tarihinde ve endüstrinin gelişiminde, teknolojinin ilerlemesinde oynadıkları rol. Kadınlar ve GNU/Linux. Kadınlar ve projeleri. Kadınlar ve erkekler. Önyargılar ve bunlara karşı mücadele yöntemleri. Akıllı, güçlü, zeki, inatçı, hırslı ve risk almayı seven kadınlar. Pek çok programlama dilini ustaca kullanan kadınlar.

Kısaca kadınlar ve bilgisayarlar üzerine bir yazı. Meraklısına...

Kısıt Koşul Programlama

FZ

Roman Barták'ın "On-line Guide to Constraint Programming" (Kısıt Koşul Programlamaya Giriş) kılavuzu farklı bir yazılım geliştirme paradigması için öenmli bir kılavuz niteliğinde.

Kısıt koşul programlama, kabaca istenen çözümün sağlaması gereken şartların (kısıt koşulların) sunulduğu ve çözümün adım adım tarif edilmediği programlama şekli olarak tanımlanabilir.

Kısıt koşul programlama gitgide popülaritesini artırmaya başladı, Mozart Programming System gibi somut uygulamalar pek çok problemin çözümünde kullanılıyor. NP-zor problemler, yapay zekâ, mantık, elektronik, bilgisayar grafikleri gibi konularda çalışan yazılımcıların kısıt koşul programlama konusunda bilgi sahibi olmalarında fayda var.

Kaynak: Computer Science Daily News