ingegneria del software: se nell'albero di copertura esiste un nodo corrispondente alla marcatura che copre M allora è possibile affermare che M è raggiungibile?

Question

se nell'albero di copertura esiste un nodo corrispondente alla marcatura che copre M allora è possibile affermare che M è raggiungibile?

federico volpe · Accepted Answer

non necessariamente, l'esistenza di una copertura è condizione necessaria ma non sufficiente ad affermare che M sia raggiungibile

Se nell'albero di copertura esiste un nodo corrispondente alla marcatura che copre M allora è possibile affermare che M è raggiungibile?