«dc.parallel-comp» 태그된 질문

병렬 컴퓨팅의 이론적 질문

10
계산을위한 현재 병렬 모델
1980 년대는 병렬 계산 의 PRAM 모델 과 BSP 모델 을 모두 일으켰습니다 . 두 모델의 전성기가 80 년대 후반과 90 년대 초반 인 것으로 보입니다. 이 영역들이 병렬 알고리즘에 대한 연구 측면에서 여전히 활발한가? 병렬 계산을위한 더 정교한 모델이 있습니까? 일반 모델이 여전히 유행에 있습니까? 아니면 연구원이 GPGPU 또는 …
6
병렬 의사 난수 생성기
이 질문은 주로 실용적인 소프트웨어 엔지니어링 문제와 관련이 있지만 이론가들이 더 많은 통찰력을 제공 할 수 있는지 궁금합니다. 간단히 말하면, 의사 난수 생성기를 사용하는 Monte Carlo 시뮬레이션이 있으며 동일한 시뮬레이션을 병렬로 실행하는 1000 대의 컴퓨터가 있도록 병렬화하고 싶습니다. 따라서 1000 개의 독립적 인 의사 난수 스트림이 필요합니다. 다음과 같은 속성을 …
3
선형 대수 알고리즘 / 복잡성 조사
병렬 ( 계층 구조) 을 강조 하면서 선형 대수 (순위, 역, 고유 값, ... 부울, 및 정수 / 합리 행렬과 같은 연산)의 알고리즘과 복잡성에 대한 좋은 조사를 찾고 있습니다. 및 폴리 타임 알고리즘. 최근에 찾지 못했습니다. NCFpFp\mathbb{F}_pNCNCNC 선형 대수의 복잡성에 대한 최근의 좋은 조사 나 책을 알고 있습니까?
5
일반 그래프에서 완벽한 매칭을위한 결정적 병렬 알고리즘?
복잡성 클래스 에는 클래스 에 속하지 않는 것으로 추정되는 몇 가지 문제 , 즉 결정 론적 병렬 알고리즘 문제가 있습니다. 최대 흐름 문제가 한 예입니다. 에있을 것으로 예상되는 문제가 있지만 아직 증거를 찾을 수 없습니다.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} 완벽한 매칭 문제는 그래프 이론에서 제기 된 가장 근본적인 문제 중 하나입니다 : 그래프 주어진 …
1
복합에 대한 에서 방정식 모듈로 를 있습니까?
임의의 k (및 주요한 힘에 특별한 관심을 기울임)에 대해 선형 방정식 modulo k 를 풀기의 복잡성에 관심이 있습니다. 문제. 알려지지 않은 modulo 의 선형 방정식 의 주어진 시스템에 대해 어떤 해가 있습니까?미디엄미디엄m엔엔n케이케이k 자신의 종이에 추상에서 구조 및 LOGSPACE-MOD 클래스의 중요성 클래스에 의 MOD 케이 L은 , Buntrock는, 당국이는 Hertrampf 및 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 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 
2
폴리 로그 바운드 깊이 회로의 회로 하한 상태
경계 깊이 회로 복잡도는 회로 복잡도 이론 내에서 주요 연구 분야 중 하나입니다. 이 주제에는 "패리티 함수가 "및 "mod 함수가 "에 의해 계산되지 않습니다 ( 여기서 는 클래스 와 같은 결과 가 있습니다. 불균일하고 일정한 깊이, 다항식 크기, 무한 팬인 AND, OR, NOT 및 모듈로 게이트에 의해 결정될 수있는 언어로 …
1
NC2에있는 것으로 알려지지 않은 NC의 문제
있지만 N C 2 에있는 것으로 알려지지 않은 흥미로운 문제가 있습니까? Cook은 '빠른 병렬 알고리즘 문제의 분류법'논문에서 MIS가 N C 5 에만있는 것으로 알려져 있지만 이후 N C 2 로 축소되었다고 언급했습니다 . 깊이를 향상시키는 데 집중하는 것처럼 보이는 polylog-depth 병렬 알고리즘에 다른 문제가 있는지 궁금합니다.N C엔씨\mathsf{NC}N C2엔씨2\mathsf{NC^{2}}N C5엔씨5\mathsf{NC^{5}}N C2엔씨2\mathsf{NC^{2}} …
1
GCD 계산을위한 양자 NC 알고리즘이 있습니까?
에 대한 의견에서 MathOverflow 내 질문 중 하나 에있는 질문에 대한 GCD 것을 나는 느낌을 얻을 대 P가 에있는 정수 인수 분해에 관한 질문에 가깝다 P 대 N P를 .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} 정수 인수 분해를위한 양자 다항식 시간 ( B Q P ) 알고리즘 이 있기 때문에 GCD에 대한 "양자 "알고리즘과 같은 …
1
방향성 평면 그래프에서 접근성을위한 병렬 알고리즘
Chong, Han 및 Lam 은 O ( m + n ) 프로세서를 사용 하여 시간 내에 EREW PRAM에서 방향이없는 st-connectivity를 해결할 수 있음을 보여주었습니다 .O ( 로그 n )영형(로그엔)O({\log}n)O ( m + n )영형(미디엄+엔)O(m+n) 방향성 평면 그래프에서 st-connectivity 에 대해 가장 잘 알려진 병렬 알고리즘은 무엇입니까 ? 실행 시간, 결정 …
2
프로세스가 다른 프로세스를 생성 할 때
저의 배경은 복잡도 이론 / 논리 (대부분의 프로세스가 하나만있는 경우)와 분산 컴퓨팅 ( 프로세스가 있고 시간이 지남에 따라 하나 이상의 오류가 발생할 수 있음)입니다. 그러나 이제는 프로세스 생성 / 생성 / 다른 프로세스 분리에 대해 이야기하고 싶습니다. 병렬 컴퓨팅, 운영 체제 등에서이를 설명하는 엄격한 방법이 있습니까?엔nn 자극: 분자 상호 작용의 …
3
지향성 연결성을위한 병렬 알고리즘
Chong, Han 및 Lam 은 프로세서를 사용 하여 시간 내에 EREW PRAM에서 무 방향 st 연결성을 해결할 수 있음을 보여주었습니다 . 지향성 st-connectivity에 가장 잘 알려진 병렬 알고리즘은 무엇입니까 ? 실행 시간, 결정 론적 / 무작위 화 알고리즘 및 사용 된 PRAM 모델을 명시하십시오 (프로세서 수가 다항식이라고 가정). 그곳에된다 시간 …
1
어려운 작업에 대한 계산 능력은 어느 정도 쉬운 작업을 해결하는 데 도움이됩니다
요컨대, 어려운 작업에 대한 계산 능력은 어느 정도 쉬운 작업을 해결하는 데 실제로 도움이됩니다. (이 질문을 흥미롭고 사소한 것으로 만들 수있는 다양한 방법이있을 수 있으며 여기에 그러한 시도가 있습니다.) 질문 1: n 개의 변수가있는 공식에 대한 SAT를 해결하기위한 회로를 고려하십시오. (또는 모서리가 있는 그래프의 해밀턴 사이클을 찾는 데 사용 됩니다.)엔nn …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.