Saya pikir jawaban Robins ini untuk pertanyaan saya di MO juga menjawab satu ini.
Sebuah kompleksitas deskriptif karakterisasi kelas kompleksitas memberikan bahasa yang query (yaitu formula) yang persis fungsi komputasi di C . Sintaks bahasa biasanya sangat sederhana, yaitu diberi string q mudah untuk memeriksa apakah q adalah permintaan yang terbentuk dari bahasa, setidaknya itu diharapkan dapat dipilih (tetapi biasanya sintaks memeriksa dapat dilakukan dalam kelas kompleksitas kecil). Ini akan memerlukan enumerablity efektif masalah di kelas C dan akan memberikan karakterisasi sintaksis untuk C . (Jika kompleksitas pemeriksaan sintaksis rendah, ini mungkin juga menyiratkan adanya masalah lengkap untuk kelas.)CCqqCC
Dalam komentar di atas, Robin terkait dengan Kord Eickmeyer dan kertas Martin Grohe ini " Pengacakan dan Derandomization di Deskriptif Kompleksitas Teori " yang memberikan "kompleksitas deskriptif" karakterisasi . Para penulis sendiri mencatat dalam pengantar bahwa ini berbeda dari apa yang biasanya dimaksud dengan karakterisasi kompleksitas deskriptif:BPP
Kami membuktikan bahwa , versi probabilistik dari logika titik tetap dengan penghitungan, menangkap kelas kompleksitas B P P , bahkan pada struktur yang tidak berurutan. Untuk struktur teratur, hasil ini merupakan konsekuensi langsung dari Teorema Immerman-Vardi [7, 8], dan untuk struktur sewenang-wenang itu mengikuti dari pengamatan bahwa kita dapat menentukan urutan acak dengan probabilitas tinggi dalam BPIFP + C. Namun, hasilnya mengejutkan pada pandangan pertama karena kesamaan dengan pertanyaan terbuka apakah ada logika menangkap P , dan karena diyakini bahwa P = B P P .BPIFP+CBPPPP=BPP Peringatan adalah bahwa logika tidak memiliki sintaks yang efektif dan dengan demikian bukanlah “logika” menurut [9] Definisi Gurevich ini yang mendasari pertanyaan untuk logika yang menangkap P . BPIFP+CPNamun demikian, kami percaya bahwa memberikan deskripsi yang sepenuhnya memadai tentang kompleksitas kelas B P P , karena definisi B P P secara inheren juga tidak efektif (sebagai lawan dari definisi P dalam hal yang dapat ditentukan. set mesin Turing clock secara polinomi).BPIFP+CBPPBPPP
Saya bukan ahli dalam teori model hingga / kompleksitas deskriptif (dan secara pribadi ingin mendengar lebih banyak dari para ahli), tetapi perasaan saya adalah bahwa ada sedikit kecurangan di sini dengan mengatakan bahwa ini adalah karakterisasi kompleksitas deskriptif. Alasan perasaan saya adalah bahwa jika kita diizinkan memiliki sintaksis yang tidak efektif, kita dapat menggunakan batasan semantik yang arbitrer untuk membatasi kelas kueri yang terbentuk dengan baik dan dapat memberikan karakterisasi "kompleksitas deskriptif" untuk setiap kelas kompleksitas. Sebagai contoh, perhatikan (yang menangkap P S p a c e ), dan kemudian mengambil persis kueri yang dihitung di B Q PSO(TC)PSpaceBQP; atau mempertimbangkan bahasa yang memiliki satu fungsi simbol untuk setiap mesin di . Kedua capture ini B Q P tetapi tidak memiliki sintaks yang efektif.BQPBQP