이론 컴퓨터 과학

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

3
결정 모듈로 m
계수의 정수 행렬의 행렬식을 계산하기위한 효율적인 알고리즘 공지 무엇 , 잔여 물의 링 모듈로 . 숫자 (연산이, 링 필드를 수행하지 않도록) 프라임하지만 합성 될 수 없다. mm지미디엄Zm\mathbb{Z}_m미디엄mm미디엄mm 내가 아는 한 (아래 읽기), 대부분의 알고리즘은 가우시안 제거 수정입니다. 문제는 이러한 절차의 계산 효율성에 관한 것입니다. 다른 접근법이있는 경우, 나는 또한 그것에 …
1
IP = PSPACE가 비 상대적인 이유는 무엇입니까?
IP = PSPACE는 비 상대화 결과의 정규 예를 나열하고, 이에 대한 증거는 오라클이 존재 함이다 되도록 반면 {\ SF CONP} ^ O \ {SUBSETEQ \ SF PSPACE} ^ O 모든 점쟁이 O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO 그러나 나는 소수의 사람들 만이 왜 IP=PSPACEIP=PSPACE{\sf IP} = …
3
가장 짧은 등가 CNF 공식
하자 될 만족할 와 CNF 화학식 변수 절. 하자 의 솔루션 공간이 될 . N mF1F1F_1nnnmmm F 1SF1SF1S_{F_1}F1F1F_1 주어진 결정의 문제가 고려 다른 CNF 수식 같은 변수들의 동일 세트 함께 (동일 솔루션 공간 )하지만, 가능한 한 적은 수의 절 등으로 (유일 목표는 절 수를 최소화하는 것이므로 각 절에 몇 개의 …
2
XORification의 사용
XORification은 모든 변수 를 고유 변수 의 XOR 로 대체하여 부울 함수 또는 수식을 더 어렵게 만드는 기술 입니다. k ≥ 2 x 1 ⊕ … ⊕ x k엑스xxk ≥ 2k≥2k\geq 2엑스1⊕ … ⊕ x케이x1⊕…⊕xkx_1 \oplus \ldots \oplus x_k 필자는 논문과 같이 해상도 기반 증명 시스템의 공간 하한을 얻기 위해 …
2
일시적 플랫 편도 양자 컴퓨팅
저는 물리학 자이며 일방적 인 양자 컴퓨팅이 훌륭하다고 생각합니다. 특히, MBQC (Graph State Measurement-based Quantum Computing)는 Raussendorf & Briegel 에서 유래 한 Quantum Computing 연구에서 정말 훌륭한 발전이었습니다 . 그래프로 설명 된대로 여러 부분으로 얽힌 상태를 준비한 다음 각 노드 또는 큐 비트에서 순차적 측정 (결정적 계산을위한 적응 측정)을 수행하면됩니다. …
3
정확하게 슈퍼 스트링 해결
가장 짧은 슈퍼 스트링 문제의 정확한 복잡성에 대해 알려진 것은 무엇입니까? 그것은보다 더 빨리 해결 될 수 ? TSP로 줄이지 않고 가장 짧은 수퍼 스트링을 해결하는 알려진 알고리즘이 있습니까?O∗(2n)O∗(2n)O^*(2^n) UPD : 는 다항식을 억제합니다.O∗(⋅)O∗(⋅)O^*(\cdot) 가장 짧은 수퍼 스트링 문제는 주어진 문자열 집합의 각 문자열을 포함하는 가장 짧은 문자열 인 대답입니다. …
1
과반수 투표에 가장 적합한 근사값은 무엇입니까?
과반수 투표 작업은 내결함성 (그리고 다른 장소에서도 의심 할 여지없이)에서 상당히 자주 발생하며, 여기서 함수는 입력 비트 값에서 가장 자주 나타나는 값과 같은 비트를 출력합니다. 간단히하기 위해 입력에 상태 0과 상태 1에서 같은 수의 비트가 포함될 때마다 0을 출력한다고 가정합니다. 이것은 입력에서 가장 빈번하게 발생하는 값을 반환하고 타이의 경우 사전 …
1
게이트 팬 아웃 1을 사용 하여
편집 (2011 년 8 월 22 일) : 나는 질문을 더 단순화하고 질문에 현상금을 넣습니다. 아마도이 간단한 질문에 쉽게 대답 할 수 있습니다. 또한 더 이상 관련이없는 원래 질문의 모든 부분을 취소 할 것입니다. (Stasys Jukna와 Ryan O'Donnell에게 원래 질문에 부분적으로 답변 해 주셔서 감사합니다!) 배경: 깊이 k 및 크기 …
3
공간을 사용한 CFG 구문 분석
컨텍스트없는 문법을 시간으로 구문 분석 할 수있는 다양한 알고리즘이 있습니다 . 행렬 곱셈을 사용하면 그보다 빠른 속도로 갈 수 있습니다.O ( n삼)영형(엔삼)O(n^3) 그러나 내가 알고있는 임의의 CFG를 구문 분석하기위한 모든 알고리즘은 최악의 경우 공간 사용이 (그러나 매트릭스 곱셈 알고리즘의 공간 사용이 무엇인지는 모릅니다). 이 공간 사용을 개선하는 알고리즘이 있는지 궁금합니다 …
2
이산 푸리에 변환 계산의 복잡성?
정수 벡터의 표준 이산 푸리에 변환 을 계산하는 복잡성 (표준 정수 RAM)은 무엇입니까?엔nn 고전 고속 푸리에 변환 알고리즘에 대한 부적절, [1] 쿨리 Tukey에 기인는 일반적으로 실행되는 것으로 설명 시간. 그러나이 알고리즘에서 실행되는 대부분의 산술 연산은 복잡한 번째 근본 단위 (대부분의 경우 )가 비합리적인 것으로 시작하므로 일정한 시간에 정확한 평가는 합리적이지 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.