«big-picture» 태그된 질문

UP의 결과와 분리 된 게시물 은 NP와 같 으며 시맨틱 대 구문 복잡성 클래스에 대한 후속 질문 입니다. 위의 글에서 우리는 시맨틱 및 구문 클래스 에 대해 배웠습니다 . 클래스가 리프 언어 클래스 로 특성화 될 수있는 경우 간단히 설명 L [엘1|엘2]L[L1|L2]\mathsf{L}[L_1|L_2]그런 다음 클래스는 구문 엘1∪엘2=Σ※L1∪L2=Σ∗L_1 \cup L_2 = \Sigma^*즉, …

9 cc.complexity-theory  complexity-classes  big-picture 

전산 복잡도 이론 은 고유의 난이도에 따라 문제를 분류합니다. 복잡한 시스템 이론 은 시스템 개별 부품의 특성에서 명백하게 발생하지 않는 동작을 나타내는 시스템을 다룹니다. 예를 들어 혼돈 시스템, 복잡한 적응 시스템 또는 비선형 시스템이 있습니다. 이 분야들 사이에 공식적인 다리가 있습니까? 그만한 가치가 있기 때문에 셀룰러 오토마타 로 암호화를 수행한다는 …

9 cc.complexity-theory  soft-question  big-picture 

나는 최근 물리학 관련 질문을 양자 CS로 "가져 오는"것에 대해 생각했다. 해밀턴 시스템에서 지역 법 현상의 개념은 일반적으로 일부 격자에서 로컬 해밀턴을 나타냅니다. 일반적인 상태). 유명한 추측은 모든 끊임없는 해밀턴 사람들 이이 지역 법을 나타내는 지 여부입니다. 1 차원 시스템의 경우,이 질문은 Hastings (arXiv : 0705.2024)에 의해 긍정적으로 대답되었습니다. 그러나 …

9 quantum-computing  big-picture 

서브 세트 합계라고하는 NP-Complete Problem에는 FPTAS가있는 것으로 잘 알려져 있습니다. FPTAS도있는 PSPACE Complete 문제가 있는지 궁금합니다. 미리 감사드립니다.

9 ds.algorithms  space-bounded  big-picture