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

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

1
NP- 경도는 P- 경도를 의미합니까?
문제가 다항식 시간 단축을 사용하여 NP-hard 인 경우 P-hard (로그 공간 또는 NC 축소 사용)임을 의미합니까? NP의 문제만큼 어려운 경우 P의 문제만큼 어려운 것이 직관적이지만, 감소를 연결하고 로그 공간 (또는 NC) 감소를 얻는 방법을 모르겠습니다.
2
그래프 등급 인식의 경도와 금지 된 서브 그래프 특성의 관계
금지 된 하위 그래프로 특징 지을 수있는 그래프 클래스를 고려하고 있습니다. 그래프 클래스에 금지 된 하위 그래프의 유한 세트가있는 경우 사소한 다항식 시간 인식 알고리즘이 있습니다 (단 하나는 무차별 대입을 사용할 수 있음). 그러나 금지 된 하위 그래프의 무한 계열은 경도를 의미하지 않습니다. 금지 된 하위 그래프의 무한 목록이있는 클래스에는 …
3
인수 분해로 표현되는 정수를 추가하는 것은 인수 분해만큼 어렵습니까? 참조 요청
다음 결과에 대한 참조를 찾고 있습니다. 인수 분해 표현에 두 정수를 추가하는 것은 일반적인 이진 표현에서 두 정수를 인수 분해하는 것만 큼 어렵습니다. (이것은 내가 언젠가 궁금해했던 것이기 때문에 인쇄본에서 마침내 보았을 때 흥분되어 있기 때문에 그것이 확실하다고 확신합니다.) "인수 분해 된 표현에 두 개의 정수를 더하는 것"은 문제입니다. 와 …
1
BosonSampling 논문은 복잡한 매트릭스를 쉽게 분류하지 못합니까?
에서는 선형 광학 계산 복잡성 ( ECCC TR10-170 ) 스콧 론슨 알렉스 Arkhipov 양자 컴퓨터를 효율적 전형적인 컴퓨터에서 시뮬레이션 할 수 있다면 다항식 계층은 제 3 단째에 접한다고 주장한다. 동기 문제는 선형 광학 네트워크에 의해 정의 된 분포에서 샘플링하는 것입니다. 이 분포는 특정 행렬의 영구적으로 표현 될 수 있습니다. 전형적인 …
1
계산시 에너지 고려 사항
내 이해를 확인하기 위해 계산의 에너지 요구 사항에 대한 생각을 나누고 싶습니다. 이것은 이전 질문에 대한 후속 조치 이며 보존법에 관한 Vinay의 질문 과 관련이있을 수 있습니다 . 열역학적 관점에서 볼 때 수평 라인을 따라 무게를 움직이는 것과 유사하게 계산을 실행할 수 있다고 생각합니다. 유일한 에너지 손실은 마찰력으로 인한 것입니다. …
1
입방 센티미터에 얼마나 많은 계산 능력이 적합합니까?
이 질문은 Aadita Mehra가 요청한 DNA 알고리즘 에 대한 질문에 대한 후속 조치입니다 . 이에 대한 의견에서 Joe Fitzsimmons는 다음과 같이 말했습니다. 이를 피하기 위해 시스템의 반경은 질량에 비례하여 확장되어야합니다. 계산 능력은 질량에서 최대 선형으로 확장됩니다. 따라서 기하 급수적 인 기계의 기하 급수적 반지름을 갖습니다. 빛보다 빠르게 신호를 보낼 수 …
2
3-SUM의 곱셈 버전
3-MUL이라고하는 다음 문제의 시간 복잡성에 대해 알려진 것은 무엇입니까? 정수 로 설정된 가 주어지면, 와 같은 요소 있습니까?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c 이 문제는 3-SUM 문제와 유사 (또는 동등하게 )가 되도록 세 가지 요소가 있는지 묻습니다 . 3-SUM은 대략 2 차 시간 ( 을 요구하도록 추측된다 . 3-MUL에 대해서도 비슷한 추측이 있습니까? 특히 …
2
개방 된 문제를 해결하기 위해“실험적 복잡성 이론”이 사용되고 있습니까?
Scott Aaronson 은 흥미로운 도전을 제안 했습니다 . 물리학 자들이 큰 입자 충돌체를 사용하는 것과 같은 방식으로 CS 문제를 해결하기 위해 오늘날 슈퍼 컴퓨터를 사용할 수 있습니까? 보다 구체적으로, 나의 제안은 다음과 같은 질문에 답하기위한 전 세계 시도에 전 세계 컴퓨팅 능력을 전념하는 것입니다. 그는 이것이 ~ 부동 소수점 연산을 …
1
비 결정적 시간 계층에 자연적인 분리가 있습니까?
최초의 비결정론 적 시간 계층 정리는 Cook에 기인한다 (링크는 비결정론 적 시간 복잡성을위한 계층 , S. Cook , JCSS 7 343-353, 1973). 정리는 임의의 실수 r1r1r_1 과 r2r2r_2 에 대해 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 이면 NTIME ( nr1nr1n^{r_1} )은 NTIME ( nr2nr2n^{r_2} ) 에 엄격하게 포함된다고 명시 합니다. 증명의 …
2
하한을 생성하기위한 Mulmuley-Sohoni 기하학적 접근은 어떻게 Razborov-Rudich 의미에서 자연적 증거를 생성하지 않습니까?
제목의 정확한 문구는 Anand Kulkarni (이 사이트를 만들 것을 제안한 사람) 때문입니다. 이 질문은 예제 질문으로 제기되었지만 정말 궁금합니다. 나는 대수 기하학에 대해 거의 알지 못하고 실제로 P / poly 대 NP 질문에서 논란의 여지가있는 학부 이해도 있습니다 (비 상대적, 비 대수, 자연적인 증거는 아닐 것입니다) . 대수 기하학이 이러한 …
5
의 확률에 대한 영향
나는 " P 대 NP 공식적으로 독립인가? "를 읽고 있었지만 당황했습니다. 라는 복잡한 이론이 널리 알려져 있습니다. 내 질문은 이것이 가능하지 않은 경우 ( )에 관한 것입니다. ( 는 독립적 이지만 이것이 어떻게 증명되는지에 대한 추가 정보는 없다고 가정합니다.) Z F C P ≠ N P Z F CP ≠ …
1
행렬 문제의 복잡성
최근에 연구에 다음과 같은 문제가 나타났습니다. 알고리즘 질문에 대한 전문가가 아니기 때문에 적절한 문제를 찾기 위해 Google에서 광범위하게 검색했습니다. 나는 3SAT가 어떻게 작동하는지 알지 못하며, ZOE가 정신적으로 유사하더라도 감소가 분명하지 않습니다. 또 다른 가능성은 실재의 실존 이론 일 것이다. 그것은 일치하는 것 같지 않지만 나는 그것에 대해 틀릴 수 있습니다. …
1
어떤 정규식
다음과 같은 문제는 PSPACE-complete라는 것이 잘 알려져 있습니다. 정규식 감안 , 수행 ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ※L(β)=Σ∗L(\beta) = \Sigma^* 어떤 다른 (고정) 정규 표현식 동등성을 확인하는 방법에 대한 ?αα\alpha 정규 표현식을 감안할 때 , 수행 ?L ( β ) = L ( α )ββ\betaL …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.