«query-complexity» etiketlenmiş sorular

2
Ayırıcı sorgularından bir ağacı yeniden yapılandırma
Diyelim ki , yapısını bilmediğimiz sabit dereceli bir ağaçtır. Sorun çıkışına ağaçtır "düğüm mu: Formun sorguları sorarak düğümü gelen yolda yalan düğümü için ?". Her bir sorgunun bir kehanet tarafından sabit zamanda cevaplanabileceğini varsayın. değerini , ağaçtaki düğüm sayısını biliyoruz . Amaç, ağacının çıktısını almak için harcanan zamanı en aza …
3
Zaman ve sorgu karmaşıklığı arasında takas
Zaman karmaşıklığı veya devre alt sınırları ile doğrudan çalışmak korkutucu. Bu nedenle, alt sınırların üstesinden gelmek için sorgu karmaşıklığı (veya karar ağacı karmaşıklığı) gibi araçlar geliştiriyoruz. Her sorgu en az bir birim adım attığından ve sorgular arasındaki hesaplamalar serbest olarak sayıldığından, zaman karmaşıklığı en azından sorgu karmaşıklığı kadar yüksektir. Ancak, …
3
Sorgu karmaşıklığı açısından kesinlikle klasik ve kuantum arasında hesaplama modelleri
İyi bilinen kuantum bilgisayarlar, sorgu karmaşıklığı açısından klasik benzerlerinden kesinlikle daha güçlüdür . Sorgu karmaşıklığı açısından kesinlikle kuantum ile klasik arasında kalan başka modeller (doğal veya yapay) var mı? Ayrılma olabilir belirli sorunlar: model X işlevi işlevini kuantumdan kesinlikle daha fazla sorgu ile hesaplar , ancak klasikte alt sınırdan daha …
1
Olumsuz olumsuz yöntemin ekstra gücünü kullanma
Negatif rakip yöntem ( ) kuantum sorgu karmaşıklığını karakterize eden bir SDP'dir. Yaygın olarak kullanılan rakip yöntemin ( A D V ) genelleştirilmesidir ve rakip yöntemi engelleyen iki engelin üstesinden gelir:ADV±ADV±ADV^\pmADVADVADV Özellik testi engeli: 0-örneklerinin tümü -tüm 1-örneklerden uzaksa, rakip yöntem Ω ( 1 / ϵ ) ' den daha …
1
Karar ağaçlarını optimize etme algoritması
Arka fon İkili karar ağacı , her iç düğümün (ve kökün) dizininde indeksiyle etiketlendiği ve kökten yaprağa hiçbir yolun bir dizini tekrarlamadığı köklü bir ağaçtır , yapraklar içindeki çıkışlarla etiketlenir ve her kenar sol çocuk için ve sağ çocuk için olarak etiketlenir . girişine ağaç uygulamak için :TTTj ∈ { …
1
Sorgu algoritmalarının bilgi karmaşıklığı?
Bilgi karmaşıklığı iletişim karmaşıklığında çok yararlı bir araç olmuştur, esas olarak dağıtılmış sorunların iletişim karmaşıklığını azaltmak için kullanılır. Sorgu karmaşıklığı için bir bilgi karmaşıklığı analogu var mı? Sorgu karmaşıklığı ile iletişim karmaşıklığı arasında birçok paralellik vardır; çoğu zaman (ama her zaman değil!) bir modeldeki bir alt sınır diğer modeldeki bir …
1
Test edilmesi zor “maksimum” dağıtım özellikleri var mı?
Bir dağıtım özelliği P için bir dağıtım testi algoritması ([n] üzerindeki tüm dağıtımların sadece bir alt kümesidir), bazı dağıtım D'ye göre örneklere erişime izin verilir ve veya olmadığına (whp) karar vermek gerekir. ( burada genellikle mesafesidir). Karmaşıklığın en yaygın ölçüsü, algoritma tarafından kullanılan örnek sayısıdır.d ( D , P ) …
2
Las Vegas ve Monte Carlo Rastgele Karar Ağacı Karmaşıklığı
Arka fon: Karar ağacı karmaşıklığı veya sorgu karmaşıklığı, aşağıdaki gibi tanımlanan basit bir hesaplama modelidir. Let olduğu bir Boolean fonksiyonu. ile gösterilen deterministik sorgu karmaşıklığı, girişinin (daha kötü durumda) deterministik bir algoritma tarafından okunması gereken minimum bit sayısıdır. değerini hesaplar . Karmaşıklık ölçüsünün, okunan girdinin bit sayısı olduğunu unutmayın; diğer …
1
Üstel hızlanan kuantum algoritmaları span programları kullanılarak yeniden oluşturulabilir mi?
Genel düşmanın alt sınırının artık Reichardt ve ark.'nın atılım çalışmaları nedeniyle kuantum sorgu karmaşıklığını karakterize ettiği bilinmektedir. Aynı çalışma hattı, kuantum algoritmalarını tasarlamak için yayılma programı çerçevesine bağlantılar da kurar. Simon algoritması ve Shor'un dönem bulma algoritması gibi üstel hızlananlar da dahil olmak üzere birçok ilginç kuantum algoritması, kuantum sorgu …
1
Üyelik sorgusunda ve karşı örnek modelinde öğrenme için daha düşük sınırlar
Dana Angluin ( 1987 ; pdf ) üyelik sorguları ve teori sorguları (önerilen işleve karşı örnekler) içeren bir öğrenme modeli tanımlar. En az devlet DFA'sı ile temsil edilen normal bir dilin, üyelik sorguları ve en fazla teori sorgusu ( ) ile polinom zamanında (önerilen işlevlerin DFA'lar olduğu) öğrenilebilir olduğunu gösterir …
4
Kuantum ve deterministik sorgu karmaşıklığı arasındaki boşluğu sınırlama
Sınırlı hata kuantum sorgu karmaşıklığı ( ) ve deterministik sorgu karmaşıklığı ( ) veya sınırlı hata rastgele sorgu karmaşıklığı ( ) arasındaki üstel ayrımlar bilinmesine rağmen , bunlar sadece belirli kısmi fonksiyonlar için geçerlidir. Kısmi fonksiyonların bazı özel yapıları varsa, bunlar aynı zamanda polinom olarak ile ilişkilidir . Ancak, çoğunlukla …
1
Yayılma programları, tanık büyüklüğü ve sertifika karmaşıklığı
Bir yayılma programı, burada tanıtılan bir boole işlevini belirtmenin doğrusal-cebirsel bir yoludur . Son zamanlarda, bu model negatif olumsuz yöntemin kuantum sorgu karmaşıklığının sıkı bir karakterizasyonunu (en azından ) sağladığını göstermek için kullanıldı .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Span programlarını kuantum sorgu karmaşıklığına bağlayan karmaşıklık ölçüsü tanık boyutudur. Bu önlem …
1
Eşik fonksiyonunda alt sınırlar
Boole fonksiyonunun karar ağacı karmaşıklığında, çok iyi bilinen bir alt sınır yöntemi, fonksiyonu temsil eden (yaklaşık) bir polinom bulmaktır. Paturi , simetrik boole (kısmi ve toplam) fonksiyonlar için belirtilen miktar bakımından bir karakterizasyon verdi :ΓΓ\Gamma Teoremi ( Paturi ) Let ve anlamında olabildikleri, bir sabit olmayan bir simetrik fonksiyon zaman …
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.