이론 컴퓨터 과학

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

1
이 게임은 종료됩니까?
다음 카드 게임 (이탈리아에서 "Cavacamicia", "stripshirt"로 번역 될 수 있음)을 고려하십시오. 2 명의 플레이어는 2 개의 덱에서 표준 카드 덱으로 무작위로 나눕니다. 각 플레이어는 데크를 하나씩받습니다. 플레이어는 자신의 덱에서 다음 카드를 스택에 교대로 배치합니다. 플레이어 (A)가 특수 카드, 즉 I, II 또는 III을 내려 놓으면 다른 플레이어 (B)는 해당하는 수의 …
2
순열없이 정렬 할 수 있습니까?
π ∈ S n 을 정렬하는 데 필요한 최소 전치 수가 정확히 i n v ( π ) = { ( i , j ) ∈ [ n ] × [ n ] 이므로, 전치에 의한 정렬 순열은 로 알려져 있습니다 . : i < j 및 π ( i …
12 sorting 
1
APX 경도는 QPTAS를 의미하지 않습니까?
따라서 웹에서 빠른 검색을 통해 "APXHardness는 [일부 복잡성 클래스]가 일부 [다른 복잡성 클래스]에 포함되어 있지 않으면 문제에 대한 QPTAS가 없음을 암시하며 잘 알려져 있습니다"라고 믿었습니다. 나를 제외하고 모두가 이것을 알고있는 것 같습니다. 불행히도이 진술을 뒷받침하는 언급은 없습니다. 두 가지 질문이 있습니다. 현재 알려진이 진술의 가장 강력한 버전은 무엇입니까? 참조? 부디? …
1
공허 문제를 결정할 수없는 가장 간단한 계산 모델은 무엇입니까?
공허 문제를 결정할 수없는 가장 간단한 계산 모델은 무엇입니까? 계산 모델의 공허 문제 (예 : 유한 상태 오토 마톤, 교류 푸시 다운 오토 마톤, 카운터가있는 경계 오류 양자 오토 마톤, 결정적 LBA 등)는 해당 머신에 대해이 머신이 인식 / 정의한 언어인지 여부를 결정하는 것입니다. 비었다. 여기서 기계에 대한 설명은 유한해야합니다! …
1
Oracle의
합니까 보류?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} 분명히 이지만 N P ∩ c o N P 는 "결정적"인 것으로 보이며 이것이 사실이라고 믿습니다.NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} 간단한 증거가 있습니까 (또는 정의에 의해)?
2
반다이 크의 언어에 대한 참조 인
반다이 크 언어 는 다음의 문법에 의해 정의되는 S → S S를Dyck(k)Dyck(k)\mathsf{Dyck}(k) 심볼들의 세트를 통해 { ( 1 , ... , ( K , ) 1 , ... , ) (K) } . 직관적으로 Dyck 언어는 k 가지 종류의 균형 괄호 언어입니다. 예를 들어, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 …
1
영구적 인 결정 인자 표현
TCS의 한 가지 주요 문제는 지속 물을 결정 요인으로 표현하는 문제입니다. 나는 Agrawal의 논문 Determinant와 Permanent를 읽고 있었고 한 단락에서 그 반대의 문제는 쉽다고 주장했다. 이 행렬의 행렬식 것을 쉽게 알 수 관련된 행렬의 영구적으로 표현 될 수 X , 그 항목은 0, 1 또는 X 나 , J S …
3
SVD보다 Johnson-Lindenstrauss lemma를 언제 사용해야합니까?
Johnson-Lindenstrauss의 정리는 고차원 공간의 점들을 저 차원의 점들로 나타낼 수있게합니다. 가장 적합한 저 차원 공간을 찾을 때 표준 기법은 특이 값 분해를 찾은 다음 가장 큰 특이 값으로 생성 된 부분 공간을 취하는 것입니다. SVD에 Johnson-Lindenstrauss를 사용하는 것이 언제 중요합니까?
3
유전 적이지만 부가적인 것은 아닌 NP- 완전한 그래프 속성?
정점 삭제와 관련하여 그래프 속성 을 닫으면 그래프 속성을 유전 이라고 합니다 (즉, 모든 유도 된 하위 그래프가 속성을 상속 함). 그래프 속성이라고 첨가제 가 분리 된 조합을 복용에 대해 닫혀있는 경우. 유전 적이지만 부가 적이 지 않은 특성을 찾기는 어렵지 않습니다. 두 가지 간단한 예 : \;\;\;(1) 그래프가 완성되었습니다. …
1
대수적으로 콤팩트 한 카테고리
나는 유명한 Como90에서 Freyd의 논문 "대수적으로 완전한 범주"를 읽었으며, 그 논문에서 그가 대수적 압축성이라는 개념에 대해 두 가지 질문을했다. (정의에 익숙하지 않은 경우 다음과 같습니다. 모든 endofunctor에 초기 대수와 정식 동형 인 최종 대수학이있는 경우 범주는 대수 콤팩트라고합니다.) 대수적으로 콤팩트 한 카테고리의 예는 무엇입니까? Freyd는 예를 언급하지만 정의의 조건을 엄밀히 …
1
이것은 대수 포즈에 대해 동등한 조건입니까?
연속 격자 및 도메인 의 정의 대수 정의, 정의 I-4.2에 따르면 모든 에 대해x∈Lx∈Lx \in L 세트 는 지시 된 세트 여야합니다.A(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) 여기서 poset이며, K ( L은 ) 의 압축 요소의 집합 인 L은 한 ↓ X 수단 …
1
점근 적 성장에 대한 결정 가능한 이론
의 함수 성장률 비교에 대한 결정성에 대한 알려진 한계는 무엇입니까 ? 나는 " x x ∼ 2 ⌊ x lg ( x + 2 ) like ?" 와 같은 질문의 결정 가능성을 생각하고 있습니다. 또는 " 2 lg * x ∈ O ( lg lg x ) 입니까?"N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg⁡(x+2)⌋x^x …
3
정렬 된 배열을 결합하여 선택 : 이미 알려져 있습니까?
다음 알고리즘 / 문제에 대한 참고 문헌을 찾고 있습니다. 이름을 "BiSelect"또는 "t-ary Select"또는 "Selected Union of Sorted Arrays"로 지정했지만 이전에 다른 이름으로 소개 된 것 같습니다. 문제 다음 문제를 고려하십시오. 감안 이산 정렬 된 어레이 , 각 크기의 및 정수 는 무엇 그들의 정렬 연합 번째 값 ?kkkA1,…,AkA1,…,AkA_1,\ldots, A_kn1,…,nkn1,…,nkn_1,\ldots,n_kt∈[1..∑ni]t∈[1..∑ni]t\in[1..\sum n_i]ttt …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.