«graph-isomorphism» etiketlenmiş sorular

G üreten H köşelerinin yeniden etiketlenmesi varsa, G, H iki grafiği izomorfiktir, bunun tersi de geçerlidir. Grafik izomorfizm problemi (GI), verilen iki izomorfik olup olmadığına karar vermektir. Pratik ilgisine ek olarak, 1972'de Karp tarafından bilinmeyen karmaşıklığa sahip olduğu tespit edildi, NP ara problemi için kalan az sayıda doğal adaydan biri ve karmaşıklık sınıfı AM'nin yaratılmasına yol açtı.

3
Grafik izomorfizm problemi için yarı-polinomlu bir zaman algoritmasının sonuçları
Grafik İzomorfizma sorunu (Gl) muhtemelen bir en iyi bilinen bir adaydır NP ara sorun. En iyi bilinen algoritma, çalışma zamanı 2 O ( √) olan üstel üstel algoritmadır.. O GI olmadığı bilinmektedirNPsürece -tamamlamakpolinom hiyerarşiçöker.2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism problemi için yarı-polinomlu bir zaman algoritmasının karmaşıklık teorik sonuçları ne olurdu? GI …
3
Bu sorunun sertlikte olduğunu gösteren teknikler “limbo”
Asıl karmaşıklığı arasında bir yerde olan yeni bir sorun göz önüne alındığında ve NP-eksiksiz olmak, bunun çözülmesinin zor olduğunu ispatlamak için kullanabileceğim iki yöntem var:NPNP\mathsf{NP}PP\mathsf{P} Sorunun GI-tamamlandığını gösterin (GI = Graph Isomorphism) Sorunun içinde olduğunu gösterin . Bilinen sonuçlara göre, böyle bir sonuç, eğer problem NP tamamlandıysa, PH'nin ikinci seviyeye …
1
Grafik izomorfizmi karekök sınırlı nondeterminizm ile karar verilebilir mi?
Sınırlı nondeterminizm, fonksiyonunu , yeni bir g - C sınıfı oluşturmak için, kaynağa bağlı deterministik Turing makineleri tarafından kabul edilen dillerin Cg(n)g(n)g(n) sınıfı ile ilişkilendirir . Bu sınıf, bazı tanımlayıcı olmayan Turing makinesi M tarafından kabul edilen ve C'yi tanımlamak için kullanılan kaynak sınırlarına uyan dillerden oluşur , ancak M'nin …
3
Graph Isomorphism için coNP sertifikası
Grafik izomorfizminin (GI) NP cinsinden olduğunu görmek kolaydır . GI'nin coNP'de olup olmaması büyük bir açık sorundur. GI'nin coNP sertifikası olarak kullanılabilecek potansiyel grafik özellik adayları var mı? Anlamına herhangi varsayımlar ? Bazı etkileri nelerdir G I ∈ c O , N , P ?G ben∈ c o NPG,ben∈cON-PGI \in …
1
İspat reddi: İddialı CoRR yazılarının amatör yorumları
Sanırım çok fazla iddialı CoRR makalesi okudum . Buradaki sorun, bu makalelerin hakem tarafından gözden geçirilmemesi, çoğu zaman ilginç gelmesi ve temel uygunluk kontrollerinden geçmesidir. Ya da belki yapmazlar ve benim uygunluk kontrollerimi iyileştirmem gerekiyor. İşte bu tür makalelerin son bir örneği: Teklik Ağaçları: Grafik İzomorfizmi Sorununa Olası Bir Polinom …
4
Graph Isomorphism'in
Benim yayında Fortnow yorumuyla, motive Grafik İzomorfizma sorun olmadığını kanıtlar -tamamlamakNPNPNP ve gerçeğiyle için aday olacak Ara tepkime sorunu (değil içinde -Komple ne de ), ben bilinen kanıtlar ilgilenen am bu değildir .N P N PGIGIGINPNPNPNPNPNPG I PPPPGIGIGIPPP Bu tür bir kanıt, kısıtlı bir Grafik Otomorfizmi probleminin tamlığıdır (sabit nokta …
2
“Minik” Grafik İzomorfizması
Asimetrik grafiklerin izomorfizmini test etmenin karmaşıklığını düşünürken (bkz . Cstheory hakkındaki ilgili sorum ) aklımda tamamlayıcı bir soru geldi. Bir polinom zamanımız olduğunu varsayalım . Giriş 1 n'de N düğümü olan bir G M , n grafiği üreten Turing MMM1n1n1^nGM,nGM,nG_{M,n}nnn problemini tanımlayabiliriz :ΠMΠM\Pi_M ( "Küçük" Gl): bir grafiktir Verilen , …
4
Grafik izomorfizmi ile ilgili açık problemler
Şu anda Graph izomorfizmi (GI) problemi üzerine literatür taraması yapıyorum. Aşağıdakilerle ilgili bazı açık soruları bilmek istiyorum GI'nın sabit parametre izlenebilirliğinin açık bir sorun olduğu grafik parametreleri nelerdir. Grafik parametreleri nelerdir, bunları sabitleyerek GI'nin polinom zaman çözülebilirliği bilinmemektedir. Birçok grafik sınıfıyla sınırlandırıldığında GI'nin karmaşıklığı, genel GI'ye (GI-Tamlık) eşdeğerdir. GI tamlığının …
2
Korse kavşak sorununun karmaşıklığı
Simetri grubu göz önüne alındığında ve iki alt grup ve yapar G \ pi \ kapak H = \ emptyset tutma?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Bildiğim kadarıyla sorun, coset kesişimi problemi olarak biliniyor. Merak ediyorum karmaşıklık nedir? Özellikle, bu sorunun coAM'da olduğu biliniyor mu? Dahası, abelyan olması kısıtlanırsa, karmaşıklık ne …
2
Grafik İzomorfizmi Sorunu
Graph izomorfizmi problemi üzerine literatür taraması yapıyorum. Okuduğum makalelerin çoğu EM Luks ve Laszlo Babai tarafından yazılıyor. Bu makaleler, grup teorisi ve karmaşıklık teorisi hakkında üst düzey bilgileri kullanır. Bu alanda yeni olduğum için birçok şey benim için net değil. Bazıları bana bu makalelerde sunulan fikirleri ve teknikleri öğrenmenin bir …
2
Sınırlı saçak grafikler için izomorfizme nazik giriş
Graph İzomorfizminin ( GIGIGI ) olduğu grafik sınıfları hakkında okuyorum PPP. Bu tür bir durum, burada açıklandığı gibi sınırlı değerlik grafiğidir (her bir tepe noktasının derecesi üzerinde maksimum) . Ama çok soyut buldum. Birisi bana açıklayıcı doğanın bazı referanslarını önerebilirse minnettar olurum. Grup teorisinde güçlü bir arka planım yok, bu …
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.