이론 컴퓨터 과학

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

1
쉬운 가제트에서 Planar Hamiltonian Cycle NP-Complete (Hamiltonian Cycle)을 증명하고 싶습니다.
Hamiltonian (짧은 햄) 사이클은 NP- 완료이고 Planar Ham Cycle은 NP- 완전한 것으로 알려져 있습니다. Planar Ham Cycle에 대한 증거는 Ham Cycle이 아닙니다. 그래프 G가 주어지면 모든 교차점을 평면 가제트로 대체하여 평면 그래프 G '를 갖도록 멋진 가제트가 있습니까? G '에 햄 사이클이 있으면 G'에 햄 사이클이 있습니다. (Ham 경로 또는 …
1
값을 나타내지 않고 분산 노드 간 백분위 수 추정
이 질문은 이론적 컴퓨터 과학 스택 교환에서 답변을 얻을 수 있기 때문에 Cross Validated에서 마이그레이션 되었습니다. 8 년 전에 이주했습니다 . 나는 해결해야 할 상당히 독특한 문제가 있으며 여기 누군가가 그것을 해결하는 가장 좋은 방법에 대한 통찰력을 줄 수 있기를 바랍니다. 문제 : 단일 참가자가 실제로 공유하는 숫자를 알지 못하는 …
2
체제 에서 공과 빈 분석 : 간격
우리가 던지고있다 가정 에 공을 빈 (bin), . 하자 빈에서 끝나는 공의 숫자 , 무거운 빈, 수 X_ \ 분 수 가벼운 빈, 그리고 X는 _ {\ mathrm {초 - 최대}} 두 번째 무거운 빈합니다. 대략 X_i-X_j \ sim N (0,2m / n) 이므로 | X_i-X_j | = \ 쎄타 …
10
프로그래밍 가능한 언어의 경우 컨텍스트 프리 문법을 기반으로해야합니다.
실제로, 시스템 레벨 명령어로 컴파일 / 변환 될 수있는 언어의 경우 문맥이없는 문법이어야합니까? 예 : 모든 프로그래밍 / 스크립팅 언어는 무료 문법입니까? Java는 CFG를 기반으로하지만 실제로 모든 프로그래밍 언어가 CFG를 기반으로하는 경우입니까? 필수 사항은 아니지만 이해에는 차이가 있습니다. 질문에 대한 문맥 : 문법 규칙을 제공하는 Java 언어 사양을보고있었습니다 . 이것은 …
5
SU (3) 용 범용 게이트 세트?
양자 컴퓨팅에서 우리는 종종 일부 단일 차원 시스템에 대한 특수 단일 연산자 그룹 G가 전체 그룹 SU (d)를 정확하게 또는 심지어 SU (d)의 조밀 한 커버에 의해 제공된 근사치를 제공하는 경우에 관심이 있습니다. d 차원 시스템 C (d)에 대한 Clifford 그룹과 같은 유한 순서 그룹은 조밀 한 커버를 제공하지 않습니다. …
1
양자 컴퓨터가있는 볼록 다면체에서 대략 샘플링
양자 컴퓨터는 우리가 고전 컴퓨터를 사용하여 샘플링하는 방법을 모르는 분포 분포 샘플링에 매우 적합합니다. 예를 들어 F 부울 (발 기능의 경우 에 - 1 , 1 ) 양자 컴퓨터에 다음의 다항식 시간 내에 계산 될 수있다 우리 수 (F)의 푸리에 전개에 의해 기술되는 분포로 효율적 시료 방법. (우리는 고전적인 컴퓨터로 …
3
최소 예상 l2 규범을 갖는 볼록 바디
원점과 대칭을 중심으로 볼록 바디 K를 고려하십시오 KK(즉, x ∈ Kx∈Kx\in K 이면 − x ∈ K−x∈K-x\in K ). K ⊆ L 과 다음 측정 값이 최소화 되도록 다른 볼록 바디 L 을 찾고 싶습니다 .LLK⊆LK\subseteq L f ( L ) = E ( √x T ⋅ x )f(L)=E(xT⋅x−−−−−√)f(L)=\mathbb{E}(\sqrt{x^T \cdot …
1
경계 트리 폭이있는 그래프의 로그 공간 알고리즘
나무 너비 는 그래프가 나무에 얼마나 가까운 지 측정합니다. 트리 너비를 계산하는 것은 NP가 어렵습니다. 가장 잘 알려진 근사 알고리즘은 요소를 달성합니다.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle의 정리에 따르면 monadic 2 차 논리 (MSO2)로 정의 할 수있는 그래프의 속성은 제한된 트리 너비의 모든 그래프 클래스에서 선형 시간으로 결정할 수 있다고 합니다. 최근 논문에 따르면 …
2
선형 논리의 민속 모델은 무엇입니까?
아마도 PL에서 선형 유형의 가장 일반적인 적용은 그것들을 사용하여 앨리어싱을 제어하는 ​​언어를 제공하는 것입니다 (즉, 선형 값은 그에 대한 단일 포인터를 갖거나 적게). 그러나이 사용법과 일반적인 선형 논리 선형 모델 사이에는 약간의 불일치가 있습니다. 벤턴 IIRC에 따르면, 직교 폐쇄 범주에 강한 정류 모나드 가있는 경우, 대수 범주는 대칭 단일체 폐쇄 …
5
사각형을 볼록 다각형으로 포장하지만 회전하지는 않음
나는 (2 차원) 사각형의 동일한 사본을 겹치지 않고 볼록한 (2 차원) 다각형으로 포장하는 문제에 관심이 있습니다. 내 문제에서 사각형을 회전시킬 수 없으며 축과 평행하게 있다고 가정 할 수 있습니다. 직사각형의 치수와 다각형의 꼭짓점이 주어졌으며 다각형에 동일한 직사각형 사본을 몇 개나 포장 할 수 있는지 물었습니다. 사각형을 회전시킬 수 있다면이 문제는 …
1
거의 코 그래프의 Cliquewidth
( 이 질문 을 2 주 전에 MathOverflow에 게시 했지만 지금까지는 엄격한 답이 없었습니다) 무 방향 단순 그래프의 그래프 너비 측정에 대한 질문이 있습니다. 코 그래프 (분리 된 정점에서 시작하여 분리 된 결합 및 보완의 연산에 의해 생성 될 수있는 그래프)는 최대 2의 cliquewidth를 갖는다는 것이 잘 알려져있다 (Courcelle et …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.