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

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

3
기하 복잡성 이론에 대한 Wikipedia 스타일의 설명
전문가가 아닌 사람이 이해할 수있는 Mulmuley의 GCT 접근법에 대한 간결한 설명을 제공 할 수 있습니까? 주제에 대한 Wikipedia 페이지 에 적합한 설명 (현재 스텁). 동기 부여 : 저는 모의 이론에서 연구원 인 내 친구와 함께 Democritus 이후 Scott Aaronson의 저서 Quantum Computing을 "동독"하고 있습니다. 이 책의 서문에서 Aaronson은 GCT를 "컴퓨터 …
8
SAT 최고의 상한
또 다른 스레드 에서 Joe Fitzsimons는 "3SAT에서 가장 좋은 현재 하한값"에 대해 물었습니다. 나는 다른 길로 가고 싶습니다 : 3SAT 에서 가장 좋은 현재 상한 은 무엇입니까 ? 다시 말해, 가장 효율적인 SAT 솔버의 시간 복잡성은 무엇입니까? 특히, SAT에 대한 하위 지수 (아직 초 다항식) 알고리즘을 찾는 것이 가능합니까?
5
SAT 솔버의 실제 성공에 대한 이론적 설명?
SAT 솔버가 실제로 성공하기 위해 어떤 이론적 설명이 있습니까? 누군가 "wikipedia-style"개요와 설명을 함께 묶을 수 있습니까? 유추 하여, 심플 렉스 알고리즘에 대한 평활화 된 분석 ( arXiv 버전 )은 최악의 경우 지수 시간이 걸리고 NP- 전능 한 ( arXiv 버전 ) 사실에도 불구하고 실제로 왜 잘 작동하는지 설명하는 훌륭한 역할을합니다 …
22
어떤 계층 구조 및 / 또는 계층 구조 정리를 알고 있습니까?
현재 TCS의 계층 정리에 대한 설문을 작성 중입니다. 관련 논문을 검색하면서 나는 계층이 TCS와 수학뿐만 아니라 신학과 사회학에서 생물학과 화학에 이르기까지 수많은 과학에서 근본적인 개념이라는 것을 알았습니다. 정보의 양이 엄청 나기 때문에이 커뮤니티의 도움을 요청할 수 있기를 바랍니다. 물론, 나는 당신이 나를 위해 서지 검색을하고 싶지 않지만 오히려 두 종류의 …
12
TCS의 Gröbner 기지?
누구든지 이론적 컴퓨터 과학에 대한 Gröbner 기반 의 흥미로운 응용에 대해 알고 있습니까? Gröbner베이스는 일반적으로 NP-hard 문제인 다변량 다항식을 풀기 위해 사용됩니다. TCS 또는 TCS 관련 영역 (콤비 네이터, 코딩 이론)에서 효율적인 알고리즘 / 구성 / 증거를 제공하기 위해 다루기 쉬운 특수 사례가 사용되는지 궁금했습니다.
3
그래프 동형 문제에 대한 준 다항식 시간 알고리즘의 결과
그래프 동형 문제 (GI)이 틀림위한 최상의 공지 후보 NP-중간 문제. 가장 잘 알려진 알고리즘은 런타임 . 다항식 계층 구조가붕괴되지 않는 한,GI는NP-완전하지않다는 것이 알려져있다.2O ( n 로그엔√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism 문제에 대한 준 다항식 시간 알고리즘의 복잡한 이론적 결과는 무엇입니까? GI에 대한 준 다항식 시간 알고리즘이 복잡한 이론에서 유명한 추측을 …
5
“P”와“NP-hard”의 아늑한 동네
알고리즘 작업으로 하자 . (결정 문제 나 최적화 문제 또는 다른 작업이 될 수 있습니다.) X 가 NP-hard 라고 가정 하면 다항식 계층 구조가 붕괴 된 것으로 알려진 경우 X를 "다항식 측"이라고 하겠습니다. 하자 우리는 전화 X를 가정하는 경우 "는 NP-측에" X가 다항식 알고리즘이 다항식 계층 구조의 붕괴 것을 의미하는 …
3
? 의 고정 깊이 특성
이것은 회로 복잡성에 관한 질문입니다. (정의는 맨 아래에 있습니다.) 치아와 Beigel-타루이마다되었습니다 C C 0 크기의 회로 가족 들 크기의 등가 회로 군 갖는 S 쪽 O를 패 Y ( 로그 들 ) 깊이의 두 출력 게이트 대칭 함수이고 두번째 레벨 이루어져 p o l y ( log s ) 의 …
3
계산 기하학 연구자들이 BSS / 실제 RAM 모델을 선호하는 이유는 무엇입니까?
배경 실수에 대한 계산은 자연수에 대한 계산보다 복잡합니다. 실수는 무한한 객체이고 셀 수는 많지 않으므로 실수는 유한 알파벳의 유한 문자열로 충실하게 표현할 수 없습니다. 람다 미적분학, 튜링 머신, 재귀 함수와 같은 다른 계산 모델이있는 유한 문자열에 대한 고전적인 계산 가능성과는 달리 ... (적어도 문자열의 함수에 대한 계산 가능성에 대해서는) 동등한 …
3
행렬 곱셈이 시간에 있지 않다는 증거
모든 에 대해 시간에 두 개의 행렬 을 곱할 수 있다고 일반적으로 믿어집니다 . 몇 가지 토론이 있습니다 .ϵ>0ϵ>0\epsilon > 0n×nn×nn \times nO(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) 나는 연구에 더 익숙한 일부 사람들에게 행렬 곱셈을위한 알고리즘 이 존재하도록 과 독립적 인 이 있다고 생각하는지 압도적으로 대답은 "아니오"라는 직관이지만 그 이유를 설명 할 …
3
RSA 인수 분해보다 더 열심히 정수 인수 분해 문제는 : ?
이것은 math.stackexchange 의 크로스 포스트입니다 . 정수 인수 분해 문제를 나타내는 사실을 보자 : 주어진 찾을 소수 및 정수 하도록n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. RSA가 이고 가 소수 인 특수한 인수 분해 문제를 나타냅니다 . 즉, 이러한 인수 분해가없는 경우 소수 또는 NONE을 찾습니다 .n=pqn=pqn …
3
왜 mod_m 게이트가 흥미 롭습니까?
라이언 윌리엄스 (Ryan Williams) 는 무한한 팬인 (fan-in)과 게이트를 가진 일정한 깊이 회로를 가지고 있으며 가능한 모든 m에 대해 AND, OR, NOT 및 MOD_m을 갖는 문제의 클래스 인 ACC 에 자신의 하한을 게시했습니다 . MOD_m 게이트의 특별한 점은 무엇입니까? 링 Z_m에 대한 산술을 시뮬레이션 할 수 있습니다. Ryan의 결과가 나오기 …
2
멀뮬 리의 GCT 프로그램
때때로 Ketan Mulmuley의 기하 복잡성 이론은 P 대 NP 문제와 같은 복잡성 이론의 공개 질문을 해결하는 유일한 그럴듯한 프로그램이라고 주장합니다. 이 프로그램에 대한 유명한 복잡한 이론가들로부터 몇 가지 긍정적 인 논평이있었습니다. Mulmuley에 따르면 원하는 결과를 얻는 데 시간이 오래 걸릴 것입니다. 이 영역에 들어가는 것은 일반적인 복잡한 이론가에게는 쉽지 않으며 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.