Grafik İzomorfizmi (GI) problemine özdeş parçacıklar yaklaşımı üzerinde olumsuz sonuçlar


12

Sert çekirdekli bozonların kuantum rasgele yürüyüşünü (simetrik ancak çift doluluk yok) kullanarak grafik izomorfizm problemine saldırmak için bazı çabalar olmuştur. Umut verici görünen bitişiklik matrisinin simetrik gücünün, Amir Rahnamai Barghi ve Ilya Ponomarenko tarafından bu yazıda genel grafikler için eksik olduğu kanıtlandı . Diğer benzer yaklaşımlar da Jamie Smith tarafından bu makalede yalanlanmıştır . Bu makalelerin her ikisinde de, tutarlı konfigürasyon (şemalar) ve hücresel cebirin alternatif fakat eşdeğer formülasyonunu ( nokta-çarpımı altında karmaşık birleşik transpozisyon ile endekslenmiş -bütün sonlu küme ile indekslenmiş matris alt cebiri ) ve karmaşık eşlenik transpozisyonu kullanırlar. Kimlik matrisi I ve hepsi bir arada matrisJ ) sırasıyla gerekli karşı argümanları sağlar.

Bu argümanları takip etmeyi çok zor buluyorum ve bireysel argümanları belirsiz bir şekilde takip etsem bile temel fikri anlamıyorum. Argümanların özünün, şema teorisi veya hücresel cebir dili kullanılmadan jenerik terimlerle açıklanıp açıklanamayacağını bilmek istiyorum.

Yanıtlar:


4

Tüm n kontrol daha çok daha iyi yapabilirsiniz! kaba bir çözümü zorlarken permütasyonlar, http://oeis.org/A186202 Kâse bundan daha iyisini yapamayacağınızı veya çoğu grafiğin içinde simetri bulunmadığını ve bunu hesaplamayı hızlandırmak için kullandığını gösteriyor.


2
SSnSSnSn

1
Her asal döngüden önemsiz olmayan bir permütasyonu test ederseniz, Sn. Hala çok büyük. Ayrıca, izomorfizmden "daha kolay" olan grafik otomorfizmini kontrol etmek içindir.
Chad Brewbaker
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.