Bladkraft - Leaf power

Ett träd (överst) och dess motsvarande trebladiga kraft (botten)

I det matematiska området för grafteori är en k- bladkraft hos ett träd en graf vars hörn är bladen av och vars kanter förbinder par av löv vars avstånd är högst . Det vill säga är en inducerad subgraf av grafkraften , inducerad av bladen av . För en graf konstruerad på detta sätt kallas en k- bladrot av .

En graf är ett blad makt om det är en -leaf kraft för vissa . Dessa diagram har tillämpningar i fylogeni , problemet med att rekonstruera evolutionära träd.

Relaterade klasser av diagram

Eftersom kraften i starkt ackordiska grafer är starkt ackordal och träd är starkt ackordal, följer det att bladkrafter är starkt ackorddiagram. Egentligen bildar bladkrafter en ordentlig underklass av starkt ackordala grafer; ett diagram är en bladeffekt om och endast om det är en fast tolerans NeST-graf och sådana grafer är en riktig underklass av starkt ackorddiagram.

I Brandstädt et al. (2010) visas att intervalldiagram och den större klassen rotade riktade bandiagram är bladkrafter. De likgiltighet kurvor är exakt blad befogenheter vars underliggande träd är larv träd .

Den k -leaf befogenheter avgränsas värden av k Ha avgränsat klicken bredd , men detta är inte fallet med blad befogenheter med obegränsad exponenter.

Struktur och erkännande

Olöst problem inom datavetenskap :

Finns det en polynom- tidsalgoritm för att känna igen bladkrafter eller -bladkrafter för ?

Ett diagram är en tvåbladig kraft om och endast om det är den ojämna sammansättningen av klick (dvs. ett klusterdiagram ).

En graf är en trebladig kraft om och bara om det är ett (tjur, dart, pärla) -fritt ackorddiagram . Baserat på denna karaktärisering och liknande kan 3-bladskrafter kännas igen linjärt .

Karaktäriseringar av fyrbladiga krafter ges av Rautenbach (2006) och Brandstädt, Le & Sritharan (2008) , vilket också möjliggör linjär tidsigenkänning. Erkännande av effektblad för 5-blad och 6-blad löses också linjärt av Chang respektive Ko (2007) respektive Ducoffe (2018).

För ≥ 7 är erkännandeproblemet med bladkrafter öppet, och på samma sätt är det ett öppet problem om bladkrafter kan kännas igen i polynomtid . Det har emellertid visat sig att igenkänning av -bladkrafter kan fastställas med parametrar när den parametreras av och inmatningsdiagrammets degenerering .

Anteckningar

Referenser