«circuit-complexity» 태그된 질문

회로 복잡도는 자원이 제한된 회로와 그러한 회로에 의해 계산 된 기능에 대한 연구입니다.

2
폴리 로그 바운드 깊이 회로의 회로 하한 상태
경계 깊이 회로 복잡도는 회로 복잡도 이론 내에서 주요 연구 분야 중 하나입니다. 이 주제에는 "패리티 함수가 "및 "mod 함수가 "에 의해 계산되지 않습니다 ( 여기서 는 클래스 와 같은 결과 가 있습니다. 불균일하고 일정한 깊이, 다항식 크기, 무한 팬인 AND, OR, NOT 및 모듈로 게이트에 의해 결정될 수있는 언어로 …
2
QAC_0에 패리티가 있습니까?
잘 알려진 바와 같이, PARITY는 폴리 크기의 일정 깊이 회로에서 수행 될 수 없으며, 실제로 const-dept 회로는 EXP 수의 게이트를 필요로한다. 퀀텀 회로는 어떻습니까? a) 패리티는 일정한 깊이와 많은 수의 게이트를 갖는 양자 회로로 수행 될 수 있습니까? b) 내 질문도 이해가 되나요?
1
감도가 블록 감도와 동일한 부울 함수
감도 대 블록 감도에 대한 일부 연구 는 가 보다 다 항적으로 더 크다는 추측을 해결하기 위해 와 사이에 가능한 한 큰 간격을 가진 함수를 조사하는 것을 목표로하고 있습니다. . 반대 방향은 어떻습니까? 함수에 대해 알려진 것은 무엇입니까 ?s(f)s(f)s(f)bs(f)bs(f)bs(f)bs(f)bs(f)bs(f)s(f)s(f)s(f)s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) 분명히 상수 함수는 입니다. 또한 사소하게, 함수 에는 있습니다. …
1
BPP가 P / poly에 있다는 것을 알고 나면 BPP 대 P가 실제 문제입니까?
우리는 BPP ⊆ P / poly 및 훨씬 더 강한 BPP / poly ⊆ P / poly 가 포함된다는 것을 알고 있습니다 (현재 약 40 년 동안 Adleman, Bennet 및 Gill에게 감사드립니다) . "/ poly"는 우리가 불균일하게 (각 입력 길이 n 에 대해 별도의 회로) 일한다는 것을 의미하고 , 이 …
2
n 개의 입력 비트의 AND 및 OR를 동시에 계산하는 데 필요한 이진 게이트 수
입력 비트 의 AND와 OR를 동시에 계산하는 데 필요한 최소 이진 게이트 수는 얼마입니까? 사소한 상한은 입니다. 나는 이것이 최적이라고 생각하지만 이것을 증명하는 방법은 무엇입니까? 표준 게이트 제거 기술은 입력 변수 중 하나에 상수를 할당하여 출력 중 하나를 트리 비아 리즈하는 것처럼 작동하지 않습니다.nnn2n−22n−22n-2 이 문제는 Ingo Wegener의 "부울 함수의 …
5
균일화에 대한 더 강한 개념?
내가 실제로 이해하지 못한다는 것을 항상 알고 있었던 한 가지 차이점은 회로 복잡성이 비 균일 버전을 나타내고 튜링 머신은 일이 균일 한 비 균일과 균일 한 계산 복잡성 사이입니다. "uniform"은 n + 1 변수의 문제와 비교하여 n 변수의 문제에 대해 완전히 다른 회로를 허용하지 않는 알고리즘 클래스를 제한하는 방법이라고 생각합니다. …
3
어떤
Neil Immerman의 유명한 세계 그림은 다음과 같습니다 (확대하려면 클릭). 그의 "참으로 실현 가능한"수업에는 다른 수업이 포함되지 않습니다. 내 질문은 다음과 같습니다 실용적이지 않은 것으로 간주되는 AC 0 문제 는 무엇 이며 그 이유는 무엇입니까?
1
폴리 및 로그 심도 양자 회로 사이의 안구 분리
다음은 Aaronson의 양자 컴퓨팅 이론에 대한 10 개의 반-세계 도전 과제에 나타나는 문제 입니다. 가요B Q P = B P PB Q N C비큐피=비피피비큐엔씨\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} 즉, 어떠한 양자 알고리즘의 "양"부분은 압축 될 수 의 깊이 '우리에게 제공 다항식 고전 후 처리를 다시 할 의향이 있습니까? (이것은 쇼어 알고리즘에 해당되는 것으로 알려져있다.) …
1
동적 프로그래밍이 Greedy보다 약한 적이 있습니까?
회로 복잡성에서 우리는 다양한 회로 모델의 전력을 분리합니다. 증명 복잡성에서 우리는 다양한 증명 시스템의 힘을 구분합니다. 그러나 알고리즘에서 우리는 여전히 알고리즘 패러다임의 힘 사이의 분리가 거의 없습니다 . 아래의 질문은 두 가지 패러다임 인 욕심과 동적 프로그래밍에 대한 후자의 문제를 다루는 것입니다. 우리는 기본 요소 집합과 일부 해당 하위 집합을 …
1
XOR 게이트를 사용하는 가장 작은 회로 크기
n 개의 부울 변수 x_1, ..., x_n과 m 함수 y_1 ... y_m 세트가 주어 졌다고 가정합니다. 여기서 각 y_i는 이러한 변수의 (주어진) 서브 세트의 XOR입니다. 목표는 이러한 모든 y_1 ... y_m 함수를 계산하기 위해 수행해야하는 최소 XOR 연산 수를 계산하는 것입니다. XOR 연산의 결과, 예를 들어 x_1 XOR x_2는 여러 …
1
계산하기 어렵지만 결정하기 쉬운 다항식이 있습니까?
모든 모노톤 산술 회로 , 즉 회로 는 음이 아닌 정수 계수로 일부 다변량 다항식 F ( x 1 , … , x n ) 를 계산합니다. 다항식 f ( x 1 , … , x n )가 주어지면 회로{+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) 계산해 경우 F ( ) = f는 ( ) 모두 …
1
합니까
polytime Turing-machine / polysize 회로 대신 logspace Turing-machine 또는 A C 0 회로가 문제를 인코딩하도록 P P A D를PPAD{\bf PPAD} 정의하면 어떻게됩니까 ?AC0{\bf AC^0} 최근 소형 회로에 대한 회로 만족도에 대한 빠른 알고리즘을 제공 하는 것이 중요하다는 것이 밝혀 졌으므로 P P A D 의 반복 버전에 어떤 일이 발생하는지 …
1
전체 이진법에 대한 1 회 읽기 공식의 특성 분석
배경 게이트 세트 (기본이라고도 함)에 대한 1 회 읽기 수식은 각 입력 변수가 한 번 나타나는 수식입니다. 1 회 읽기 공식은 일반적으로 De Morgan 기반 (2 비트 게이트 AND 및 OR 및 1 비트 게이트 NOT이 있음) 및 전체 이진 기준 (모든 2 비트 게이트가 있음)을 통해 연구됩니다. 예를 들어, …
1
의 순서 목록을 유지
주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.