«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Grafikte İzomorfizma Komple Sorunları
Grafik İzomorfizmi (GI) tam problemlerini incelemekle ilgileniyorum. Kellogg S. Booth, (1979) tarafından hazırlanan "Grafik İzomorfizmasına Polinomik Olarak Eşdeğer Sorunlar" başlıklı makalede, Edge temel teknikler, Kompozisyon teknikleri vb. Kullanılarak birçok temel sorunun GI'nin tamamlandığını kanıtlamıştır. Son yazılarda kullanılan bazı teknikleri öğrenmek istiyorum. Bazıları bana bazı grafik sınıflarının GI'nin tamamlandığını kanıtlamaya daha …
2
Kaymış maksimum değeri bulmak için doğrusal zaman algoritması
Negatif olmayan tamsayılar içeren bir dizi verildiğini varsayın (mutlaka farklı değildir).A[1..n]A[1..n]A[1..n] Let olmak artmayacak sırasına göre sıralanır. değerini hesaplamak istiyoruz BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. Açık çözüm A'yı sıralamak AAAve sonra m'yi hesaplamaktır mmm. Bu, en kötü durumda O (n \ lg n) zamanında çalışan bir algoritma verir O(nlgn)O(nlg⁡n)O(n \lg …
2
İlginç NP sorunları için ikinci dereceden alt sınırları kanıtlamanın zorluğuna dair bir açıklama var mı?
Bu benim önceki sorumun bir devamı: NP'de doğal bir problem için en iyi bilinen deterministik zaman karmaşıklığı alt sınırı İnsanların önemsediği ve daha iyi algoritmalar tasarlamaya çalıştığı ilginç bir NP problemi için herhangi bir kuadratik deterministik zamanın alt sınırını kanıtlayamadığımızı şaşırtıcı buluyorum. Üstel Zaman Hipotezi varsayımımız, SAT'ın altel üstel deterministik …
1
Sözdizimsel Karmaşıklık Sınıf
PP{\bf P} ve arasındaki bazı (göreceli olmayan) sözdizimsel karmaşıklık sınıflarının PSPACEPSPACE{\bf PSPACE}aşağıdaki özelliğe sahip olduğu bilinmektedir , P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} . Bir (kesintisiz-relativized) sözdizimsel karmaşıklığı sınıfı vardır olmadığını merak ediyorum XX{\bf X} bu şekilde PP⊆X⊆PSPACEPP⊆X⊆PSPACE{\bf PP} …
1
Matris sertliği ve düşük sertliğe sahip matrislerin kullanımı
Kabaca değerde bir matris ise aşağı onun rank getirmek için, sert olduğu söylenir nnnn ,bazıϵ>0için girişlerininen azn1+ϵdeğerideğiştirilmelidir.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Bir matrisi A sertse, A x ( x'in n büyüklüğünde bir vektörü ) hesaplayan en küçük düz çizgi programı ya süper doğrusal boyuttadır ya da süper logaritmik derinliğe sahiptir.n×nn×nn \times nAAAAxAxAxxxxnnn …
1
göreli dünyası
göreli bir dünya olup olmadığını bilmek istiyorum . Ayrıca P B ≠ N P B = P P B'nin göreceli bir dünya olup olmadığını bilmekle de ilgileniyorum .Pbir= N Pbir≠ P PbirPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠ N PB= P PBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}
2
Denetçinin Sorunu (SAT karar örneklerinin / cevaplarının tek tip üretimi)
Bir kursun öğretim asistanı (deterministik olarak) zor sınav soruları üreten bir program yazmayı başardı. Şimdi, karşılık gelen cevapları üreten bir program yazmak istiyor. Examiner Sorun bu her zaman mümkün olup olmadığını sorar; Examiner Konjektür varsayarak belirtiyor, , öyle değil : sorunları ile geliyor onların çözümleri ile geliyor daha kolaydır.P≠NPP≠NP\mathsf{P} \neq …
1
Matematiksel Yazılım Tanıkları
Birçok insan gibi ben de Mathematica ve Maple gibi bir matematiksel yazılım kullanıcısıyım. Ancak, böyle bir yazılımın size uyarı vermeden yanlış yanıtı verdiği birçok durum yüzünden giderek daha fazla hayal kırıklığına uğradım. Basitten operasyonların her türlü gerçekleştirirken oluşabilir toplamlar için optimizasyon diğer birçok örnekler arasında. Bu ciddi sorun hakkında neler …
2
Kandırma
Sabit derinlikteki devreleri kandırmakla ilgili birkaç sorum var. O bilinen tarzında bağımsızlık gerekli aptal bir Cı 0 derinliği devreleri d , burada n, giriş boyutudur. Bunu nasıl ispatlayabiliriz?logO(d)(n)logO(d)⁡(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Yukarıdakiler doğru olduğu için, d derinliği devrelerini kandıracak herhangi bir sözde jeneratörün mutlaka tohum uzunluğu l = Ω ( log d ( …
1
Duyarlılığı açısından bir boole işlevinin derecesinde üst sınır
Boole işlevinin karmaşıklık ölçütlerinin araştırılmasında çok ilginç bir açık problem, duyarlılık ve blok duyarlılığı varsayımı olarak adlandırılır. Hassasiyet ve blok duyarlılığı hakkında arka plan için http://www.scottaaronson.com/blog/?p=453 adresindeki aşağıdaki S. Aaronson blog yayınına bakabilirsiniz . Bildiğim kadarıyla, en üst bilinen bağlanmış açısından s ( f ) olan B ler ( f …
4
NP tamlığı / sertliği yapıcı olmalı mı?
içinde aşağıdaki özelliklere sahip herhangi bir var mı :L∈NPL∈NPL\in {\bf NP} anlamına geldiği bilinmektedir .P = N PL∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Herhangi bir (bilinen) polinom zaman Turing azalma vardır (veya başka bir için Komple sorun) .N P LSATSATSATNPNP{\bf NP}LLL Diğer bir deyişle, bir polinom zaman algoritması durumunda çöküşü eder …
1
Gürültülü Eşlik (LWE) alt sınırları / sertlik sonuçları
Bazı bilgiler: Hatalarla Öğrenme (LWE) sorunu için "daha az bilinen" düşük sınırlar (veya sertlik sonuçları) ve halkalar üzerinde Hatalarla Öğrenme gibi genellemeleri bulmakla ilgileniyorum. Spesifik tanımlar, vb. İçin, Regev'in güzel bir araştırması: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf (R) LWE tarzı varsayımın standart tipi (belki de kuantum) (belki de ideal) kafeslerdeki En Kısa Vektör Problemine …
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.