Graf invariant
En grafinvariant i grafteori är ett vanligtvis numeriskt värde eller en ordnad uppsättning värden ( hashfunktion ) , vilket kännetecknar grafens struktur och inte beror på metoden för att markera hörnen eller grafisk representation av grafen . Det spelar en viktig roll för att kontrollera grafernas isomorfism , såväl som i datorkemiproblem .
![G=\langle A,V\rangle](https://wikimedia.org/api/rest_v1/media/math/render/svg/f84d70cd3501745ceedaea9f08ca8060a64caaba)
Exempel på invarianter
Grafinvarianter inkluderar:
- Diametern på grafen är längden på den kortaste vägen (avståndet) mellan paret av de mest avlägsna hörnen.
![\mathrm {diam} (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b20a2ae72ac2283eab1348b30d6217eb7682846)
- Invariant av Colin de Verdière .
- Wienerindexet är värdet , där är det minsta avståndet mellan hörnen och .
![w=\sum _{{\forall i,j}}d(v_{i},v_{j})](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ee0a82a0cb8bf3c4088c366bc1068790b672b43)
![d(v_{i},v_{j})](https://wikimedia.org/api/rest_v1/media/math/render/svg/72daa465d8c26659adf50d2e6fb78fd4a9c1c9bb)
![v_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dffe5726650f6daac54829972a94f38eb8ec127)
![v_{j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73fffa4919c0d6268f6a8d9f38c04dd3296fd0a5)
- Randic index är värdet .
![r=\summa _{{(v_{i},v_{j})\in V)){\frac {1}({\sqrt {d(v_{i})d(v_{j)))) ) }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9c0e6b8bf98781e97a32594dd361b6b7cbb4799)
- Hosoya-indexet är antalet kantmatchningar i grafen plus en.
- Mini- och maxkod för närliggande matris, erhållen genom att skriva ut de binära värdena för närliggande matris på en rad, följt av att konvertera det resulterande binära talet till decimalform. Minikod motsvarar en sådan ordning av rader och kolumner, där det resulterande värdet är det minsta möjliga; maxi-kod - respektive maximum.
![\mu _{{min}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a31707211055e25a35bd10f3b23a66d4ba4cabc)
![\mu _{{max}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/38dc811d4abc1c81ca31ef026bc6167c21e144dc)
- Det minsta antalet hörn som måste tas bort för att få en frånkopplad graf .
- Det minsta antalet kanter som måste tas bort för att få en frånkopplad graf.
- Det minsta antalet hörn som behövs för att täcka kanter.
- Det minsta antalet kanter som behövs för att täcka topparna.
- Otätheten för en graf är antalet hörn av en maximal (med avseende på inkludering) kantlös subgraf (det största antalet parvisa icke-angränsande hörn). Det är lätt att se det och .
![\epsilon (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/67f061dcba8a9b584a367a125eadf58aca7ad528)
![\varphi (G)=\epsilon (\overline {G})](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c40a65675ea4f2920241d263ef537cdfc6b3b29)
![\epsilon (G)=\varphi (\overline {G})](https://wikimedia.org/api/rest_v1/media/math/render/svg/47fbd281ef7f973c4b3080ed39b5b27c8f8af195)
- Grafens omkrets är antalet kanter i den minsta cykeln.
- Adjacensmatrisdeterminant . _
- Grafens densitet är antalet hörn med den maximala inkluderingsklicken .
![\varphi (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a8017537912c9982e3941eaf3221b4e7876a3b5)
- En stigande eller fallande vektor av vertexgrader — när man använder uppräkningsalgoritmer för att bestämma grafisomorfism, väljs hörn med sammanfallande grader som förment isomorfa hörnpar, vilket hjälper till att minska komplexiteten i uppräkningen. Användningen av denna invariant för k-homogena grafer minskar inte beräkningskomplexiteten för uppräkning, eftersom graderna för alla hörn i en sådan graf är desamma: .
![s(G)=(d(v_{1}),d(v_{2}),\dots ,d(v_{n}))](https://wikimedia.org/api/rest_v1/media/math/render/svg/812145ee3e81e8c67e737c73b83a877f7b4464d7)
![s(G)=(k,k,\prickar,k)](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcfdc946adfdb55c340d1921b79145d00243bb6a)
- En stigande eller fallande vektor av egenvärden för en grafs närliggande matris (grafspektrum). Själva närliggande matrisen är inte en invariant, eftersom när numreringen av hörn ändras, genomgår den en permutation av rader och kolumner.
- Antal hörn och antal bågar/kanter .
![n(G)=|A|](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7be5d366508e25f7c97968b840fea721bee75b2)
![m(G)=|V|](https://wikimedia.org/api/rest_v1/media/math/render/svg/1717ba93d1ce1793609713018422e4c6f75c2c7c)
- Antalet anslutna komponenter i grafen .
![\kappa (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b77bb1e6f4cb161f736c8770bf755a0c1852c12)
- Hadwiger nummer .
![\eta (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/260daa65c4730ddf2d68c60172539edcf57a83fe)
- Det karakteristiska polynomet för närliggande matris.
- Kromatiskt nummer .
![\chi (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a825aa31788f0948b5fd759acd7adcbbe512258)
Som en invariant kan man betrakta inte ett av ovanstående tal, utan deras tupel (superindex) av formen , som i sin tur kan associeras med ett polynom av formen
![(p_{0},p_{1},p_{2},\dots )](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b57acd89b2e7739d2fa3645c2940166981de335)
summering utförs upp till det sista värdet som inte är noll . På liknande sätt kan flera grafinvarianter introduceras:
![pi}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bab39399bf5424f25d957cdc57c84a0622626d2)
, där är antalet hörn av grad i;![gräv)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac67352c77dc7811c574c45411b60c8988955b5c)
, där är antalet kantlösa i-vertex subgrafer;![e_{i}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7f2495dfd14ed9625d551fd8845bfec3089acf6)
, där är antalet kompletta i-vertex subgrafer (i-klickar);![fikon)](https://wikimedia.org/api/rest_v1/media/math/render/svg/1903f9ab77f42dd36d9d7b9df24a1583da3cb1ba)
, där är antalet olika sammandragningar av den anslutna grafen per klick;![Hej g)](https://wikimedia.org/api/rest_v1/media/math/render/svg/56cce4f0e019268e1e0f1d5818ce83a7549248fb)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
, där är antalet anslutna komponenter från i hörn;![k_{i}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea92d0ff038e37f0ddb69f7a985deae3fe3b80b6)
, där är antalet i-färgningar i grafen (korrekta färger med exakt i-färger).![y_{i}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e67f145d17f79658d02676d1bc3f179cf191857)
System av grafinvarianter beroende på två eller flera parametrar kan skrivas som polynom i flera formella variabler. Till exempel:
![x,y,z,\prickar](https://wikimedia.org/api/rest_v1/media/math/render/svg/912f1d8128ce09d42f8e052416c3b2e627bc10ef)
, där är antalet subgrafer i grafen som har hörn och kanter;![\alpha _{{ij}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad0fb2e24ad9c9da2c6b69b75c1348df3686f08b)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![i](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
, där är antalet i-vertex subgrafer för vilka antalet nålar (kanter som förbinder subgrafens hörn med resten av grafens hörn) är lika med ;![\beta _{{ik}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/683cb6d77b8efebb97eae57e3a386a480e523468)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
, där är antalet i-vertex subgrafer med kanter och nålar (generalisering av invarianter och );![s_{{ijk}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/3eb57481ead06988740f7d71c7ce60cd7ea73118)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![A(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa6d670197499981ad74f41d16fd1631eb333e35)
![B(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccbefc974d7ee89d84ae19d24c64949b36d74116)
- Polynom Tatta .
Sammankomsten av invarianter är ett nödvändigt men inte tillräckligt villkor för närvaron av en isomorfism [1]
Komplett invariant
En invariant sägs vara komplett om sammanträffandet av grafinvarianter är nödvändig och tillräcklig för att etablera en isomorfism. Till exempel är vart och ett av värdena och en fullständig invariant för en graf med ett fast antal hörn .
![\mu _{{min}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a31707211055e25a35bd10f3b23a66d4ba4cabc)
![\mu _{{max}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/38dc811d4abc1c81ca31ef026bc6167c21e144dc)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Komplexiteten i beräkningen
Invarianterna skiljer sig åt i beräkningens komplexitet. Invarianterna , , och beräknas trivialt, medan beräkningen av invarianterna , , , , , och de som beror på dem kan vara ganska beräkningsmässigt svårt . Det finns probabilistiska algoritmer för att bestämma värdena för de givna "svårberäknade" invarianterna, men användningen av sådana algoritmer är inte alltid tillåten.
![n(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0bebe28edbd24369adf296dbaf12ecdab99c065)
![m(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5fbb62ad96d1288a60ee8dee0a780974eaa1ecb)
![s(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ed71fdf96c48f62d364c7f990d3fb54ffe44634)
![\kappa (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b77bb1e6f4cb161f736c8770bf755a0c1852c12)
![\varphi (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a8017537912c9982e3941eaf3221b4e7876a3b5)
![\epsilon (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/67f061dcba8a9b584a367a125eadf58aca7ad528)
![\chi (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a825aa31788f0948b5fd759acd7adcbbe512258)
![\eta (G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/260daa65c4730ddf2d68c60172539edcf57a83fe)
![\mu _{{min}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a31707211055e25a35bd10f3b23a66d4ba4cabc)
![\mu _{{max}}(G)](https://wikimedia.org/api/rest_v1/media/math/render/svg/38dc811d4abc1c81ca31ef026bc6167c21e144dc)
För närvarande är en komplett grafinvariant som kan beräknas i polynomtid okänd, men det har inte bevisats att den inte existerar. Försök att hitta det gjordes upprepade gånger på 60-80-talet av XX-talet , men misslyckades.
Tillämpningar inom datorkemi
Många invarianter ( topologiska index ) används inom datorkemi för att lösa en lång rad allmänna och speciella problem [2] . Dessa uppgifter inkluderar: sökning efter substanser med förutbestämda egenskaper (sökning efter "struktur-egenskap", "struktur-farmakologisk aktivitet" typ beroenden), primär filtrering av strukturell information för icke-repetitiv generering av molekylära grafer av en given typ, och ett antal andra. Ofta, tillsammans med topologiska index (beroende endast på molekylens struktur), används också information om föreningens kemiska sammansättning [3] .
Se även
Anteckningar
- ↑ Zykov A. A. [www.bookshunt.ru/b5868_osnovi_teorii_grafov Fundamentals of Graph Theory]. — M .: Nauka, 1986. — 384 sid. - ISBN 978-5-9502-0057-1 .
- ↑ Kemiska tillämpningar av topologi och grafteori = Kemiska tillämpningar av topologi och grafteori / Ed. R. kung. — M .: Mir, 1987. — 560 sid.
- ↑ M. I. Trofimov, E. A. Smolensky, Proceedings of the Academy of Sciences. Chemical series , 2005, sid. 2166-2176.