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

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

1
미세 구조 상수와 관련된 QED 계산을위한 양자 알고리즘
내 질문은 미세 구조 상수와 관련된 QED (양자 전기 역학) 계산을위한 양자 알고리즘에 관한 것입니다. 그러한 계산은 (나에게 설명 된 바와 같이) Taylor 유사 계열 여기서 α 는 미세 구조 상수 (약 1/137)이고 c k 는 k- 루프를 가진 Feynman 다이어그램의 기여입니다 . ∑ c케이α케이,∑ckαk,\sum c_k\alpha^k,αα\alpha씨케이ckc_k케이kk 이 질문은 내 블로그의 …
2
TCS에서 Riemann 가설 변형의 의미
~ 1 세기가 넘는 오래된 Riemann 가설 은 수학에 깊이 영향을 미치며 이제 수학 이론의 큰 구성이 조건부와 수많은 변형에 조건 적으로 입증되었습니다. 최근에 Riemann 가설을 기반으로 한 TCS의 조건부 결과에 대한 참조를 발견했습니다. 그러므로 궁금합니다. TCS에서 리만 가설의 주요 의미는 무엇입니까? 시작으로 최근 논문 인 Homomorphism Polynomials 가 Durand, …
1
NP
real-RAM / BSS 모델을 사용하여 NP R 클래스를 사용합니다 (여기서 BSS 는 실수에 대한 조작이있는 컴퓨터의 Blum-Shub-Smale 모델). NP R 완료 문제가 있습니다. 문제는 클래스 NP R에 대한 Berman Hartmanis 추측의 유사점이 있습니까? 물론 여기에 제기 된 문제는 모델에 따라 다릅니다. 즉, NP R 의 정의가 BSS 모델을 사용하므로 모든 …
1
P! = NP 인 경우에만 P에있는 문제
어떤 다항식 시간 만 P! = NP 경우에 풀 수있는 문제, 그리고에, 그렇지 않으면 풀 수 있는가 (말) 시간?O(2n)O(2n)O(2^n) 간단한 예는 다음과 같습니다. P! = NP 인 경우 임의의 n 비트 수에 대한 원시성 테스트를 계산하고, 그렇지 않으면 각 측면에 2n 조각으로 nxn 보드의 일반화 된 체스 에서 임의의 최악의 …
1
아핀 람다 미적분이 P의 모든 문제를 해결할 수 있습니까?
유형 및 프로그래밍 언어의 고급 주제에서는 하위 구조 유형 시스템 장에서 목록에 대한 재귀 조합기를 사용하여 "정교하게 제작 된"아핀 람다 미적분학에 다항식 실행 시간이있는 용어 만 입력 할 수 있다고 언급되어 있습니다. 복잡성으로 인한 증거 제시). 우리가 P의 모든 문제를 해결할 수 있다면 이것은 매우 흥미로울 것입니다. 나는 제시된 미적분을 …
1
정사각형 그리드의 숨겨진 경로
데이비드 엡스타인 (David Eppstein)이 제기 한 공개적인 문제에 걸려 넘어 졌고 그 복잡성 상태에 관심이 있습니다. 그는 그것이 NP- 완전하다고 추측했다. 입력 : 에 의해 0과 1의 일련의 행렬 0과 1 개의nnnnnnn2n2n^2 질문 : 주어진 행렬과 일치하는 값으로 각 행렬 항목을 정확히 한 번에 덮는 인접한 행렬 항목을 통과하는 경로가 …
1
유 방향 그래프에서 짝수 사이클 찾기
유향 그래프가 주어지면, 균일 한 길이의 유향 사이클이 포함되는지 여부를 결정하려고합니다. 의이 1,997 종이 YUSTER와 Zwick의는 문제가있는 것으로 알려져 있지 않다한다고 도 아니다 것으로 알려져있다 - 완전한.피피P엔피엔피NP 직접 그래프에서 짝수 사이클 문제의 복잡성을 해결하는 최근 결과가 있습니까?
1
사이 연루
우리가 증명할 수 있다면 , 그 의미 않습니다 N L = N P를 ?L = P엘=피\mathsf{L}=\mathsf{P}N L = N P엔엘=엔피\mathsf{NL}=\mathsf{NP} 나는 그것이 사실이라고 생각했지만 그것을 증명할 수는 없다 (또한 대화를 위해).
1
볼록 껍질에 유닛 볼이 있는지 확인하는 것이 NP입니까?
차원 유클리드 공간 에서 점이 주어지면 , 볼록 껍질에 원점을 중심으로 한 볼이 포함되어 있는지 확인하는 것이 문제입니다.엔엔n디디d NP에이 문제가 있습니까? 볼록 껍질 외부의 볼을 증인으로 지적하고 선형 프로그래밍을 사용하여이 사실을 확인할 수 있기 때문에 공동 NP에 있습니다. 제 관심은 제곱근과 관련된 컴퓨터 정밀도에 중점을 두지 않습니다. ( /mathpro/141782/efficiently-determine-if-convex-hull-contains-the-unit-ball 관련 …
2
나무에 걸친 완성도
잎의 집합이 호스트 그래프에서 완전한 하위 그래프를 유도하는 경우 그래프의 스패닝 트리를 완전성 트리라고합니다. 그래프 와 정수 k가 주어지면, G 가 최대 k 개의 잎을 가진 완전성 트리를 포함 하는지 여부를 결정하는 복잡성은 무엇 입니까?GGGkkkGGGkkk 이 질문을하는 이유는 독립 트리에 대한 해당 문제 가 NP- 완료이기 때문입니다. 여기에서 독립 트리는 …
1
,,클래스
나는이 수업을 이해하려고 노력했지만 항상 혼란스러워했습니다 ... 질문은 다음과 같습니다. 와 의 관계는 무엇입니까 ? 특히 공개 질문입니까?# P에프엔피FNPFNP# P#P\#P 와 의 관계는 무엇입니까 ? 이 질문이 열려 있습니까?N P⊕ P⊕P\oplus P엔피NPNP 와 의 관계는 어떻습니까? 이 질문이 열려 있습니까?P F N P피HPHPH피에프엔피PFNPP^{FNP}
1
UP
그래프 동형화 (결정 문제) 입니까? 여기서 U P 는 모호하지 않은 튜링 머신에서 허용되는 결정 문제의 클래스입니다 ( 복잡성 동물원 참조 ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.