이론 컴퓨터 과학

VAS (Vector Addition System)는 유한 한 행동 입니다. 는 일련의 표시 입니다. 런은 마킹 비어 단어 성 . 이러한 단어가 존재하는 경우 우리는 그 말을 있다 도달 에서 .A ⊂ Z d A⊂ZdA \subset \mathbb{Z}^dN d m 0 m 1 … m n ∀ i ∈ { 0 , …

11 fl.formal-languages  decidability 

1 회 읽기 결정 트리는 다음과 같이 정의됩니다. 및 F a l s e 는 1 회 읽기 결정 트리입니다.True티아르 자형유이자형TrueFalse에프ㅏ엘에스이자형False 경우 와 B는 의사 결정 트리 일단 읽기되고 x가 발생하지 변수입니다 와 B , 다음 ( X ∧ ) ∨ ( ˉ X ∧ B는 ) 또한 읽기 번 …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

유한 역 반동 형 동형 형성 문제가 GI- 완전 인가? 여기서 유한 역 반구 그룹은 곱셈 테이블에 의해 주어진다고 가정합니다.

11 cc.complexity-theory  graph-isomorphism 

입력이 이진 엑스xx 이고 을 출력해야 한다고 가정합니다 ⌊ x / c ⌋⌊x/c⌋\lfloor x/c \rfloor. 여기서 씨cc 는 일정한 정수입니다. 만약 씨cc 가 2의 거듭 제곱 이라면 이것은 쉬프트 일 뿐이지 만 다른 숫자는 어떻습니까? 우리는 모든 대해 일정한 깊이 회로로 그것을 할 수 있습니까 씨cc? 무엇에 대한 c = …

11 cc.complexity-theory  circuit-complexity  ac0 

정확한 양자 알고리즘에 대한 아이디어를 고려하고 있습니다. 특히, 임의의 유한 게이트 세트를 통해 다 시간 균일 양자 회로 제품군에 의해 정확하게 결정될 수있는 언어로 구성된 한계를 고려 하고 있습니다.EQPEQP\mathsf{EQP} 의해 주어진 양자 푸리에 변환 (QFT) 는 양자 계산 이론의 유명한 부분입니다. 의 경우에는 의 존재 잘 알려진 분해 Hadamards, SWAP …

11 quantum-computing  circuit-families 

다항식의 움직임으로 끝나는 완전한 정보의 2 인 조합 게임을 고려하고, 플레이어는 제한된 수의 허용 된 움직임 중에서 선택합니다. 일반적인 질문은 주어진 위치에서 승자를 알리는 것이 얼마나 어려운지입니다. 다른 하나는, 승리 포지션에서 승리하는 움직임을 선택하는 것이 얼마나 어려운가입니다. (여기서 포지션을 딴 후에도 이겼다면 이동 승리라고 부릅니다.) 차별화를 위해 이전의 POSITION-COMPLEXITY와 후자의 …

11 cc.complexity-theory  np  board-games  pspace 

다음 문제를 고려하십시오. 두 개의 스트링 x, y가 주어지면, f (x) = y와 같은 스트링 동형이 존재하는지 여부를 결정하십시오. 이 문제가 에 있음을 쉽게 알 수 있습니다. 이 문제에 관해 우리가 말할 수있는 다른 것들이 있습니까? 예를 들어 또는 있습니까?NPNPNPcoNPcoNPcoNPPPP 이 문제는 매우 자연스러워 보이므로 철저히 연구해도 놀라지 않습니다. 그러나 …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Goldreich et al.의 3 가지 착색성에 제로 지식 증명이 있다는 증거는 각 라운드에서 그래프의 전체 채색에 비트 약정을 사용합니다 [1]. 그래프에 개의 정점과 e 모서리가 있고 보안 해시에 b 비트가 있고 오류 확률 p를 찾는 경우 총 통신 비용은 다음과 같습니다.nnneeebbbppp O(benlog(1/p))O(benlog⁡(1/p))O(ben \log(1/p)) 이상은 라운드. 점진적으로 공개 된 Merkle 트리를 …

11 communication-complexity  zero-knowledge 

를 일부 필드로 보자 . 평소와 같이,에 대한 우리 정의 의 직선 복잡성으로 위에 . 를 의 모노마 이어 세트 , 즉 0이 아닌 계수 로 나타나는 모노마 이어라고 합시다 .f ∈ k [ x 1 , x 2 , … , x n ] L ( f ) f …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

우리가 알고 있듯이, 알고리즘의 계산 복잡도의 정의는 거의 논쟁의 여지가 없지만, 실제의 계산 복잡성 또는 실수에 대한 계산 모델의 정의는 그러한 경우가 아닙니다. 우리는 Computable Analysis 책에서 Blum and Smales의 모델과 모델을 알고 있습니다. 그리고 Computable Analysis의 모델은 클래식 모델과 일치하지만 실수의 계산 복잡도 정의는 클래식 모델로 이식 될 수 …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

단순히 입력 된 람다 미적분학과 고차원 논리의 관계는 무엇입니까? Curry-Howard에서는 단순히 입력 된 람다 미적분이 제안 논리에 해당하는 것으로 보입니다. 고차 로직과 어떤 관련이 있습니까? Geuvers의이 튜토리얼에 따르면 http://typessummerschool07.cs.unibo.it/courses/geuvers-1.pdf HOL의 언어는 STT 인 것으로 보입니다. PROP해서는 안됩니까? 그게 무슨 뜻이야? STT를 정의 할 때 교회는 HOL을 염두에 두었습니까?

11 lo.logic  typed-lambda-calculus  curry-howard 

파티션 트리가 구현 된 적이 있습니까? 여기서는 계산 기하학에서 파티션 트리에 대해 이야기하고 있습니다. 가장 초기 (가까운) 최적 버전은 Matousek 및 기타 업체와 가장 최근의 Timothy Chan 때문입니다. https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf 이것들은 구현 된 적이 없다는 것이 나에게 미치게 들리지만 인터넷 검색은 아무도보고 한 구현을 찾지 못했습니다.

11 ds.data-structures  implementation  computational-geometry 

다음 테스트 문제에 대해 하한이 알려진 경우 ( 이 다른 질문 과 관련하여) 알고 싶습니다 . 음수가 아닌 숫자 시퀀스에 대한 쿼리 액세스 권한이 부여됩니다 및 , 또는 합니다. ε ∈ ( 0 , 1 ) ∑ n k = 1 a k = 1 ∑ n k = 1 …

11 reference-request  randomized-algorithms  property-testing 

그래프 고려하십시오 지지G(문제는 방향 그래프와 비 방향 그래프 모두에 해당됩니다). 통화 의 거리 행렬 : 정점으로부터 최단 거리 인 정점에 의 (예를 들면, 특정 고정 집계 기능 또는 ).미디엄지미디엄지M_G지지G미디엄지[ 나는 , j ]미디엄지[나는,제이]M_G[i, j]나는나는i제이제이j지지G+++최대최대\max I는 서브 그래프라고 지'지'G' 의 지지G (동일한 정점 세트) 인 SP 상당 하는 지지G 경우 미디엄지= …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

이것은 나를 혼란스럽게한다. 계산 문제 중 하나는 의사 결정 문제가 있고 해결책이없는 경우입니다.피PP 강의에 따르면 이분 그래프에서 완전 일치 횟수를 계산하는 문제 (동일하게는 방향 그래프에서주기 횟수를 계산하는 문제)는 임을 알 수 있습니다.# P#P\#P 가젯을 사용하여 digraph에서 크기 의 정점 커버 계산에서 카운트 사이클 커버로 줄입니다.케이kk 정리 27.1 양호한 사이클 커버 …

11 cc.complexity-theory  graph-theory