«p-vs-np» 태그된 질문

P vs. NP에 관한 질문

1
고 우어“비밀 화 된 Borel 결정 성”접근법
Gowers는 최근 회로 하한값을 증명하는 솔루션과 관련된 문제를 "비 분산 Borel 결정 성"이라고 부릅니다. 복잡한 이론가들에게 적합한 접근법에 대한 요약을 제공 할 수 있습니까? 알려진 하한을 다시 증명하는 것을 포함 하여이 접근법이 무엇 을 증명하는 데 무엇이 필요 할까요?
1
를 표시하는 장벽
우리는 모두 가 장벽을 가지고 있다는 것을 알고 있습니다. 우리는 P ≠ N P를 믿기 ​​때문에 이러한 장벽을 연구했습니다 .피≠ N피피≠엔피P\ne NP피≠ N피피≠엔피P\ne NP 그러나 가정 하고있다 그 가능성이 존재 믿는 지혜로운 사람 . 이것이 사실이라면 우리가 좋은 알고리즘을 보지 못했다는 사실은이 대체 우주에도 장벽이있을 수 있음을 나타냅니다. P ≠ …
15 p-vs-np  barriers 
3
상대화 할 수없는 증거의 자연스러운 예는 무엇입니까?
내가 이해하는 것처럼, P = NP 또는 P ≠ NP는 (재귀 이론 oracles에서와 같이) 상대화 할 수 없어야한다는 증거. 그러나 사실상 모든 증거는 상대적인 것으로 보인다. P = NP / P ≠ NP 증거가 필요하고, 사소하거나 구제되지 않는 종류 의 비 상대적 증거 의 좋은 예는 무엇입니까 ? (나는 재귀 …
3
왜 컴퓨터 과학자들이 P ≠ NP라는 가정하에 일하는가?
수학 배경에서 온다면, 전체 컴퓨터 과학자들은 라는 가정하에 일하는 경향이 있다는 것이 흥미로워 보입니다 . 수학과 과학 모두에서 무언가를 입증 할 수없는 경우가 아니라면 일반적으로 어느 정도의 증거는 없지만, 그것은 상당한 양의 힘으로 취해집니다. 나는 사람들이 를 반증하려고 노력한 몇 년 동안 , 증거가 아직 발견되지 않았다는 사실은 적어도 일부 …
12 p-vs-np 
2
다음 아이디어를위한 문학 자료 찾기
나는 내가 제시 할 아이디어를 가장 먼저 접한 사람이 아니라고 확신한다. 그러나 아이디어와 관련된 문헌을 찾을 수 있다면 도움이 될 것입니다. 아이디어는 P = NP 인 경우 M이 다항식 시간에 3-SAT를 해결한다는 특성으로 Turing Machine M을 구성하는 것입니다. (3-SAT의 선택은 임의적입니다. NP의 문제 일 수 있습니다). 분명히, 이것은 P = …
1
최적의 NP 솔버
수정 SAT의 탐색 양식을 예 NP에 완성 검색 문제. Levin 검색은 어떤 의미에서 최적 인 X 를 해결하기 위한 알고리즘 L 을 제공합니다 . 특히, 알고리즘은 " 일부 P가 리턴 한 y 가 올바른지 여부를 테스트 하면 입력 x 에 대해 가능한 모든 프로그램 P 를 실행 합니다"입니다. 이 프로그램 …
10
P 대 NP 문제에 대해 배울 수있는 자료
나는 최근 Clay Mathematics Institute의 Stephen A. Cook이 설명한 대 N P 문제 에 대해 상기시켰다 .피P\mathsf{P}N PNP\mathsf{NP} 그것은 내 관심을 끌었고 그것에 대해 더 많이 배우고 싶습니다. 첫 번째 단계는 문제에 대한 더 깊은 이해와 일반적으로 해당 영역에 대한 이해를 얻는 것입니다. 문제에 대해 더 자세히 배울 수있는 책이나 …
2
P 대 NP를 SAT로 줄이기
다음 질문은 복잡성 이론에 적용된 암호의 아이디어를 사용합니다. 즉, 그것은 순전히 복잡하고 이론적 인 질문이며 답을 얻는 데 필요한 암호 지식은 없습니다. 나는이 질문을 고의적으로 비공식적으로 작성합니다. 세부 사항이 없으면 약간 잘못 설명되었을 수 있습니다. 답변에서 수정 사항을 알려주십시오. 다음 papaper에서 : Nonmalleable 암호화, 대니 돌 레브, 신시아 드 워크 …
2
P 대 NP의 확률
우선, 고델의 불완전 성 정리 (및 공식적인 논리)에 대한 나의 이해는 매우 순진하며 이론적 컴퓨터 과학에 대한 나의 지식이기도합니다 (여전히 학부 과정 중 하나의 대학원 과정 만 이수했음을 의미 함). 매우 순진합니다. 내가 알 수있는 한 P 대 NP의 가능성은 공개적인 문제입니다. 지금: 괴델의 첫 번째 불완전 성 정리에 따르면 …
2
계산 이론에서 자연스러운 문제는 무엇입니까?
P 대 NP 문제에 관한 Stephen Cook의 논문에서, 그는 다음과 같이 기술한다. 타당성 이론 : 자연 문제는 다항식 시간 알고리즘을 사용하는 경우 실현 가능한 알고리즘을 갖습니다. 내 질문은, 그가 " 자연적인 문제"란 무엇을 의미 하는가? 자연스런 문제에 대해 이야기하는 것은 충분히 일반적인 것처럼 보이지만 아직 정의를 찾지 못했습니다. 뭔가 빠진 …
3
NP-Complete 문제 내에 Polynomially로 해결할 수있는 문제의 매우 큰 숨겨진 부분 집합이있을 수 있습니까?
P! = NP라고 가정하십시오. 우리는 언제든지 3-SAT를 쉽게 만들 수 있다는 것을 알고 있습니다. 알고리즘이 빠르게 해결할 수 없기 때문에 하드 인스턴스라고 생각되는 것을 생성 할 수도 있습니다. 주어진 인스턴스 크기 (n) 크기가 Poly (n) 이하인 Poly (n) (또는 심지어 일정한) 인스턴스 만있는 한, 하드 인스턴스 세트가 임의로 작아지는 것을 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.