<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Degerli Matematikciler, <br>
<br>
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. <br>
<br>
Feza Gursey Enstitusu Cizge Kurami Calistayina katilanlara <b>ucretsiz</b>
konuk ediyor. <br>
Herhangi bir katilim ucreti <b>yok</b>. Calistayi lisansustu
ogrencilerine duyurabilirseniz cok seviniriz. Calistayla ilgili web
sayfasi: <a href="http://www.gursey.gov.tr/new/gta10/">http://www.gursey.gov.tr/new/gta10/</a>.
Ayrica programi asagidada gorebilirsiniz. Katilmak isteyenler lutfen
<b>8 Ekim cuma</b>ya kadar<b> web sitesinden</b> kayit yaptirmayi
unutmasinlar.<br>
<br>
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. <br>
<br>
Bol arastirmali bir akademik yil dilegiyle <br>
Turker Biyikoglu Tinaz Ekim<br>
<br>
<br>
<br>
<br>
IŞIK ÜNİVERSİTESİ <br>
<br>
Doç. Dr Türker Bıyıkoğlu <br>
Fen-Edebiyat Fakültesi <br>
Matematik Bölümü <br>
<br>
Kumbaba Mevkii, 34980 Şile - İstanbul <br>
Tel: (216) 528 71 73 <br>
Faks: (216) 712 14 74 <br>
E-mail: <a class="moz-txt-link-abbreviated"
href="mailto:turker.biyikoglu@isikun.edu.tr">turker.biyikoglu@isikun.edu.tr</a>
<br>
Web: <a class="moz-txt-link-freetext"
href="http://math.isikun.edu.tr/turker/">http://math.isikun.edu.tr/turker/</a>
<br>
<br>
<br>
<h1> Çizge Kuramı Ve Uygulamaları Çalıştayı - I<br>
<br>
Workshop On Graph Theory And Its Applications – I </h1>
<h3>15-16-17 Ekim 2010<br>
<br>
TÜBİTAK - FEZA GÜRSEY ENSTİTÜSÜ</h3>
<p>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. </p>
<p> Ç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. </p>
<p><b>Konuşmacılar:</b> </p>
<ul>
<li>Marc Demange (ESSEC Business School, Bucharest, Romania): <i>Online
Algorithms on Graph Problems (in English)</i> </li>
<li>Tınaz Ekim (Boğaziçi Üniversitesi): <i>Otomatik konjektür
üretimi - AutoGraphiX (AGX) Sistemi</i> </li>
<li>Fatihcan Atay (Max Planck Institute for Mathematics in the
Sciences, Leipzig, Almanya): <i>Spektral ağ kuramı</i> </li>
</ul>
<p><b>Program:</b> </p>
<pre>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ı
</pre>
<p><b>Konuşmalar:</b> </p>
<ul>
<li><b>On some online graph problems</b><br>
Marc Demange, ESSEC Business School, Bucharest, Romania
<p>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. </p>
<p>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. </p>
<p>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. </p>
</li>
<li>
<p><b>Otomatik konjektür üretimi - AutoGraphiX (AGX) Sistemi</b><br>
Tınaz Ekim, Boğaziçi Üniversitesi </p>
<p>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.
</p>
<p>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. </p>
<p>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. </p>
</li>
<li><b>Spektral ağ kuramı</b><br>
Fatihcan Atay, Max Planck Institute for Mathematics in the
Sciences, Leipzig, Almanya
<p>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. </p>
</li>
</ul>
<p><b>Konaklama:</b> <br>
Ç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.
</p>
<p><b>Program, Istanbul Matematik Gündemindedir:</b><br>
<a
href="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</a>
</p>
<p><b>Başvuru için:</b> <a
href="http://www.gursey.gov.tr/apps/app-frm-gen.php?id=gta10">http://www.gursey.gov.tr/apps/app-frm-gen.php?id=gta10</a>
</p>
<p><b>Son başvuru tarihi:</b> 8 Ekim 2010 </p>
<p><b>Programda konuşma vermek için lütfen iletişime geçiniz. </b>
</p>
<p><b>Düzenleyiciler:</b><br>
Tınaz Ekim (Boğaziçi Üniversitesi – Endüstri Mühendisliği)<br>
Türker Bıyıkoğlu (Işık Üniversitesi – Matematik Bölümü) </p>
<p><b>Web sayfası:</b> <a
href="http://www.gursey.gov.tr/new/gta10/">http://www.gursey.gov.tr/new/gta10/</a>
</p>
<b>İletişim:</b> <a href="mailto:tinaz.ekim@boun.edu.tr">tinaz.ekim@boun.edu.tr</a>
<br>
</body>
</html>