Ini adalah tindak lanjut dari pertanyaan David Eppstein baru-baru ini dan dimotivasi oleh masalah yang sama.
Misalkan saya memiliki barang dengan bobot bilangan real pada simpulnya. Awalnya, semua simpul tidak ditandai. Saya dapat mengubah set simpul yang ditandai dengan (1) menandai titik tanpa pendahulu yang tidak ditandai, atau (2) menghapus tanda titik tanpa penerus yang ditandai. (Dengan demikian, himpunan simpul yang ditandai selalu merupakan awalan dari urutan parsial.) Saya ingin menemukan urutan operasi penandaan / penghapusan tanda yang diakhiri dengan semua simpul yang ditandai, sedemikian sehingga bobot total dari simpul yang ditandai selalu non-negatif. .
Seberapa sulit menemukan urutan operasi seperti itu? Tidak seperti masalah David , bahkan tidak jelas bahwa masalah ini ada di NP; pada prinsipnya (meskipun saya tidak punya contoh) setiap urutan langkah hukum dapat memiliki panjang eksponensial. Yang terbaik yang bisa saya buktikan adalah bahwa masalahnya ada di PSPACE.
Apakah operasi tanpa tanda sebenarnya tidak perlu? Jika ada urutan langkah yang valid, haruskah ada urutan langkah yang valid yang tidak pernah menghapus tanda titik? Jawaban afirmatif akan membuat masalah ini identik dengan jawaban David . Di sisi lain, jika penghapusan tanda terkadang diperlukan, harus ada contoh kecil (ukuran konstan) yang membuktikannya.