Buediagram
Et buediagram er en grafisk repræsentation , hvor hjørnerne er arrangeret langs en lige linje på det euklidiske plan , og kanterne er tegnet som halvcirkler på en af de to halvplaner eller som glatte kurver dannet af halvcirklerne. I nogle tilfælde bruges linjesegmenter også til at repræsentere grafkanter, hvis de forbinder tilstødende hjørner på linjen.
Navnet "buediagram" for denne repræsentation af grafer er en efterfølger til brugen af en lignende type Wattenberg-diagram [1] , som han brugte til at visualisere gentagne fragmenter af linjer ved at forbinde par af identiske delstrenge. Selve graffremstillingens stil er dog meget ældre end navnet og stammer fra Saaty [2] og Nicholsons [3] værker , som brugte buediagrammer til at studere antallet af grafers skæringspunkt . Et ældre men mindre brugt navn for buediagrammer er linjeindlejring [4] .
Heer, Bostock og Ogiwetsky [5] skrev, at buediagrammer "ikke kan udtrykke den fulde struktur af en graf så effektivt som en todimensionel repræsentation gør," men det gør det lettere at repræsentere multidimensionelle data forbundet med grafens hjørnepunkter.
Plane grafer
Som Nicholson [3] bemærkede , kan enhver indlejring af en graf i et plan konverteres til et buediagram uden at ændre antallet af skæringspunkter. Især har enhver plan graf et plan buediagram. En sådan indlejring kan dog kræve brug af mere end én halvcirkel til at tegne nogle af grafens kanter.
Hvis en graf tegnes uden buekrydsninger som et buediagram, hvor hver kant er repræsenteret af en enkelt halvcirkel, er tegningen en to-siders bogindlejring , hvilket kun er muligt for sub-Hamiltonske grafer , en delmængde af plane grafer [6 ] . For eksempel har en maksimal plan graf en sådan indlejring, hvis og kun hvis den indeholder en Hamiltonsk cyklus . En ikke-Hamiltonsk maksimal plan graf, såsom Goldner-Harari grafen, kan således ikke have en plan indlejring med en halvcirkel pr. kant. At kontrollere om en given graf har et buediagram uden skæringspunkter af denne type (eller tilsvarende, grafens bogtykkelse er to) er et NP-komplet problem [7] .
Imidlertid har enhver plan graf et buediagram, hvor hver kant er repræsenteret som en bi -bue , bestående af højst to halvcirkler. Mere strengt har enhver st -plan rettet graf (plan rettet acyklisk graf med en kilde og en sænk, begge på ydersiden) et buediagram, hvor enhver kant danner en monoton kurve, alle kurver (kanter) er rettet i samme retning [8] . For urettede plane grafer er en måde at konstruere et buediagram med højst to halvcirkler pr. kant ved at opdele grafen og tilføje flere kanter for at få en Hamiltonsk cyklus (hvor kanterne er opdelt i højst to dele), og brug derefter rækkefølgen langs Hamiltons cyklus som rækkefølgen af hjørnerne på en ret linje [9] .
Minimering af kryds
Da kontrol af om en given graf har et buediagram uden skæringer med en halvcirkel pr. kant er et NP-komplet problem, er det også et NP-svært problem at finde et buediagram, der minimerer antallet af skæringspunkter. Problemet med at minimere antallet af skæringspunkter forbliver NP-hårdt for ikke-plane grafer, selvom rækkefølgen af hjørnerne langs linjen allerede er givet [4] . Men i tilfælde af en given toppunktsrækkefølge kan en skæringsfri indlejring (hvis en sådan findes) findes i polynomisk tid ved at konvertere problemet til et 2-tilfredshedsproblem , hvor variablerne repræsenterer hver bues placering , og begrænsninger forhindrer to skærende kanter i at blive placeret langs den ene side af linjen med hjørner [10] . Derudover, i tilfælde af en fast placering af toppunkter, kan indlejringen med minimering af antallet af krydsninger tilnærmes ved at løse det maksimale skæringsproblem i en hjælpegraf, der repræsenterer halvcirkler og deres potentielle skæringspunkter [11] .
Kimikowski, Shoup [12] [13] , He, Sikora og Wrto [14] diskuterede heuristiske algoritmer til at finde buediagrammer med flere skæringspunkter.
Orientering med uret
For at repræsentere rettede grafer er den generelle konvention at rette buerne med uret, således at venstre-til-højre-buer tegnes over linjen, og højre-til-venstre-buer tegnes under linjen. Denne retningsretning med uret blev udviklet som en del af en anden stil af grafrepræsentation af en gruppe, der omfattede Fekete, Wang, Dang og Aris [15] , og Pretorius og van Wijk [16] anvendte denne stil på buediagrammer .
Andre anvendelser
Buediagrammer blev brugt af Brandes [17] til at visualisere skifteregistertilstandsdiagrammer , og af Jijev og Wrto [18] for at bevise, at skæringstallet for enhver graf mindst er lig med kvadratet af dens skærebredde.
Noter
- ↑ Wattenberg, 2002 .
- ↑ Saaty, 1964 .
- ↑ 12 Nicholson , 1968 .
- ↑ 1 2 Masuda, Nakajima, Kashiwabara, Fujisawa, 1990 .
- ↑ Heer, Bostock, Ogievetsky, 2010 .
- ↑ Anvendelsen af halvcirkler til at tegne kanter i bogindlejring blev allerede brugt af Bernhart og Kainen i 1979 ( Bernhart, Kainen 1979 ), men den eksplicitte association af buediagrammer med to-siders indlejringer synes at skyldes Masuda, Nakajima, Kashiwabara, og Fujisawa ( Masuda, Nakajima, Kashiwabara, Fujisawa 1990 ).
- ↑ Chung, Leighton, Rosenberg, 1987 .
- ↑ Giordano, Liotta, Mchedlidze, Symvonis, 2007 .
- ↑ Bekos, Kaufmann, Kobourov, Symvonis, 2013 .
- ↑ Efrat, Erten, Kobourov, 2007 .
- ↑ Cimikowski, Mumey, 2007 .
- ↑ Cimikowski, Shope, 1996 .
- ↑ Cimikowski, 2002 .
- ↑ He, Sykora, Vrt'o, 2005 .
- ↑ Fekete, Wang, Dang, Aris, 2003 .
- ↑ Pretorius, van Wijk, 2007 .
- ↑ Brandes, 1999 .
- ↑ Djidjev, Vrt'o, 2002 .
Litteratur
- Michael A. Bekos, Michael Kaufmann, Stephen G. Kobourov, Antonios Symvonis. Graftegning: 20th International Symposium, GD 2012 , Redmond, WA, USA, 19.-21. september 2012, Revised Selected Papers. - Springer, 2013. - T. 7704. - S. 150-161. — (Forelæsningsnotater i datalogi). - doi : 10.1007/978-3-642-36763-2_14 .
- Frank R. Bernhart, Paul C. Kainen. Bogtykkelsen af en graf // Journal of Combinatorial Theory . - 1979. - T. 27 , no. 3 . — S. 320–331 . - doi : 10.1016/0095-8956(79)90021-2 .
- Ulrik Brandes. Graftegning: 7th International Symposium, GD'99 , Štiřín Castle, Tjekkiet 15.-19. september 1999, Proceedings. - Springer, 1999. - T. 1731. - S. 410-415. — (Forelæsningsnotater i datalogi). - doi : 10.1007/3-540-46648-7_42 .
- Fan RK Chung, Frank T. Leighton, Arnold L. Rosenberg. Indlejring af grafer i bøger: Et layoutproblem med applikationer til VLSI-design // SIAM Journal om algebraiske og diskrete metoder. - 1987. - T. 8 . — s. 33–58 . - doi : 10.1137/0608002 . .
- Robert Cimikowski. Algoritmer for det faste lineære krydsningsnummerproblem // Diskret anvendt matematik. - 2002. - T. 122 . — s. 93–115 . - doi : 10.1016/S0166-218X(01)00314-6 .
- Robert Cimikowski, Brendan Mumey. Tilnærmelse af det faste lineære krydsningstal // Diskret anvendt matematik. - 2007. - T. 155 . — S. 2202–2210 . - doi : 10.1016/j.dam.2007.05.009 .
- Robert Cimikowski, Paul Shope. En neural-netværksalgoritme til et graflayoutproblem // IEEE-transaktioner på neurale netværk. - 1996. - T. 7 . — S. 341–345 . - doi : 10.1109/72.485670 .
- Hristo Djidjev, Imrich Vrt'o. Graftegning: 9th International Symposium, GD 2001 , Wien, Østrig, 23.-26. september 2001, Revised Papers. - Springer, 2002. - T. 2265. - S. 96–101. — (Forelæsningsnotater i datalogi). - doi : 10.1007/3-540-45848-4_8 . .
- Alon Efrat, Cesim Erten, Stephen G. Kobourov. Cirkulær buetegning med fast placering af plane grafer // Journal of Graph Algorithms and Applications . - 2007. - T. 11 . — S. 145–164 . - doi : 10.7155/jgaa.00140 .
- Jean-Daniel Fekete, David Wang, Niem Dang, Aleks Aris, Catherine Plaisant. IEEE Symp. om Informationsvisualisering, Plakatkompendium. - 2003. - S. 82–83.
- Francesco Giordano, Giuseppe Liotta, Tamara Mchedlidze, Antonios Symvonis. Algoritmer og beregninger: 18. internationale symposium, ISAAC 2007, Sendai, Japan, 17.-19. december 2007, Proceedings. - Springer, 2007. - T. 4835. - S. 172-183. — (Forelæsningsnotater i datalogi). - doi : 10.1007/978-3-540-77120-3_17 .
- Hongmei He, Ondrej Sýkora, Imrich Vrt'o. Krydsminimeringsheuristik for 2-siders tegninger // Elektroniske noter i diskret matematik. - 2005. - T. 22 . — S. 527–534 . - doi : 10.1016/j.endm.2005.06.088 .
- Sumio Masuda, Kazuo Nakajima, Toshinobu Kashiwabara, Toshio Fujisawa. Krydsminimering i lineær indlejring af grafer // IEEE-transaktioner på computere . - 1990. - T. 39 . — S. 124–127 . - doi : 10.1109/12.46286 .
- TAJ Nicholson. Permutationsprocedure for at minimere antallet af krydsninger i et netværk // Proceedings of the Institution of Electrical Engineers. - 1968. - T. 115 . — S. 21–26 . - doi : 10.1049/piee.1968.0004 .
- AJ Pretorius, JJ van Wijk. Brydning af det semantiske hul: Visualisering af overgangsgrafer med brugerdefinerede diagrammer // IEEE Computer Graphics and Applications. - 2007. - T. 27 . — s. 58–66 . - doi : 10.1109/MCG.2007.121 .
- Thomas L. Saaty. Minimumsantallet af kryds i komplette grafer // Proceedings of the National Academy of Sciences of the United States of America . - 1964. - T. 52 . — S. 688–690 . - doi : 10.1073/pnas.52.3.688 .
- M. Wattenberg. Proc. IEEE Symposium on Information Visualization (INFOVIS 2002). - 2002. - S. 110-116. - doi : 10.1109/INFVIS.2002.1173155 .