«circuit-families» etiketlenmiş sorular

1980'lerde, Razborov ünlü hesaplamak için katlanarak birçok VE ve VEYA kapıları gerektiren açık monoton Boolean işlevlerinin (CLIQUE işlevi gibi) olduğunu gösterdi. Bununla birlikte, {0,1} Boole alanı üzerindeki {AND, OR} temeli, evrensel olmanın yetersiz kaldığı ilginç bir geçit setinin sadece bir örneğidir. Bu benim soruma yol açar: Devre boyutunda üssel düşük …

40 lower-bounds  circuit-complexity  circuit-families 

Ryan Williams , sınırsız fan girişi ve geçitleri AND, OR, NOT ve MOD_m ile tüm olası m'ler için sabit derinlik devrelerine sahip olan problem sınıfı olan ACC'ye sınırını koydu. MOD_m kapılarında bu kadar özel olan ne? Herhangi bir Z_m halkası üzerinde bir aritmetik simülasyonu sağlar. Ryan'ın sonucundan önce, MOD_m kapılarını …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

QiCheng tarafından cevapsız bırakılan “ Belirli bir NC 0 devresinin izin verdiğini hesaplar mı ” sorusu hakkında özel bir soru sormak istiyorum . Her çıkış kapısı sözdizimsel olarak çoğu k giriş kapısına bağlıysa, Boolean devresi NC 0 k devresi olarak adlandırılır . (Bir çıkış geçidinin g sözdizimsel olarak devirli bir …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

1941'de Emil Post tarafından tarif edilen Post'un kafes yapısı temel olarak kompozisyon altında kapalı olan Boolean fonksiyon kümelerinin tamamlanmış bir diyagramıdır: örneğin, monoton fonksiyonlar, GF (2) üzerindeki lineer fonksiyonlar ve tüm fonksiyonlar. (Post, 0 ve 1 sabitlerinin ücretsiz olarak kullanılabileceğini varsaymadı, bu da kafesini aksi olacağından çok daha karmaşık hale …

22 circuit-families 

Let bir harita fonksiyonu s -GATE devre C üzerinde , n bit ve bir n- bitlik dize x için Cı- ( x ) . Devreler atamaları asiklik dizisi olarak kodlanır varsayalım k : = gr ( i , j ) burada i , j , k, tel etiketlerdir.CircuitEvals,nCircuitEvals,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC(x)C(x)C(x)k:=g(i,j)k:=g(i,j)k := …

14 cc.complexity-theory  circuit-complexity  circuit-families 

Basitçe söylemek gerekirse: Oraclesli Turing makineleri ve oraclesli üniform devre aileleri arasındaki uyum nedir? Belirli bir oracle Turing makinesi için aynı hesaplama modelini elde etmek için ikincisi nasıl tanımlanır? Bu temel bir soru olabilir, ancak nereye bakılacağı açık değildir ve vakıflarımın kaliteli harç kullandığından emin olmaktan hoşlanan biriyim. Standart bir …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Let çoğunluğu fonksiyonu, yani hem , ancak ve ancak . Aşağıdaki gerçeğin basit bir kanıtı olup olmadığını merak ediyordum ("basit" ile Valiant 84'ün yaptığı gibi olasılıksal yönteme veya sıralama ağlarına güvenmemek, tercihen devrenin açık, basit bir şekilde yapılandırılmasını sağlamak):f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}f(x)=1f(x)=1f(x) = 1∑ni=1xi>n/2∑i=1nxi>n/2\sum_{i = 1}^n x_i > n/2 fff …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Tam kuantum algoritmaları hakkında fikirleri düşünüyorum. Özellikle, keyfi bir sonlu kapı seti üzerinde çoklu zaman üniformalı kuantum devre aileleri tarafından tam olarak karar verilebilen dillerden oluşan olası sınırlamalarını düşünüyorum .EQPEQP\mathsf{EQP} F N = 1 ile verilen kuantum Fourier dönüşümü (QFT) kuantum bilgisayar teorinin ünlü bir parçasıdır. Durumunda , N = …

11 quantum-computing  circuit-families