«complexity-theory» 태그된 질문

대화 형 증명 시스템 을 이해하려고 노력 중이며 다음 문제를 연습으로 시도했습니다. 우리는 및 라는 것을 알고 있으므로 대한 대화 형 증명 시스템을 이해하기 쉽습니다 .PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEIP=PSPACEIP=PSPACEIP=PSPACEPHPHPH 대한 대화 형 증명 시스템 은 사소한 것이지만 대해서도 대화 형 증명 시스템을 얻지 못했습니다 . 에 대한 명시 적 대화 형 …

9 complexity-theory  interactive-proof-systems 

다음 과 같은 형식 의 (이진) 정수 프로그램이 제공됩니다.0 , 10,10,1 분성에프( x )A x = b엑스나는≥ 0엑스나는∈ { 0 , 1 }∀ 나는∀ 나는분에프(엑스)성ㅏ엑스=비엑스나는≥0∀나는엑스나는∈{0,1}∀나는 \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} …

9 complexity-theory  np-complete  approximation  integer-programming 

허락하다 LϵLϵL_\epsilon 모두의 언어가되다 222-CNF 공식 φφ\varphi적어도 (12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon) 의 φφ\varphi의 조항을 충족시킬 수 있습니다. 나는 존재한다는 것을 증명해야한다 ϵ′ϵ′\epsilon' 성 LϵLϵL_\epsilon 이다 NPNP\mathsf{NP}-어려운 ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon'. 우리는 알고 Max2SatMax2Sat\text{Max}2\text{Sat} 대략적 일 수있다 55565556\frac{55}{56} 에서 절의 precent Max3SatMax3Sat\text{Max}3\text{Sat}절감. 이 문제를 어떻게 해결해야합니까?

9 complexity-theory  satisfiability  approximation 

이 부분 집합 합계 문제는 쉽게 / 알려져 있습니까? 주어진 정수 mmm, 양의 정수 집합으로 모든A={x1,x2,...,xn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\}xixix_i 가 최대를k=2k=2k=2 비트로 설정 111 (xi=2bi1+2bi2,bi1,bi2≥0xi=2bi1+2bi2,bi1,bi2≥0x_i = 2^{b_{i_1}}+2^{b_{i_2}},\;\; b_{i_1},b_{i_2}\geq 0); 서브 세트가 있습니까A′⊆AA′⊆AA' \subseteq A 요소의 합이 같도록 mmm ? 그것은이다 PP\sf{P}? 아직도 그래요NPNP\sf{NP}-완전한? 그리고 모든 경우 xixix_i 기껏해야 …

9 complexity-theory  reference-request  decision-problem 

PP 와 BPP 가 어떻게 정의되어 있는지 혼란 스럽습니다 . 가정하자χχ\chi 언어의 특징적인 기능입니다 LL\mathcal{L}. M 은 확률 적 튜링 머신입니다. 다음 정의가 맞습니까? B P피= { L : Pr [ χ ( x ) ≠ M( x ) ] ≥12+ ϵ∀ x ∈ L , ϵ &gt; 0 } …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

문제 A가 어렵다는 것을 알면 B도 어렵다는 것을 알기 위해 A를 알 수없는 문제 B로 줄입니다. 예를 들어 3 색이 어렵다는 것을 알고 있습니다. 그런 다음 3 색을 4 색으로 줄입니다. 3 색의 색상 중 하나를 팽팽하게하면 4 색이 표시되고 ergo 4 색은 어렵습니다. 그 방법입니다. 그러나 이것이 왜 4 …

9 complexity-theory  np-complete  reductions 

나는 다음과 같은 문제에 부딪쳤다. 실수 에지 가중치와 두 개의 정점 s와 t를 갖는 방향성 비순환 그래프가 주어지면 최소 st 컷을 계산합니다. 일반적인 그래프의 경우 가장자리가 가벼워지면 최대 컷을 간단하게 줄일 수 있기 때문에 NP-hard입니다 (잘못되면 정정하십시오). DAG의 상황은 무엇입니까? 다항식 시간에 최소 컷 (또는 최대 컷)을 해결할 수 있습니까? …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

술어에 대해 두 가지 관계를 결합하려고한다고 가정하십시오. 이것이 NC에 있습니까? 나는 그것이 NC에 있지 않다는 증거는 피≠ N씨피≠엔씨P\not=NC따라서 공개적으로 문제가 있다는 증거를 답변으로 받아들입니다. 일반적인 경우와 특정 사례에 관심이 있습니다 (예 : 특정 데이터 구조를 사용하면 병렬화 가능). 편집 : 의견의 일부 설명을이 게시물에 가져옵니다. 우리는 equijoin을 고려할 수 있습니다 …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

모든 부울 함수 은 깊이 2의 부울 회로 (변수, 해당 부정 및 상수 값을 통해)를 사용하여 실현할 수 있다는 것은 잘 알려져 있습니다. 제 1 레벨에 AND 게이트를 포함하고 상부 레벨에 하나의 단일 OR 게이트를 포함하고; 이것은 단순히 의 DNF 표현 입니다 .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff 회로 복잡성에 큰 관심을 갖는 다른 …

9 complexity-theory  logic  circuits 

세트를 갖는 ㅏAA 의 엔nn 요소, 함수를 계산하고 싶다고합시다. 에프( A )f(A)f(A) 입력의 모든 부분에 민감합니다. 즉, ㅏAA (즉, 모든 멤버를 변경할 수 있습니다 ㅏAA 새로운 입력을 얻기 위해 다른 것에 A′A′A' 의 st 값 fff 의 위에 AAA 과 A′A′A' 다르다). 예를 들어 fff 합 또는 평균 일 수 …

9 complexity-theory 

예를 들어 3d → 2d 축소 : 2d 셀룰러 오토 마톤으로 3d 셀룰러 오토 마톤을 시뮬레이션하는 비용은 얼마입니까? 보다 구체적인 질문은 다음과 같습니다. 시간이 얼마나 복잡해 지나요? 인코딩의 기본 아이디어는 무엇입니까? 3D 그리드가 2D 그리드에 어떻게 효율적으로 (또는 비효율적으로) 매핑됩니까? (도전은 원래 3D 그리드에 인접하지만 더 이상 2D 그리드에 인접하지 …

9 complexity-theory  time-complexity  cellular-automata 

실제 응용 프로그램에서는 알고리즘 대신 사용할 때 이점이 있습니까?O(log(log(n))O(log⁡(log⁡(n))\mathcal{O}(\log(\log(n))O(log(n))O(log⁡(n))\mathcal{O}(\log(n)) 예를 들어보다 일반적인 이진 검색 트리 구현 대신 van Emde Boas 트리를 사용하는 경우입니다. 그러나 예를 들어, 우리가 을 취 하면 가장 좋은 경우에 이중 로그 알고리즘은 의 인수 (대략)만큼 로그를 능가합니다 . 또한 일반적으로 구현이 더 까다 롭고 복잡합니다.n&lt;106n&lt;106n < …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees