이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

3
무작위 또는 P / 폴리 감소에서 NP가 완료된 문제.
에서 이 질문에 우리는 (이 숫자 이론의 검증되지 않은 가정에 해당되는 달려 있지만) 결정의 감소에 따라 무작위 감소에서 NP-완료, 그러나 가능하지 않은 자연의 문제를 식별 한 것으로 보인다. 다른 알려진 문제가 있습니까? P / poly 감소에서 NP- 완전이지만 P 감소에서 알려지지 않은 자연적인 문제가 있습니까?
4
무작위 추출기의 구현에 대한 현재 연구가 있습니까?
무작위 추출기 구성 구현에 대한 연구가 있었습니까? 추출기 증명은 Big-Oh를 사용하여 숨겨진 숨겨진 상수가 많을 수 있으므로 프로그래밍 방식으로 구현하는 것은 비현실적입니다. 몇 가지 맥락 : Monte Carlo 시뮬레이션에 사용하기 위해 임의 추출기 (아마도?)의 빠른 소스로 임의 추출기를 사용하는 데 관심이 있습니다. 우리 (ETHZ Computational Physics 그룹)는 무작위 추출을 원하는 …
4
커뮤니케이션 복잡성… 클래스?
토론 : 나는 최근 의사 소통의 복잡성에서 다양한 것들을 배우는 데 개인적인 시간을 보냈습니다. 예를 들어, 나는 Arora / Barak의 관련 장에 익숙해졌고, 논문을 읽기 시작했고, Kushilevitz / Nisan이 책을 주문했습니다. 직관적으로 통신 복잡성과 계산 복잡성을 대조하고 싶습니다. 특히, 나는 계산 복잡도가 (다시 할 수 있습니다 일부 복잡성 클래스로 계산 …
1
두 다항식 사이의 거리 찾기 (나무로 표시)
유전자 프로그래밍 작업을하는 동료 가 다음과 같은 질문을했습니다. 처음에는 욕심 많은 접근 방식으로 해결하려고 시도했지만 두 번째 생각에는 욕심 알고리즘에 대한 반례를 발견했습니다. 그래서 여기서 언급 할 가치가 있다고 생각했습니다. 표현식 트리로 표시되는 두 개의 다항식을 고려하십시오. 예를 들어, 엑스삼− 2 x + 1엑스삼−2엑스+1x^3-2x+1 및 엑스2+ 4엑스2+4x^2 + 4 아래 …
7
공식적인 방법이 작동한다는 것을 어떻게 알 수 있습니까?
공식적인 방법의 중요한 목표는 자동화 된 또는 사람이 지시하는 방법으로 시스템의 정확성을 입증하는 것입니다. 그러나 올바른 증거를 제공 할 수 있어도 시스템이 실패하지 않을 것이라고 보장하지 못할 수 있습니다. 예를 들면 다음과 같습니다. 사양이 시스템을 올바르게 모델링하지 않거나 생산 시스템이 모델링하기에 너무 복잡하거나 모순 된 요구 사항으로 인해 시스템에 결함이있을 …
2
명시 적 균형 매트릭스
모든 서브 매트릭스에 미만을 포함 하도록 로 명시 적 -matrix 를 빌드 할 수 있습니까?N×NN×NN \times N 0/10/10/1N1.5N1.5N^{1.5}N0.499×N0.499N0.499×N0.499N^{0.499} \times N^{0.499}N0.501N0.501N^{0.501} 또는 그러한 속성에 대해 명시적인 타격 세트를 구축 할 수도 있습니다. 랜덤 행렬은 확률 적으로 지수에 가까운이 속성을 가짐을 쉽게 알 수 있습니다 . 또한, 익스팬더 혼합 보조는이 특성을 도출하기에 …
5
특수 언어 클래스 : "원형"언어. 알고 있습니까?
유한 알파벳 시그마에 대해 다음과 같은 "원형"언어 클래스를 정의하십시오. 실제로, 그 이름은 DNA 컴퓨팅 분야에서 사용되는 것으로 보이는 다른 것을 나타내는 것으로 이미 존재합니다. AFAICT, 그것은 다른 종류의 언어입니다. 언어 L은 Σ ∗의 모든 단어 www 에 대해 순환 iff입니다 .Σ∗Σ∗\Sigma^* www모든 정수k>0k>0k > 0 에 대해 가 L에 속하는 …
2
양자 복잡성 클래스에 대한 설명 적 복잡성 표현이 있습니까?
제목에 거의 모든 내용이 나와 있지만 약간의 배경과 관심있는 특정 예를 추가 할 수 있다고 생각합니다. Immerman 및 Fagin과 같은 서술 적 복잡성 이론가들은 논리를 사용하여 가장 잘 알려진 복잡성 클래스를 많이 특징지었습니다. 예를 들어, NP는 2 차 존재 쿼리로 특성화 될 수 있습니다. P는 최소 고정 소수점 연산자가 추가 …
2
몽고메리 모듈 식 지수가 양자 인수 분해에 사용되지 않는 이유는 무엇입니까?
모듈 식 지수 (RSA 작업의 주요 부분)가 계산 비용이 많이 들며, 몽고메리 모듈 식 지수 기술 이 선호되는 방법을 이해하는 한 잘 알려져 있습니다. 양자 지수화 (quantum factoring algorithm)에서는 모듈 식 지수도 눈에 띄게 특징이 있으며, 거기에서도 비싸다. 몽고메리 모듈 식 지수가 양자 분해를위한 현재의 세부 서브 루틴에 나타나지 않는 …
6
병렬 의사 난수 생성기
이 질문은 주로 실용적인 소프트웨어 엔지니어링 문제와 관련이 있지만 이론가들이 더 많은 통찰력을 제공 할 수 있는지 궁금합니다. 간단히 말하면, 의사 난수 생성기를 사용하는 Monte Carlo 시뮬레이션이 있으며 동일한 시뮬레이션을 병렬로 실행하는 1000 대의 컴퓨터가 있도록 병렬화하고 싶습니다. 따라서 1000 개의 독립적 인 의사 난수 스트림이 필요합니다. 다음과 같은 속성을 …
3
선형 대수 알고리즘 / 복잡성 조사
병렬 ( 계층 구조) 을 강조 하면서 선형 대수 (순위, 역, 고유 값, ... 부울, 및 정수 / 합리 행렬과 같은 연산)의 알고리즘과 복잡성에 대한 좋은 조사를 찾고 있습니다. 및 폴리 타임 알고리즘. 최근에 찾지 못했습니다. NCFpFp\mathbb{F}_pNCNCNC 선형 대수의 복잡성에 대한 최근의 좋은 조사 나 책을 알고 있습니까?
1
효율적인 일반적인 Bonferroni 스타일 경계가 있습니까?
확률 이론의 고전적인 문제는 사건의 확률을보다 구체적인 사건으로 표현하는 것입니다. 가장 간단한 경우에, 하나는 말할 수 . 이벤트 A ∩ B에 대해 A B 를 작성해 봅시다 .P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B]ABABABA∩BA∩BA \cap B P[∪Ai]P[∪Ai]P[\cup A_i]AiAiA_iP[∪Ai]≤∑P[Ai]P[∪Ai]≤∑P[Ai]P[\cup A_i] \le \sum P[A_i]P[∪Ai]≤∑iP[Ai]−maxj∑i≠jP[AiAj].P[∪Ai]≤∑iP[Ai]−maxj∑i≠jP[AiAj].P[\cup A_i] \le \sum_i P[A_i] …
5
일반 그래프에서 완벽한 매칭을위한 결정적 병렬 알고리즘?
복잡성 클래스 에는 클래스 에 속하지 않는 것으로 추정되는 몇 가지 문제 , 즉 결정 론적 병렬 알고리즘 문제가 있습니다. 최대 흐름 문제가 한 예입니다. 에있을 것으로 예상되는 문제가 있지만 아직 증거를 찾을 수 없습니다.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} 완벽한 매칭 문제는 그래프 이론에서 제기 된 가장 근본적인 문제 중 하나입니다 : 그래프 주어진 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.