İçeriğe atla

Çizgi grafiği

Grafik teorisinin matematiksel disiplininde, yönlendirilmemiş bir G grafiğinin çizgi grafiği, G'nin kenarları arasındaki bitişiklikleri temsil eden başka bir L (G) grafiğidir.. L(G) şu şekilde oluşturulur: G'deki her kenar için, L(G)'de bir tepe noktası yapılır; G'de ortak bir tepe noktasına sahip her iki kenar için, L(G)'de karşılık gelen köşeleri arasında bir kenar yapılır.

Hem Whitney (1932) hem de Krausz (1943) yapıyı bundan önce kullanmış olmasına rağmen, isim çizgisi grafiği Harary & Norman (1960) tarafından yazılan bir makaleden alınmıştır.[1] Çizgi grafiği için kullanılan diğer terimler arasında kaplama grafiği, türev, uçtan köşeye ikili, eşlenik, temsili grafik ve ϑ-obrazom [1] ile kenar grafiği, değişim grafiği, ek grafik ve türetilmiş grafik vardır.[2]

Hassler Whitney (1932), istisnai bir durumla, bağlantılı bir G grafiğinin yapısının, çizgi grafiğinden tamamen kurtarılabileceğini kanıtladı.[3] Çizgi grafiklerin diğer birçok özelliği, alttaki grafiğin özelliklerini köşelerden kenarlara çevirerek takip eder ve Whitney teoremine göre aynı çeviri diğer yönde de yapılabilir. Çizgi grafikler pençesizdir ve iki parçalı grafiklerin çizgi grafikleri mükemmeldir. Çizgi grafikler dokuz yasak alt grafik ile karakterize edilir ve doğrusal zamanda tanınabilir.

Çizgi grafikler, çoklu grafiklerin çizgi grafikleri, hiper grafiklerin çizgi grafikleri ve ağırlıklı grafiklerin çizgi grafikleri dahil olmak üzere bir çizgi grafiği kavramının çeşitli uzantıları incelenmiştir.

Resmi tanımlama

Bir G grafiği verildiğinde, çizgi grafiği L (G ) şöyle bir grafiktir:

  • Her bir köşe L (G) G, bir kenarı temsil eder; ve
  • L (G ) ' nin iki köşesi, ancak ve ancak karşılık gelen kenarları G'de ortak bir uç noktayı paylaşıyorsa ("olaydır") bitişiktir .

Yani, G'nin kenarlarının kesişim grafiğidir ve her bir kenarı, iki uç noktası kümesi ile temsil eder.[2]

Örnek

Aşağıdaki şekiller bir grafiği (solda, mavi köşeli) ve çizgi grafiğini (sağda, yeşil köşeli) gösterir. Çizgi grafiğin her tepe noktası, orijinal grafikte karşılık gelen kenarın uç nokta çifti ile etiketlenmiş olarak gösterilir. Örneğin, sağdaki 1,3 etiketli yeşil köşe, 1 ve 3 numaralı mavi köşeler arasındaki soldaki kenara karşılık gelir. Yeşil köşe 1,3, diğer üç yeşil köşeye bitişiktir: 1,4 ve 1,2 (mavi grafikte uç noktası 1'i paylaşan kenarlara karşılık gelir) ve 4,3 (mavi grafikte uç nokta 3'ü paylaşan bir kenara karşılık gelir) ).

Özellikleri

Temel grafiğin çevrilmiş özellikleri

Sadece kenarlar arasındaki bitişikliğe bağlı olan bir G grafiğinin özellikleri, köşeler arasındaki bitişikliğe bağlı olan L (G ) 'de eşdeğer özelliklere çevrilebilir. Örneğin, G'deki bir eşleştirme, ikisi bitişik olmayan ve L (G ) 'de ikisi bitişik olmayan, yani bağımsız bir küme olan bir köşe kümesine karşılık gelen bir kenar kümesidir.[4]

Böylece,

  • Bağlı bir grafiğin çizgi grafiği bağlıdır. G, bağlı ise, bir içeren bir yol L köşe (G) herhangi iki içeren L (G) 'de bir yol anlamına kenarlarından herhangi iki bağlantı. Bununla birlikte, bazı izole köşeleri olan ve bu nedenle bağlantısı kesilen bir G grafiği yine de bağlantılı bir çizgi grafiğine sahip olabilir.[5]
  • Bir çizgi grafiğin bir artikülasyon noktası vardır, ancak ve ancak temeldeki grafik hiçbir uç noktanın birinci derecesine sahip olmadığı bir köprüye sahipse.[2]
  • N köşenin ve m, kenarlı bir grafik G, satır grafik L köşelerin (G) sayısı m ve L (G) kenarlarının sayısı karelerinin yarısı toplamıdır derece köşe bölgesindeki G, eksi m .[6]
  • Bir bağımsız ayar L (G) bir karşılık gelen eşleştirme G. Özel olarak, bir maksimum bağımsız ayar L (G) 'ye karşılık gelir, maksimum karşılaştırma G. Maksimum eşleşmeler polinom zamanda bulunabildiğinden, daha genel grafik aileleri için maksimum bağımsız küme probleminin sertliğine rağmen, maksimum bağımsız çizgi grafik setleri de olabilir.[4] Benzer şekilde, bir gökkuşağı bağımsız ayar L (G) bir karşılık gelen gökkuşağı eşleme G.
  • Bir G grafiğinin kenar kromatik numarası, çizgi grafiğinin L (G ) köşe kromatik sayısına eşittir.[7]
  • Kenar geçişli grafiğin çizgi grafiği köşe geçişlidir . Bu özellik, (Petersen grafiği gibi) tepe geçişli ancak Cayley grafikleri olmayan grafik aileleri oluşturmak için kullanılabilir: G, en az beş köşesi olan, iki uçlu olmayan ve tek bir tepe noktasına sahip bir kenar geçişli grafikse derece, o zaman L (G ) bir tepe geçişli Cayley olmayan grafiktir.[8]
  • Bir G grafiğinin bir Euler döngüsü varsa, yani, G bağlıysa ve her tepe noktasında çift sayıda kenara sahipse, G'nin çizgi grafiği Hamiltoniyen'dir . Ancak, çizgi grafiklerindeki tüm Hamilton döngüleri bu şekilde Euler döngülerinden gelmez; örneğin, bir Hamilton grafiği G'nin çizgi grafiğinin kendisi, G'nin Eulerian olup olmadığına bakılmaksızın Hamiltoniyendir.[9]
  • İki basit grafik izomorfikse, çizgi grafikleri de izomorftur. Whitney grafiği izomorfizm teoremi, bir çift grafiğin tümü için bunun tersini sağlar.
  • Karmaşık ağ teorisi bağlamında, rastgele bir ağın çizgi grafiği, küçük dünya özelliği (tüm köşe çiftleri arasındaki kısa yolların varlığı) ve derece dağılımının şekli gibi ağın birçok özelliğini korur. [10] Evans & Lambiotte (2009), karmaşık bir ağda köşe kümelerini bulmaya yönelik herhangi bir yöntemin çizgi grafiğe uygulanabileceğini ve bunun yerine kenarlarını kümelemek için kullanılabileceğini gözlemler.

Kaynakça

  1. ^ a b Hemminger & Beineke (1978).
  2. ^ a b c Harary (1972), p. 71.
  3. ^ Whitney (1932); Krausz (1943); Harary (1972), Theorem 8.3, p. 72. Harary gives a simplified proof of this theorem by Jung (1966).
  4. ^ a b Combinatorial Optimization and Theoretical Computer Science: Interfaces and Perspectives, John Wiley & Sons, 2010, s. 394, ISBN 9780470393673, Clearly, there is a one-to-one correspondence between the matchings of a graph and the independent sets of its line graph. 
  5. ^ The need to consider isolated vertices when considering the connectivity of line graphs is pointed out by Cvetković, Rowlinson & Simić (2004), p. 32.
  6. ^ Harary (1972), Theorem 8.1, p. 72.
  7. ^ Graph Theory, Graduate Texts in Mathematics, 173, Springer, 2006, s. 112, ISBN 9783540261834 . Also in free online edition 21 Ekim 2013 tarihinde Wayback Machine sitesinde arşivlendi., Chapter 5 ("Colouring"), p. 118.
  8. ^ Topics in graph automorphisms and reconstruction, London Mathematical Society Student Texts, 54, Cambridge: Cambridge University Press, 2003, s. 44, ISBN 0-521-82151-7, 2 Ocak 2014 tarihinde kaynağından arşivlendi, erişim tarihi: 2 Ocak 2021 . Lauri and Scapellato credit this result to Mark Watkins.
  9. ^ Harary (1972), Theorem 8.8, p. 80.
  10. ^ Ramezanpour, Karimipour & Mashaghi (2003).

Dış bağlantılar

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Üçgen</span> üçgen düzlemde birbirine doğrusal olmayan üç noktayı birleştiren üç doğru parçasının birleşimi

Bir üçgen düzlemde birbirine doğrusal olmayan üç noktayı birleştiren üç doğru parçasının birleşimidir. Üçgene müselles ve üçbucak da denir.

<span class="mw-page-title-main">Kalkülüs</span>

Başlangıçta sonsuz küçük hesap veya "sonsuz küçüklerin hesabı" olarak adlandırılan kalkülüs, geometrinin şekillerle çalışması ve cebirin aritmetik işlemlerin genellemelerinin incelenmesi gibi, kalkülüs sürekli değişimin matematiksel çalışmasıdır.

<span class="mw-page-title-main">Kutu grafiği</span>

İstatistik biliminde kutu grafiği bir betimsel istatistik ve istatistiksel grafik aleti olup niceliksel verileri görsel şekilde özetlemek için Amerikan istatistikçi John Tukey tarafından kutu-ve-bıyıklar grafiği adı altında bir açıklayıcı veri analizi aracı olarak ilk defa geliştirilmiştir. Kutu grafiği, ilgili değişken bakımından veri için hazırlanan beş sayılı özetleme tablosu gösterimini grafiksel olarak özetlemeye dayalıdır. Özellikle merkezsel konum, yayılma, çarpıklık ve basıklık yönünden verileri özetlemek ve aykırı değerleri tanımlamak için kullanılır.

<span class="mw-page-title-main">Dört yüzlü</span>

Geometride tetrahedron veya dört yüzlü, dört üçgen yüzden oluşan bir çokyüzlüdür (polihedron), her köşesinde üç üçgen birleşir. Düzgün dört yüzlü dört üçgenin eşkenar olduğu bir dört yüzlüdür ve Platonik cisimlerden biridir. Dörtyüzlü, dört yüzü olan tek konveks çokyüzlüdür. Tetrahedron isminin sıfat hali "tetrahedral"dır.

Go oyununda pek çok özel terim vardır. Dünyanın pek çok yerinde olduğu gibi, Türkiye'de de bu terimlerin genellikle Japoncaları kullanılır.

<span class="mw-page-title-main">Thales teoremi</span>

Geometride, Thales teoremi, A, B ve C, AC çizgisinin bir çap olduğu bir daire üzerinde farklı noktalar ise, ∠ABC açısının bir dik açı olduğunu belirtir. Thales teoremi, çevre açı teoreminin özel bir durumudur ve Öklid'in Elemanlar adlı eserinin üçüncü kitabında 31. önermenin bir parçası olarak bahsedilmiş ve kanıtlanmıştır. Genellikle, teoremin keşif için şükran kurbanı olarak bir öküz sunduğu söylenen Miletli Thales'e atfedilir, ancak bazen Pisagor'a da atfedilir.

<span class="mw-page-title-main">İki parçalı graf</span>

Graf teorisinde, düğümleri her kenar iki kümede de birer bitiş ucuna sahip olacak şekilde iki ayrı kümeye ayrılabilen graflara iki parçalı graf adı verilir.

<span class="mw-page-title-main">Düğüm (matematik)</span> grafik teorisinde, bir grafikteki diğer birimlerle, kenarlarla bağlantılı birim

Düğüm matematikte ve özellikle çizge teorisinde, bir çizgeyi oluşturan temel elemandır. Bir çizge temel olarak düğüm ve kenarlardan oluşur. Çizge görselleştirilirken genellikle düğümler çember, kenarlar da çizgi veya ok şeklinde gösterilir.

Gölgelendirici, bilgisayar grafiklerinde gölgeleme için orijinal olarak kullanılan ancak şimdi çeşitli bilgisayar grafiklerinde çeşitli özel işlevler yerine getiren bir bilgisayar programı türüdür. Özel efektler veya gölgeleme ile ilişkili olmayan video post-processing'leri veya hatta grafiklerle ilgisiz işlevleri yapar.

<span class="mw-page-title-main">Graf (matematik)</span> kenarlarla çiftler halinde bağlanmış köşeler

Matematikte graf ya da çizge, nesne çiftlerinin bir anlamda "ilişkili" olduğu bir dizi nesne kümesini belirleyen bir yapıdır. Nesneler, köşeler adı verilen matematiksel soyutlamalara karşılık gelir ve ilgili düğüm çiftlerinin her birine bir kenar, ayrıt adı verilir. Tipik olarak bir graf, kenarları için çizgiler veya eğriler ile birleştirilen, düğümler için bir nokta veya daire kümesi olarak diyagram şeklinde gösterilir. Graflar ayrık matematikte çalışmanın amaçlarından biridir.

<span class="mw-page-title-main">Crossbar (Pasch) teoremi</span> Diğer iki ışın arasındaki bir ışın, ilk iki ışın arasındaki herhangi bir çizgi parçasını keser.

Geometride Crossbar (Pasch) teoremi, ışını ışını ile ışını arasındaysa, ışınının doğrusu parçasını keseceğini belirtir.

<span class="mw-page-title-main">Gnomon teoremi</span> Bir gnomonda meydana gelen belirli paralelkenarlar eşit büyüklükte alanlara sahiptir.

Gnomon teoremi, bir gnomon'da meydana gelen belirli paralelkenarların eşit büyüklükte alanlara sahip olduğunu belirtir. Gnomon, geometride benzer bir paralelkenarı daha büyük bir paralelkenarın bir köşesinden çıkararak oluşturulan bir düzlem şeklidir; veya daha genel olarak, belirli bir şekle eklendiğinde, aynı şekle sahip daha büyük bir şekil oluşturan bir şekildir.

<span class="mw-page-title-main">Bottema teoremi</span>

Bottema teoremi, Hollandalı matematikçi Oene Bottema tarafından matematik literatürüne kazandırılmış olan düzlem geometride bir teoremdir.

<span class="mw-page-title-main">Braikenridge–Maclaurin teoremi</span>

Geometride, 18. yüzyıl İngiliz matematikçileri William Braikenridge ve Colin Maclaurin'in adını taşıyan Braikenridge–Maclaurin teoremi, Pascal teoreminin tersidir. Braikenridge–Maclaurin teoremine göre bir altıgenin üç karşıt kenarı üç eşdoğrusal noktada buluşursa, altı köşe bir konik üzerinde yer alır ve bu da bir çift doğruya dejenere edilebilir.

<span class="mw-page-title-main">Brianchon teoremi</span>

Geometride Brianchon teoremi, bir konik kesit etrafındaki bir altıgen ile sınırlandırıldığında, ana köşegenlerinin tek bir noktada kesiştiğini belirten bir teoremdir. Adını Fransız matematikçi Charles Julien Brianchon'dan (1783–1864) almıştır.

<span class="mw-page-title-main">Çember sıkıştırma teoremi</span>

Çember sıkıştırma teoremi, düzlemde iç kısımları ayrık olan çemberler arasındaki olası teğetlik ilişkilerini tanımlar. Dairesel sıkıştırma, içleri ayrık olan bağlantılı bir çember koleksiyonudur. Bir çember sıkıştırmasının kesişme çizgesi (grafı), her çember için bir tepe noktasına ve teğet olan her çember çifti için bir kenara sahip olan çizgedir. Çember sıkıştırma, düzlemde veya eşdeğer olarak küre üzerindeyse, kesişme çizgesine madeni para (coin) çizgesi denir; daha genel olarak, iç-ayrık geometrik nesnelerin kesişme çizgelerine, teğetlik çizgeleri veya temas çizgeleri denir. Madeni para çizgeleri her zaman bağlı, basit ve düzlemseldir. Çember sıkıştırma teoremi, bunların bir çizgenin madeni para çizgesi olması için tek gereklilik olduğunu belirtir:

Dış açı teoremi, bir üçgenin bir dış açısının ölçüsünün, uzak iç açılarının ölçülerinden daha büyük olduğunu belirten Ökllid'in Elemanlar'ı Önerme 1.16'dır. Bu, mutlak geometride temel bir sonuçtur çünkü ispatı paralellik postülatına bağlı değildir.

<span class="mw-page-title-main">Anne teoremi</span>

Fransız matematikçi Pierre-Leon Anne'in (1806-1850) adını taşıyan Anne teoremi, dışbükey dörtgen içindeki belirli alanların eşitliğini tanımlayan Öklid geometrisinden bir teoremdir.

<span class="mw-page-title-main">Batlamyus eşitsizliği</span>

Öklid geometrisinde, Batlamyus eşitsizliği, düzlemde veya daha yüksek boyutlu bir uzayda dört nokta tarafından oluşturulan altı uzunluğu ilişkilendirir. Herhangi bir A, B, C ve D noktası için aşağıdaki eşitsizliğin geçerli olduğunu belirtir:

.
<span class="mw-page-title-main">Harcourt teoremi</span>

Geometride Harcourt teoremi, kenar uzunluklarının bir fonksiyonu olarak ve kendi iç teğet çemberine teğet olan rastgele bir doğrudan köşelerinin dikey uzunluklarının bir fonksiyonu olarak üçgenin alanı ile ilgili bir formüldür. Teorem adını İrlandalı bir profesör olan J. Harcourt'tan almıştır.