El énfasis está en la enumeración más que en el recuento, si entiendo la pregunta correctamente. La coincidencia perfecta sería la combstruct que se incluye con Maple. Este software es un complemento de el libro Combinatoria analítica de Flajolet y Sedgewick, que es el texto canónico y básicamente proporciona un mapa de la futura investigación de la investigación en ciencias de la computación para las próximas décadas. Muy recomendable. Informática de la ciencia de la computación se centra en los árboles y combstruct realmente brilla aquí, proporcionando una enumeración total, así como la generación de funciones y ecuaciones funcionales. El artículo de referencia de Flajolet et al. sobre estadísticas de mapeo aleatorio (que están estrechamente relacionadas con la función de árbol etiquetado) se discute en este MSE enlace . El paquete Maple se utiliza el siguiente paquete Enlace MSE combstruct, I y esto MSE combstruct link, II . El libro Combinatoria analítica no tiene precedentes, ya que es pionero en el uso de de variables complejas para tratar las funciones generadoras que que surgen de la teoría de las especies y del teorema popular de la enumeración combinatoria combinatoria (proporcionando una traducción instantánea de las ecuaciones de las especies a las funciones generadoras), haciendo así hincapié en la unificación de los métodos combinatorios con las técnicas de variables complejas. Otro texto temprano de texto temprano relevante es el libro Enumeración gráfica de Harary y Palmer que contiene muchos resultados sobre árboles etiquetados y no etiquetados, así como así como presentaciones accesibles del Teorema de Enumeración de Polya y de la Enumeración de Grupos de Potencia. Por último, un contendiente clásico para la enumeración de árboles no etiquetados es el paquete NAUTY de McKay, que se utilizó en este MSE NAUTY enlace . (Utilice los códigos Pruefer para los árboles etiquetados).
1 votos
Quizás quieras preguntar esto en cstheory.stackexchange.com cstheory.stackexchange.com