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

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

1
PSPACE- 완전성이 근사 경도를 의미합니까?
다른 cstheorySE 게시물 의 의견에서 PSPACE-completeness는 APX-hardness를 의미한다고 언급되어 있습니다. 누구든지 그것에 대한 참조를 설명 / 공유 할 수 있습니까? 이것이 "꽉"입니까? (즉, 최적화 문제가 폴리 시간에서 일정한 요인 근사치를 허용하는 PSPACE- 완전 문제가 있습니까?) 어떤 수준의 PH에 대한 완성도는 어떻습니까? 근사 경도를 의미합니까?
2
신념 전파 방법의 실행 시간에 대한 이론적 보증?
신념 전파는 확률 적 그래픽 모델 연구를 통해 매우 강력한 방법으로 나타났습니다. 그러나 BP에 대해서는 MCP 방법과 비교할만한 것이 없으며, P- 완전 문제에 대해 FPRAS (완전 다항식 근사화 방식)를 사용할 수 있습니다. 누군가 나를 언급 할 수 있습니까?
1
SAT의 NP-hardness에 필요한 최소 감소 깊이는 얼마입니까?
모두가 아시다시피, SAT는 대한 완료 다항식 시간 많은 한 감소를 WRT. 여전히 wrt 많은 일 감소입니다.N P엔피\mathsf{NP}C0ㅏ씨0\mathsf{AC^0} 내 질문은 축소에 필요한 최소 깊이는 얼마입니까? 더 공식적으로 최소한의 무엇입니까 SAT가되도록 -hard WRT 많은 일 감소?디디dN P엔피\mathsf{NP}C0디ㅏ씨디0\mathsf{AC^0_d} 나에게 보인다 충분해야한다? 누구든지 참조를 알고 있습니까?C02ㅏ씨20\mathsf{AC^0_2}
1
ACC 크리 큐트의 Beigel-Tarui 변환
Arora 및 Barak의 Computational Complexity 책 에서 NEXP의 ACC 하한에 대한 부록을 읽고 있습니다. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf 핵심 정리 중 하나는 회로에서 다항식 차수 및 준 다항식 계수를 갖는 정수에 대한 다중 선 다항식으로 변환하는 것입니다. 동등하게, 회로 클래스 . 이것은 폴리 폴리 알릭스 팬인 (polylogarithmic fan-in)과 함께 최하위에 준 폴리 노 …
6
SAT의 변형
인터넷에서 검색했지만 SAT 문제의 변형 된 '큰 목록'을 찾을 수 없었습니다. (공통)을 제외하고 수능, k-SAT, MAX-kSAT, 반토, XOR-SAT, NAE-SAT 다른 변형이 있습니까? (또한 복잡한 클래스가 제공되는 경우 (가능한 경우) 실제로 유용합니다)
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
2
PP에 Parity-P가 포함되어 있습니까?
이 질문은 Jan Pax가 Foundations of Mathematics 메일 링리스트 에서 물었습니다 . 확실히 이지만 이 질문에 대한 답변에서 ⊕ P ⊆ P P (또는 P P 가 그 질문에 대한 가능한 답이 될 것임) 인지 알 수없는 것으로 의심됩니다. 알 수없는 경우 오라클 분리가 있습니까?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus …
1
GCD 계산을위한 양자 NC 알고리즘이 있습니까?
에 대한 의견에서 MathOverflow 내 질문 중 하나 에있는 질문에 대한 GCD 것을 나는 느낌을 얻을 대 P가 에있는 정수 인수 분해에 관한 질문에 가깝다 P 대 N P를 .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} 정수 인수 분해를위한 양자 다항식 시간 ( B Q P ) 알고리즘 이 있기 때문에 GCD에 대한 "양자 "알고리즘과 같은 …
1
어떻게 NP에 문제가있을 수 있고 NP가 완전하지 않고 NP가 완전하지 않습니까?
나는 오랫동안 (1) NP-hard이고 (2) NP에 있으면 문제가 NP-complete라고 생각했다. 그러나 유명한 논문 "타원체 방법과 조합 최적화의 결과" 에서 저자들은 소수 색수 문제가 NP에 속하고 NP-hard이지만 NP- 완전한 것으로 알려져 있지 않다고 주장합니다. 논문의 세 번째 페이지에서 저자는 다음과 같이 씁니다. ... 그래프의 꼭짓점-포장 문제는 분수 색수 문제와 같은 의미로,이 …
2
매듭 문제에서 영감을 얻은 GI에 대한 접근
GI 와 Knot Problem은 모두 수학적 객체의 구조적 동등성을 결정하는 문제입니다. 그들 사이에 연결을 설정 한 결과가 있습니까? 매듭 다항식을 통해 통계 물리학에 대한 매듭 문제의 좋은 연관성이 탐구되었으며 , 대해 유사한 결과가 있습니까?GIGIGI G I를 조사하기 전에 표준 결과 / 경고 / 제안 / 의견이 있는지 알아두면 특히 도움이됩니다.GIGIGI …
1
하나는 증명할 수
결과 1 : Linial-Mansour-Nisan 정리에 따르면 회로에 의해 계산 된 함수의 푸리에 가중치 는 작은 크기의 부분 집합에 높은 확률로 집중되어 있다고합니다 .AC0AC0\mathsf{AC}^0 (2) 결과 : 공동 효율적인 정도에 집중된 푸리에 중량 갖는 . nPARITYPARITY\mathsf{PARITY}nnn 질문 : 결과 1과 2를 통해 회로에서 를 계산할 수 없음을 증명할 수있는 방법이 있습니까?A …
2
대화 형 증명 시스템의 조경
첫 번째 질문은 대화식 증명 시스템 특성화가 모든 고전적인 복잡성 클래스에 알려져 있는지 여부입니다. P, NP, PSPACE, EXP, NEXP, EXPSPACE, 재귀 및 재귀 적으로 열거 가능한 함수 클래식 (다른 것들 중에서)이라고 부릅니다. 특히, 대화 형 증명 시스템 특성화가 재귀 적이며 재귀 적으로 열거 가능한 기능으로 알려져 있습니까? IP = PSPACE이고 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.