Ten blog mówi o generowaniu „krętych małych labiryntów” za pomocą komputera i ich liczeniu. Wyliczenia można dokonać za pomocą algorytmu Wilsona, aby uzyskać UST , ale nie pamiętam wzoru na ich liczbę.
http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike
Zasadniczo Twierdzenie o Drzewie Matrycowym stwierdza, że liczba drzew spinających na wykresie jest równa wyznacznikowi macierzy Laplaciana na wykresie. Niech będzie wykresem, a będzie macierzą przylegania, będzie macierzą stopni, następnie z wartościami własnymi , a następnie:
W przypadku prostokąta zarówno jak i wartości własne powinny przyjąć szczególnie prostą formę, której nie mogę znaleźć.
Jaka jest dokładna formuła (i asymptotyka) dla liczby drzew obejmujących prostokąta ?
Oto ładny przykład działania algorytmu Wilsona.
źródło
Odpowiedzi:
Według https://www.cse.ust.hk/~golin/pubs/ANALCO_05.pdf nie jest znana żadna formuła zamknięta.
źródło
Wartości własne wykresu prostokątnego m-by-n można wykorzystać do uzyskania wyrażenia liczby idealnych dopasowań na takich wykresach. Zobacz artykuł w Wikipedii na temat domina .
źródło