«linear-algebra» 태그된 질문

질문. 논문 에서 안정기 회로의 개선 된 시뮬레이션 에서 Aaronson과 Gottesman은 CNOT 회로를 시뮬레이션하는 것이 (로그 스페이스 감소에서) 완전 하다고 주장했다 . 그것이 ⊕L에 포함되어 있음이 분명하다 . 경도 결과는 어떻게 유지됩니까? 동등하게 : 반복 행렬 곱 모듈로 2에서 기본 행렬 (행 변환을 실현하는 비가역 행렬) mod 2의 반복 곱으로 …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

선형 방정식 시스템에 대한 희소 솔루션을 찾는 것이 얼마나 어려운가요? 보다 공식적으로 다음 결정 문제를 고려하십시오. 인스턴스 : 정수 계수와 숫자 의 선형 방정식 시스템 ccc. 질문 : 최소 ccc 변수가 0에 할당 된 시스템에 대한 솔루션이 있습니까? 또한 에 대한 의존성이 무엇인지 확인하려고합니다 ccc. 즉, 문제는 매개 변수 FPT입니다 …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

합리적인 항목이 있는 행렬 A 가 주어 집니다. A 를 대각선 으로 확인할 수있는 복잡성은 무엇입니까 ?n × nn×nn\times nㅏAAㅏAA 나는 이것이 P로 할 수 있다고 생각하지만 참조를 모른다. 그러나 더 흥미로운 질문은이 문제를 포착하기 위해 더 나은 복잡성 클래스가 있습니까? 모든 안내 / 의견을 환영합니다! 감사.

13 cc.complexity-theory  linear-algebra  matrices 

GF (2) 필드의 벡터와 관련된 대수 문제가 있습니다. 하자 일 차원 (0,1)를 -vectors N 및 m = N ^ {O (1)} . u 가 v_1, v_2, \ ldots 중 (\ log n) ^ {O (1)} 벡터 의 합이 아닌 동일한 차원 의 (0,1)-벡터 u 를 찾는 다항식 시간 알고리즘을 찾습니다. …

13 ds.algorithms  linear-algebra 

제곱 n × nn×nn\times n 실수 행렬 ㅏA{\bf A} 와 길이 n 의 두 벡터 엑스x{\bf x} 및 를 A x = b가되도록 합니다. 표준 가우시안 제거를 통해 x 를 풀면 거의 O ( n 3 ) 의 총체적인 복잡성이 발생 합니다. 그러나 해결 (또는 경우가있다 ε 에 대한 해결 …

13 cc.complexity-theory  linear-algebra  matrices 

내가 행렬 곱셈, 그래서 첫 번째 방문에 대해들을 검색 한 위키 행렬 곱셈 알고리즘, 참고 문헌에서 나는 제 사용의 것을 종이 발견 알고리즘 , 나는 기사를 읽을려고했던이 있지만 복잡하고 것 읽는 데 너무 많은 시간이 걸리지 만이 기사를 읽거나이 알고리즘에 대해 아는 사람이 있다면 사실입니까? 이것을 설명하기위한 기본 아이디어에 대해 …

13 ds.algorithms  linear-algebra  matrix-product 

행렬 을 곱한다고 가정합니다 . 느린 행렬 곱셈 알고리즘에서 실행 시간 O ( N 3 ) 및 용법 O ( N 2 ) 메모리. 가장 빠른 행렬 곱셈은 시간 n ω + o ( 1 ) 에서 실행됩니다 . 여기서 ω 는 선형 대수 상수이지만 메모리 복잡성에 대해 알려진 것은 …

12 ds.algorithms  linear-algebra 

우리는 Koutis-Miller-Peng (Spielman & Teng의 작업을 기반으로 함)에서 선형 시스템 를 행렬 대해 매우 빠르게 해결할 수 있음을 알고 있습니다. .Ax=bAx=bA x = bAAA 지금 (첫번째 질문)이 그래프 라플라시안 행렬들 중 하나의 사용을 고려 공분산이나 (두 번째 질문) 역방향 공분산 행렬 제로 평균 다변량 정규 분포 \ mathcal {N} (\ …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

디오 판틴 방정식에 정수 솔루션이 있는지 여부를 결정하는 것은 일반적으로 정지 문제와 같습니다. 이차 디오 판틴 방정식에 해가 있는지 여부를 결정하는 것은 NP- 완전하다고 생각합니다. P- 완전 문제를 야기하는 관련 방정식에 대한 추가 제한이 있습니까?

11 cc.complexity-theory  linear-algebra  polynomials 

I가 세트가 이진 벡터 및 타겟 벡터 어느 모든 벡터입니다.S = { s 1 , … , s n } ⊆ { 0 , 1 } k ∖ { 1 k } t = 1 knnn에스= { 초1, ... , 이야엔} ⊆ { 0 , 1 }케이∖ { 1케이}S={s1,…,sn}⊆{0,1}k∖{1k}S = …

11 reference-request  linear-algebra  finite-fields 

에 cs.stackexchange 나는에 대해 질문 algebird 가 추상 대수학 패키지를 필요한 이유에 대한 추측, GitHub의에 스칼라 라이브러리. github 페이지에는 몇 가지 단서가 있습니다. Bloom 필터, HyperLogLog 및 CountMinSketch와 같은 흥미로운 근사 알고리즘을위한 Monoids 구현. 이를 통해 숫자처럼 복잡한 작업을 생각하고 hadoop 또는 온라인에 추가하여 강력한 통계 및 분석을 생성 할 …

11 soft-question  machine-learning  linear-algebra  db.databases 

열 모음 이 전체 순위 라는 속성을 가진 실제 k × nk×nk\times n ( ) 행렬 를 보자 .Ak ≤ nk≤nk\le nㅏA{\bf A}케이kk Q : 증강 행렬 가 와 동일한 속성을 유지하도록 벡터 를 결정적으로 찾는 효율적인 방법이 있습니까? : 모든 열이 전체 순위입니다.A ' = [ Aㅏa{\bf a}A kㅏ'= …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

편집 (Tara B에 의해) : 나는 내 자신의 논문에 대해 스스로 그것을 증명해야했기 때문에 여전히 이것에 대한 증거 에 대한 참조 에 관심 이 있습니다. 이 백서에 나오는 정리 4의 증거를 찾고 있습니다. Liu와 Weiner 의 문맥이없는 언어의 교차로의 무한 계층 . 정리 4 차원 아핀 매니 치수이며, 각각의 매니 …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

하자 AAA 유한 필드 위에 행렬 F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} 및 xxx , yyy 공간 벡터 일 Fn2F2n\mathbb{F}_2^n . 내가 거기에 존재하는지 여부를 결정하는 계산 복잡도에 관심이 t∈Nt∈Nt \in \mathbb{N} 등이 Atx=yAtx=yA^t x = y 유한 필드 이상 선형 동적 시스템에 대한 접근 가능성의 문제에서, 즉,. 문제는 분명히 NPNP\mathbf{NP} (추측 0≤t<2n0≤t<2n0 …

10 cc.complexity-theory  reference-request  linear-algebra 

통신 복잡성에서 로그 순위 추측은 cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} 여기서 은 M ( x , y ) 의 통신 복잡도 이고 r k ( M ) 은 실수에 대한 M (행렬) 의 순위입니다 .cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM 그러나 계급 방법을 사용하여 하한 을 사용 하는 경우 편리한 모든 필드에서 r k 를 사용할 …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity