Câu hỏi được gắn thẻ «boolean-functions»

Người ta biết rằng đối với một lớp khái niệm CC\mathcal{C} có kích thước VC , nó có đủ các ví dụ được gắn nhãn học . Tôi không rõ liệu thuật toán học PAC (sử dụng nhiều mẫu này) là đúng hay không đúng? Trong sách giáo khoa của …

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

Giả sử chúng ta có hàm boolean từ . Rõ ràng là một đa thức p ( x ) đa biến thực sao cho f ( x ) = p ( x ) trên x ∈ { 0 , 1 } n có thể là đa tuyến. Một số lớp …

10 boolean-functions 

Cho một mạch boolean trên n biến (chỉ sử dụng cổng NOT, AND và OR), cách hiệu quả nhất để trích xuất công thức boolean được đại diện bởi mạch là gì? Có một thuật toán polytime cho vấn đề này?CCCnnn

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

Giả sử tôi có một mạch boolean tính toán một số hàm f : { 0 , 1 } n → { 0 , 1 } . Giả sử mạch bao gồm các cổng AND, OR và KHÔNG có quạt vào và ra nhiều nhất là 2.CCCf: { 0 , …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Trạng thái kết quả nghệ thuật về độ phức tạp truy vấn của công thức 2-DNF học PAC phù hợp với các truy vấn mẫu và theo phân phối thống nhất là gì? Hoặc bất kỳ ràng buộc không tầm thường trên nó? Bởi vì tôi hoàn toàn không quen …

10 reference-request  lg.learning  boolean-functions 

Braverman đã chỉ ra rằng các bản phân phối là -wise độc lậpε-fool sâudMộtC0mạch kích thướcmbằng cách "dán lại với nhau" xấp xỉ Smolensky và xấp xỉ Fourier củamộtC0hàm Boolean -computable. Tác giả và những người đã phỏng đoán điều này ban đầu phỏng đoán rằng số mũ ở đó …

9 boolean-functions  fourier-analysis 

Với một hàm Boolean , chúng tôi có nhóm automorphism Một u t ( f ) = { σ ∈ S n | ∀ x , f ( σ ( x ) ) = f ( x ) } .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Mộtbạnt(f)= ={σ∈Sn |∀x,f(σ(x))= =f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall …

9 boolean-functions  randomness  gr.group-theory  symmetry 

Giả sử chúng ta có hàm Boolean và chúng tôi áp dụng hạn chế -random trên . Ngoài ra, giả sử rằng cây quyết định tính toán co lại thành kích thước là kết quả của hạn chế ngẫu nhiên. Điều này có nghĩa là có tổng ảnh hưởng rất …

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

Giả sử ta có hàm số sao cho ∀ x ∈ Z n 2f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} vàflà một phân phối, tức là,Σ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 Entropy Shannon của được định nghĩa như sau: H ( f …

9 it.information-theory  boolean-functions 

Trong độ phức tạp của cây quyết định của hàm boolean, một phương thức ràng buộc thấp hơn rất rõ là tìm một đa thức (gần đúng) đại diện cho hàm. Paturi đã đưa ra một đặc tính cho các hàm boolean đối xứng (một phần và toàn bộ) theo …

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

Việc thiết lập gần đây của mối quan hệbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) đi qua Gotsman, Linial . Cách tiếp cận tương tự có thể đến hoặc có giới hạn thiết yếu nào đối với phương pháp này không?O(s(f)2)O(s(f)2)O(s(f)^2)

8 cc.complexity-theory  boolean-functions 

Ngôn ngữ Critical SAT được định nghĩa là tập hợp của thức boolean f mà f ∈ U N S A T nhưng loại bỏ bất kỳ khoản từ e làm cho nó satisfiable. Được biết, SAT quan trọng là D P -complete. Tôi tự hỏi về biến thể sau: …

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

Như đã trình bày trong bài báo "Mạch đơn điệu cho hàm đa số", có thể xây dựng mạch boolean đơn điệu cho hàm đa số trên n biến có kích thước O (n ^ 3) và độ sâu 5,3 log (n) + O (1). http://link.springer.com/ch CHƯƠNG / 10.1007/11830924_38 Câu …

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

Theo XOR Satisfiability Solver Module cho DPLL Integration bởi Tero Laitinen, chúng ta cần CNF khoản để chuyển đổi một đen khoản XOR-SAT nếu chúng ta không muốn tăng số lượng các literals. Vì vậy, tôi hiểu rằng chi phí tính toán để chuyển đổi biểu thức XOR-SAT thành CNF …

8 sat  boolean-functions  boolean-formulas