Hola,
si das una representación con cobegin-coend -> se puede representar (presentas un ejemplo/testigo)
lo que no vale, es justificar que si no encontrás una representación -> no se puede representar (puede que no se te haya ocurrido)
Para demostrar que no es representabe, basta con identificar uno de los subgrafos que sabemos que no pueden representarse (mostrados en el teórico), ya sea explícitamente como un subgrafo del grafo general o en una reducción del mismo.
Saludos
si das una representación con cobegin-coend -> se puede representar (presentas un ejemplo/testigo)
lo que no vale, es justificar que si no encontrás una representación -> no se puede representar (puede que no se te haya ocurrido)
Para demostrar que no es representabe, basta con identificar uno de los subgrafos que sabemos que no pueden representarse (mostrados en el teórico), ya sea explícitamente como un subgrafo del grafo general o en una reducción del mismo.
Saludos