[Turkmath:7198] Çizge Kuramı Ve Uygulamaları Çalıştayı - I duyurusu

[Türker BIYIKOĞLU]

  Degerli Matematikciler,

Tubitak Feza Gursey Enstitusunde "Çizge Kuramı Ve Uygulamaları Çalıştayı 
- I" adli calistayı 15-17 Ekim tarihleri arasında duzenliyoruz. 
Calistayda Cizge Kurami ile ilgilenen arastirmaci ve lisansustu 
ogrencilerin bulusmasi ve guncel arastirma konulari arasinda uzerine 
interaktif  bir tartisma yaratilmasini amacliyoruz. Konusmalar, 
katılımcıların da etkin katılımını sağlayacak pek çok değişik ve ilginç 
problemleri içerecektir.

Feza Gursey Enstitusu Cizge Kurami Calistayina katilanlara *ucretsiz* 
konuk ediyor.
Herhangi bir katilim ucreti *yok*. Calistayi lisansustu ogrencilerine 
duyurabilirseniz cok seviniriz. Calistayla ilgili web sayfasi: 
http://www.gursey.gov.tr/new/gta10/. Ayrica programi asagidada 
gorebilirsiniz. Katilmak isteyenler lutfen *8 Ekim cuma*ya kadar* web 
sitesinden* kayit yaptirmayi unutmasinlar.

Bu calistayin bir baslangic oldugunu, beklenen ilgi olursa ileride 
tekrarlayacagimizi, yurtdisindan konusmacailar cagirmaya devam 
edecegimiz ama bunun yani sira konusmak isteyenlere de firsat 
verilecegini, bunun ozellikle  Istanbul disindakilerle bulusmak ve 
iletisimde kalmak icin onemli oldugunu ayrica belirtmek isteriz.

Bol arastirmali bir akademik yil dilegiyle
Turker Biyikoglu    Tinaz Ekim




IŞIK ÜNİVERSİTESİ

Doç. Dr Türker Bıyıkoğlu
Fen-Edebiyat Fakültesi
Matematik Bölümü

Kumbaba Mevkii, 34980 Şile - İstanbul
Tel:    (216) 528 71 73
Faks: (216) 712 14 74
E-mail: turker.biyikoglu at isikun.edu.tr
Web: http://math.isikun.edu.tr/turker/


  Çizge Kuramı Ve Uygulamaları Çalıştayı - I

  Workshop On Graph Theory And Its Applications – I


      15-16-17 Ekim 2010

      TÜBİTAK - FEZA GÜRSEY ENSTİTÜSÜ

Bu çalıştayla çizge kuramı ile ilgilenen araştırmacı ve lisansüstü 
öğrencilerinin buluşması ve güncel araştırma konuları üzerinde 
interaktif bir tartışma ortamı yaratılması amaçlanmaktadır. Konuşmalar, 
katılımcıların da etkin katılımını sağlayacak pek çok değişik ve ilginç 
problemleri içerecektir.

Çalıştayda kısa konuşmalar vermek isteyecek lisansüstü öğrencileri için 
de, çalıştayın son günü (17 Ekim Pazar günü) bir öğrenci sunumları saati 
düzenlenecektir. Bu tartışma saatine bir konuşma ya da çizge kuramı ile 
ilgili tartışılmak istenilen sorular ile katılmak mümkündür. Bu oturumda 
isteklilere (toplam talebe göre) yaklaşık 10 dakika süre verilecektir.

*Konuşmacılar:*

    * Marc Demange (ESSEC Business School, Bucharest, Romania): /Online
      Algorithms on Graph Problems (in English)/
    * Tınaz Ekim (Boğaziçi Üniversitesi): /Otomatik konjektür üretimi -
      AutoGraphiX (AGX) Sistemi/
    * Fatihcan Atay (Max Planck Institute for Mathematics in the
      Sciences, Leipzig, Almanya): /Spektral ağ kuramı/

*Program:*

15 Ekim, Cuma:      10.00/16.00
                     10.00-11.00 FA / 11.15-12.15 FA / 13.45-14.45 FA / 15.00-16.00 TE
16 Ekim, Cumartesi: 10.00/16.00
                     10.00-11.00 MD / 11.15-12.15 MD / 13.45-14.45 MD /15.00-16.00 MD
17 Ekim, Pazar:     10.00/13.00
                     10.00-11.00 TE / 11.15-11.45 TE / 12.00-13.00
                     Tartışma ve Öğrenci sunumları
   

*Konuşmalar:*

    * *On some online graph problems*
      Marc Demange, ESSEC Business School, Bucharest, Romania

      This course is a short introduction to on-line graph problems and
      their competitive analysis. This area allows modeling some
      problems where the data are not completely known when one has to
      take a decision. In an online problem indeed, the instance is not
      known in advance but it is revealed step by step along the time.
      Then, whenever a new part of the instance is revealed, an online
      algorithm has to irrevocably decide about the solution dealing
      with this part. The aim is then to devise online algorithms with
      performance guarantees using the so called competitive ratio. We
      will mainly consider worse case analyses.

      After a general introduction, the course is based on some examples
      describing the type of results and of analyses we are interested
      in. Typically we have first positive results corresponding to an
      algorithm and its competitive analysis and some negative results
      describing theoretical limits of guarantees an algorithm cannot
      reach. The aim of the course is to give some examples and methods
      for devising such results.

      We will first consider some coloring problems. At each step a new
      vertex is proposed and one has to decide its color. The most
      natural online algorithm is the so called “First Fit” assigning to
      the new vertex the first available color. We propose to analyze it
      in several classes of graphs including cographs, interval graphs
      and permutation graphs. We will also discuss some models where
      these problems arise. We conclude this part by studying the case
      of circle graphs and some open problems. The second problem we
      propose to work on is the online TSP and some of its variants and
      finally we will consider online maximum stable set and minimum
      vertex cover problems.

    *

      *Otomatik konjektür üretimi - AutoGraphiX (AGX) Sistemi*
      Tınaz Ekim, Boğaziçi Üniversitesi

      Günümüzde bilgisayarlar çizge kuramcılarına çok çeşitli şekillerde
      yardımcı olabilmektedir. Bunun en iyi bilinen örneklerinden biri
      4-renk teoreminin bilgisayar destekli kanıtıdır. Bilgisayarlar
      aynı zamanda (yarı) otomatik teorem kanıtlama ve otomatik (ya da
      interaktif) konjektür üretimi konularında da çizge kuramcılarına
      yardımcı olmaktadır. Bilinen ilk otomatik konjektür üreten program
      Graffiti, Fajtlowicz tarafından 1988’de geliştirilmiştir.
      Graffiti’nin ürettiği konjektürler üzerinde 100 civarında,
      aralarında Erdös, Alon ve Bollobas’ın da bulunduğu çizge kuramcı
      çalışmış, bazılarının doğru bazılarının da yanlış olduğu
      gösterilmiştir; ancak hala açık konjektürler de bulunmaktadır.

      AutoGraphiX (AGX) sistemi ise 2000 yılında Caporossi ve Hansen
      tarafından geliştirilmiş olup, günümüzde çizge kuramı alanında
      bilinen en kapsamlı otomatik konjektür üretme sistemidir. Temel
      fikri, belli çizge parametreleri ile tanımlanmış (kısıt altında
      olan ya da olmayan) bir kombinatoryal optimizasyon problemi için
      uç çizgeler bulmaktır. Burada uç çizge, ele alınan amaç
      fonksiyonunu optimize eden bir çizge anlamına gelmektedir. Sistem
      uç çizgeleri ararken, bir çizgeden diğerine geçmek için küçük ve
      lokal değişiklikler yapan Değişken Komşuluk Arama (Variable
      Neighborhood Search) yöntemini kullanmaktadır.

      Bu derste, AGX systeminin temel prensipleri anlatılacak ve AGX
      sistemi ile bulunan bazı konjektürler üzerinde durulacaktır.
      Özellikle yasak altçizge karakterizasyonu (forbidden subgraph
      characterization) ve spectral çizge kuramı konusunda üretilen
      konjektürler anlatılacaktır. Dersin sonunda katılımcılar
      bilgisayar üzerinde AGX sistemini interaktif olarak kullanacaklardır.

    * *Spektral ağ kuramı*
      Fatihcan Atay, Max Planck Institute for Mathematics in the
      Sciences, Leipzig, Almanya

      Bu konuşmada spektral ağ kuramının temellerı anlatılacaktır.
      Komşuluk ve Laplace matrislerinin özdeğerlerinin, bir yanda ağın
      yapısal özellikleriyle, öte yanda ağ üzerinde tanımlanan dinamik
      sistemlerin davranışıyla ilişkisi vurgulanacaktır. Bu bağlamda ağ
      üzerinde senkronizasyon, fikir birliği, kararlılık ve entropi gibi
      kavramlardan bahsedilecektir.

*Konaklama:*
Çizge Kuramı Ve Uygulamaları Çalıştayına katılacak katılımcılardan 
isteyenler (İstanbul içi ya da dışı) TÜBİTAK - Feza Gürsey Enstitüsü'nde 
ücretsiz olarak konuk edilecektir. Düzenlemenin en sağlıklı şekilde 
yapılması için İstanbul içinden ya da dışından gelecek tüm 
katılımcıların başvuru formunu doldurması gereklidir.

*Program, Istanbul Matematik Gündemindedir:*
http://www.google.com/calendar/embed?src=jdf754c331751cbt6q9vc281es%40group.calendar.google.com&ctz=Europe/Istanbul 
<http://www.google.com/calendar/embed?src=jdf754c331751cbt6q9vc281es%40group.calendar.google.com&ctz=Europe/Istanbul> 


*Başvuru için:* http://www.gursey.gov.tr/apps/app-frm-gen.php?id=gta10

*Son başvuru tarihi:* 8 Ekim 2010

*Programda konuşma vermek için lütfen iletişime geçiniz. *

*Düzenleyiciler:*
Tınaz Ekim (Boğaziçi Üniversitesi – Endüstri Mühendisliği)
Türker Bıyıkoğlu (Işık Üniversitesi – Matematik Bölümü)

*Web sayfası:* http://www.gursey.gov.tr/new/gta10/

*İletişim:* tinaz.ekim at boun.edu.tr <mailto:tinaz.ekim at boun.edu.tr>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20100922/0ae8225a/attachment.htm>