«complexity-theory» 태그된 질문

내 교과서는 말합니다 : "우리는 함수를 정의합니다 f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} 다음과 같이 : f(1)=2f(1)=2f(1)=2 과 f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}. 주어진 참고nnn우리는 쉽게 찾을 수 있습니다 O(n1.5)O(n1.5)O(n^{1.5}) 숫자를 시간 iii 그런 nnn 사이에 끼어있다 f(i)f(i)f(i) 과 f(i+1)f(i+1)f(i+1)" 우리가 실제로 쉽게 찾을 수 있다고 스스로를 설득하는 방법 iii 에 O(n1.5)O(n1.5)O(n^{1.5})시각? 같이fff 재귀 적으로 정의됩니다. 우리는 계산해야한다고 …

10 complexity-theory  algorithm-analysis  nondeterminism 

입니다 NPNPNP 오라클 액세스 NPNPNP 그냥보다 큰 NPNPNP? 내가 알아들은 바로는NPNPNPNPNP^ {NP} 다른 사람에게 질문을 할 수있는 튜링 머신입니다. NPNPNP 기계보다 NPNPNP 시뮬레이션 할 수 있습니다 NPNPNPNPNP^{NP}? 이 주장에 문제가 있습니까?

10 complexity-theory 

나는 Spearman의 순위 상관 계수를 연구하고 있습니다 ρ =∑나는(엑스나는−엑스¯) (와이나는−와이¯)∑나는(엑스나는−엑스¯)2∑나는(와이나는−와이¯)2−−−−−−−−−−−−−−−−−−−√ρ=∑나는(엑스나는−엑스¯)(와이나는−와이¯)∑나는(엑스나는−엑스¯)2∑나는(와이나는−와이¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} 입니다. 두 개의 목록 및 입니다. 알고리즘 의 복잡성 은 무엇입니까 ?엑스1, ... ,엑스엔엑스1,…,엑스엔x_1, \dots, x_n와이1, ... ,와이엔와이1,…,와이엔y_1, \dots, y_n 알고리즘은 단지 뺄셈을 계산해야 하기 때문에 있습니까?엔엔nO ( n )영형(엔)O(n)

10 complexity-theory  time-complexity  space-complexity 

또는 등과 같은 여러 표기법 이 있습니다 . 실제로 또는 와 같은 변형이 있거나 수학적으로 부 정확한지 궁금합니다.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(log⁡n2)O(\log n^2) 아니면 를 로 향상시킬 수 있다고 말하는 것이 ? 나는 아직 런타임을 알아낼 필요가 없으며 아무것도 개선 할 필요가 없지만 이것이 실제로 함수를 설명하는 방법인지 알아야합니다.O(5n2)O(5n2)O(5n^2)O(3n2)O(3n2)O(3n^2)

9 complexity-theory  time-complexity  optimization  big-o-notation 

많은 복잡한 클래스에는 "완전한"문제가 있습니다. 시간 내에 해결할 수있는 복잡한 문제 클래스에 대해 완전한 문제가 있습니까?O(1)O(1)O(1) 이 클래스는 계산 모델에 따라 달라집니다. "합리적인"이 일반적으로 튜링 기계와 다항식-시간 동등성을 의미한다는 점에서, 하나의 합리적인 계산 모델 에서는 시간 으로 문제를 해결할 수 있지만 다른 것은 아니다. 그러나 특정 합리적인 모델에 대해서는 여전히 …

9 complexity-theory  time-complexity  constant-time 

나는 이것을 MathUnderflow에 게시했지만 답변을 얻지 못했기 때문에 여기에서 시도해 보았습니다. 나는 무엇보다도 Presburger 산술의 이중 지수 복잡성이 입증 된 Rabin과 Fischer의 오래된 논문 [가능한 경우 링크를 게시 할 것]을 읽고 있습니다. 이 증거 는 과 함께 " "을 비공식적으로 주장 하는 공식 의 존재에 의존합니다. . 이 공식의 구성은 …

9 complexity-theory  reference-request  logic 

나는 세트 엔nn미터법 공간에 정의 된 점들 – 그래서 점들 사이의 '거리'를 측정 할 수 있습니다. 이 세트에서 가장 중심점을 찾고 싶습니다.이 점은 다른 모든 점까지의 거리의 최소 합을 가진 점으로 정의합니다. 메트릭 계산이 느리므로 가능한 경우 피해야합니다. 이 점을 찾는 확실한 방법은 엔2n2n^2 단순히 (a) 각 포인트에 대해 다른 …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

내 지식으로는 존재하지 않습니다 O(n)O(n)O(n) 다음 문제를 해결하는 최악의 알고리즘 : 주어진 길이의 시퀀스 nnn 유한 정수로 구성되면 모든 요소가 후속 요소보다 작거나 같은 순열을 찾습니다. 그러나 전이 선택적 계산 모델 에는 존재하지 않는다는 증거가 있는가? 정수의 범위를 제한하지 않습니다. 나는 또한 솔루션을 비교 정렬로 제한하지 않습니다.

9 complexity-theory  sorting  computation-models  lower-bounds 

다음 문제를 고려하십시오. 입력 :리스트X,YX,YX,Y 정수 목표 : 정수가 있는지 확인xxx 그것은 두 목록에 있습니다. 두 목록을 모두 가정하자 X,YX,YX,Y 크기가 nnn. 이 문제에 대한 결정 론적 선형 시간 알고리즘이 있습니까? 즉,이 문제를 해결할 수 있습니까?O(n)O(n)O(n) 무작위성을 사용하지 않고 결정 론적으로 시간? 불행히도 목록 요소가 모두 작다고 가정 할 수는 …

9 algorithms  complexity-theory  lower-bounds 

oracle Turing Machine을 사용할 때 복잡한 클래스에 대해 건전하고 유효한 진술을 어떻게 계속할 수 있습니까? 내 이해에 따르면 (주제에 대한 입문 교과서에 제공된 정의를 기반으로) oracle Turing machine은 한 번의 계산 단계에서 oracle 언어에 대한 문자열의 멤버쉽 상태를 결정할 수 있습니다. 그러나 종종 사용되는 오라클 언어는 일정한 시간에 해결하기가 불가능합니다 …

9 complexity-theory  oracle-machines 

Valiant & Vazirani는 SAT가 다항식 시간의 확률 적 확률 적 감소로 UNIQUE SAT로 환원 될 수 있음을 증명했습니다. Calabro et al . UNIQUE k-SAT는 k-SAT만큼 어렵습니다. 이제 문제는 누군가가 고유 k-SAT가 P에 있음을 나타내면 P = NP를 의미합니까? 참고 문헌 LG Valiant와 VV Vazirani는 "NP는 고유 한 솔루션을 탐지하는 것만 …

9 complexity-theory  satisfiability  p-vs-np 

이 문제에 이름이 있는지 궁금합니다. 가장자리가 빨강, 파랑 및 녹색으로 표시된 간단한 그래프가 주어지면 라는 정점 채색 있습니까? 모든 모서리에는 같은 색의 끝 점이 있습니까?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} 또한 이것이 NP- 완전한 것으로 알려져 있습니까? 이는 또한 각 제약 조건이 3 개의 값 중 하나를 취할 수있는 2 개의 변수의 …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

이 질문은 확률 이론과 계산 복잡성의 교차점에 관한 것입니다. 하나의 주요 관찰은 일부 분포는 다른 분포보다 생성하기가 쉽다는 것입니다. 예를 들어, 문제 숫자 주어지면 균일하게 분포 된 숫자 를 반환합니다 .nnniii0≤i&lt;n0≤i&lt;n0 \leq i < n 해결하기 쉽습니다. 한편, 다음의 문제는 훨씬 어렵거나 어려운 것으로 보인다. 숫자 주어 숫자 리턴 되도록 …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

알파벳 \ Sigma 위 의 공식 언어 은 \ Sigma ^ * 의 하위 집합, 즉 해당 알파벳 위에있는 단어 집합입니다. 대응하는 세트가 L \ cup L '의 서브 세트와 확장 적으로 동일하면 두 개의 공식 언어 L 과 L' 는 같습니다 . 복잡한 이론에서 언어를 사용 하여 "문제"의 개념 …

9 complexity-theory  formal-languages  reference-request 

질문에서 알 수 있듯이 어떻게 됩니까?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) 누구든지 나를 증명해 주거나 여기에 설명 할 수 있습니까? 감사!

9 complexity-theory  time-complexity  space-complexity