«complexity-classes» 태그된 질문

계산 복잡성 클래스 및 관계

1
대한 증거는 무엇입니까
Josh Grochow의 제안에 따라 이전 질문의 의견을 새로운 질문으로 변환합니다. 대한 증거는 무엇입니까 ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} 여기서 은 "yes"인스턴스에 고유 한 허용 경로가 있고 "no"인스턴스에 허용 경로가없는 다항식 비 결정적 튜링 머신으로 인식 할 수있는 언어 클래스입니다.UPUP\mathsf{UP} 분명히 인데 왜 봉쇄가 엄격하다고 생각합니까? 내가 찾을 수있는 증거는 오라클 분리입니다 : …
3
정확히 25 % 확률로 오류가 발생하는 무작위 알고리즘은 어떤 클래스입니까?
E (xact) BPP를 호출 할 수있는 다음과 같은 BPP 변형을 고려한다고 가정합니다. 다항식 시간 무작위 TG가 있으면 언어의 모든 단어를 정확히 3/4 확률로 받아들이고 모든 단어는 정확히 1/4 확률로 언어. 분명히 EBPP는 BPP에 포함되어 있지만 동일합니까? 이것이 연구 되었습니까? 유사하게 정의 가능한 ERP는 어떻습니까? 자극. 나의 주요 동기는 Faenza et …
1
이 가장자리 채색 문제의 복잡성은 무엇입니까?
최근에 나는 다음과 같은 변색의 변형을 만났다. 무 방향 그래프가 연결된 경우 최대 정점 수를 사용하는 가장자리의 색상을 찾고 모든 정점에 대한 제약 조건을 만족시킵니다. VVv가장자리에 VVv 최대 두 가지 색상을 사용하십시오. 내 첫 번째 추측은 문제가 NP-hard라는 것입니다. 그래프 색상 문제에 대한 고전적인 NP-hard 증거는 대부분 3SAT에서 감소한 것입니다. …
2
Is
다음 논문의 "첫 페이지"의 "마지막 단락"에서 Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "NP에 다항식 회로가있는 경우 MA = AM" , Theorytical Computer Science, 1995. 다소 반 직관적 인 주장이있었습니다. (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 위의 정체성은 다음과 같은 것으로 추론됩니다. (ΣP2)NP=ΣP3(Σ2P)NP=Σ3P(\Sigma^P_2)^{NP} = …
2
알려진 모순 관계가없는 잠재적으로 동일한 복잡성 클래스
복잡한 클래스 쌍의 예 무엇 와 B 가 같은AAABBB 우리가 모르는 여부 = B , 및A=BA=BA=B 우리는 모순 relativizations 중 하나 (즉, 우리가 알고있는 신탁하지 않습니다 모르는 와 Q 등이 P = B P 와 Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q 다른 방법으로 질문을 표현하기 위해, 모순적 …
1
지식 증명을위한 복잡성 클래스
Greg Kuperberg가 나에게 묻는 질문에 따라 다양한 종류 의 지식 증명을 인정하는 복잡한 언어 클래스를 정의하고 연구하는 논문이 있는지 궁금합니다 . 같은 클래스 SZK 및 NISZK은 우리가 영의 지식에 대해 완전히 잊고 그들의 완전한 약속 문제의 관점에서 그들을 정의 된 경우에도 복잡성의 관점에서 매우 자연입니다. 반대로, '지식 증명'이라는 인터넷 검색에서 …
3
예를 들면
완전한 언어 목록이 필요합니다 . Complexity Zoo 에는 다음과 같은 두 가지 문제가 있습니다 .Σp2Σ2p\Sigma_2^p 최소 등가 DNF. DNF 공식 F와 정수 k가 주어지면 리터럴이 k 이하인 F와 동등한 DNF 공식이 있습니까? 가장 짧은 관련성. 수식 F와 정수 k가 주어지면 F를 암시하는 리터 이하의 리터럴이 있습니까? 또 다른 기본 완전한 …
2
복잡성 클래스 연산자에 대한 좋은 참조?
복잡성 클래스 연산자 에 대해 쓸 때 참조 할 수있는 좋은 설명 기사 나 설문 조사가 있는지에 관심 이 있습니다. 연산자의 예 다음은 답변이 설명 할 수있는 최소한의 연산자 목록으로 해석 될 수 있습니다. 여기서 CC\mathbf C 는 임의의 유한 알파벳 대한 임의의 언어 세트입니다 ΣΣ\Sigma. ∃C:={L⊆Σ∗∣∣∣∃A∈C∃f∈O(poly(n))∀x∈Σ∗:[x∈L⟺∃c∈Σf(|x|):(x,c)∈A]}∃C:={L⊆Σ∗|∃A∈C∃f∈O(poly(n))∀x∈Σ∗:[x∈L⟺∃c∈Σf(|x|):(x,c)∈A]}\exists \mathbf C := …
2
부분 선형 시간 알고리즘이 존재하는 문제의 특성
서브 선형 시간 (입력 크기) 알고리즘이 존재하는 문제가 특정 속성을 갖는 것으로 특징 지을 수 있는지 궁금합니다. 여기에는 하위 선형 시간 (예 : 특성 테스트, 의사 결정 문제에 대한 근사치의 대체 개념), 하위 선형 공간 (예 : Turing 머신에 읽기 전용 테이프, 하위 선형 작업 공간 및 쓰기 전용 출력이있는 …
1
일정한 모호성이 일반 언어의 상태 복잡성을 줄일 수 있습니까?
어떤 단어 w exist Σ ∗ 가 0 또는 (정확한) k 경로로 받아 들여 지도록 k ∈ N 이 존재하면 NFA 은 지속적으로 모호 합니다.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk 오토 마톤 이 k = 1에 대해 지속적으로 모호 하다면 , M 은 UFA ( Unambiguous FA )라고 불린다 .MMMk=1k=1k=1MMM 정규 언어로 하자 …
1
LogDCFL 완료 문제
LogCFL 은 컨텍스트가없는 언어로 로그 공간을 축소 할 수있는 모든 언어 세트입니다. 이와 유사하게 LogDCFL은 결정론적인 컨텍스트없는 언어로 로그 스페이스를 축소 할 수있는 모든 언어 세트입니다. 자연스럽게 발생하는 LogCFL 문제에 대해서는이 위키 백과 기사 를 참조하십시오 . 몇 가지 흥미로운 LogCFL-complete 문제가 있습니다. 자연스러운 LogDCFL 완료 문제를 찾을 수 없습니다. …
1
단일성을 일시 중단하면 정확한 "양자"컴퓨팅이 얼마나 강력합니까?
짧은 질문. 비 일관 적이지만 여전히 가역적 인 게이트를 허용하고 출력이 확실하게 정답을 제공해야하는 경우 "양자"회로의 계산 능력은 무엇입니까? 이 질문은 회로가 단일 게이트 이상을 사용하도록 허용 할 때 클래스에 어떤 일이 발생하는지에 대한 의미 입니다. (우리는 잘 정의 된 계산 모델을 원할 경우 여전히 통한 가역 게이트로 제한해야합니다 .)EQPEQP\mathsf{EQP}CC\mathbb …
1
음이 아닌 영구성의 부드러운 복잡성
지난 20 년간 퍼머넌트 (Permanent)에 대한 환상적인 작업이 진행되어 왔으며, 비음이 아닌 퍼머넌트 행렬에 대한 Smooth P 알고리즘의 가능성에 대해 잠시 궁금했습니다. 물론 유명한 JSV 알고리즘이 있지만 이것은 fpras입니다. Smoothed Complexity 내의 다른 작업에 대해 생각할 때 Smoothed P에 있다는 강력한 힌트는 fpras / Psuedopolynomial 알고리즘의 존재였습니다. 음수가 아닌 영구 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.