«determinant» 태그된 질문

깊이 3 결과 에서 최근의 틈에 비추어 (다른 무엇보다도 2 √를 산출합니다)깊이 3위한 연산 회로N×N이상 행렬식C가), I는 다음의 질문 : Grigoriev 및 카핀 스키가입증2Ω을(N)의 행렬식 계산 어떤 깊이 -3- 연산 회로 하한N을×N유한 필드에 대한 행렬 (내 생각에 영구 필드도 보유합니다). 퍼머넌트를 계산하기위한라이저의 공식은 크기O(n22n)=2O(2엔√로그엔2nlog⁡n2^{\sqrt{n}\log{n}}n × nn×nn \times n 기음C\mathbb{C}2Ω ( …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} 이와 관련하여 곱하기 또는 덧셈을 요구하는 "올바른"근사값은 무엇입니까? (아래 답변 중 하나 참조).

16 determinant  cc.complexity-theory 

작고 고정 된 n에 대해 nnn x nnn 행렬 의 행렬식을 계산하는 데 필요한 최소의 기본 산술 연산을 찾는 작업이 있었습니까?nnn 있습니까? 예를 들어, 입니다.n=5n=5n=5

14 cc.complexity-theory  linear-algebra  determinant 

결정 요인에 대해 가장 작은 알려진 공식 은 민속에 따라 크기 를 갖습니다 (또는 영구 및 결정자를위한 논문 Multi-Linear Formulas는 Super-Polynomial Size입니다 ).nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} 이것에 대한 참조가 있습니까? 특히이 공식은 무엇입니까?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

가우스 제거는 행렬 다항식 시간을 계산할 수있게합니다. 지수 항의 합인 결정자를 계산하는 데있어서의 복잡성의 감소는 대안적인 음의 부호의 존재에 기인한다 ( 이의 부족은 계산을 영구적으로 만드는 것은 즉 N P - C 문제 보다 더 어렵다 ). . 이것은 결정에 어떤 종류의 대칭으로 이어진다. 예를 들어 한 쌍의 행 또는 …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

TCS의 한 가지 주요 문제는 지속 물을 결정 요인으로 표현하는 문제입니다. 나는 Agrawal의 논문 Determinant와 Permanent를 읽고 있었고 한 단락에서 그 반대의 문제는 쉽다고 주장했다. 이 행렬의 행렬식 것을 쉽게 알 수 관련된 행렬의 영구적으로 표현 될 수 X , 그 항목은 0, 1 또는 X 나 , J S …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

행렬식과 행렬 곱셈의 알고리즘 복잡성과 회로 복잡성 사이의 관계를 이해하려고합니다. 은의 행렬식 것이 알려져 행렬 일 수 계산 에 의 시간, 최소 시간은 임의의 두 개의 곱 데 필요한 행렬. 행렬식의 최고의 회로 복잡도는 깊이 에서 다항식 이고 깊이 3에서는 지수임이 알려져 있습니다. 그러나 상수 깊이에 대한 행렬 곱셈의 회로 …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

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

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