이론 컴퓨터 과학

명시 적 부울 함수 f에 관심이 있습니다 .에프:0 , 1엔→0 , 1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\} 가 일부 아핀 부분 공간에서 상수 인 경우에프ff ,이 부분 공간의 차원은 o ( n ) 입니다.0 , 1엔0,1n\\{0,1\\}^no ( n )o(n)o(n) 부분 공간 A =x ∈0 , 1엔∣ x1⊕ x2= 1 , x삼⊕ …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

하자 무향 그래프 간단하고 있도록 S , t ∈ V ( G는 ) 구별 꼭지점. 간단한 st 경로의 길이를 경로의 모서리 수로 설정하십시오. 각 경로의 길이가 홀수이고 각 경로 쌍의 정점 세트가 s와 t에서만 교차하도록 간단한 st 경로 세트의 최대 크기를 계산하는 데 관심이 있습니다. 즉, 내부적으로 정점 분리 된 …

18 matching  graph-algorithms 

복잡성 이론은 우주의 구조에 대한 근본적인 무언가를 포착하는 것으로 보입니다. 우주의 구조는 어떤 문제는 다른 문제보다 어렵다는 직관적 인 개념을 공식화한다는 점입니다. Scott Aaronson 은 "NP 경도 가정은 결국 열역학 제 2 법칙 또는 초강력 신호 전달의 불가능과 유사 할 것"이라고 예측했다 . 소위 "하드 문제"는 현대 암호화의 기초입니다. 어떤 …

18 cc.complexity-theory  soft-question  big-picture 

Parity-P 는 비 결정적 튜링 머신에 의해 인식되는 언어 세트로, 짝수 또는 홀수의 "수락"경로 만 구분할 수 있습니다 (0 또는 0이 아닌 허용 경로가 아님). 따라서 Parity-P는 기본적으로 PP 의 더 어린 형제 자매입니다. PP는 NP 머신의 허용 경로 수가 대다수인지 ( 즉 , 해당 수량의 가장 중요한 비트인지)를 계산하지만 …

18 cc.complexity-theory  complexity-classes  np 

이 백서 에서는 Lambda 미적분학으로 표현할 수없는 결합기 (심볼 계산을 나타냄)가 있음을 제안합니다 (사실을 올바르게 이해하는 경우).

18 lo.logic  lambda-calculus 

어느 대학이 강력한 양자 컴퓨팅 커리큘럼을 가지고 있으며 어떤 유형의 양자 컴퓨팅 / 정보 코스 / 연구를 제공합니까? 여기서의 목표는이 분야에서 대학원 연구를 고려하는 사람에게 유용한 목록을 수집하는 것입니다. 이 목록을 유용하게 만들려면이 영역을 추구하는 대학의 일부 (이 곳은 모든 사람에게 친숙하지 않은 학제 간 기관에 있음)에 대한 간단한 설명과 …

18 soft-question  quantum-computing  big-list  quantum-information 

다음 문제에 관심이 있습니다. X 세트 X 및 X_1, ..., X_n의 X_n 집합을 고려할 때 각 X_i의 요소가 모두 다르게 색상이 지정되도록 X의 요소를 k 색상으로 채색하십시오. 보다 구체적으로, 모든 X_i의 크기가 k 인 경우를보고 있습니다. 이것은 문학에서 어떤 이름으로 알려져 있습니까? 채색 가능한 인스턴스의 특성화와 복잡성에 대한 결과를 찾고 …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

행렬 의 가우스 복잡도 를 정의하여 행렬을 상위 삼각형 형태로 만드는 데 필요한 최소의 기본 행 및 열 연산 수를 정의하십시오. 이것은 과 사이의 양입니다 (가우시안 제거를 통해). 이 개념은 모든 분야에 적용됩니다.엔 × n엔×엔n \times n000엔2엔2n^2 이 문제는 확실히 매우 기초적인 것으로 보이며 연구되어야합니다. 놀랍게도, 나는 어떤 참조도 모른다. …

18 cc.complexity-theory  lower-bounds  matrices 

잘 알려진 양자 컴퓨터는 쿼리 복잡성 측면에서 기존의 컴퓨터보다 훨씬 강력 합니다. 쿼리 복잡성 측면에서 양자와 클래식 사이에 다른 모델 (자연 또는 인공)이 있습니까? 분리가 가능합니다 특정 문제 : 모델 X 는 퀀텀보다 엄격하게 쿼리는 많지만 클래식의 하한보다 쿼리 수가 적은 함수 를 계산 하거나fff 다른 문제 : 모델 X …

18 cc.complexity-theory  quantum-computing  query-complexity 

Satisfiability의 문제는 물론, 이론적 인 CS의 근본적인 문제이다. 나는 무한히 많은 변수로 한 가지 버전의 문제로 놀고있었습니다.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} 기본 설정. 하자 비어 있지 않은 및 수 의 가능성이 무한한 변수 . 리터럴은 변수 x ∈ X 또는 그 부정 ¬ x 입니다. c 절 은 한정된 수의 리터럴을 분리 한 …

18 reference-request  lo.logic  sat  topology  lattice 

난 그냥이 "읽기 ? 인수 분해 정수 NP에 완성 문제인가 "질문에 ... 난 또 다른 질문을 물어 내 명성의 일부를 :-) 쓰기로 결정 그래서 가진 P를 ( Q는 간단하다 ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 경우 인수 분해 정수로 해결할 수있는 문제는,의 힘 무엇이라고 …

18 cc.complexity-theory  oracles  factoring 

단어 와 이 없으면 되도록 단어 를 primitive 라고 합니다. 알파벳 위에있는 모든 기본 단어 의 집합 는 잘 알려진 언어입니다. WLOG 선택할 수 있습니다 .wwwvvvk>1k>1k > 1w=vkw=vkw = v^kQQQΣΣ\SigmaΣ={a,b}Σ={a,b}\Sigma = \{ a,b \} 모든 언어 및 에 대해 또는 인 경우 언어 이 소수 입니다.LLLAAABBBL=A⋅BL=A⋅BL = A \cdot BA={ϵ}A={ϵ}A …

17 fl.formal-languages 

이것이 주제가 아닌 경우 사과드립니다. 도메인 이름이 만료 된 것 같습니다. 여기 커뮤니티의 일부 회원 (아닌이 아님)이 누가 해당 사이트의 관리자 / 소유자인지 알 수 있기를 바랍니다. 꽤 유용한 자료였습니다.

17 soft-question 

프로그래밍 언어, 특히 프로그램 분석 및 컴파일에서 발생하는 주요 개방형 계산 복잡성 문제는 무엇입니까? 나는 "힌들리 밀너 형식 추론의 시간 복잡성"또는 "0CFA의 시간 복잡성"(둘 다 문제가 해결되었지만)의 문제를 찾고있다.

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

그것은 CNF 변환 할 수 있습니다 다른 CNF로 그러한CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) 함수 는 비밀 랜덤 파라미터 에서 다항식 시간으로 계산할 수 있습니다 .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) 경우만 용액을 보유 해결책을 갖는다.CC\mathcal C r을 사용하여 의 모든 솔루션 를 효율적으로 의 솔루션으로 변환 할 수 있습니다 .xxxΨ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal Crrr r이 없으면 rrr솔루션 …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking