«complexity-theory» 태그된 질문

어떤 클래스의 CFL이 닫히는 지, 즉 어떤 세트가 CFL을 보완하는지 알아야합니다. CFL이 보수로 폐쇄되지 않았 음을 알고 있으며 P가 보수로 폐쇄되었음을 알고 있습니다. CFL PI는 CFL의 보완이 P (right?)에 포함되어 있다고 말할 수 있습니다. CFL의 보수가 P의 적절한 부분 집합인지 전체 P인지에 대한 의문이 여전히 남아 있습니다.⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

계층 구조 정리를 사용하여 N이 NP가 아니라고 주장하려고합니다. 이것이 나의 주장이지만, 내가 선생님과 공제 후에 그것을 보여 주었을 때, 이것은 내가 받아 들여야 할 설득력있는 이유를 찾을 수 없을 때 문제가 있다고 말했다. 우리는 P=NPP=NPP=NP 라고 가정하여 시작합니다 . 그런 다음 를 산출 한 다음 뒤에옵니다 . 우리는 모든 언어 …

10 complexity-theory  time-complexity  p-vs-np 

다음 문제점 설명을 고려하십시오. 초기 숫자가 주어지면, 당신과 당신의 친구는 교대로 완벽한 정사각형을 뺍니다. 제로에 도착하는 첫 번째 승리. 예를 들면 다음과 같습니다. 초기 상태 : 37 플레이어 1 빼기 16. 상태 : 21 플레이어 2 빼기 8. 상태 : 13 플레이어 1 빼기 4. 상태 : 9 플레이어 2 …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

나는 오늘 알고리즘 분석이 계산 모델에 따라 다르다는 것을 배웠습니다 . 내가 생각하지 못했거나 들어 본 적이없는 것입니다. User @chi 가 더 자세히 설명 한 예 는 다음과 같습니다. 예를 들어 , 주어진 x i를 반환 합니다. RAM에서는 어레이 액세스가 일정한 시간이기 때문에 O ( 1 ) 로 해결할 수 …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

면책 조항 : 나는 이미 여기와 Stackoverflow에 비슷한 소리가 나는 질문이 있다는 것을 알고 있습니다. 그러나 그들은 모두 충돌에 관한 것입니다. 내 질문은 : 왜 충돌이 적은 조회 O(1)가 처음입니까? 이 해시 테이블이 있다고 가정 해 봅시다. Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 xcnvb Data4 mkwer Data5 …

10 complexity-theory  hash  hash-tables  performance 

x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2 및 반지름 r 의 집합이 주어 rrr집니다. r 보다 작은 거리에서 더 많은 수의 포인트를 가진 포인트를 찾는 것이 복잡 rrr합니다. 예를 들어 ∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} ? 무차별 대입 알고리즘은 모든 점을지나 r 보다 작은 거리에있는 점의 수를 세는 것 rrr입니다. \ …

10 algorithms  complexity-theory  computational-geometry 

경우 다음이다 ? 결정적이지 않은 다른 클래스의 경우 항상 결정적 클래스와 동일하다는 것을 때문에이 질문 을합니다.P = N P피=엔피\mathbf{P} = \mathbf{NP}L = N L엘=엔엘\mathbf{L} = \mathbf{NL}P = N P피=엔피\mathbf{P} = \mathbf{NP}

10 complexity-theory  p-vs-np 

이 질문은 NP- 완료 세트의 세트 연산으로 구성된 세트에 대한 이전 질문 과 다소 반대입니다 . 두 개의 결정 가능한 세트 및 의 결합, 교차 또는 카티 전 곱으로 세트 가 NP- 완료이면 중 하나 이상이 반드시 NP-hard입니까? P가 이러한 설정 작업에서 닫혀 있기 때문에 둘 다 P에있을 수는 없습니다 …

10 complexity-theory  np-hard  np  np-intermediate 

스레드와 관련하여 CNF에서 DNF 로의 변환이 NP-Hard (및 관련 Math 스레드 ) 임을 증명하는 경우 : DNF에서 CNF까지의 다른 방향은 어떻습니까? 쉽지 않습니까? 이 백서의 2 페이지에서 " CNF 표현에서 DNF 표현으로 또는 그 반대로 변환 할 때 최대 크기의 폭발에 관심이 있습니다 "라고 말하면 두 방향 모두 똑같이 어렵다고 …

10 complexity-theory  logic  satisfiability  normal-forms 

NP-hard 문제 (크릭, 3-SAT, 정점 커버 등)의 일반적인 예는 사전에 답이 "예"인지 "아니오"인지 알 수없는 유형입니다. 답이 '예'라는 문제가 있다고 가정하고, 또한 다항식 시간에 증인을 확인할 수 있습니다. 그러면 항상 다항식 시간에 증인을 찾을 수 있습니까? 아니면이 "검색 문제"가 NP-hard 일 수 있습니까?

10 complexity-theory  np-hard  search-problem 

단어 목록이 주어진다는 점을 제외하고 크로스 워드 퍼즐과 매우 유사한 고전적인 퍼즐 북 게임이 있습니다. 단일 사각형으로 구성된 정사각형 보드가 주어지며 일부 정사각형은 십자말처럼 검은 색으로 표시됩니다. 일부 사각형에는 이미 미리 작성된 문자가 있습니다. 목표는 퍼즐에서 한 번만 목록에서 각 단어를 작성하는 것입니다. 여기서 각 단어는 수평으로 (왼쪽에서 오른쪽으로) 또는 …

10 complexity-theory  np-complete  board-games 

가중치가있는 모서리가있는 무 방향 그래프를 제공하고 각 노드가 3D 공간의 점에 해당한다고 가정합니다. 두 노드 사이에 모서리가있을 때마다 모서리의 가중치는 점 사이의 거리입니다. 목표는 가용 거리 (가장자리 가중치로 표시) 만 주어 점의 상대 위치를 재구성하는 것입니다. 예를 들어, 만약 내가 당신에게 그러면 점들이 4 면체의 꼭짓점이라는 것을 알 수 있습니다. …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

이진 표현에서 두 개의 정수 와 주어지면 의 비트 크기를 계산하는 복잡성은 무엇 입니까?N X Nxxxnnnxnxnx^n 이를 수행하는 한 가지 방법은 충분한 정밀도 로 의 근사값 을 계산하여 를 계산하는 것 입니다. 이 나타나 컴퓨팅 와 의 정밀도의 비트가 수행 될 수 길이의 두 정수의 곱을 계산하는 데 필요한 시간이다 …

10 complexity-theory  time-complexity  binary-arithmetic 

경우 다음 계층합니다 (카프-립톤 정리하여) 두 번째 단계로 축소. 그러나 와 어떻습니까?N P c o N PRP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP 가 포함되어 있음을 증명하려고했지만 ( 경우 다른 방향은 사소한 것입니다 ) 아무 소용이 없으며 사실인지 확실하지 않습니다.N P R P = N PBPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP = NP …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

NP- 완전성과 같은 것들에 대한 추론을 위해, 우리는 일반적으로 다수의 축소 (즉, Karp 축소)를 사용합니다. 이것은 다음과 같은 그림으로 이어집니다. (표준 추측하에). 우리 모두 이런 종류의 일에 익숙하다고 확신합니다. 튜링 감소 (예 : 쿡 감소)를 사용하면 어떤 그림을 볼 수 있습니까? 사진은 어떻게 바뀌나요? 특히, 가장 중요한 복잡성 클래스는 무엇이며 …

10 complexity-theory  reductions  complexity-classes