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

P 대 NP 및 기타 리소스 제한 계산.

4
복잡성 이론의 응용
복잡성 이론은 우주의 구조에 대한 근본적인 무언가를 포착하는 것으로 보입니다. 우주의 구조는 어떤 문제는 다른 문제보다 어렵다는 직관적 인 개념을 공식화한다는 점입니다. Scott Aaronson 은 "NP 경도 가정은 결국 열역학 제 2 법칙 또는 초강력 신호 전달의 불가능과 유사 할 것"이라고 예측했다 . 소위 "하드 문제"는 현대 암호화의 기초입니다. 어떤 …
1
NP와 Parity-P에 대해 가장 잘 알려진 공동 봉쇄?
Parity-P 는 비 결정적 튜링 머신에 의해 인식되는 언어 세트로, 짝수 또는 홀수의 "수락"경로 만 구분할 수 있습니다 (0 또는 0이 아닌 허용 경로가 아님). 따라서 Parity-P는 기본적으로 PP 의 더 어린 형제 자매입니다. PP는 NP 머신의 허용 경로 수가 대다수인지 ( 즉 , 해당 수량의 가장 중요한 비트인지)를 계산하지만 …
4
“전이 다른 하이퍼 그래프 채색”– 알려진 문제?
다음 문제에 관심이 있습니다. X 세트 X 및 X_1, ..., X_n의 X_n 집합을 고려할 때 각 X_i의 요소가 모두 다르게 색상이 지정되도록 X의 요소를 k 색상으로 채색하십시오. 보다 구체적으로, 모든 X_i의 크기가 k 인 경우를보고 있습니다. 이것은 문학에서 어떤 이름으로 알려져 있습니까? 채색 가능한 인스턴스의 특성화와 복잡성에 대한 결과를 찾고 …
2
가우스 복잡도의 하한
행렬 의 가우스 복잡도 를 정의하여 행렬을 상위 삼각형 형태로 만드는 데 필요한 최소의 기본 행 및 열 연산 수를 정의하십시오. 이것은 과 사이의 양입니다 (가우시안 제거를 통해). 이 개념은 모든 분야에 적용됩니다.엔 × n엔×엔n \times n000엔2엔2n^2 이 문제는 확실히 매우 기초적인 것으로 보이며 연구되어야합니다. 놀랍게도, 나는 어떤 참조도 모른다. …
3
쿼리 복잡성 측면에서 고전과 양자 사이의 계산 모델
잘 알려진 양자 컴퓨터는 쿼리 복잡성 측면에서 기존의 컴퓨터보다 훨씬 강력 합니다. 쿼리 복잡성 측면에서 양자와 클래식 사이에 다른 모델 (자연 또는 인공)이 있습니까? 분리가 가능합니다 특정 문제 : 모델 X 는 퀀텀보다 엄격하게 쿼리는 많지만 클래식의 하한보다 쿼리 수가 적은 함수 를 계산 하거나fff 다른 문제 : 모델 X …
5
정수 인수 분해 오라클이있는 P
난 그냥이 "읽기 ? 인수 분해 정수 NP에 완성 문제인가 "질문에 ... 난 또 다른 질문을 물어 내 명성의 일부를 :-) 쓰기로 결정 그래서 가진 P를 ( Q는 간단하다 ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 경우 인수 분해 정수로 해결할 수있는 문제는,의 힘 무엇이라고 …
2
CNF를 암호화 할 수 있습니까?
그것은 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솔루션 …
1
비 결정적 회로의 전력을 보여주는 예
비 결정적 부울 회로에는 일반 입력 외에 "비 결정적"입력 세트 있습니다. 비 결정적 회로 는 회로 출력 on 와 같이 가 존재하는 경우 입력 받아 들입니다 . (다항식 크기 ​​회로로 결정 가능한 언어 클래스) 와 유사하게 는 다항식 크기 ​​비 결정적 회로로 결정 가능한 언어 클래스로 정의 할 수 있습니다. …
1
PSPACE를 다항식 계층 구조와 분리하는 최소 복잡성 오라클은 무엇입니까?
배경 오라클 가있는 것으로 알려져 있습니다 를AA 예컨대, 그 P S P C E ≠ P HPSPACEA≠PHAPSPACE^A \neq PH^A . 임의의 오라클에 대해 분리가 유지되는 것으로 알려져있다. 비공식적으로, 이것은 P S P A C EPSPACEPSPACE 와 P HPHPH 가 분리 된 많은 오라클이 있음을 의미하는 것으로 해석 할 수 있다. …
3
NP- 완전 문제에서 위상 전이는 얼마나 흔합니까?
많은 NP- 완전 문제는 위상 전이를 나타내는 것으로 잘 알려져 있습니다. 알고리즘과 관련하여 입력의 경도보다는 언어의 포함과 관련하여 위상 전이에 관심이 있습니다. 개념을 모호하지 않게하기 위해 공식적으로 다음과 같이 정의하겠습니다. 언어 은 (격리와 관련하여) 위상 전이를 나타냅니다.LLL 가 순서 파라미터 다항식 계산 가능한 시간, 인스턴스의 실제 값 함수이다.r(x)r(x)r(x) 가 임계 …
2
최소 누적 설정 합계
이 문제점을 고려하십시오. 유한 세트 목록이 을 최소화 하는 순서 를 .| s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + …s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + …
1
비 결정적 회로의 크기에 대한 하한
패리티 함수를 계산하는 회로 의 최소 ​​크기는 정확히 . 하한 증명은 게이트 제거 방법을 기반으로합니다.유2유2U_23 ( n - 1 )삼(엔−1)3(n-1) 최근에 게이트 제거 방법이 비결정론 적 회로 에서도 잘 작동한다는 것을 으며, 패리티 함수를 계산하는 비결정론 적 회로 의 크기에 대해 하한을 증명할 수 있습니다 .유2유2U_23 ( n - 1 …
2
코셋 교차로 문제의 복잡성
대칭 그룹 주어 두 서브 그룹 G , H ≤ S , N , 및 π ∈ S , N , 수행은 G π ∩ H = ∅ 보류?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset 내가 아는 한, 문제는 코셋 교차로 문제입니다. 복잡성이 무엇인지 궁금합니다. 특히이 문제가 coAM에있는 것으로 알려져 있습니까? 더욱이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.