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

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

13
쉬운 결정 문제, 어려운 검색 문제
내쉬 균형의 존재 여부를 결정하는 것은 쉽다 (항상 그러하다). 그러나 실제로 하나를 찾는 것은 어렵다고 생각됩니다 (PPAD- 완전). 의사 결정 버전은 쉽지만 검색 버전은 비교적 어려운 (결정 버전과 비교) 문제의 다른 예는 무엇입니까? 의사 결정 버전이 중요하지 않은 문제에 특히 관심이 있습니다 (내쉬 평형의 경우와 달리).
5
값 테스트와 함수 계산의 복잡성
일반적으로 우리는 함수가 주어진 입력에서 특정 값을 취하는 지 테스트하는 것이 복잡하다는 것은 그 입력에서 함수를 평가하는 것보다 쉽다는 것을 알고 있습니다. 예를 들면 다음과 같습니다. 음이 아닌 정수 행렬의 지속성을 평가하는 것은 # P-hard이지만, 그러한 지속성이 0인지 아닌지를 나타내는 것은 P에 있습니다 (이분자 일치). n 개의 실수 , 이러한 …
1
일반화 된 15- 퍼즐에 대한 의사 결정 문제의 NP- 완전성
나는 유명한 15- 퍼즐 의 자연 일반화에 관심이 있습니다. 여기서 주어진 숫자를 모두 정렬 할 때까지 블록을 슬라이드해야합니다 (일반적으로 1 블록의 간격이 있습니다). 이제 일반화는 퍼즐의 크기를 15에서 로 확장하는 것인데 , 여기서 한 필드는 자유입니다. 나는 작은 그림을 만들었습니다 (파선 화살표는 허용 된 움직임을 보여주고 아래쪽 구성은 해결 된 …
7
계산 문제의 에너지 복잡성에 대한 공식적인 개념
계산 복잡도에는 계산 문제의 시간 또는 공간 복잡성에 대한 연구가 포함됩니다. 모바일 컴퓨팅의 관점에서 볼 때 에너지는 매우 중요한 계산 자원입니다. 알고리즘을 실행하는 동안 소비되는 에너지를 설명하는 튜링 머신의 적응에 대해 잘 연구되어 있습니까? 또한 계산 문제에 대한 에너지 복잡성 등급이 설정되어 있습니까? 참조가 감사합니다.
2
P = NP 인 경우 Goldbach의 추측 등의 증거를 얻을 수 있습니까?
이것은 저의 전문 지식 중에서도 순진한 질문입니다. 미리 사과드립니다. Goldbach의 추측과 수학에서 해결되지 않은 다른 많은 질문들은 술어 미적분학에서 짧은 공식으로 쓰여질 수 있습니다. 예를 들어, Cook의 논문은 "컴퓨터가 수학 증거를 일상적으로 발견 할 수 있습니까?" 추측으로 공식화 ∀ n [ ( n > 2 ∧ 2 | n ) …
2
시맨틱 대 구문 복잡성 클래스
그의 "전산 복잡성"책에서 Papadimitriou는 다음과 같이 썼다. RP 는 어떤 의미에서는 새롭고 특이한 종류의 복잡성 클래스입니다. 폴리 노미 바운드 비 결정적 튜링 머신은 RP에서 언어를 정의하는 기초가 될 수 없습니다. 머신 N 이 RP 로 언어를 정의 하려면 모든 입력에서 만장일치로 거부 하거나 대다수가 받아들이 는 놀라운 특성을 가져야합니다 . …
3
NC = P 결과?
복잡성 동물원에있는 항목에 지적 EXP 이 경우 L = P 후 PSPACE = EXP. Savitch의 NPSPACE = PSPACE 이기 때문에 기본 패딩 인수가 로 표시되도록 말할 수있는 한 우리는 또한 Ruzzo의 자원 제한적 교대 계층 구조를 통한 L NL NC P를 알고 있습니다.(NL=P)⇒(PSPACE=EXP).(NL=피)⇒(스페이스=경험치).(\text{NL} = \text{P}) \Rightarrow (\text{PSPACE} = \text{EXP}).⊆⊆\subseteq ⊆⊆\subseteq …
9
복잡성의 놀라운 결과 (복잡성 블로그 목록에 없음)
복잡성에서 가장 놀라운 결과는 무엇입니까? 예상치 못한 / 놀라운 결과 목록을 작성하는 것이 도움이 될 것이라고 생각합니다. 여기에는 놀라운 결과가 나오지 않았으며 예상치 못한 결과와 다른 결과가 포함됩니다. 편집 : 주어진 목록 (@Zeyu 지적) 복잡성 블로그에 Gasarch, 루이스, 그리고 래드 너에 의해,의없는 자신의 목록에 결과에 대한이 커뮤니티 위키 초점을 맞출 …
1
포함하는 결과
많은 사람들이 합니다. 그러나 가 다항식 계층 구조의 두 번째 수준에 있다는 것만 알고 있습니다 . 즉, 입니다. 를 표시하기위한 단계 는 먼저 다항식 계층의 첫 번째 수준 (예 : 입니다.BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2BPP=PBPP=P\mathsf{BPP} = \mathsf{P}BPP⊆NPBPP⊆NP\mathsf{BPP} \subseteq \mathsf{NP} 격리는 비결정론이 다항식 시간에 대한 임의성만큼 …
3
P에있는 팩토링의 결과?
팩토링은 NP- 완전한 것으로 알려져 있지 않습니다. 이 질문은 팩토링이 NP-complete라는 결과를 요구했습니다. 흥미롭게도, P에있는 팩토링의 결과를 요구 한 사람은 아무도 없었습니다 (아마도 그러한 질문은 사소한 것이기 때문입니다). 그래서 내 질문은 : P에있는 팩토링 의 이론적 결과는 무엇입니까? 복잡성 클래스의 전반적인 그림이 그러한 사실에 어떻게 영향을 받습니까? P에있는 팩토링 의 …
17
계산 복잡성에서 경도가 급증합니까?
최소 대역폭 문제는 인접한 두 노드 사이의 최대 거리를 최소화하는 정수 라인에서 그래프 노드의 순서를 찾는 것입니다. 케이kk 기껏해야 길이의 에지 분리 된 경로를 성장으로 주요 경로로 형성된 나무입니다 -caterpillar 케이kk (그 노드에서 케이kk 머리 길이라고합니다). 최소 대역폭 문제는 2- 캐터필러의 경우 피PP 에 있지만 3- 캐터필러의 경우 엔피NPNP 입니다. …
10
계산 복잡성에서 가장 중요한 새 논문
우리는 종종 계산 복잡성 분야 (Turing, Cook, Karp, Hartmanis, Razborov 등)의 고전적인 연구 및 출판물에 대해 듣습니다. 최근에 간행물로 여겨지고 반드시 읽어야 할 논문이 있는지 궁금합니다. 최근에 나는 지난 5/10 년을 의미합니다.
3
P에서 가장 잘 알려진 자연 문제?
나는 (현재) 가장 큰 수 가 무엇인지 궁금 하여 자연적 문제가 다음과 같은 속성으로 알려져 있습니다.케이kk 문제에 대한 알고리즘이 이미 발견되었습니다.O ( n케이)O(nk)O(n^k) 고정 된 에 대해 동일한 문제에 대해 O ( n k − ϵ ) 알고리즘이 알려져 있지 않습니다 . (참고 빠른 알고리즘 m Y I 낮은 입증 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.