«circuit-complexity» 태그된 질문

부울 함수 -1,1 -1,1 있고 에 -random 제한을 적용 한다고 가정 해 봅시다 . 또한, 를 계산 하는 결정 트리 가 임의 제한의 결과로 크기 로 축소 된다고 가정 하십시오. 이것은 가 총 영향이 매우 낮다는 것을 의미합니까 ?f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\}δδ\deltafffTTTfffO(1)O(1)O(1)fff

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

2 개의 n 비트 정수를 곱한 회로의 게이트 수에 가장 적합한 결과는 무엇입니까? 명백한 방법은 게이트를 생성합니다. 가 더 나은 접근법과 와 게이트.θ (엔2)θ(n2)\theta(n^2)θ ( n 로그N 로그로그n )θ(nlog⁡nlog⁡log⁡n)\theta(n\log n \log\log n)θ ( n 로그엔2로그※(n ))θ(nlog⁡n2log∗⁡(n))\theta(n\log n2^{\log^*(n)}) 게이트로 곱셈을 처리 할 수있는 부울 회로 제품군을 찾을 수 없습니다 . 그런 …

9 cc.complexity-theory  circuit-complexity 

허락하다 xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} ...에 대한 i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, 약속으로 x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (합이 끝난 곳 ZZ\mathbb{Z}). 그렇다면 결정의 복잡성은 무엇입니까x=1x=1x = 1? 사소한 문제는 ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} 때문에 x≡1modmx≡1modmx \equiv 1\bmod{m}iff x=1x=1x = 1 입니다. 질문은 : 문제가 AC0AC0\mathsf{AC}^0 있습니까? 그렇다면 회로가 이것을 목격하는 것은 무엇입니까? 그렇지 …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Berkowitz 알고리즘은 행렬 전력을 사용하여 정사각 행렬을 결정하기 위해 로그 깊이가있는 다항식 크기 ​​회로를 제공합니다. 알고리즘은 암시 적으로 취소를 사용합니다. 행렬식 또는 선형 깊이를 갖는 다항식 크기의 회로를 획득하여 결정 요인 (및 영구적 인 경우 가능한 최상의 회로)을 얻는 데 취소가 필수적입니까? 취소없이 회로를 사용하여 이러한 문제에 대한 완전 지수 …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

제 질문은 유한 모델 이론 / 설명 적 복잡성에 관한 것이므로, 은 "술어 Rs와 단항 술어 P true를 사용하여 유한 이진 단어보다 1 차 단어 1의 위치"를 의미합니다.FO(R)FO(R)FO(R) 내가 알고 싶은, 어떤 caracterisation가 과 R 어떤 술어에 \ mathbb N ^ R 일부 연구 하시나요? 예를 들어 FO (<, +) …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

DLOGTIME은 http://en.wikipedia.org/wiki/DLOGTIME 에 정의되어 있으며 http://en.wikipedia.org/wiki/L_%28complexity%29 및 정의되어 있습니다 . 은 http://en.wikipedia.org/wiki/NC_%28complexity%29에 정의되어 있습니다 . 엘엘\operatorname{L} 체크 안함체크 안함\operatorname{NC}체크 안함엔체크 안함엔\operatorname{NC}^n DLOGTIME은 가장 작은 것 같습니다. 그 다양한 장소에서 읽은 , 모든 장소 비록 내가 한 발견 균일 상태에서 사용 상태 결과 - 일률. 모든 클래스 결정적이 있는가 되도록 로 …

9 cc.complexity-theory  circuit-complexity 

최근 Craig Gentry는 완전히 동형 인 최초의 공개 키 암호화 체계 (일반 텍스트 공간 {0,1})를 공개했습니다. 즉, 비밀 암호 해독 키에 대한 지식 없이도 암호화 된 일반 텍스트에서 AND 및 XOR을 효율적이고 간결하게 평가할 수 있습니다. 이 공개 키 암호화 시스템을 임계 값 공개 키 암호화 시스템으로 전환하여 모든 사람이 …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption