«cc.complexity-theory» 태그된 질문

단방향 기능의 존재는 암호화 (디지털 서명, 의사 난수 생성기, 개인 키 암호화 등)의 대부분에 필요하고 충분하다는 것이 잘 알려져 있습니다. 내 질문은 : 일방 함수의 존재로 인한 복잡성 이론 결과는 무엇입니까 ? 예를 들어 OWF는 , 및 입니다. 다른 알려진 결과가 있습니까? 특히 OWF가 다항식 계층 구조가 무한하다는 것을 의미합니까?N …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

유한 우주 개체 의 요소 하위 집합의 패밀리라고 하자 . 가족 의 의 - 요소 서브 세트 와, , A는 - 설정된 명중 의 각각의 경우 적어도 하나 개의 세트가 존재 등을 그 .에프FF디dd유UUHHH케이kk유UU1 ≤ k &lt; d1≤k&lt;d1 \le k < d( k , d)(k,d)(k,d)에프FFV∈ FV∈FV \in F여∈ HW∈HW \in …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

수식 또는 수식 여기서 는 다음 형식의 공식입니다. \ psi : = t&gt; t ~ | ~ t = t t : = t + t ~ | ~ x_i ~ | ~ y_i ~ | ~ C 여기서 C 에서 일정한 \ mathbb {N} , 및 변수의 도메인 y_i는 …

9 cc.complexity-theory  reference-request  lo.logic 

다음과 같은 추가 제한이있는 Monotone 3CNF 공식을 고려하십시오. 모든 변수는 정확히 절로 나타납니다 .222 절이 주어지면 최대 변수를 공유 합니다.222111 그러한 공식의 만족스러운 과제를 계산하는 것이 얼마나 어려운지 알고 싶습니다. 업데이트 06/04/2013 12:55 또한 만족스러운 과제 수의 패리티를 결정하는 것이 얼마나 어려운지 알고 싶습니다. 2013 년 11 월 4 일 …

9 cc.complexity-theory  sat  counting-complexity 

유한 필드에서 작업한다고 가정합니다. 이 필드에 대해 큰 고정 다항식 p (x) (즉, 차수 1000)가 제공됩니다. 이 다항식은 미리 알려져 있으며 "초기 단계"에서 많은 리소스를 사용하여 계산을 수행 할 수 있습니다. 이러한 결과는 비교적 작은 조회 테이블에 저장 될 수 있습니다. "초기 단계"의 끝에서, 알려지지 않은 작은 다항식 q (x)가 …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

양자 컴퓨팅 문헌의 대부분은 회로 모델에 중점을 둡니다. 단열 양자 컴퓨팅은 일련의 단일 연산자를 적용하는 것이 아니라 시간에 따른 해밀턴을 변경하는 것입니다. 다음 중 하나에 대한 통찰력을 찾고 있습니다. 단열 양자 컴퓨팅은 회로 모델만큼 강력합니까, 아니면 본질적으로 덜 강력합니까? 회로 모델이 아닌 단열 컴퓨팅과 관련된 복잡성 클래스가 있습니까? 단열 컴퓨팅의 …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이론적 인 컴퓨터 과학 스택 교환에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 칠년 전에 . " "를 1 차 공식으로 어떻게 표현할 수 있습니까?P=PSPACEP=PSPACEP=PSPACE 어떤 수준의 산술 계층 구조에이 수식이 포함되어 있습니까 (그리고 현재 포함 …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

허락하다 A T I S P (f( n ) , g( n ) )ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n)) 시간이 멈추는 튜링 머신을 번갈아 사용하여 결정된 언어 등급 에프( n )f(n)f(n) 공간을 사용하여 지( n )지(엔)g(n). 허락하다A A L T S P (f( n ) , g( n ) )ㅏㅏ엘티에스피(에프(엔),지(엔))\mathsf{AALTSP}(f(n), g(n)) 사용을 중단하는 튜링 …

9 cc.complexity-theory  complexity-classes  structural-complexity 

그는 1979 년 Adi Shamir [1]의 논문에서 다항식 수의 산술 단계로 인수 분해를 수행 할 수 있음을 보여줍니다. . 이 사실은 최근의 직선 프로그램 (SLP)의 맥락에서 Borwein and Hobart [2]의 논문에서 정리되었고, 따라서 주목을 받았습니다. 나는 이것을 읽는 것에 놀랐 기 때문에 다음과 같은 질문이 있습니다. 다른 암호 문제 또는 …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

모든 Turing 인식 가능 결정 불가능한 언어에는 NP-complete 하위 세트가 있습니까? 이 질문은 모든 무한 Turing 인식 언어에 무한 결정 가능한 하위 집합이 있다는 사실의 강력한 버전으로 볼 수 있습니다.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

다음은 자연적인 정의처럼 보이고 어딘가에서 연구되었는지 궁금합니다. 고려 언어의 집합. 이어서 "라고 있을 때 -verifiable 정보" 세인트X ⊂2{ 0 , 1}※X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}케이⊂ { 0 , 1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega엑스X\mathsf{X}L ∈ XL∈XL \in \mathsf{X} (I)이 주어 의 모든 접두사 인x ∈ Lx∈Lx \in L엑스xx엘LL (ⅱ)이 …

9 cc.complexity-theory  reference-request 

함수의 경계 오류 양자 쿼리 복잡도 가 인 것으로 잘 알려져 있습니다. 이제 문제는 양자 알고리즘 이 일반적인 보다는 확률로 모든 입력에 대해 성공하기를 원하는 경우 입니다. 이제 관점 에서 적절한 상한과 하한은 무엇입니까?OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n)Θ(n−−√)Θ(n)\Theta(\sqrt{n})1−ϵ1−ϵ1-\epsilon2/32/32/3ϵϵ\epsilon 즉각 O(n−−√log(1/ϵ))O(nlog⁡(1/ϵ))O(\sqrt{n} \log(1/\epsilon))쿼리는 Grover 알고리즘을 반복하여이 작업에 충분합니다. 그러나 내가 기억하는 것은 신중하게 실행하는 경우, …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Elementary-recursive 함수에 대한 Chris Pressey의 흥미로운 질문에 흥미를 느끼 면서 웹에서 더 많은 질문을하고 답을 찾을 수 없었습니다. 기본 재귀 함수는 지수 계층 좋게 대응DTIME (2엔) ∪ DTIME (22엔) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots. 더 낮은 기본 기능에 의한 결정 문제 (단어?)가 EXP 및 실제로 DTIME에 포함되어야한다는 정의에서 간단 …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Arora와 Barak의 저서에는 PCP에 관한 장 노트가 있습니다 Dinur의 일반적인 전략은 확장 그래프의 지그재그 구성과 20 장에 설명 된 무 방향 연결을위한 Reingold의 결정적 로그 스페이스 알고리즘을 다소 연상시키는 것입니다. (pg 494) 이 회상은 정확히 무엇을 의미합니까? 이 두 가지 증거를 "배제"할 수있는 것보다 일반적인 재산 / 부상이 있습니까?

9 cc.complexity-theory  pcp 

제 질문은 유한 모델 이론 / 설명 적 복잡성에 관한 것이므로, 은 "술어 Rs와 단항 술어 P true를 사용하여 유한 이진 단어보다 1 차 단어 1의 위치"를 의미합니다.FO(R)FO(R)FO(R) 내가 알고 싶은, 어떤 caracterisation가 과 R 어떤 술어에 \ mathbb N ^ R 일부 연구 하시나요? 예를 들어 FO (&lt;, +) …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory