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

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

2
NC와 P 사이의 문제 :이 목록에서 몇 개가 해결 되었습니까?
Greenlaw, Hoover 및 Ruzzo (PS)의 "P에 대한 완전한 문제 요약" (PDF) 에는 NC에 알려지지 않았거나 P- 완전하지 않은 것으로 알려진 P의 문제 목록이 있습니다. . (이 목록 은 Karp and Ramachandran의 우수 조사 에서 공개 된 모든 문제를 포함합니다 .) 공개 된 문제 목록은 89 페이지에서 시작합니다. 이 목록에서 몇 …
1
모든 복잡성 클래스에는 리프 언어 특성이 있습니까?
리프 언어는 많은 복잡한 클래스를 균일하게 정의 할 수있는 아름다운 방법입니다. 대부분의 복잡성 클래스는 일반적으로 계산 모델 (예 : 결정적 / 임의의 TM) 및 자원 바운드 (로그 시간, 폴리 공간 등)에 의해 지정됩니다. 그러나 리프 언어 공식에는 계산 모델이 하나만 있으며 클래스는 리프 언어를 제공하여 지정됩니다. 자세한 내용은 설명하기에 너무 …
2
노름 보존 튜링 기계
양자 컴퓨팅 ( here , here , here ) 에 대한 최근 스레드를 읽으면 일종의 -norm 보존 기계 의 힘에 관한 흥미로운 질문을 기억할 수 있습니다.ℓ피ℓp\ell_p 양자의 복잡성에가는 복잡성 이론에서 일하는 사람들에게 좋은 입문 텍스트는 여호수아 Grochow에 의해 게시 된 링크 Fortnow의 논문입니다 여기 . 이 논문에서 양자 튜링 머신은 …
3
공간이 제한된 TM 및 오라클
일반적으로 오라클의 쿼리 테이프는 TM의 공간 복잡성을 고려합니다. 그러나 쓰기 전용 oracle-tape (L 공간 축소에 사용되는 것과 같은)을 허용하는 것은 그럴듯 해 보입니다. 그러한 구성이 유용합니까? 특히 터무니없는 결과가 나옵니까?
1
Deolalikar의 논문에 대한 Gurvits의 텐서 순위 해석 설명
[참고 : 나는이 질문이 Deolalikar의 논문의 정확성 또는 부정확성에 좌우되지 않는다고 믿는다.] 스콧 애런 슨의 블로그에 슈 테틀 최적화 , NP 대 P에 Deolalikar의 최근 시도에 대한 토론에, 레오 니드 Gurvits는 다음 만든 코멘트를 : 나는 접근법을 이해 / 개조하려고 노력했으며, 여기에 나의, 아마도 아주 미니멀 한 시도가 있습니다 : …
3
재귀 적 형태의 고델의 진술이 가능합니까?
P / NP 문제의 자기 참조 성은 때때로 그 해결의 장벽으로 강조되어왔다. 예를 들어 Scott Aaronson의 논문 은 P 대 NP가 공식적으로 독립적 인가? P / NP에 대한 여러 가지 가능한 해결책 중 하나는 문제가 공식적으로 ZFC와 무관하거나 사실이지만 입증 할 수 없음을 보여주는 것입니다. 문제의 자기 참조가 독립성 증명에 …
2
PPAD와 양자
오늘날 뉴욕 과 전세계에서 Christos Papadimitriou의 생일이 축하됩니다. 이것은 Christos의 복잡성 클래스 PPAD (및 그의 다른 관련 클래스)와 양자 컴퓨터 사이의 관계에 대해 질문 할 수있는 좋은 기회입니다. 그의 유명한 1994 년 논문에서 Papadimitriou는 PLS, PPAD 등과 같은 몇 가지 중요한 복잡성 클래스를 도입하고 체계적으로 연구했습니다. (Papadimitriou의 논문은 일부 초기 …
1
#P의 두 기능으로 나누기
2 F 가 # P에 있도록 정수 값 함수로 하자 . 있음을 따라 하는가 F가 에 #의 P ? 이것이 항상 유지되지 않을 것이라고 믿을만한 이유가 있습니까? 내가 알아야 할 언급이 있습니까?에프FF2 F2F2F# P#P\#P에프FF# P#P\#P 다소 놀랍게도,이 상황은 함수, (훨씬 더 큰 상수)를 내놓았다 있는 F ∈ ? # P …
1
USTCONN에 로그 공간이 필요하다는 것을 증명하는 방법?
USTCONN은 그래프 G 의 소스 정점 sss 에서 대상 정점 까지의 경로가 있는지 여부를 결정해야하는 문제이며 , 여기서 모두 입력의 일부로 제공됩니다.tttGGG Omer Reingold는 USTCONN이 L에 있음을 보여 주었다 (doi : 10.1145 / 1391289.1391291 ). 이 증거는 지그재그 제품을 사용 하여 일정한 정도의 확장기 를 구성합니다 . 일정한 정도의 확장기는 …
3
실수 계산 : 부동 소수점 대 TTE 대 도메인 이론 대 등
현재 가장 인기있는 언어의 실수 계산은 여전히 ​​부동 소수점 연산을 통해 수행됩니다. 반면에, 2 형 효과 성 (TTE) 및 도메인 이론과 같은 이론은 오랫동안 실수의 정확한 계산을 약속했습니다. 분명히 부동 소수점 정밀도 문제는 관련성이 줄어들지 않았으므로 왜 이러한 이론이 더 주류가되지 않았으며 왜 더 눈에 띄게 구현되지 않았습니까? 예를 들어 …
2
P의 회로 복잡도에 대한 Kolmogorov의 추측에 대한 논쟁
(확인되지 ​​않은) 역사적 설명에 따르면, Kolmogorov는 모든 언어에 PP\mathsf{P}선형 회로 복잡성이 있다고 생각했습니다 . ( P 는 선형 크기 회로를 가짐에 대한 Kolmogorov의 추측에PPP 대한 이전 질문을 참조하십시오 .) 의미 P≠NPP≠NP\mathsf{P}\neq \mathsf{NP}합니다. 그러나 Kolmogorov의 추측은 실패 할 것으로 보인다. 예를 들어 Ryan Williams는 최근의 논문 에서 다음과 같이 썼다 . …
1
우리는 깊이
깊이 lg n 의 다항식 크기 ​​(언 바운드 팬인) 회로로 비트 임계 값 게이트를 계산할 수 있습니까?nnn ? 또는이 회로를 사용하여 입력 비트에서 1의 수를 계산할 수 있습니까?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} 는 ?TC0⊆AltTime(O(lgnlglgn),O(lgn))TC0⊆AltTime(O(lg⁡nlg⁡lg⁡n),O(lg⁡n))\mathsf{TC^0} \subseteq \mathsf{AltTime}(O(\frac{\lg n}{\lg \lg n}), O(\lg n)) 참고 . 임계 값 게이트를 계산할 때 회로 깊이에서 lg …
2
피드백 정점 세트 문제를 3도 경계 그래프에 대해 다항식 시간으로 해결할 수 있습니까?
피드백 정점 세트는 일반 그래프에 대해 NP가 완료되었습니다. 정점 커버로부터의 감소로 인해 차수 8 경계 그래프에 대해 NP- 완전한 것으로 알려져 있습니다. 위키 백과 문서는 이 정도-3 경계 그래프에 대한 폴리 시간 풀 수 있으며 학위 4 경계 그래프의 NP-완료되었음을 말한다. 그러나 나는 이것에 대한 어떤 증거도 찾을 수 없었습니다. …
3
행렬이 완전히 규칙적인지 결정하는 복잡성
모든 정사각형 서브 매트릭스가 전체 순위를 갖는 경우 행렬을 완전히 규칙이라고합니다. 이러한 매트릭스는 초 집중기를 구성하는 데 사용되었습니다. 주어진 행렬이 이성에 대해 완전히 규칙적인지를 결정하는 복잡성은 무엇입니까? 유한 필드 이상? 보다 일반적으로, 최대 크기의 모든 정사각형 서브 매트릭스 가 전체 순위를 갖는 경우 행렬을 완전히 정규식이라고합니다 . 행렬과 매개 변수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.