이론 컴퓨터 과학

# P-Complete 문제에서 위상 전이에 대해 알려진 것은 무엇입니까? 구체적으로, # DNF-k-SAT 및 # CNF-k-SAT에 대해 다른 위상 천이가 존재합니까? 업데이트 : 우리가 알다시피, 랜덤 k-SAT에는 문제를 해결하는 것이 쉬움에서 어려움으로, 다시 쉬움으로 바뀌는 단계 전환이 있습니다. # P-Complete 문제에도 이러한 현상이 있는지 알고 싶습니다. 더 중요한 것은 위상 전이가있는 …

11 cc.complexity-theory  counting-complexity  phase-transition 

NP-Complete과 반대로 NP-Intermediate 일 가능성이있는 문제와 이유를 어떻게 검토합니까? 문제를보고 그것이 NP-Complete인지 아닌지를 말하기는 종종 매우 간단하지만 문제가 NP-Intermediate인지 여부를 말하기가 훨씬 더 어려워 보입니다. 클래스. 기본적으로 내가 묻는 것은 다항식 시간 (모두 있다면)에서 확인할 수 있지만 다항식 시간 (P가 NP와 같지 않은 한)으로 해결할 수없는 문제가 서로 다항식 시간이 …

11 cc.complexity-theory  complexity-classes  np-intermediate 

다음과 같은 문제를 결정할 수 있습니다. 문맥이없는 문법을 감안할 때 지지G 이며, L ( G ) = ∅엘(지)=∅L(G) = \varnothing ? 다음과 같은 문제는 결정할 수 없습니다. 문맥이없는 문법 주어 졌을 때 지지G, L ( G ) = A※엘(지)=ㅏ※L(G) = A^{\ast} ? 결정 가능한 동등성 L ( G ) = …

11 computability  fl.formal-languages 

N L 에서 다음 문제를 결정할 수 있는지 알고 싶습니다.NLNL\mathsf{NL} (비 결정적 로그 공간) . 두 개의 구별되는 꼭짓점 s 와 t 가 있는 유향 그래프 가 주어지면 G 에서 s 에서 t 까지 의 고유 한 경로 가 있습니까?GGGssstttssstttGGG ? s - t 경로가 있는지 여부와 그러한 경로가 없는지 …

11 reference-request  graph-theory 

wordize 요소 집합 (반복 없음)을 보유하고 빠른 삽입 (amortized O (1))을 지원하는 공간 효율적인 데이터 구조를 찾고 있습니다. "공간 효율적"이란 이상적으로 요소 를 저장하는 단어를 의미 합니다.n+o(n)n+o(n)n + o(n)nnn 집합이되는 것은 질문의 중요한 부분입니다. 각 요소를 번 추가 하면 사용 된 공간은 일 수 없습니다 .lognlog⁡n\log nnlognnlog⁡nn\log n 구조는 또한 …

11 ds.data-structures 

저는 현재 로컬 통신이 아닌 게임과 양자 통신의 유익한 측면에 관한 좋은 참고 자료를 찾고 있습니다. 예를 들어, 로컬 게임이 아닌 게임은 QKD 프로토콜의 보안을 보장 할뿐만 아니라 경계의 복잡성을 낮추는 데 능숙하다는 것을 알고 있습니다. 내가 알고 싶은 것은 양자 통신에서 비 로컬 게임에 관한 큰 논문은 무엇입니까? 이 …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

1975 년에 Miller는 정수 의 인수 분해를 줄여 함수엔NN 의주기 을 찾는 방법을 보여주었습니다.아르 자형아르 자형rf ( x + r ) = f ( x ) a &lt; N r r에프( x ) = a엑스모드엔f(x)=axmod엔f(x)=a^x\;\bmod\;N에프( x + r ) = f( x )에프(엑스+아르 자형)=에프(엑스)f(x+r)=f(x)a &lt; Nㅏ&lt;엔a<N아르 자형아르 자형r아르 자형아르 자형r …

11 cc.complexity-theory  cr.crypto-security  factoring 

대화 형 증거 시스템 의 완전성과 건전성은 다음과 같이 비공식적으로 정의됩니다. 완전성 : 진술이 사실이면, 정직한 증명 자는이 사실을 정직한 검증 자 에게 확신시킬 수 있습니다 whp . 건전성 : 진술이 허위 일 경우, 부정 행위를 한 입증 인은 정직한 검증 자 (허위 진술의 타당성)를 확신 할 수 없습니다. "whp"라는 …

11 cc.complexity-theory  interactive-proofs 

0&lt;E&lt;10&lt;E&lt;100. 어떤 대한 nnn 및 벡터 c¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n 되도록 ∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } 나는 그 진술이 참인지 모르겠다. 나는 그것이 사실이라고 생각합니다. …

11 co.combinatorics  it.information-theory 

이것은 입력으로서 취 알고리즘을 구성 할 수있다 푸시 다운 오토 마톤 이 오토 마톤 수락 언어한다는 약속과 함께 결정적 문맥 자유 언어이고 출력 결정적 푸시 마톤 정확하게 언어를 허용 받아 에 의해 ?MMML(M)L(M)L(M)NNNMMM 동등한 문제는 입력으로 푸시 다운 오토마타 ( 이 위와 같이 결정적 이라는 약속 )과 결정 론적 푸시 …

11 reference-request  computability  fl.formal-languages  automata-theory 

내가 알고있는 모든 컴퓨터 관련 박물관과 전시회는 컴퓨팅 기계의 역사만을 다루는 것 같지만 컴퓨터 과학에 관한 주제는 없습니다. 귀하는 다양한 컴퓨팅 / 컴퓨터 과학 / 통신 / 수학 주제에 대해 일반 대중을 교육하고, 즐겁게하며, 영감을주기 위해 새로운 전산 박물관을 설립하는 데 참여하고 있습니다. 역사와 유명인이 전시회의 일부가 될 수 있지만 …

11 soft-question  big-list  ho.history-overview 

나는 대각선 화와 relativization 결과에 근거하지 않은 클래스 분리를 ​​본 기억이 없습니다. 대각선 화 결론이나 대각선으로 된 튜링 기계 구조에서 비상 대화 주장이 여전히 사용될 수 있기 때문에, 대각선 화는 여전히 남아있는 알려진 클래스를 분리하는 데 사용될 수 있습니다. 다음은 몇 가지 관련 질문입니다. 대각선 화를 기반으로하지 않는 클래스 분리 …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

행렬 차원은 입니다. 과 사이의 정수를 사용하여 를 채우고 싶습니다 .N × N ( N - 1 ) 1 NㅏㅏAn × n ( n - 1 )엔×엔(엔−1)n \times n(n-1)ㅏㅏA111엔엔n 요구 사항 : 각 열은 의 순열입니다 .1 , … , nㅏㅏA1 , … , n1,…,엔1, \dots, n 두 행으로 구성된 …

11 co.combinatorics  cr.crypto-security  coding-theory 

다음과 유사한 데이터 저장을위한 매우 효율적인 데이터 구조를 찾고 있습니다. ID 태그 주문 1 주문 2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 그것은 나에게 태그의 표현을 포함하는 모든 ID의 목록을 제공한다고 나는 그런 방식으로이 구조를 조회 할 수 있어야합니다 …

11 ds.data-structures  application-of-theory  db.databases 

동기화 간에 프로세서 내에 로컬 메모리 보유가없는 mapReduce 프레임 워크를 벌크 동기식 병렬 프로그래밍 프레임 워크 라고 부르는 것이 정확 합니까? 그렇지 않다면 어떤 병렬 프로그래밍 모델이 mapReduce 프레임 워크를 가장 정확하게 캡슐화합니까?

11 dc.parallel-comp  machine-models