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

이 질문은 암호화의 맥락에서 생겨 났지만, 여기서는 사람들이 후자에 대해 더 잘 알고 있기 때문에 복잡성 이론의 관점에서 제시 할 것입니다. 이 질문은 NP의 문제 와 관련이 있지만 Oracle Access의 Average-P / poly 및 Beating Nonuniformity는 아닙니다 . 비공식적 진술 : 비 균일 한 적 (즉, 다 규모의 회로 계열)이 …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

부울 함수의 의사 결정 트리 복잡성에서 하한 방법은 함수를 나타내는 (대략) 다항식을 찾는 것입니다. Paturi 는 표시되는 수량을 기준으로 대칭 부울 (부분 및 총) 함수의 특성을 나타 냈습니다.ΓΓ\Gamma: 정리 ( Paturi ) : Let에프ff 일정하지 않은 대칭 함수이며 에프케이= f( x )fk=f(x)f_k=f(x) 언제 | x | =k|x|=k|x|=k (즉, 해밍 무게 …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

모두 알다시피, 2008 년 금융 위기에서 탈락하고 있습니다. 금융 경제와 관련된 기본 복잡성 클래스를 알지 못했을 때 복잡성 이론이이 모든 것에 어떻게 적용되는지 생각하고있었습니다. 제 질문은 Markowitz의 포트폴리오 이론과 CAPM 모델의 복잡성 분류 (있는 경우)는 무엇입니까? 또한 복잡성 이론이 금융 위기와 어떤 관련이 있는지에 대한 의견을 환영합니다!

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

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 

를 차원 직사각형 모양 의 집합으로 하자 . 용 및 , 길이 설명 차원에서 . 컨테이너 대해 동일한 표기법이 사용됩니다 . 차원 직교 패킹 문제 (OPP- ) 결정되는 경우 용기에 끼워 중첩되지는. 공식적으로 말하면, 문제는 함수가 있는지 알아 내는 것입니다.VVV디DD디∈ { 1 , . . . , D }d∈{1,...,D}d \in …

9 cc.complexity-theory  reference-request  np-hardness  packing 

다음과 같은 결정 문제가 NP-complete입니까? 허락하다 GGG 무 방향 그래프이고 b≤cb≤cb \le c 두 정수. 모든 정점을 선택할 수 있습니까?GGG 바로 그거죠 bbb 노드가 더 이상 선택되지 않도록 다른 이웃 ccc 타임스. 경우 b=1b=1b = 1 어떤 문제든지 해결할 수 있습니다 ccc 최대 매칭을 사용하여 다항식 시간으로. 동기 부여 : …

9 cc.complexity-theory  np-hardness  graph-algorithms 

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

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

정규 (행-열 내부 곱) 기술을 사용한 행렬 곱셈에는 곱셈과 추가가 필요합니다. 그러나 크기 비트 의 동일한 크기의 항목 (두 행렬의 각 항목에있는 비트 수)을 가정 하면 덧셈 연산은 실제로 비트에서 발생합니다.O(n3)O(n3)O(n^{3})O(n3)O(n3)O(n^{3})mmmO(n3nm)=O(n4m)O(n3nm)=O(n4m)O(n^{3}nm) = O(n^{4}m) 따라서 비트 복잡도를 통해 측정 된 경우 행렬 곱셈의 실제 복잡성은 이어야합니다 .O(n4)O(n4)O(n^{4}) (1)(1)(1) 이것이 맞습니까? 총 …

9 cc.complexity-theory  algebraic-complexity 

IP (2pfa) 및 AM (2pfa)는 양방향 입력 헤드가있는 확률 적 유한 오토마타 인 검증기를 갖춘 대화 형 증명 시스템의 프라이빗 및 퍼블릭 코인 버전에서 각각 경계 오류로 인식되는 언어 클래스입니다. 이 클래스의 폐쇄 속성이 알려져 있습니까?

9 cc.complexity-theory  interactive-proofs 

특정 계산 특성을 갖는 유한 그래프의 존재 (또는 존재하지 않음)가 특정 복잡성 결과 (예 : P = NP)를 암시한다는 알려진 결과가 있습니까? 완전한 가설적인 결과는 다음과 같습니다 . 유한 그래프에 모서리 A, B, C 및 D가 뚜렷한 경우 모든 최대 일치 항목에 A, B, C 및 D가 모두 포함되거나 A, …

9 cc.complexity-theory