«circuit-complexity» etiketlenmiş sorular

Devre karmaşıklığı, kaynağa bağlı devrelerin ve bu devreler tarafından hesaplanan fonksiyonların incelenmesidir.

1
Is
D. Bera, F. Green ve S. Homer (ACM SIGACT News'in s. 36, Haziran 2007 cilt 38, no. 2) tarafından yapılan "Küçük Derinlikli Kuantum Devreleri" anketinde , şu cümleyi okudum: Klasik bir versiyonudur (ki buradaki bir K D ve O R kapıları çok sabit fanout var) daha kanıtlanabilir zayıf olan bir …
2
Determinant ve kalıcı için alt sınır
Derinlik-3 sonucundaki son uçurum ışığında (ki bu, diğer şeylerin yanı sıra , üzerinde belirleyici için için derinlik-3 aritmetik devresi verir ), aşağıdaki sorular vardır: Grigoriyev ve Karpinski'nin kanıtlanmıştır bir determinantını işlem herhangi bir derinlik 3 aritmetik devre için alt sınır herhalde sonlu alanlar üzerinde matrisler ( Daimi için de geçerlidir). …
4
Monoton aritmetik devreler
Genel aritmetik devreler hakkındaki bilgilerimizin durumu, Boolean devreleri hakkındaki bilgimizin durumuna benzer gözüküyor, yani iyi düşük sınırlarımız yok. Öte yandan, monoton Boole devreleri için üstel boyutlarda alt sınırlarımız var . Monoton aritmetik devreleri hakkında ne biliyoruz ? Onlar için de benzer alt sınırlarımız var mı? Eğer değilse, monoton aritmetik devreler …
4
PARITY'yi hesaplayan devrenin minimum boyutu nedir?
PARITY değerini giriş değişkenlerinden hesaplayan her fan girişi 2 AND-OR-NOT devresinin en az 3 ( n - 1 ) boyutta olması klasik bir sonuçtur.3(n−1)3(n−1)3(n-1) değerini ve bu keskindir. (Ebadı VE ve VEYA kapıları sayısı olarak tanımlarız.) Kanıt geçit engellemesinden ibarettir ve rastgele içeri girmeye izin verirsek başarısız olur. Bu dava …
2
VE VE VEYA devreleri P tamamlandı mı?
AND & OR geçidi, iki giriş verilen ve AND ve OR'larını döndüren bir geçittir. Devreler sadece VE & VEYA geçidinden yapılır, kesinti olmadan, rasgele hesaplamalar yapabilir mi? Daha doğrusu, polinom zaman hesaplamalı logspace VE VE VEYA devrelerine indirgenebilir mi? Bu sorun için motivasyonum oldukça garip. Açıklandığı gibi burada , bu …
2
İlave 5 derinlikten daha az bir sürede yapılabilir mi?
Taşıma ileriye bakma algoritmasını kullanarak bir polinom boyut derinliği 5 (veya 4?) devre ailesi kullanarak eklemeyi hesaplayabiliriz . Derinliği azaltmak mümkün mü? İleriye bakacak algoritmayı taşıyarak elde edilen derinlikten daha az derinliğe sahip polinom büyüklüğü devre ailesi kullanarak iki ikili sayının eklenmesini hesaplayabilir miyiz?Bir c0AC0AC^0 D 2 veya 3 olan …
2
Devre alt sınırları ve kolmogorov karmaşıklığı
Aşağıdaki sebepleri göz önünde bulundurun: Let belirtmek Kolmogorov karmaşıklığı dize ait . Chaitin'in eksiklik teoremi şöyle diyorxK( x )K(x)K(x)xxx herhangi bir tutarlı ve yeterince güçlü resmi bir sistem için , sabit vardır herhangi şeritler için böyle (resmi sistemi ve diline tek olarak) , kanıtlayamayacaklarını .T x S K ( x …
3
Sabit grafiklerde Clique problemi
Bilindiği gibi, -clique fonksiyonu bir (alır kapsayan alt grafiğinin) tam bir -vertex grafik ve çıkışları iff bir içermektedir -clique . Bu durumda Değişkenler karşılık kenarları arasında . bu fonksiyonun monoton devreler gerektirdiği bilinmektedir (Razborov, Alon-Boppana) . Cı L I S u e ( n , k ) G ⊆ K …
1
Mu
Olasılığını ortadan polinom boyutlu zincirler (örneğin, altüssel-boyutuna sahip olduğu herhangi bir makul karmaşıklığı / kripto hipotez var ile ε &lt; 1 sınırlı derinlemesine () d = O ( 1 ) ) devreleri?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) Biz her fonksiyonu hesaplanabilir biliyoruz devresi bir boyut ile hesaplanabilir 2 , O ( n, ε …
6
Aynı önyargılı paralardan adil bir para biriktirmek için en iyi yol nedir?
(Von Neumann, aynı önyargılı madeni paralara erişime izin verilen adil bir madeni para taklit eden bir algoritma verdi. Algoritma potansiyel olarak sonsuz sayıda madeni para gerektiriyor (her ne kadar beklemekle birlikte, son derece yeterlidir). sınırlı.) Önyargılı ile aynı sikkelerimiz olduğunu varsayalım . Amaç, önyargılılığı en aza indirirken tek bir bozuk …
6
Devre Alt Sınırlarına Referanslar
önsöz İnteraktif ispat sistemleri ve Arthur-Merlin protokolleri Goldwasser, Micali ve Rackoff ve Babai tarafından 1985 yılında tanıtıldı . İlk önce, eskiden ikincisinden daha güçlü olduğu düşünülüyordu, ancak Goldwasser ve Sipser aynı güce sahip olduklarını gösterdiler ( dil tanıma konusunda). Dolayısıyla, bu yazıda iki kavramı birbirinin yerine kullanacağım. Let ile interaktif …
2
Sabit derinlikli formüller için alt sınırlar?
(Polinom büyüklüğü) sabit derinlikli devrelerin sınırlamaları hakkında çok şey biliyoruz. (Polinom büyüklüğü) sabit derinlikteki formüller daha da sınırlı bir hesaplama modeli olduğundan, AC 0'da bulunmadığı bilinen tüm problemler sabit derinlikli bir formül ile de hesaplanamaz. Ancak, daha kolay bir model olduğundan, bu modelde hesaplanabilir olmadığı bilinen daha fazla sorun olduğunu …
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.