직사각형 행렬의 행렬 곱셈의 계산 복잡성에 대한 정보를 찾고 있습니다. Wikipedia는 에 곱하는 이 (학교 곱셈) . B ∈ R n × p O ( m n p )A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) 나는 경우가 과 보다 훨씬 작은 , 나는 선형보다 더 복잡성을 얻을 수 …
Goldreich-Levin 학습 알고리즘의 가장 잘 알려진 쿼리 복잡성은 무엇입니까? Luca Trevisan의 블로그 인 Lemma 3 의 강의 노트는 이를 합니다. 이것이 n 에 대한 의존성 측면에서 가장 잘 알려져 있습니까? 나는 인용 가능한 출처를 언급 한 것에 대해 특히 감사하게 생각합니다!O ( 1 / ϵ4N 로그n )영형(1/ϵ4엔로그엔)O(1/\epsilon^4 n \log n)엔엔n …
단일 그룹 대해 다양한 기능을 최적화하는 계산상의 복잡성은 무엇입니까 ?U(n)U(n)\mathcal{U}(n) 일반적인 작업, 양자 정보 이론에서 자주 발생하는 입력의 양 극대화 될 것 (또는 그 이상 차 다항식에서 U )를 통해 모든 단일 행렬 U . 이 유형의 최적화는 효율적으로 (아마도) 계산 가능합니까, 아니면 NP-hard입니까? (아마도 이것은 잘 알려져 있지만 일반적인 …
답 : 알 수 없습니다. 질문은 자연스럽고 개방적이며 명백히 어렵습니다. 이제 질문은 커뮤니티 위키입니다. 개요 이 질문은 복잡도 클래스 속하는 언어 피피P (이러한 언어를 허용하는 의사 결정 Turing Machine (TM))와 함께 두 개의 보완 서브 클래스 로 나누려고합니다 . 영지 언어 및 TM (유효성 / 이해가 가능한)과 암호 언어 및 …
범용 시공간 트레이드 오프에 대한 출판 된 결과의 초기 역사에 관심이 있습니다. 특히, 데이터 흐름 그래프의 깊이 (폭이 아님)에 비례하는 공간 (크기를 더한 크기)을 사용하여 정도가 O (1) 인 임의의 데이터 흐름 그래프가있는 계산을 평가하는 다음 유형의 알고리즘을 누가 먼저 설명했는지 알고 싶습니다 그래프의 간단한 깊이 우선 평가를 수행하여 입력의). …
Ben-Dor / Halevi의 논문 [1]에서 지속 물이 완전 하다는 또 다른 증거가있다 . 논문의 후반부에는 환원 사슬 체인을 따라 영구적 인 가치가 유지되는 동안 . 3SAT 공식 의 만족스러운 할당의 수는 영구적 인 값으로부터 얻을 수 있기 때문에, 최종 1- 행렬 의 영구성을 계산하는 것으로 충분합니다 . 여태까지는 그런대로 잘됐다.#P#P\#PIntPerm∝NoNegPerm∝2PowersPerm∝0/1-PermIntPerm∝NoNegPerm∝2PowersPerm∝0/1-Perm\begin{equation} …
그래프 대역폭 문제는 다음과 같이 정의됩니다. 주어진 그래프 하는 레이아웃 의 의 정점의 일대일 매핑 정수 상 . 의 대역폭 은 다음과 같이 정의됩니다G=(V,E)G=(V,E)G=(V,E) fffGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots, |V|\}fff bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f) = \max \{|f(u) - f(v)| \mid \{u,v\} \in E\} 입니다. bw (G) 로 표시되는 G 의 대역폭은GGG 레이아웃의 최소 대역폭으로 정의되며 최소값은 …
질문. 논문 에서 안정기 회로의 개선 된 시뮬레이션 에서 Aaronson과 Gottesman은 CNOT 회로를 시뮬레이션하는 것이 (로그 스페이스 감소에서) 완전 하다고 주장했다 . 그것이 ⊕L에 포함되어 있음이 분명하다 . 경도 결과는 어떻게 유지됩니까? 동등하게 : 반복 행렬 곱 모듈로 2에서 기본 행렬 (행 변환을 실현하는 비가역 행렬) mod 2의 반복 곱으로 …
I는 알고 (만약 NP 오라클 대수적 많은 전화)에 해당 (다항식 NP 오라클에 대한 병렬 쿼리 수). 이 클래스의 "함수"버전도 같은지 궁금합니다.P N P | |PNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} FPNP[logn]=FPNP||FPNP[logn]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||} 사실 인 경우 포인터가 도움이 될 것입니다.
복잡한 이론에서 오라클이 발생하는 가장 일반적인 방법은 다음과 같습니다. 특정 리소스가 제한된 튜링 머신에 고정 된 오라클을 사용할 수있게되었으며, 오라클이 머신의 계산 능력을 향상시키는 방법을 연구합니다. 그러나 때로는 oracles가 발생하는 또 다른 방법이 있습니다 : input의 일부 . 예를 들어, 주어진 고차원 폴리 토프의 부피를 계산하기위한 알고리즘을 연구하고 싶다고 가정 …
Beigi, Shor 및 Watrous는 짧은 메시지와 함께 양자 대화 형 증명의 힘에 대한 아주 훌륭한 논문 을 가지고 있습니다 . 그들은 '짧은 메시지'의 세 가지 변형을 고려하며, 내가 관심있는 특정 것은 많은 메시지를 보낼 수있는 두 번째 변형이지만 총 메시지 길이는 로그 여야합니다. 특히 그들은 그러한 대화 형 증명 시스템이 …
조합 표현 이론과 대수 기하학에는 많은 양의 공식이 알려져 있지 않은 많은 문제가 있습니다. 내가 생각하고있는 몇 가지 예가 있지만 Kronecker 계수 를 나의 예로 계산하겠습니다 . 일반적으로, "양식"의 개념은 조합론에서 정확하게 정의되지는 않지만, "합리적으로 명백한 세트의 카디널리티로서의 설명"을 의미합니다. 최근에 나는 Jonah Blasiak과 이야기를 나누었으며, "긍정적 인 공식"의 올바른 …
튜링 학위가 주어지면 단어 문제가 그 정도라는 유한하게 제시된 그룹이 오랫동안 알려져 왔습니다. 내 질문은 임의의 다항식 시간 Turing degree에 대해 동일한 것이 사실인지 여부 입니다. 구체적으로하는 decidable 세트를 주어진 단어 문제와 더불어, 유한 한 제시 그룹이 존재하는 W 등, 즉 W ≤ P T 및 ≤ P T W …