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

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

1
평균보다 훨씬 더 많은 절에 변수 쌍이 표시되지 않는 3CNF 수식의 경우에도 Gap-3SAT NP가 완전합니까?
이 질문에서 3CNF 공식은 각 절이 정확히 세 개의 고유 한 변수를 포함하는 CNF 공식을 의미 합니다. 상수 0의 경우 < 의 <1, 갭 - 3SAT 의는 다음과 같은 약속의 문제이다 : 갭 - 3SAT 의 인스턴스 , • 3CNF 공식 φ. 그렇습니다 약속 : φ는 만족합니다. 약속 없음 : …
1
파이의 계산 복잡성
방해 L = { n : π 의 n t h 이진수 는 1 }입니다L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (여기서 n 은 이진수로 인코딩 된 것으로 간주됩니다). 그러면 L 의 계산 복잡성에 대해 무엇을 …
1
트리 폭과 NL 대 L 문제
ST- 연결성은 유향 그래프 G ( V , E ) 에서 두 개의 구별되는 정점 와 t 사이에 유향 경로가 있는지 여부를 결정하는 문제입니다 . 로그 스페이스에서이 문제를 해결할 수 있는지 여부는 오랫동안 열려있는 문제입니다. 이것을 N L vs L 문제 라고합니다 .ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL 의 기본 무향 그래프가 나무 폭에 경계를 …
1
상관되지 않은 준 개인 동전이있는 추천 게임
나는 아직 해결되지 않은 게임의 복잡성에 대한 흥미로운 변형이기 때문에 나는이 질문에 대한 답에 정말로 관심이있었습니다. 그래서 현상금을 제공했습니다. 나는 원래의 질문이 너무 어려울 것이라고 생각했기 때문에 현상금에 합당한 세 가지 관련 질문을 게시했습니다. 현상금이 만료되기 전에 아무도 답변을 게시하지 않았습니다. 나중에 관련 질문 중 2 개 (원래 게시물 아래에서 …
5
NEXP 완료 문제
주변에 수많은 NP- 완전 문제가 있고이를 수집하는 출처가 있습니다 (예 : Garey and Johnson의 책 참조). NEXP 완료 문제 목록도 관심이 있습니다. 사용할 수있는 것이 있습니까? 내가 없다고 가정 할 때, 나는이 질문을 엽니 다 (이것은 커뮤니티 위키 여야합니까? 나는 이것에 대해 모릅니다). 이상적으로는 목록이 NEXP- 완전 문제의 다른 "유형"을 …
3
가 에 포함 된 ?
다른 사용자에게 흥미가있을 수 있으므로이 질문을 공유 할 것이라고 생각했습니다. 균일 한 클래스 ( 와 같은 ) 에있는 함수가 작은 비 균일 클래스 ( 와 같은 비 균일 )에도 있다고 가정하면, 이는 함수가 더 작은 균일 클래스 ( 같은 )? 이 질문에 대한 답변이 긍정적이면 ? 부정적이라면, 흥미로운 자연적인 반례를 …
2
Mulmuley-Sohoni GCT 접근법을 사용하여 알려진 * 복잡한 분리를 나타내는 것이 얼마나 어려운가?
하여이 게스트 포스트에서 조쉬 Grochow 복잡성에서 그는 7 월에 프린스턴에서 개최되었다 GCT에 전념 최근 워크샵에 대해보고 웹 로그. 참석자들 중 일부는 직관을 구축하고 방법이 잠재력이 있는지 확인하기 위해 대 N P 보다 쉬운 문제를 공격하기 위해 GCT를 사용해야한다고 주장했습니다 .PP\mathsf{P}NPNP\mathsf{NP} 나를 괴롭힌 질문 : P ≠ E X P 또는 …
3
이 TQBF 변형은 여전히 ​​PSPACE-complete입니까?
다음과 같은 정량화 된 부울 공식인지 결정 ∀ x1∃ x2∀ x삼⋯ ∃ x엔φ ( ×1, x2, … , x엔) ,∀엑스1∃엑스2∀엑스삼⋯∃엑스엔φ(엑스1,엑스2,…,엑스엔),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), 항상 참으로 평가되는 것은 고전적인 PSPACE- 완전 문제입니다. 이것은 교대로 움직이는 두 플레이어 사이의 게임으로 볼 수 있습니다. 첫 …
1
제곱근 경계의 비결정론으로 그래프 동 형사상을 결정할 수 있습니까?
경계가없는 비결정론 은 함수 를 자원이 제한된 결정 론적 튜링 머신이 허용하는 언어 의 클래스 와 연관시켜 새로운 클래스 - 를 형성합니다 . 이 클래스는 를 정의하는 데 사용 된 것과 동일한 자원 한계를 준수하는 일부 비 결정적 Turing 머신 허용되는 언어로 구성 되지만 은 최대 비 결정적 이동을 수행 …
4
Conway의 인생 게임의 시끄러운 버전이 범용 계산을 지원합니까?
인용 위키 백과 , "[생명의 콘웨이의 게임] 범용 튜링 기계의 힘이 있습니다.이며, 어떤 삶의 콘웨이의 게임 내에서 계산 될 수있다 알고리즘 계산 될 수있다" 그러한 결과가 Conway의 Game of Life의 시끄러운 버전으로 확장됩니까? 가장 간단한 버전은 매 라운드마다 모든 라이브 셀이 작은 확률 죽고 모든 죽은 셀이 작은 확률 s로 …
7
를 자연의 법칙으로 간주해야합니까 ?
많은 전문가들은 추측이 생각하고 결과에 사용합니다. 내 우려는 복잡성이 추측 에 크게 좌우된다는 것 입니다.PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} 그래서 내 질문은 : 만큼으로 쉬트 라쎈의 인용에 표시된대로 추측이 입증되지 않은, / 하나, 자연의 법칙으로 고려해야 할 수 있습니까? 아니면 언젠가 증명되거나 반증 될 수 있는 수학적 추측 으로 취급해야 …
3
DTIME 계층 정리에서 로그 f의 정당성
DTIME 계층 정리를 살펴보면 범용 기계에 의한 결정 성있는 Turing Machine의 시뮬레이션으로 인한 오버 헤드로 인해 로그가 생겼습니다. DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) 우리는 DSPACE의 NTIME에 대해 이런 종류의 오버 헤드를 갖지 않았습니다. 시뮬레이터의 차이점을 고려하여 증명의 세부 사항에서 기본 타당성을 제시합니다. 내 질문은 다음과 같습니다 .DTIME 계층 정리 증명의 세부 …
2
정수의 요소 수를 계산하는 것이 얼마나 어렵습니까?
정수 주어 길이 N 비트의 그것 (또는 대안 적 요소의 수) 소인수의 수가 출력 얼마나 어려운가 N은 ?NNNnnnNNN 소인수 분해를 알고 있다면 이것은 쉬울 것입니다. 그러나 소인수 또는 일반적인 수를 알고 있다면 실제 소인수 분해 방법을 어떻게 알 수 있는지 명확하지 않습니다.NNN 이 문제가 연구 되었습니까? 소인수 분해를 찾지 않고이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.