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

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

9
NP- 하드 문제에 대한 최적의 욕심 알고리즘
더 나은 말이 없기 때문에 탐욕은 좋습니다. 입문 알고리즘 과정에서 가르친 첫 번째 알고리즘 패러다임 중 하나는 탐욕스러운 접근법 입니다. 탐욕적인 접근 방식은 P의 많은 문제에 대해 간단하고 직관적 인 알고리즘을 생성합니다. 더욱 흥미롭게도 일부 NP- 어드 문제의 경우 분명하고 자연스러운 욕심 / 로컬 알고리즘은 (적합한) 최적 근사 계수 (적합한 …
5
P를 많이 캡처하는 유도가없는 논리가 있습니까?
Immerman-Vardi 정리 PTIME (또는 P)를 정렬 구조의 클래스 위에 고정 소수점 연산자와 함께 일차 로직 문장에 의해 설명 될 수 언어의 클래스가 정확하게 중임. 고정 소수점 연산자는 최소 고정 소수점 (Immerman 및 Vardi에서 고려한대로)이거나 인플레이션 고정 소수점 일 수 있습니다. (Stephan Kreutzer, 최소 및 인플레이션 고정 소수점 논리의 표현 적 …
4
솔루션의 고유성으로 인해보다 쉽게 ​​찾을 수있는 예
복잡성 클래스 는 문제로 구성되는데, 이는 계산 경로가 최대 하나 인 다항식 비 결정적 튜링 머신으로 결정할 수 있습니다. 즉, 솔루션 은 이러한 의미에서 고유 합니다. Valiant-Vazirani 정리에 따르면 이는 의미 하기 때문에 모든 문제가 있을 가능성은 거의 없습니다 .N P U P P N P = R PUPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} 반면, …
2
이론적 인 컴퓨터 과학에 필요한 공리
이 질문은 mathoverflow에서 응용 수학에 대한 비슷한 질문에서 영감을 얻었으며 P 대 NP와 같은 TCS의 중요한 질문은 ZFC (또는 다른 시스템)와 무관하다고 생각합니다. 작은 배경으로 역 수학 은 중요한 이론을 증명하는 데 필요한 공리를 찾는 프로젝트입니다. 다시 말해, 우리는 사실이 될 것으로 기대되는 일련의 정리에서 시작하여이를 가능하게하는 최소한의 '자연'공리를 도출하려고 …
6
NP-전체에 기하학적 문제
기하학적 문제 수가 고려 될 때 쉽게 하지만에서 NP-완료 R의 D 에 대한 D ≥ 2 (내 좋아하는 문제들 중 하나의 단위 디스크 커버를 포함).R1아르 자형1R^1Rd아르 자형디R^dd≥2디≥2d\geq2 누구든지 과 R 2에 대해 polytime 해결할 수있는 문제를 알고 있지만 R d에 대해 NP-complete , d ≥ 3을 알고 있습니까? R1아르 자형1R^1R2아르 …
4
가
다항식 계층의 첫 번째 수준 (즉, NP 및 co-NP)은 PP에 있으며 입니다. 또한 Toda의 정리 에서 입니다.P H ⊆ P P P피피⊆ P에스피C이자형PP⊆PSPACEPP \subseteq PSPACE피H⊆ P피피PH⊆PPPPH \subseteq P^{PP} 여부를 알고 있습니까? 그렇지 않다면, 왜 즉 A를 오라클보다 강한 ? 그것은 가능성이 및 PP \ nsubseteq의 PH ?피H⊆ P피PH⊆PPPH \subseteq PP피PP피피PPPP피피PPPPP …
3
합니까
내가 이해하는 한, 기하학적 복잡성 이론 프로그램 은 복소수 행렬의 영구이 결정자보다 계산하기가 훨씬 어렵다는 것을 증명함으로써 를 분리하려고 시도합니다 .VP≠VNPVP≠VNPVP \neq VNP GCT 논문을 통해 감추고 난 후의 질문 : 이것은 즉시 의미 합니까, 아니면이 목표를 향한 중요한 단계일까요?P≠NPP≠NPP \neq NP
3
유한 한 VC 차원에서 Hitting Set의 매개 변수화 된 복잡성
나는 d-Dimensional Hitting Set 문제라고 부르는 것의 매개 변수화 된 복잡성에 관심이 있습니다. 범위 공간 (예 : 세트 시스템 / 하이퍼 그래프) S = (X, R) 최대 d 및 a 양의 정수 k, X는 R의 모든 범위를 치는 k의 부분 집합을 포함합니까? 문제의 매개 변수화 된 버전은 k로 매개 변수화됩니다. …
3
람다 미적분을 통한 P 및 NP 클래스 설명
소개 및 설명에서 종종 튜링 머신을 통해 제공되는 P 및 NP 복잡성 클래스. 계산 모델 중 하나는 람다 미적분입니다. 나는 모든 계산 모델이 동등하다는 것을 이해하고 (Turing machine이라는 용어로 무엇이든 도입 할 수 있다면 모든 계산 모델로 이것을 도입 할 수 있음) 이해하지 못했지만 람다 계산법을 통해 설명 아이디어 P …
3
문제가 경도 "림보"임을 보여주는 기법
와 completes 사이에 진정한 복잡성이 존재하는 의 새로운 문제를 감안할 때 ,이를 해결하는 것이 어렵다는 것을 증명하는 데 사용할 수있는 두 가지 방법이 있습니다.NPNP\mathsf{NP}PP\mathsf{P} 문제가 GI- 완료임을 보여줌 (GI = 그래프 동형) 문제가 줍니다. 알려진 결과에 따르면, 이러한 결과는 문제가 NP- 완료이면 PH가 두 번째 수준으로 축소됨을 의미합니다. 예를 들어, …
4
PCP 정리가없는 근사 경도
PCP 정리의 중요한 적용은 "근사 경도"유형 결과를 산출한다는 것입니다. 비교적 간단한 경우에는 PCP없이 그러한 경도를 증명할 수 있습니다. 그러나 근사 결과의 경도가 PCP 정리를 사용하여 처음 증명 된 경우, 즉 결과는 이전에 알려지지 않았지만 나중에 PCP에 의존하지 않는 더 직접적인 증거가 발견 되었습니까? 다시 말해서 PCP가 먼저 필요하지만 나중에 제거 …
3
Complexity Zoo를위한 백업 / 교체가 있습니까?
이것은 기술적이지 않은 질문이지만 TCS 커뮤니티와 관련이 있습니다. 부적절한 것으로 간주되면 자유롭게 닫으십시오. 복잡성 동물원 웹 페이지 (http://qwiki.stanford.edu/index.php/Complexity_Zoo) 확실히 년간 TCS 커뮤니티에 큰 봉사하고있다. 분명히 꽤 오랜 시간이 지났기 때문에 다운되었습니다. 나는 누군가가 여전히 그것을 유지하고 있는지, 이동했는지, 백업 서버가 있는지, 또는 복잡한 클래스, 관계 및 인용에 대한 훌륭한 데이터베이스를 …
3
알고리즘보다 랜덤 성이 감소에 더 큰 영향을 미치는 이유는 무엇입니까?
임의성이 다항식 시간 알고리즘의 검정력을 확장하지 않는 것으로 추측됩니다. 즉, 는 보류하도록 추측됩니다. 반면, 임의성은 다항식 시간 단축 에 상당히 다른 영향을 미치는 것으로 보입니다 . 용감한 및 Vazirani의 공지 된 결과에 의해, S T는 로 감소 U S T 랜덤 다항식 시간 단축을 통해. N P = U P를 …
3
지수 함수의 복잡성
자연수에 대한 지수 함수 는 다항식 시간에 계산할 수 없다는 것을 알고 있습니다 . 출력의 크기는 입력의 크기에 다항식으로 묶이지 않기 때문입니다.exp(x,y)=xyexp⁡(x,y)=xy\exp(x,y) = x^y 이것이 지수 함수를 계산하는 데 어려움을 겪는 주된 이유입니까, 아니면 이러한 고려 사항과 관계없이 지수를 계산하는 것이 본질적으로 어려운가요? 지수 함수의 비트 그래프의 복잡성은 무엇입니까? {⟨x,y,i⟩∣x,y,i∈N …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.