«circuit-complexity» 태그된 질문

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

3
? 의 고정 깊이 특성
이것은 회로 복잡성에 관한 질문입니다. (정의는 맨 아래에 있습니다.) 치아와 Beigel-타루이마다되었습니다 C C 0 크기의 회로 가족 들 크기의 등가 회로 군 갖는 S 쪽 O를 패 Y ( 로그 들 ) 깊이의 두 출력 게이트 대칭 함수이고 두번째 레벨 이루어져 p o l y ( log s ) 의 …

3
임의의 게이트 세트에 대한 회로 하한
1980 년대에 Razborov는 계산을 위해 기하 급수적으로 많은 AND 및 OR 게이트를 필요로하는 명시 적 모노톤 부울 함수 (예 : CLIQUE 함수)가 있음을 유명하게 보여주었습니다. 그러나 부울 도메인 {0,1}에 대한 기본 {AND, OR}은 보편적으로 부족한 흥미로운 게이트 세트의 한 예일뿐입니다. 이것은 내 질문으로 이어진다. 회로 크기의 지수 하한이 알려진 (단락에 …

3
왜 mod_m 게이트가 흥미 롭습니까?
라이언 윌리엄스 (Ryan Williams) 는 무한한 팬인 (fan-in)과 게이트를 가진 일정한 깊이 회로를 가지고 있으며 가능한 모든 m에 대해 AND, OR, NOT 및 MOD_m을 갖는 문제의 클래스 인 ACC 에 자신의 하한을 게시했습니다 . MOD_m 게이트의 특별한 점은 무엇입니까? 링 Z_m에 대한 산술을 시뮬레이션 할 수 있습니다. Ryan의 결과가 나오기 …



3
가 에 포함 된 ?
다른 사용자에게 흥미가있을 수 있으므로이 질문을 공유 할 것이라고 생각했습니다. 균일 한 클래스 ( 와 같은 ) 에있는 함수가 작은 비 균일 클래스 ( 와 같은 비 균일 )에도 있다고 가정하면, 이는 함수가 더 작은 균일 클래스 ( 같은 )? 이 질문에 대한 답변이 긍정적이면 ? 부정적이라면, 흥미로운 자연적인 반례를 …

1
푸리에 계수 AND OR 및 XOR 게이트가있는 경계 깊이 회로로 설명되는 부울 함수
하자 부울 기능하고 이제부터 함수로 f를 생각하자 에 . 이 언어에서 f의 푸리에 확장은 단순히 사각형이없는 단항의 관점에서 f의 확장입니다. (이 모노 미알은 에 대한 실제 함수의 공간을 기초로합니다 . 계수의 제곱의 합은 단순히 이므로 는 제곱 자유 모수에 대한 확률 분포로 이어집니다. 이 분포를 F- 분포라고합니다.에프에프f{ − 1 , …


1
주어진 회로가 순열을 계산 하는지 결정
입력 비트와 출력 비트를 가진 회로가 의 순열을 계산 하는지 여부를 결정하는 것은 어떤 복잡성 입니까? 다시 말해, 에있는 모든 비트 열이 어떤 입력에 대한 회로의 출력인지 아닌가? 연구 된 문제처럼 보이지만 참조를 찾을 수 없습니다. nn{0,1 } n {0,1 } nN C0NC0\mathsf{NC}^0엔nn엔nn{0,1}n{0,1}n\{0,1\}^n{0,1}n{0,1}n\{0,1\}^n

3
모노톤 양자 회로의 개념
계산 복잡성에서 모노톤과 일반 계산 사이에는 중요한 차이가 있으며 Razborov의 유명한 정리는 3-SAT 및 MATCHING이 모노톤 부울 회로 모델에서 다항식이 아니라고 주장합니다. 내 질문은 간단합니다 : 모노 톤 회로 (또는 둘 이상)에 대한 양자 아날로그가 있습니까? 양자 라즈 보 로프 정리가 있습니까?

3
자연적 증거와 기하학적 복잡성의 구성 성
최근 Ryan Willams는 Natural Proof의 Constructivity가 복잡한 클래스 ( 및 T C 0) 의 분리를 유도 할 수 없음을 증명했습니다 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} 자연 증명의 구성 성은 회로 복잡성의 모든 조합 증명이 만족하는 조건이며 (또는 다른 "하드"복잡도 클래스) 의 대상 함수 가 실행되는 알고리즘에 의해 "하드"속성을 갖는지 여부를 결정할 수 있습니다 …

2
AC0 함수의 공식 크기 하한
의문: AC 0 의 명시 적 함수에 대해 가장 잘 알려진 공식 크기 하한은 무엇입니까 ? 하한이 인 명시 적 기능이 있습니까?Ω ( n2)Ω(n2)\Omega(n^2) 배경: 대부분의 하한과 마찬가지로 수식 크기의 하한은 구하기 어렵습니다. 표준 범용 게이트 세트 {AND, OR, NOT}에 대한 공식 크기 하한에 관심이 있습니다. 이 게이트 세트에서 명시 …

4
초 선형 회로 바운드가 알려진 "가장 작은"복잡성 클래스는 무엇입니까?
반드시 많은 표준 참조에 포함되어야하는 질문을하는 것에 대한 사과. 제목의 질문에 대해 궁금합니다. 특히 부울 회로가 있고 깊이에 제한이 없습니다. 나는 "가장 작은"따옴표로 묶어 서로를 포함하는 것으로 알려진 여러 개의 다른 클래스가있을 가능성을 허용하기 위해 초 선형 경계가 알려져 있습니다.

1
대략적인
편집 (v2) : 문제에 대해 알고있는 섹션을 추가했습니다. 편집 (v3) : 끝에 임계 값 정도에 대한 토론을 추가했습니다. 의문 이 질문은 주로 참조 요청입니다. 나는 그 문제에 대해 많이 모른다. 이 문제에 대한 이전 연구가 있었는지 알고 싶습니다. 그렇다면 누군가이 문제에 대해 이야기하는 논문을 알려줄 수 있습니까? 또한 대략 의 …


당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.