«permanent» 태그된 질문

이분 그래프에서 완전 매칭의 수를 세는 것은 영구적을 계산하는 데 즉시 환원 될 수 있습니다. 이분자가 아닌 그래프에서 완벽하게 일치하는 것을 찾는 것은 NP에 있기 때문에,이 분이 아닌 그래프에서 영구적으로 약간의 감소가 있지만, Cook의 SAT 감소를 사용하여 불완전한 다항식 파열이 발생할 수 있습니다. 퍼머넌트. 비 이중 그래프 에서 행렬 효율적이고 …

24 graph-theory  counting-complexity  reductions  permanent 

깊이 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 

1- 그래프가 평면 일 때 인접 행렬에 대한 특정 속성이 있습니까? 2- 그래프가 평면 일 때 인접 행렬의 영속을 계산하는 데 특별한 것이 있습니까?

21 graph-theory  co.combinatorics  permanent 

Wikipedia 는 카운팅 버전이 어려운 반면에 의사 결정 버전은 쉬운 문제의 예를 제공합니다. 이들 중 일부는 완벽한 일치를 계산하여 -SAT에 대한 솔루션 수와 토폴로지 정렬 수를 계산합니다 .222 다른 중요한 클래스가 있습니까 (예 : 격자, 나무, 숫자 이론 등)? 그러한 문제에 대한 개요가 있습니까? 에는 하드 카운팅 버전 이있는 여러 …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 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 x n 행렬 M이 있다고 가정합니다. P 에서 모든 순열 π ≠ σ에 대해 Π M i σ ( i ) ≠ Π M i π ( i )를 갖도록 순열 가 있는지 여부를 결정할 수 있습니까 ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ M나는 σ( 나는 )≠ Π M나는 π( 나는 …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

이 질문에 대한 후속 조치 이며 Shiva Kinali 의이 질문 과 관련이 있습니다. 이 논문의 증거 ( Allender , Caussinus-McKenzie- Therien- Vollmer , Koiran-Perifel )는 계층 정리를 사용 하는 것으로 보인다 . 증명이 " 순수한 "대각선 화 이론인지 아니면 일반적인 대각선 화보다 더 많은 것을 사용 하는지 알고 싶습니다 . …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Ben-Dor / Halevi의 논문 [1]에서 지속 물이 완전 하다는 또 다른 증거가있다 . 논문의 후반부에는 환원 사슬 체인을 따라 영구적 인 가치가 유지되는 동안 . 3SAT 공식 의 만족스러운 할당의 수는 영구적 인 값으로부터 얻을 수 있기 때문에, 최종 1- 행렬 의 영구성을 계산하는 것으로 충분합니다 . 여태까지는 그런대로 잘됐다.#P#P\#PIntPerm∝NoNegPerm∝2PowersPerm∝0/1-PermIntPerm∝NoNegPerm∝2PowersPerm∝0/1-Perm\begin{equation} …

14 cc.complexity-theory  counting-complexity  permanent 

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

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

다음과 같은 문제를 고려하십시오 : 행렬 , 인덱스 및 정수 . 교체 하여 새로운 매트릭스 호출 . 가 ? I , J ∈ { 1 , ... , N } M [ I , J ] M의 P의 전자 R ( M ) > P는 전자 R ( M )미디엄∈ …

11 permanent 

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

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

허락하다 AAA ~이다 3×33×33 \times 3 또는 4×44×44 \times 4 항목이있는 행렬 aijaija_{ij}. 누군가 나에게 행렬을 제공 할 수 있습니까?BBB 그래서 per(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)? \ operatorname {per} (A) = \ det (B) 와 같이 알려진 가장 작은 명시 적 는 무엇입니까 ? 명백한 예를 가진 이것에 대한 언급이 있습니까?BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = …

9 cc.complexity-theory  algebraic-complexity  permanent