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

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

2
정사각형에서 인접 행렬 복구의 복잡성
다음 문제에 관심이 있습니다. 행렬이 주어지면 인접 행렬의 제곱이 행렬 인 개의 꼭짓점 에 무 방향 그래프 가 있습니까?n×nn×nn\times nnnn 이 문제의 계산 복잡성이 알려져 있습니까? 비고 : 물론이 또한 매트릭스 주어진 검색 문제로 표현한 수 위한 무향 그래프의 인접 행렬을 상기 문제 (무향 그래프) 임의의 인접 행렬을 발견하는 되도록 …
4
혼돈과 질문
나는 "혼돈"또는 더 넓은 동적 시스템과 질문 사이의 연결을 배우고 싶습니다 . 다음은 내가 찾고있는 문헌 유형의 예입니다.P=NPP=NPP{=}NP Ercsey-Ravasz, Mária 및 Zoltán Toroczkai. "만약 만족을 제한하기위한 아날로그 방식의 일시적 혼란으로서의 최적화 경도." 자연 물리학 7, no. 12 (2011) : 966-970. ( 저널 링크 .) 설문 조사를 작성하거나 서지 개요를 작성한 …
2
적은 양의 입력을 제외한 효율적인 솔루션의 문제
튜링 기계의 정지 문제는 아마도 정식 결정 불가능한 세트 일 것입니다. 그럼에도 불구하고 거의 모든 인스턴스를 결정하는 알고리즘이 있음을 증명합니다. 따라서 정지 문제는 복잡성 이론의 "블랙홀"현상을 나타내는 사람들의 증가하는 수집 중에 있으며, 실현 불가능하거나 결정 불가능한 문제의 어려움은 문제가있는 매우 작은 영역 인 블랙홀에 국한됩니다. 쉬운. [Joel David Hamkins와 Alexei …
1
동 형사상에 대한 자연스런 후보?
유명한 동형 추측 버먼과 Hartmanis의는 모든 것을 말한다 - 완전한 언어가 서로 다항식 시간 동형 (P-동형)입니다. 추측의 중요한 의미는 P ≠ N P를 암시한다는 것 입니다. 그것은 1977 년에 출판, 증거를 지원하는 조각은 모든 것을이었다 N P 당시에 알려진 - 완전한 문제가 실제로 P-동형했다. 사실, 그들은 모두 패딩 가능했습니다 . …
1
무한 서브 클래스에서 유도 서브 그래프 동형이 쉬운가?
무 방향 그래프의 시퀀스 이 있습니까? 여기서 각 은 정확히 개의 정점과 문제가 있습니다{ C엔}n ∈ N{씨엔}엔∈엔\{C_n\}_{n\in \mathbb N}씨엔씨엔C_n엔엔n 주어 및 그래프 이다 의 유도 서브 그래프 ?엔엔n지지G씨엔씨엔C_n지지G 클래스에있는 것으로 알려져 있습니까? (예를 들어, 경우 이는 NP- 완료 크리크 문제입니다.)피피\mathsf{P}씨엔= K엔씨엔=케이엔C_n=K_n
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
- 이론에서 Karp-reductions을 사용하는 동기
다항식 시간 감소 (Cook reductions) 개념은 매우 직관적 인 개념의 추상화입니다. 다른 문제에 대한 알고리즘을 사용하여 문제를 효율적으로 해결합니다. 그러나 이론에 -completeness의 개념 - 경도 매핑 감소 (카프 감축)를 통해 캡처됩니다. 이 "제한된"축소 개념은 (적어도 나에게는) 직관적이지 않다. 그것은 다소 덜 직관적 인 경도 개념을 생성하기 때문에 약간 생각한 것처럼 …
2
범주 이론 / 추상 대수와 계산 복잡성을 결합한 이론이 있습니까?
범주 이론과 추상 대수는 함수가 다른 함수와 결합 될 수있는 방법을 다룹니다. 복잡성 이론은 함수가 얼마나 어려운지를 다루고 있습니다. 나는 그들이 자연스럽게 짝을 이루는 것처럼 보이기 때문에 아무도이 연구 분야를 결합시키는 것을 보지 못했다는 것이 이상합니다. 아무도 전에 이것을 한 적이 있습니까? 동기를 부여하는 예로서, monoid를 살펴 보자. 연산이 모노 …
3
무작위성이 P 내부에서 우리를 사나요?
하자 바운드 양면 에러를 갖는 결정 문제의 클래스가이 알고리즘은 실행 시간에 무작위 .O ( f ( n ) )BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Q \ in \ mathsf {PTIME} (n ^ k) , Q \ not \ in \ mathsf {DTIME} (n ^ k) 와 같은 문제 알고 있습니까? 존재하지 않는 것이 입증 되었습니까? …
2
마피아는 얼마나 힘든가요?
마피아 는 파티에서 인기있는 롤 플레잉 게임이며, 자세한 설명은 wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 에서 볼 수 있습니다 . 기본적으로 다음과 같이 작동합니다. 처음에는 각 명의 플레이어에게 비밀리에 마피아 나 타운과 같은 역할이 배정됩니다. 각 역할에는 특별한 능력이있을 수 있습니다. 나중에 그것에 대해 더 많은.엔엔N 낮과 밤의 두 가지 게임 단계가 있습니다. 밤에는 …
1
임의 2-SAT의 계산 복잡성은 무엇입니까?
# 2-SAT 의 임의 사례의 복잡성 이 절 밀도에 따라 어떻게 달라지는 작업이 수행 되었습니까? 즉 , 절 밀도가 변함에 따라 임의로 생성 된 2-SAT 인스턴스에 대한 만족스러운 솔루션 계산의 어려움은 어떻게 달라 집니까? 특히 임계 임계 값과 관련하여 알려진 엄격한 결과가 있습니까? 물론 2-SAT ∈ P 이므로 일반적인 계산 …
3
시간 복잡성을 위해 단일 테이프 Turing 기계를 사용하는 이유는 무엇입니까?
아시다시피 시간이 때 단일 테이프 튜링 기계에 대한 많은 유사점이 있습니다 . 멀티 테이프 TM 시뮬레이션, 만으로 더 큰 테이프 알파벳의 시뮬레이션 , 시간 구성 성, 시간 계층 정리의 견고성, ...{ 0 , 1 , b }o ( n2)o(n2)o(n^2){ 0 , 1 , b }{0,1,b}\{0,1,b\} 또한 와 같은 결과 및 …
1
IP = PSPACE가 비 상대적인 이유는 무엇입니까?
IP = PSPACE는 비 상대화 결과의 정규 예를 나열하고, 이에 대한 증거는 오라클이 존재 함이다 되도록 반면 {\ SF CONP} ^ O \ {SUBSETEQ \ SF PSPACE} ^ O 모든 점쟁이 O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO 그러나 나는 소수의 사람들 만이 왜 IP=PSPACEIP=PSPACE{\sf IP} = …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.