Apakah ada di antara Anda yang tahu referensi untuk hasil berikut (secara mengejutkan membosankan untuk dibuktikan)? Diberikan graf planar terhubung dengan n simpul dan tepi n + t , ia memiliki pemisah simpul ukuran O ( √GGGnnnn + tn+tn+t.O ( t√+ 1 )O(t+1)O(
Ini adalah kebingungan referensi. Kadang-kadang saya melihat orang menggunakan istilah "bahasa logam komputasi Moggi" untuk merujuk pada kalkulus yang disajikan oleh Moggi, dan kadang-kadang ke "kalkulus lambda komputasi Moggi". Kadang-kadang mereka menggunakan λm lλml\lambda_{ml} dan kadang-kadang...
Dari Wikipedia : VPVP\mathsf{VP} : Kelas VP adalah analog aljabar dari P; itu adalah kelas polinomialfff derajat polinomial yang memiliki sirkuit ukuran polinomial atas lapangan tetapKKK . VNPVNP\mathsf{VNP} : Kelas VNP adalah analog dari NP. VNP dapat dianggap sebagai kelas polinomfff untuk...