Preguntas etiquetadas con graphs

13
Reducción transitiva de DAG

Estoy buscando el algoritmo O (V + E) para encontrar la reducción transitiva dado un DAG. Es decir, elimine tantos bordes como sea posible para que si pudiera alcanzar v desde u, para v y u arbitrarios, aún pueda alcanzar después de eliminar los bordes. Si este es un problema estándar, indíqueme...

11
¿Es esto NP-duro? No puedo probarlo.

Tengo un problema y supongo que es NP-hard, pero no puedo probarlo. Aquí hay un gráfico de capas, donde la capa 0 es la capa más alta y la capa L la más baja. hay un borde dirigido entre capas, donde un borde (A, B) indica que el nodo A puede [cubrir] el nodo B. Y cuando A puede cubrir B, cada...

11
Búsqueda de unión dirigida

Considere un gráfico dirigido en el que se pueden agregar bordes dinámicamente y hacer algunas consultas específicas.GGG Ejemplo: bosque disjunto Considere el siguiente conjunto de consultas: arrow(u, v) equiv(u, v) find(u) el primero agrega una flecha al gráfico, el segundo decide si , el...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...