Pertanyaan yang diberi tag «boolean-functions»

Sudah diketahui umum bahwa untuk kelas konsep dengan VC dimensi , cukup untuk mendapatkan O \ kiri (\ frac {d} {\ varepsilon} \ log \ frac {1} {\ varepsilon} \ kanan) contoh berlabel untuk PAC learn \ mathcal {C} . Tidak jelas bagi saya apakah algoritma pembelajaran PAC (yang menggunakan …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

Misalkan kita memiliki fungsi boolean dari . Jelas bahwa nyata multivariat polinomial p ( x ) sehingga f ( x ) = p ( x ) pada x ∈ { 0 , 1 } n bisa multilinear. Apa sajakah kelas fungsi boolean yang menarik di mana tingkat minimal p ( …

10 boolean-functions 

Diberikan sirkuit boolean pada n variabel (yang menggunakan gerbang NOT, AND dan OR), apa cara paling efisien untuk mengekstrak rumus boolean yang diwakili oleh sirkuit? Apakah ada algoritma polytime untuk masalah ini?CCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Misalkan saya memiliki sirkuit boolean yang menghitung beberapa fungsi f : { 0 , 1 } n → { 0 , 1 } . Asumsikan sirkuit terdiri dari AND, OR, dan NOT gerbang dengan fan-in dan fan-out paling banyak 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Apa hasil canggih tentang kompleksitas kueri dari rumus 2-DNF pembelajaran PAC yang tepat dengan kueri sampel dan di bawah distribusi yang seragam ? Atau ada yang tidak sepele yang terikat padanya? Karena saya sama sekali tidak terbiasa dengan teori belajar dan pertanyaan ini dimotivasi oleh bidang yang berbeda, jawabannya mungkin …

10 reference-request  lg.learning  boolean-functions 

Braverman menunjukkan bahwa distribusi yang -berdiri bebasϵ-kedalaman mendalamdAC0sirkuit ukuranmdengan "menempelkan" perkiraan Smolensky dan pendekatan Fourier darifungsi Boolean yang dapat dikomputasi denganAC0. Penulis dan orang-orang yang menduga dugaan ini bahwa eksponen di sana dapat direduksi menjadiO(d)(logmϵ)O(d2)(logmϵ)O(d2)(log \frac{m}{\epsilon})^{O(d^2)}ϵϵ\epsilonddd AC0AC0AC^0mmmAC0AC0AC^0O(d)O(d)O(d), dan saya ingin tahu apakah kemajuan telah dibuat untuk ini, seperti yang saya …

9 boolean-functions  fourier-analysis 

Diberikan fungsi Boolean , kita memiliki grup automorfisme .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }fffA u t ( f) = { σ∈ Sn ∣ ∀ x , f(σ(x))=f(x)}Aut(f)={σ∈Sn …

9 boolean-functions  randomness  gr.group-theory  symmetry 

Katakanlah kita memiliki fungsi Boolean f: { - 1 , 1 }n→ { - 1 , 1 }f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} dan kami menerapkan pembatasan δδ\delta -random pada fff . Selain itu, katakan bahwa pohon keputusan TTT yang menghitung fff menyusut ke ukuran O ( 1 )HAI(1)O(1) sebagai akibat dari pembatasan acak. …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Katakanlah kita memiliki fungsi sedemikian rupa sehingga dan adalah distribusi, yaitu, . ∀ x ∈ Z n 2f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}f∑x∈Z n 2 f(x)=1∀x∈Zn2f(x)∈{12n,22n,…,2n2n},∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x∈Zn2f(x)=1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} f(x) = 1 Entropi Shannon dari didefinisikan sebagai berikut: H ( f ) = - ∑ …

9 it.information-theory  boolean-functions 

Dalam kompleksitas pohon keputusan fungsi boolean, metode batas bawah yang sangat diketahui adalah untuk menemukan (perkiraan) polinomial yang mewakili fungsi. Paturi memberikan karakterisasi untuk fungsi simetris boolean (parsial dan total) dalam hal kuantitas yang dilambangkan :ΓΓ\Gamma Teorema ( Paturi ): Misalkan menjadi fungsi simetris non-konstan, dan melambangkan f k = …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Pembentukan baru-baru ini dari hubunganb s ( f) = O ( s ( f)4)bs(f)=HAI(s(f)4)bs(f)=O(s(f)^4) melewati Gotsman, Linial . Bisakah pendekatan yang sama mencapai atau apakah ada batasan penting untuk pendekatan tersebut?O ( s ( f)2)HAI(s(f)2)O(s(f)^2)

8 cc.complexity-theory  boolean-functions 

Bahasa Critical SAT didefinisikan sebagai himpunan rumus boolean sedemikian rupa sehingga tetapi menghapus klausa apa pun dari membuatnya memuaskan. Diketahui bahwa SAT kritis adalah lengkap. Saya bertanya-tanya tentang varian berikut: diberi rumus , apakah ini kasus bahwa ada di dan bahwa ada beberapa klausa sehingga (alih-alih untuk semua klausa, ada …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Seperti yang ditunjukkan dalam makalah "Sirkuit Monoton untuk Fungsi Mayoritas", adalah mungkin untuk membangun sirkuit boolean monoton untuk fungsi mayoritas pada variabel n dengan ukuran O (n ^ 3) dan kedalaman 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Pertanyaan saya adalah, apa kompleksitas waktu dari konstruksi seperti itu? (Yaitu, waktu …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

Menurut XOR Satisfiability Solver Module untuk Integrasi DPLL oleh Tero Laitinen, kita membutuhkan klausa CNF untuk mengubah klausa XOR-SAT literal jika kita tidak ingin menambah jumlah literal. Jadi, saya mengerti bahwa biaya komputasi untuk mengubah ekspresi XOR-SAT menjadi CNF -SAT adalah eksponensial. n k2n - 12n-12^{n-1}nnnkkk Pertanyaan saya: Berapa biaya …

8 sat  boolean-functions  boolean-formulas