Ciencias de la Computación

9
Ruta única en un gráfico dirigido

Estoy diseñando un algoritmo para una clase que determinará si un gráfico dirigido es único con respecto a un vértice tal manera que para cualquier haya como máximo una ruta de a . Comencé usando BFS (búsqueda de amplitud) para encontrar la ruta más corta de v a otro vértice u, y luego ejecuté BFS...

9
Dureza y direcciones de reducciones

Digamos que sabemos que el problema A es difícil, luego reducimos A al problema desconocido B para probar que B también es difícil. Como ejemplo: sabemos que 3 colores es difícil. Luego reducimos 3 colores a 4 colores. Al combinar uno de los colores en 3 colores, tiene 4 colores, ergo 4 colores es...

9
¿Es regular?

Hice mi examen de teoría de la computación hace unas semanas, y esta fue una de las preguntas: Asumir lenguajeL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} ¿L es regular? En caso afirmativo, proporcione una expresión regular o un autómata para ello. Después de...

9
Selección de características de árbol de decisión de longitud fija para minimizar el rendimiento promedio de búsqueda

Tengo una consulta compleja QQQ utilizada para buscar un conjunto de datos SSS para encontrar Hexact={s∈S∣where Q(s) is True}Hexact={s∈S∣where Q(s) is True}H_\text{exact} = \{s \in S \mid \text{where $Q(s)$ is True}\} . Cada consulta toma un tiempo promedio por lo que el tiempo total en la búsqueda...

9
Encuentra st es -duro para cualquier

Deje que LϵLϵL_\epsilon sea ​​el lenguaje de todas las fórmulas 222 -CNF φφ\varphi , de modo que pueda satisfacerse al menos ( 12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon) de las cláusulas de φφ\varphi . Necesito demostrar que existe ϵ′ϵ′\epsilon' st LϵLϵL_\epsilon es N PNP\mathsf{NP} -hard para cualquier...