Finden Sie bei gegebener Konstante k den größtmöglichen Wurzelbaum, wenn für jeden Pfad von der Wurzel zum Blatt die Summe der Arität seiner Knoten gleich k?

8

Als Beispiel sind hier alle möglichen Bäume für den Fall k=3 : Geben Sie hier die Bildbeschreibung ein Auf jeden Knoten ist seine Arität (= die Anzahl der Kinder) geschrieben.

Während dies durch dynamische Programmierung lösbar sein sollte, gab es meines Erachtens ein kombinatorisches Ergebnis (entweder eine exakte oder eine ziemlich feinkörnige Obergrenze). Weiß es jemand?


Bearbeiten:

Die Größe des Baums entspricht der Anzahl der Knoten, sodass der größte Baum der mit der maximalen Anzahl von Knoten ist.

Sudix
quelle
3
Definieren Sie am größten.
Idoby
Sie meinen wahrscheinlich "jeden Pfad von der Wurzel zu einem Blatt ", da sonst der 1-Vertex-Baum die einzige Lösung ist. (Es ist auch besser, explizit zu sagen, dass es sich um einen verwurzelten Baum handelt - auch nicht verwurzelte Bäume sind möglich.)
j_random_hacker
@j_random_hacker Ja, du hast vollkommen recht. Ich werde die Frage korrigieren.
Sudix

Antworten:

4

B(n)n

kknk1+kB(nk)

B(n)kB(n1),B(n2),

1,2,3,5,7,11,16,23,34,

Die Erklärung der Sequenz dort lautet: "Maximale Summe von x0 + x0 * x1 + ... + x0 * x1 * ... * xk über alle Kompositionen x0 + ... + xk = n". Das ist in der Tat dieselbe Folge: Wenn die Folge von Aritäten entlang des Pfades von der Wurzel x0, x1, ..., xk ist, sollten diese zu n summieren, und die Anzahl der Knoten ist tatsächlich die gegebene Formel.

Eine weitere Bemerkung bei Sloane ist interessant: "Für n> = 8 wird die Lösung zyklisch: a (3n + k) = 3 + 3a (3n - 3 + k)". Dies scheint darauf hinzudeuten, dass bei Werten größer als 24 die Wurzel des Baumes immer drei Kinder hat.

Hendrik Jan.
quelle
B(n)=1+max1knkB(nk)B(0)=1
2
Ich denke, in Ihrer Sequenz haben Sie einen Schritt verpasst. Ich habe: '1, 2, 3, 5, 7, 11, 16, 23, 34, 49, 70, 103, 148, 211, 310, 445, 634, 931, 1336, 1903, 2794, 4009, 5710, 8383, 12028, 17131 '; Wenn ich nicht falsch berechnet habe, gibt es einen [OEIS] [1] -Eintrag für die Serie 1. [1]: oeis.org/…
Sudix