Geri Dön

Graph partitioning and semi-definite programming hierarchies

Başlık çevirisi mevcut değil.

  1. Tez No: 403412
  2. Yazar: ALİ KEMAL SİNOP
  3. Danışmanlar: Dr. VENKAT GURUSWAMI
  4. Tez Türü: Doktora
  5. Konular: Matematik, İstatistik, Mathematics, Statistics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2012
  8. Dil: İngilizce
  9. Üniversite: Carnegıe Mellon Unıversıty
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

Özet yok.

Özet (Çeviri)

Graph partitioning is a fundamental optimization problem that has been intensively studied. Many graph partitioning formulations are important as building blocks for divide-and-conquer algorithms on graphs as well as to many applications such as VLSI layout, packet routing in distributed networks, clustering and image segmentation. Unfortunately such problems are notorious for the huge gap between known best known approximation algorithms and hardness of approximation results. In this thesis, we study approximation algorithms for graph partitioning problems using a strong hierarchy of relaxations based on semi-definite programming, called Lasserre Hierachy. Our main contribution in this thesis is a propagation based rounding framework for solutions arising from such relaxations. We present a novel connection between the quality of solutions it outputs and column based matrix reconstruction problem. As part of our work, we derive optimal bounds on the number of columns necessary together with efficient randomized and deterministic algorithms to find such columns. Using this framework, we derive approximation schemes for many graph partitioning problems with running times dependent on how fast the graph spectrum grows. Our final contribution is a fast SDP solver for this rounding framework: Even though SDP relaxation has nO(r) many variables, we achieve running times of the form 2O(r) poly(n) by only partially solving the relevant part of relaxation. In order to achieve this, we present a new ellipsoid algorithm that returns certificate of infeasibility.

Benzer Tezler

  1. Mekansal-zamansal hasta hareketlilik verileriyle mekansal etkileşim örüntülerinin analizi ve akış haritaları aracı tasarımı ve geliştirilmesi

    Analysis of spatial interaction patterns using spatio temporal patient mobility data, and designing and developing a flow mapping tool

    SELMAN DELİL

    Doktora

    Türkçe

    Türkçe

    2019

    İstanbul Teknik Üniversitesi

    Bilişim Uygulamaları Ana Bilim Dalı

    Yükleniyor...

  2. Graph and hypergraph partitioning

    Çizge ve hiperçizge parçalama

    ALİ DAŞDAN

    Yüksek Lisans

    İngilizce

    İngilizce

    1993

    İhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    Yükleniyor...

  3. Combinatorial reductions between graph partitioning by vertex separator and hypergraph partitioning problems for parallel and scientific computing applications

    Paralel ve bilimsel hesaplama uygulamaları için hiperçizge bölümleme ve düğüm ayıracı ile çizge bölümleme problemlerinin birbirine kombinatoriyal dönüştürümü

    ENVER KAYAASLAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2009

    İhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar Mühendisliği Bölümü

    Yükleniyor...

  4. Graph/hypergraph partitioning models for simultaneous load balancing on computation and data

    Eş zamanlı hesaplama ve veri yükü dengeleme için çizge/hiperçizge bölümleme modelleri

    MESTAN FIRAT ÇELİKTUĞ

    Yüksek Lisans

    İngilizce

    İngilizce

    2018

    İhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    Yükleniyor...