Sol-sağ düzlemsellik testi - Left-right planarity test - Wikipedia

İçinde grafik teorisi bir dalı matematik, sol-sağ düzlemsellik testiveya de Fraysseix – Rosenstiehl düzlemsellik kriteri[1] bir karakterizasyondur düzlemsel grafikler özelliklerine göre derinlikte arama ağaçları, de Fraysseix tarafından yayınlandı ve Rosenstiehl  (1982, 1985 )[2][3] ve onlar tarafından kullanıldı Patrice Ossona de Mendez geliştirmek için doğrusal zaman düzlemsellik testi algoritma.[4][5] 2003 yılında altı düzlemsellik testi algoritmasının deneysel bir karşılaştırmasında, bu test edilen en hızlı algoritmalardan biriydi.[6]

T-benzer ve T-zıt kenarlar

Herhangi derinlik öncelikli arama bir grafik G, kenarlar keşfederken karşılaşılan tepe ilk kez derinliğe dayalı bir arama ağacı tanımlayın T nın-nin G. Bu bir Trémaux ağacı, kalan kenarların ( üçlü) her biri, birbirleriyle bir ata ve soy olarak ilişkili olan bir çift köşeyi birbirine bağlar.T. Üç tür desen, çift ağaçlı kenar çiftleri arasındaki iki ilişkiyi tanımlamak için kullanılabilir. Tbenzer ve T-karşısında ilişkiler.

Aşağıdaki şekillerde, basit daire düğümleri köşeleri temsil eder, çift daireli düğümler alt ağaçları temsil eder, bükülmüş parçalar ağaç yollarını temsil eder ve eğimli yaylar çift ağaçlı kenarları temsil eder. Her ağacın kökü şeklin altında gösterilmiştir. İlk şekilde, etiketli kenarlar ve vardır T-yine benzer, yani, ağacın köküne en yakın uç noktalarda, ikisi de her düzlemsel çizimde ağacın aynı tarafında olacakları anlamına gelir. Sonraki iki şekilde, aynı etiketlere sahip kenarlar T-karşıt, yani her düzlemsel çizimde ağacın farklı tarafında olacakları anlamına gelir.

ve T-benzer
ve T'nin tersi
ve T'nin tersi

Karakterizasyon

İzin Vermek G bir grafik ol ve izin ver T bir Trémaux ağacı olmak G. Grafik G düzlemseldir, ancak ve ancak, G iki sınıfa ayırın, böylece herhangi iki kenar aynı sınıfa aittir. T-aynı ve herhangi iki kenar varsa farklı sınıflara aittir. T-karşısında.

Bu karakterizasyon hemen (verimsiz) bir düzlemsellik testine yol açar: tüm kenar çiftleri için Tbenzer veya T-opposite, her biri için bir tepe noktası olan yardımcı bir grafik oluştururbağlı bileşen nın-nin T- aynı kenarlar ve her bir çift için bir kenar T- karşıt kenarlar ve bu yardımcı grafiğin iki parçalı. Bu algoritmayı verimli kılmak, bir alt kümeyi bulmayı içerir. Tbenzer ve Tgiriş grafiğindeki tüm kenar çiftleri arasındaki ilişkiyi belirlemeden bu yöntemi gerçekleştirmek için yeterli olan karşıt çiftler.

Referanslar

  1. ^ Auer, Christopher; Gleißner, Andreas; Hanauer, Kathrin; Vetter, Sebastian (2013), "Trenleri değiştirerek düzlemselliği test etme", Grafik Çizimi: 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers, Bilgisayar Bilimleri Ders Notları, 7704, Berlin: Springer, s. 557–558, doi:10.1007/978-3-642-36763-2_51.
  2. ^ de Fraysseix, H.; Rosenstiehl, P. (1982), "Düzlemselliğin derinlemesine arama karakterizasyonu", Çizge Teorisi (Cambridge, 1981), Ayrık Matematik Yıllıkları, 13, North-Holland, Amsterdam-New York, s. 75–80, BAY  0671906.
  3. ^ de Fraysseix, H .; Rosenstiehl, P. (1985), "Düzlemsel grafiklerin Trémaux siparişlerine göre karakterizasyonu", Kombinatorik, 5 (2): 127–135, doi:10.1007 / BF02579375, BAY  0815578.
  4. ^ de Fraysseix, Hubert; Ossona de Mendez, Patrice; Rosenstiehl, Pierre (2006), "Trémaux ağaçları ve düzlemsellik", International Journal of Foundations of Computer Science, 17 (5): 1017–1029, arXiv:math.CO/0610935, doi:10.1142 / S0129054106004248, BAY  2270949.
  5. ^ de Fraysseix, Hubert; Ossona de Mendez, Patrice (2012), "Trémaux ağaçları ve düzlemsellik", Avrupa Kombinatorik Dergisi, 33 (3): 279–293, arXiv:matematik / 0610935, doi:10.1016 / j.ejc.2011.09.012, BAY  2864415.
  6. ^ Boyer, John M .; Cortese, Pier Francesco; Patrignani, Maurizio; Di Battista, Giuseppe (2004), "P'lerinize ve Q'larınıza aldırış etmeyin: hızlı ve basit bir DFS tabanlı düzlemsellik testi ve yerleştirme algoritması uygulama", Grafik Çizimi: 11. Uluslararası Sempozyum, GD 2003 Perugia, İtalya, 21-24 Eylül 2003, Gözden Geçirilmiş Makaleler, Bilgisayar Bilimleri Ders Notları, 2912, Berlin: Springer, s. 25–36, doi:10.1007/978-3-540-24595-7_3, BAY  2177580.

daha fazla okuma