Este es un seguimiento de la reciente pregunta de David Eppstein y está motivado por los mismos problemas.
Supongamos que tengo un dag con pesos de números reales en sus vértices. Inicialmente, todos los vértices no están marcados. Puedo cambiar el conjunto de vértices marcados marcando (1) un vértice sin predecesores sin marcar, o (2) marcando un vértice sin sucesores marcados. (Por lo tanto, el conjunto de vértices marcados es siempre un prefijo del orden parcial). Quiero encontrar una secuencia de operaciones de marcado / desmarcado que finalice con todos los vértices marcados, de modo que el peso total de los vértices marcados sea siempre no negativo. .
¿Qué tan difícil es encontrar tal secuencia de operaciones? A diferencia del problema de David , ni siquiera está claro que este problema esté en NP; en principio (aunque no tengo ningún ejemplo) cada secuencia de movimiento legal podría tener una longitud exponencial. Lo mejor que puedo demostrar es que el problema está en PSPACE.
¿La operación de desmarcado es realmente innecesaria? Si hay una secuencia de movimiento válida, ¿debe haber una secuencia de movimiento válida que nunca desmarque un vértice? Una respuesta afirmativa haría este problema idéntico al de David . Por otro lado, si a veces es necesario desmarcar, debe haber un pequeño ejemplo (tamaño constante) que lo demuestre.