Orada var mıdır , simetri grupları bazı ailesi var bir NP veya P-komple dili G n (veya grupoidinin setleri üzerinde (polinom zamanda), ama sonra algoritmik sorular daha açık hale) etki eden L n = { l ∈ L ∣ | l | = n } öyle ki az yörünge olacak, yani | L n / G n | < n c yeterince büyük n ve bazı c için ve G noluşturulan verilebilir etkin bir?
Burada önemli olan nokta olduğu bir polinom saat grubu hareketleri altında normal biçimlerini bulabilirse bunlar da bu gibi bir buluntular bir dil / grubudur ve eğer , daha sonra bir azaltabilir L bir tarafından P T I M e göre bir seyrek dil indirgeme herhangi bir normal formu işlem N , ima bu P = N P ya da L = Pbaşlangıçta sırasıyla NP- veya P-complete dilini seçip seçmediğinize bağlı olarak. Yani ya seyrek yörüngeye sahip böyle bir grup yok ya da normal formları hesaplamak tüm bu gruplar için zor ya da çoğumuzun inanmadığını düşündüğüm bu sonuçlardan biri geçerli olacak gibi görünüyor. Ayrıca, bir normal yerine formları yörüngeleri boyunca denklik ilişkisi hesaplamak eğer, bir hala, üniform olmayan bu hali görünüyor . Diğer insanların bu konuda düşünceleri olmasını umuyorum.