Isomorfisme kelompok adalah masalah lain yang diketahui
dengan baik yang diketahui
dapat dipecahkan dalam waktu kuasi polinomial. Hasil itu dapat digeneralisasi
ke objek terbatas lainnya yang "memperluas" grup dalam arti yang sesuai -
[ semut komutatif dengan properti produk nol ] dan grupoid
komutatif
keduanya tidak cukup dekat, tetapi [ Θ (1) tupel panjang grup dengan label pada beberapa tupel
set elemen grup (yang tidak harus dari grup yang sama)] semuanya berfungsi.
(Itu cukup luas, karena tupel berlabel singlet memungkinkan fungsi enkode,
dan kemudian memiliki tupel grup memungkinkan terpisahskalar dan vektor .)
Untuk jawaban ini, grup diberikan oleh tabel Cayley . Ingatlah bahwa masalah yang akan saya
sebutkan hanyalah "benar-benar" yang diketahui berada di SUBEXP ketika salah satu [grup yang mendasarinya
tidak harus semuanya abelian] atau [mereka dapat memiliki "jumlah yang cukup besar" dari pelabelan yang yang
tidak dicakup oleh [a "kecil" jumlah [[subkelompok dari jumlah langsung dari kelompok-kelompok] dan / atau
[fungsi dari dan ke subkelompok tersebut yang mendistribusikan lebih Selain]]]], karena kalau tidak
semuanya bisa dikompresi secara eksponensial dengan mengungkapkan hal dalam hal menghasilkan set,
dalam hal ini memberikan tabel penuh sebagai gantinya pada dasarnya akan berjumlah padding input.
Untuk input yang terdiri dari [pasangan yang dipesan ⟨A, B Dari tupel tupel yang panjangnya keduanya L]
dan [bilangan bulat non-negatif c sehingga L dan c keduanya dalam O (1)] dan tupel panjang-L dari kemungkinan pembatasan pada injecitvity / surjectivity /zeroness, keberadaan lebih dari c [morfisme dari
[objek kiri dari pasangan terurut] ke [objek kanan dari pasangan terurut] yang mana
homomorfisma kelompok komponenL
memenuhi batasan yang sesuai] dapat ditentukan dalam
GC(O (log (maks ( cardinality_of_A's_groups)) ⋅ log (maks (cardinality_of_B's_groups))),logspace)
olehhasil Reingold, karena verifiermemiliki akses baca dua arahke bukti yang diduga.
⟩
⋅
Selain itu (masih menggunakan Reingold), mesin logspace dapat menghitung morfisme seperti itu yang diberikan
akses 2 arah ke saksi tersebut, dan jika mereka juga memiliki akses 2 arah ke rekaman acak,
maka mereka dapat memberikan [[a] bukti pengetahuan dengan sehubungan dengan ekstraktor yang memiliki akses baca 2 arah
ke apa yang sudah dikeluarkan] dari saksi seperti itu untuk isomorfisma] dengan sifat yang sama
seperti ZK P oK biasa untuk graf isomorfisme] ke verifier logspace dengan akses baca 2 arah ke
keacakan sendiri dan pesan pepatah. Demikian pula, sistem bukti HVSZK untuk grafik
non- isomorfisme pada dasarnya tidak berubah ke objek dari jenis paragraf ini.
⋅⌈log 2 (cardinality_of_the_group)⌉
Sebagai akibatnya, seseorang dapat memperoleh hal-hal tersebut mulai dari
"subkelompok-isomorfisme" yang sederhana hingga yang sederhana
, hingga "jumlah minimum elemen yang moderat yang dapat
digabungkan dengan subset tertentu dari grup abelian untuk menghasilkan seluruh grup",
dengan sengaja rumit--to-negara
"Mengingat domain yang skalar hanya perlu untuk membentuk rng dan kode domain dengan
penambahan "vektor" yang tidak harus komutatif, adakah lebih dari 3 homomorfisme aljabar sehingga peta pada skalar bukan nol rng morfisme dan peta pada "vektor" adalah injeksi? "
semua dalam GC(O(2), ruang log), dan dengan demikian secara khusus dapat dipecahkan dalam waktu kuasi polinomial.
Selain dari fakta bahwa [ sejak 2011 , pekerjaan yang signifikan pada masalah ini "hanya" mengurangi separuh eksponen runtime untuk grup umum dan memotong eksponen runtime untuk grup yang dapat dipecahkan ],
saya tidak mengetahui adanya bukti bahwa masalah seperti itu seharusnya tidak ada dalam P.
Bukti bahwa masalah dari jawaban ini adalah "tidak terlalu sulit":
Saya sudah menyebutkan sistem bukti ZKPoK dan HVSZK.
Setiap kali ada "tidak terlalu banyak" objek non-isomorfik, [memberikan verifikasi "tidak terlalu lama" saran string dan membiarkan bukti berisi pointer ke lokasi di dalamnya] sudah cukup untuk
memverifikasi tambahan
komplemen dari jenis masalah ini jawabannya sudah ada sebelum kalimat ini.
(Penunjuknya adalah ke tempat string saran memberikan [2 objek referensi yang objek
inputnya isomorfik] dan jawaban untuk mereka.)
Dengan jawaban ini terikat pada jumlah kelompok non-isomorfik (yang saya tidak tahu caranya membuktikan), setiap kali tupel berlabel dicakup oleh kombinasi
[
[O(2)]]
nO((log(n))2)
O(log 6 n)O(log 2 n)