이론 컴퓨터 과학

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

1
별명 분석에 관한 문헌
CS에서 석사 논문을 작성하고 있으며 별칭 분석을 진행하고 있습니다. 내가 관심이있는 것은 Java와 같은 언어에 대한 절차 내, 흐름에 민감한 필수 및 May-alias 분석입니다. 이 주제의 기본 사항을 자세하게 설명하는 텍스트를 찾고 있지만 실제로 적합한 것을 찾지 못했습니다. 나는 컴파일러와 정적 분석에 관한 많은 교과서에서 살아남 았지만 거기에서 아무것도 찾지 …

1
패리티 학습 질문
비트 집합에 함수 클래스를 정의 해 봅시다 . 서로 "합리적으로"다른 두 분포 를 수정합니다 (원하는 경우 변동 거리는 적어도 또는 이와 유사한 ).p , q ϵ엔nnp , qp,qp, qϵϵ\epsilon 이제이 클래스의 각 함수 는 인덱스 집합으로 정의되며 다음과 같이 평가됩니다. 선택한 비트의 패리티가 0이면 에서 임의 샘플을 반환하고, 그렇지 않으면 …

1
결정 론적 의사 난수는 임의성보다 병렬 적으로 더 강력합니까?
클래스 BPNC (조합하자 및 N C는 ) 랜덤 소스 경계 오차 확률 액세스 (이 다른 이름을 갖는 경우 I 모르겠습니다)와 로그 깊이 병렬 알고리즘 될. 모든 프로세스가 알고리즘 시작시 고정 된 임의의 비트 스트림에 임의로 액세스 할 수 있다는 점을 제외하고 DBPNC 클래스를 유사하게 정의하십시오.BPPBPP\mathsf{BPP}NCNC\mathsf{NC} 다시 말해, BPNC의 각 프로세스는 …

1
부울 회로의 하한이 산술 회로 하한을 의미하지 않는 이유
내 질문은 왜 결정자에 대한 게이트 "and"및 "xor"를 가진 깊이 3 부울 회로의 하한이 통한 산술 회로의 동일한 하한을 의미하지 ZZ\mathbb{Z}않습니까? 다음 인수의 문제점 : CCC 행렬식을 계산하는 산술 회로로 설정 한 다음 모든 변수 mod 2를 취하면 부울 회로 연산식이 결정됩니다.

1
노동 조합 폐쇄 계산
최대 1 개의 부분 집합 { 1 , 2 , … , n }으로 구성된 패밀리 가 주어 집니다. 연합 폐쇄 F는 다른 세트의 가정 인 C 1 개 이상의 세트의 조합을 고려하여 구성 될 수있는 모든 세트 함유 F를 . 작성자 | C | 우리는 C 의 집합 수를 …

1
부울 수식 균형
부울 수식 균형 문제 의 복잡성에 대한 참조를 찾고 있습니다. 특히, 부울 공식은 에서 균형을 수 있다는 것을 알고 있습니까?C0AC0\mathsf{AC^0} 부울 공식 밸런싱이 있다는 간단한 증거가 있습니까?C0AC0\mathsf{AC^0} "단순"이란 아래에서 언급 한 것보다 단순한 증거를 의미합니다. 특히 에있는 부울 수식 평가에 의존하지 않는 증거를 찾고 있습니다.N C1NC1\mathsf{NC^1} 배경 여기에 언급 된 …

3
Las Vegas 알고리즘을 사용하는 가장 빠른 BPP 시뮬레이션은 무엇입니까?
BPPBPP\mathsf{BPP} 및ZPPZPP\mathsf{ZPP} 는 기본적인 확률 적 복잡성 클래스 중 두 가지입니다. BPPBPP\mathsf{BPP} 는 오답 다항식 시간 튜링 알고리즘에 의해 결정된 언어의 클래스로, 오답이 반환되는 알고리즘의 확률이 제한됩니다. 즉, 오류 확률은 최대1313\frac{1}{3} (YES 및 NO 인스턴스 모두). 반면에 ZPPZPP\mathsf{ZPP} 알고리즘은 답을 반환 할 때마다 정답을 반환하지 않는 확률 적 알고리즘으로 볼 …

2
역 3-SAT 정보
문맥 : Kavvadias 및 Sideri을 감안할 때 : 역 3-SAT 문제가 CONP가 완료되었음을 보여 주었다 φϕ\phi 에 모델 세트 Nnn 하는 3-CNF 공식은이 변수 φ는ϕ\phi 모델의 정확한 설정되어 있습니까? 즉각적인 후보 수식 모델 모두 만족하는 모든 3 절의 함께 발생되는 φϕ\phi . 그것은 암시 모든 3 절을 포함하기 때문에, 이러한 …


1
DAG에는 몇 개의 분리형 모서리 절단이 있어야합니까?
다음 문제는 벨만 - 포드의 최적 관련된 - 최단 경로 동적 프로그래밍 알고리즘 (참조 포스트 의 접속을위한). 또한 긍정적 인 대답은 STCONN 문제에 대한 모노톤 비 결정적 분기 프로그램 의 최소 ​​크기 가 임을 암시합니다 . s t Θ ( n 3 )ssttΘ(n3)\Theta(n^3) 하자 하나 개의 소스 노드와 DAG (방향성 …

1
확률 적 증거 시스템의 일방적 인 오류
가장 확률 방지 시스템 (예를 들어 PCP 정리,)에서 오류 확률은 보통 즉, 가양의 측면에 정의되어, 일반적인 정의는 볼 수 있었다 같은 경우 다음 항상 있지만에서 받아 검증 다른 경우 거부 확률은 1/2 이상입니다.x∈Lx∈Lx \in L 다른 쪽에서 오류가 발생하는 데 문제가 있습니까? 즉, 검증자는 항상 필요할 때 거부하고 수락해야 할 …


2
서브 세트 번호 매기기
수정하십시오 k≥5k≥5k\ge5. 충분히 큰 nnn , { 1 ... T }의 양의 정수 로 크기가 정확히 n / k 인 {1..n}{1..n}\{1..n\} 의 모든 서브 세트에 레이블을 지정하려고 합니다. 이 레이블이 다음 속성을 만족시키기를 원합니다. 정수 세트 S , st가 있습니다n/kn/kn/k{1...T}{1...T}\{1...T\}SSS 경우 kkk 크기의 부분 집합 n/kn/kn/k 하지 교차 할 (즉, …

1
에서 균일하게 분포 된 점 세트에서 욕심 스패너의 가장 긴 가장자리 길이
하자 세트 일 수 의 점 . 임의의 에 대해, 스패너 는 유클리드 측정 하에서 가중치가 부여 된 무 방향 그래프 이며, 따라서 임의의 두 점 , 에서 의 최단 거리 , 기껏입니다 사이 배 유클리드 거리 및 ,이 정의는 임의의 측정 공간으로 쉽게 확장 될 수 있습니다.피피P엔엔N아르 자형디아르 자형디\mathbb{R}^dt …

1
가요
나는 문헌에서 및 에 관한 진술을 찾을 수 없었습니다 . 포인터가 감사하겠습니다.N P R PMAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} 나는 그들이 같다고 믿는다. N P R PMA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : 시스템은 멀린의 문자열을 추측하고 오라클은 Arthur가 문자열을 확인합니다.NPNP\mathsf{NP}RPRP\mathsf{RP} N P R P R PNPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : 멀린의 취입 연산 추측 받는 모든 통화뿐만 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.