«automorphism» etiketlenmiş sorular

Yazıda grafikte İzomorfizma için etkili bir algoritma Corneil ve Gotlıeb, 1970 tarafından bir varsayım belirtilen algoritma polinom zamanda GI çözümü için yetki veren belirtilmiştir. Yani: temsili grafiklerin verilen grafiğin otomorfizm bölümlemesini sergilediğini Açıkçası, bu varsayım şimdiye kadar kanıtlanmamıştır (aksi takdirde GI'nin P'de olduğunu biliriz). Sorum şu ki, bunun yanlış olduğu …

16 graph-isomorphism  automorphism 

-sabitli noktası serbest otomorfizm problemi gösteren bir grafiktir otomorfizm en azından hareket sorar k ( n ) düğümleri. Herhangi bir c > 0 için k ( n ) = n c ise , problem N P- eksiktir .kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Bununla birlikte, ise, problem polinom zamanıdır. Grafik İzomorfizm Problemine indirgenebilir. Eğer k …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Bazı şifreleme modellerini gözden geçiriyorum. Yetersizliğini göstermek için, grafik izomorfizmine dayanan bir protokol düzenledim. "Grafik İzomorfizm sorununun zor örnekleri" üretebilen BPP algoritmalarının varlığını varsaymak "sıradan" (henüz tartışmalı!). (İzomorfizmin bir tanığı ile birlikte.) Benim onaylanan protokolümde, bir ek gereksinimi karşılayan bu tür BPP algoritmalarının varlığını kabul edeceğim: Üretilen grafiklerdir olsun ve …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

Diyelim ki bir dizi S grafiğimiz var (sonlu grafikler, ancak sonsuz sayıda) ve S üzerinde etkili olan bir permütasyon grubu P var. Eşgörünüm: P'deki permütasyon p. Soru: S'de otomorfizm p'yi kabul eden bir g grafiği var mı? Bazı S setleri için bu problem NP-tamamlanmış mı? Bir grafiğin permütasyon p'yi (yani …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Herhangi bir basit yönlendirilmemiş G grafiği göz önüne alındığında, G'nin önemsiz (kimlik dışı) otomorfizmlere sahip olup olmadığını belirlemek önemsizdir. Peki, bu karar sorununun üst / alt sınırları üzerindeki sonuçlar nelerdir?

11 cc.complexity-theory  graph-isomorphism  automorphism 

MO'dan Crossposted . (kenar) renkli grafik izomorfizmi, renkleri koruyan GI'dir (kenar renkli ise kenarlar). (Kenar) renkli GI'den GI'ye dönüşümler / araçlar kullanılarak yapılan birkaç azalma vardır. Kenar renkli GI için en basit olanı, renkli kenarı, rengi kodlayan bir GI koruma aracıyla değiştirmektir (kenarı yeterince alt bölümlere ayırmak en basit durumdur). …

10 graph-theory  graph-isomorphism  automorphism 

Grafik otomorfizması, kenar setinde bir bijeksiyonu indükleyen grafik düğümlerinin permütasyonudur EEE. Biçimsel olarak, bir permütasyon fff düğümleri, örneğin IFF( f ( u ) , f ( v ) ) ∈ E(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Bir miktar permütasyon için ihlal edilen kenarı, kenar dışı olarak eşlenen kenar veya ön kenarı kenar olmayan …

10 cc.complexity-theory  graph-theory  automorphism  symmetry