Saya ingin menjadi sangat spesifik. Adakah yang tahu tentang penolakan atau bukti dari proposisi berikut:
Secara intuitif, ini harus benar jika semua grafik non-isomorfik dapat dibedakan menggunakan pernyataan " lokal", dan saya akan membayangkan bahwa ini salah. Tentu saja setiap grafik dapat dibedakan menggunakan kedalaman kuantum polinomial, karena Anda dapat dengan mudah menentukan isomorfisma modulo grafik Anda:
Sunting: Jadi sepertinya intuisi lokal yang saya miliki adalah salah. Rumus kedalaman pengukur memiliki lokalitas Gaifman yang dibatasi oleh , yang berarti bahwa rumus kedalaman log pada dasarnya bersifat global. Untuk alasan ini, saya punya firasat proposisi akan berubah menjadi kenyataan, yang akan jauh lebih sulit untuk dibuktikan menurut pendapat saya.