Saya mencoba untuk memahami makalah tentang Sistem dan Logika p-Optimal untuk PTIME . Ada gagasan yang disebut sistem bukti di koran dan saya tidak mendapatkan intinya:
... Kami mengidentifikasi masalah dengan himpunan bagian Q di Σ ∗ .
Saya pikir intinya adalah bahwa kita menyandikan struktur tertentu dalam (misalnya grafik tidak berarah) dan himpunan bagian dari struktur ini adalah masalah (misalnya grafik planar).
Sistem bukti untuk masalah adalah fungsi surjektif P : Σ ∗ → Q dapat dihitung dalam waktu polinomial.
Sekarang satu kemungkinan adalah mengatakan adalah himpunan semua model yang mungkin dalam struktur tertentu (misalnya semua grafik yang tidak diarahkan). Tetapi itu tidak masuk akal karena mengapa grafik yang tidak diarahkan harus dipetakan pada subset? Itu bisa dikodekan mesin turing tapi ini tidak masuk akal juga ...
Ada ide?