Analizando idiomas de árboles no clasificados, doblados una vez
Autores: Berglund, Martin; Björklund, Henrik; Björklund, Johanna
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
Analizando idiomas de árboles no clasificados, doblados una vez
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería de Software
Palabras clave
Regular
árbol plegable
Lenguaje
Operación de plegado
Lenguajes de gráficos
NP-completo
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 43
Citaciones: Sin citaciones
Un plegado de árbol regular sin clasificación consiste en un lenguaje de árbol regular sin clasificación y una operación de plegado que fusiona nodos seleccionados de un árbol para formar un grafo; la combinación es un dispositivo formal para representar lenguajes de grafos. Si, en el proceso de plegado, se descarta el orden entre aristas de modo que el resultado sea un grafo desordenado, entonces dos aplicaciones de una operación de plegado son suficientes para hacer que el problema de análisis asociado sea NP-completo. Sin embargo, si se mantiene el orden, entonces el problema es soluble en tiempo polinómico no uniforme. En este documento, abordamos el caso restante, donde solo se aplica una operación de plegado, pero se descarta el orden entre las aristas. Mostramos que, bajo estas condiciones, el problema es soluble en tiempo polinómico no uniforme.
Descripción
Un plegado de árbol regular sin clasificación consiste en un lenguaje de árbol regular sin clasificación y una operación de plegado que fusiona nodos seleccionados de un árbol para formar un grafo; la combinación es un dispositivo formal para representar lenguajes de grafos. Si, en el proceso de plegado, se descarta el orden entre aristas de modo que el resultado sea un grafo desordenado, entonces dos aplicaciones de una operación de plegado son suficientes para hacer que el problema de análisis asociado sea NP-completo. Sin embargo, si se mantiene el orden, entonces el problema es soluble en tiempo polinómico no uniforme. En este documento, abordamos el caso restante, donde solo se aplica una operación de plegado, pero se descarta el orden entre las aristas. Mostramos que, bajo estas condiciones, el problema es soluble en tiempo polinómico no uniforme.