때때로 Ketan Mulmuley의 기하 복잡성 이론은 P 대 NP 문제와 같은 복잡성 이론의 공개 질문을 해결하는 유일한 그럴듯한 프로그램이라고 주장합니다. 이 프로그램에 대한 유명한 복잡한 이론가들로부터 몇 가지 긍정적 인 논평이있었습니다. Mulmuley에 따르면 원하는 결과를 얻는 데 시간이 오래 걸릴 것입니다. 이 영역에 들어가는 것은 일반적인 복잡한 이론가에게는 쉽지 않으며 …
많은 전문가들은 추측이 생각하고 결과에 사용합니다. 내 우려는 복잡성이 추측 에 크게 좌우된다는 것 입니다.PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} 그래서 내 질문은 : 만큼으로 쉬트 라쎈의 인용에 표시된대로 추측이 입증되지 않은, / 하나, 자연의 법칙으로 고려해야 할 수 있습니까? 아니면 언젠가 증명되거나 반증 될 수 있는 수학적 추측 으로 취급해야 …
Ladner Theorem은 인 경우 무한히 많은 중간 ( ) 문제가 있음을 잘 알고 있습니다. Graph Isomorphism과 같은이 상태에 대한 자연스러운 후보도 있으며, 다른 여러 가지도 있습니다 ( P와 NPC 사이의 문제 참조) . 그럼에도 불구하고 알려진 문제 의 군중에서 대다수는 또는 중 하나로 알려져 있습니다 . 그중 일부만이 후보로 남아 …
이론적 컴퓨터 과학에서 해결되지 않은 주요 문제에 대한 답 은 ? 문제는 NP의 특정 문제에 시간이 필요한 경우 개방되어 있음을 나타냅니다 .Ω ( n2)Ω(n2)\Omega(n^2) 답변 아래의 의견을 보면 궁금해졌습니다. 패딩 및 이와 유사한 트릭을 제외하고 NP 의 흥미로운 문제 에 대해 결정 론적 RAM 시스템 (또는 다중 테이프 결정 론적 …
잘 해결 증거 것으로 알려져있다 순이익 대비 P 문제는 극복해야한다 상대화 , 자연 교정 및 algebrization의 장벽을. 다음 다이어그램은 "증거 공간"을 다른 지역으로 분할합니다. 예를 들어, RNRNRN 은 상대화하고 귀화시키는 일련의 증명에 해당합니다. GCTGCTGCT (Geometric Complexity Theory)는 물론 외부 지역입니다. 가장 잘 알려진 지역과 함께 일부 증거를 명명하십시오. 증거가 귀화를 …
나는 " P 대 NP 공식적으로 독립인가? "를 읽고 있었지만 당황했습니다. 라는 복잡한 이론이 널리 알려져 있습니다. 내 질문은 이것이 가능하지 않은 경우 ( )에 관한 것입니다. ( 는 독립적 이지만 이것이 어떻게 증명되는지에 대한 추가 정보는 없다고 가정합니다.) Z F C P ≠ N P Z F CP ≠ …
나는 "혼돈"또는 더 넓은 동적 시스템과 질문 사이의 연결을 배우고 싶습니다 . 다음은 내가 찾고있는 문헌 유형의 예입니다.P=NPP=NPP{=}NP Ercsey-Ravasz, Mária 및 Zoltán Toroczkai. "만약 만족을 제한하기위한 아날로그 방식의 일시적 혼란으로서의 최적화 경도." 자연 물리학 7, no. 12 (2011) : 966-970. ( 저널 링크 .) 설문 조사를 작성하거나 서지 개요를 작성한 …
유명한 동형 추측 버먼과 Hartmanis의는 모든 것을 말한다 - 완전한 언어가 서로 다항식 시간 동형 (P-동형)입니다. 추측의 중요한 의미는 P ≠ N P를 암시한다는 것 입니다. 그것은 1977 년에 출판, 증거를 지원하는 조각은 모든 것을이었다 N P 당시에 알려진 - 완전한 문제가 실제로 P-동형했다. 사실, 그들은 모두 패딩 가능했습니다 . …
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …