Zor dillerin sınırı kolay olabilir mi?


13

Aşağıdakilerin hepsi aynı anda tutulabilir mi?

  1. L s + 1 sLs , tüm pozitif tamsayılar için .Ls+1s
  2. { 0 , 1 }L=sLs , üzerindeki tüm sonlu kelimelerin dilidir .{0,1}
  3. Bazı karmaşıklık sınıfı yoktur ve redüksiyon uygun bir kavramı herbiri için böyle , için zordur .C s L s CCCsLsC

1
Bu işe yarayabilir mi? Bir numaralandırma verilen (ikili sayı kodlanmış) mantıksal formüller tanımlayan burada ilk sırada numaralandırma edilemezdir formüller? L s = S A , T { φ i 1 , . . . , Φ i s } φ i 1 , . . . , Φ i s lerφ1,φ2,...Ls=SAT{φi1,...,φis}φi1,...,φiss
Marzio De Biasi

Bu işe yarıyor gibi görünüyor, belki de bir cevap?
András Salamon

Yanıtlar:


10

Bence bazı temel dil ile başlayabiliriz , sonra ve .LL0=LLs+1=Ls{0,1}s+1

Yani, her , tüm uzunluk dizeleriyle birleşimidir . Her en az kadar serttir, ancak sayabileceğimizi varsayarak daha sert değildir (asimtotik anlamda) .LsLsLsLs

Ben de ters "limit" düşündüm, bu yüzden her içinde yer ve her zor iken kolaydır . Ancak sert (ama sayılabilir) bir dil ile ve her adımda bir kelimeyi kaldırabiliriz; kavşak boş olmalıdır (her kelime sonunda kaldırılır).Ls+1LsL=sLsLsL0


7

Sadece Marzio ve usul'ün cevaplarına eklemek için: aynı şey, ve arasındaki sonsuz bir set olmasını gerektirse bile yapılabilir (bu, soruyu daha az önemsiz cevaplamaya çalışmanın bir yoludur) , ancak gördüğümüz gibi çalışmıyor). Let . Sonra ve hile yapmalıdır.LsLs+1Dn={x{0,1}:1x is the binary expansion of an integer divisible by n}L0=LLs+1=LsDs

(Herhangi bir sabit , eğer , örneğin CLIQUE ise, SAT'dan CLIQUE'ye bir azalma almanın ve dolgu gibi bir şeyle değiştirmenin nispeten kolay olması gerekir, böylece SAT'dan CLIQUE bir azalma .)sLDs


4

İkili kodlanmış boole formüllerinin bir sayımı verildiğinde burada ilk olarak numaralandırma edilemezdir formülleri.L s = S A , T { φ i 1 , . . . , Φ i s } φ i 1 , . . . , Φ i s lerφ1,φ2,...Ls=SAT{φi1,...,φis}φi1,...,φiss

N P φ x i φ x 1. . . x n i sLs için açıkça zordur : bir boolean formülü verilen ona yeterince yeni OR-ed değişkenleri ekler numaralandırmadaki indeksi (sabit) büyük olana kadar .NPφxi φx1...xnis


1
L

LLLL

@ AndrásSalamon: Sertlik kanıtı konusunda haklısın: -S! Bununla birlikte, "mükemmel" bir kodlamanın (N ve tüm geçerli formüller arasında bir bijeksiyon) mümkün olduğunu ve polinom zamanında hesaplanabileceğini düşünüyorum.
Marzio De Biasi
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.