«asymptotics» 태그된 질문

대부분의 입문 알고리즘 클래스에는 (Big O) 및 와 같은 표기법 이 도입되며 일반적으로 학생은이 중 하나를 사용하여 시간 복잡성을 찾는 방법을 배웁니다.Θ영형OOΘΘ\Theta 그러나 , 및 와 같은 다른 표기법이 있습니다 . 한 표기법이 다른 표기법보다 선호되는 특정 시나리오가 있습니까?Ω ω영형ooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

컴퓨터 과학에서 우리는 종종 되풀이 관계 를 풀어야하는데 , 그것은 재귀 적으로 정의 된 일련의 숫자에 대한 닫힌 형태 를 찾는 것 입니다. 런타임을 고려할 때 종종 시퀀스의 점근 적 성장 에 관심이 있습니다. 예는 아래쪽으로 스테핑 꼬리 재귀 함수의 실행시 에서 본문은 소요 시간 :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad \begin{align} T(0) &= …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

이것은 우스운 질문 일지 모르지만 입력의 크기가 커질수록 실제로 더 쉽게 문제가 발생할 수 있습니까? 나는 실제적인 문제가 이런 것이 아닌지 의심하지만, 우리는이 속성을 가진 퇴보적인 문제를 발명 할 수있다. 예를 들어, 크기가 커지거나 기괴한 방식으로 동작함에 따라 "자체 해결"을 시작할 수 있습니다.

62 algorithms  asymptotics 

방금 데이터 구조 및 알고리즘에 대한 강의를 시작했으며 교수 조교는 정수 배열을 정렬하기 위해 다음과 같은 의사 코드를 제공했습니다. void F3() { for (int i = 1; i < n; i++) { if (A[i-1] > A[i]) { swap(i-1, i) i = 0 } } } 명확하지 않을 수도 있지만 여기서 …

52 algorithm-analysis  asymptotics  runtime-analysis  sorting 

나는 큰 표기법의 의미를 완전히 이해 합니다. 내 문제는 우리가 라고 말할 때 , 여기서 은 크기 입력에 대한 알고리즘의 실행 시간입니다 .OOOT(n)=O(f(n))T(n)=O(f(n))T(n)=O(f(n))T(n)T(n)T(n)nnn 나는 그것의 의미를 이해합니다. 그러나 과 은 서로 다른 두 가지입니다.T(n)T(n)T(n)O(f(n))O(f(n))O(f(n)) T(n)T(n)T(n)O ( f ( n ) ) T ( n ) O ( f ( n …

47 asymptotics  landau-notation  notation 

이것은 기본적인 질문이지만, 이 과 같다고 생각합니다. 무한대로 갈수록 더 큰 항이 지배해야합니까? 또한 O (\ min (m, n)) 과는 다릅니다 . 맞습니까? 특히 그래프 알고리즘을 논의 할 때이 표기법을 계속보고 있습니다. 예를 들어, 일반적으로 O (| V | + | E |)를 참조 하십시오 (예 : 여기 참조 ).O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| …

44 terminology  asymptotics  mathematical-analysis  landau-notation 

"Big O"에서 공통 표기법에는 "일정한 요인이 아니라"라는 공통 이름이 있습니다. O (1) 은 "일정합니다" O (log n) 는 "로그"입니다. O (n) 은 "선형"입니다 O (n ^ 2) 는 "Quadratic"입니다 O (n * log n) 는 ??? 그냥 "n log n"입니까 아니면 위와 같은 특별한 이름이 있습니까?

40 terminology  asymptotics 

예를 들어 함수 목록이 있다고 가정합니다. nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots 이를 무정형으로 정렬하려면 어떻게해야합니까? f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , 그것들이 실제로 쌍으로 비교된다고 가정 합니까 ( 여기도 참조 하십시오 )? 의 정의를 사용하는 것은 어색한 것으로 보이며, 적절한 상수 와 …

35 asymptotics  landau-notation  reference-question 

각 항목을 임의로 선택한 다른 항목으로 교체하여 배열을 섞는이 '순진한'알고리즘이 올바르게 작동하지 않는 것으로 잘 알려져 있습니다. for (i=0..n-1) swap(A[i], A[random(n)]); 구체적으로, n 개의nn 반복 마다, n 개의nn 선택 중 하나 가 (균일 한 확률로) 이루어 지므로 , 계산을 통해 n 개의nnn^n 가능한 '경로' 가 존재 한다; 가능한 순열의 개수 …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

오늘 우리는 이진 검색을 사용하여 정렬 된 배열에서 요소를 찾기위한 매우 간단한 알고리즘을 강의에서 논의했습니다 . nnn 요소 배열에 대한 점근 적 복잡성을 결정하라는 요청을 받았습니다 . 내 생각은 log 2 n 이 최악의 경우 작업 수 이기 때문에 분명히 O(logn)O(log⁡n)O(\log n) 또는 O(log2n)O(log2⁡n)O(\log_2 n) 가 더 구체적이라는 것 입니다. …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

정규 언어 경우, c n ( L ) 은 길이 n의 L 에 있는 단어의 수입니다 . (일부 DFA의 주석이 달려 있지 않은 천이 행렬에 적용 조던 정규형하여 L을 ), 하나는 충분한위한 것을 보여줄 수 N , C , N ( L ) = k는 Σ를 난 = 1 P …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

나는 n의 충분히 작은 값에 대해 O (n)이 마치 O (1) 인 것처럼 생각 / 처리 될 수 있다고 여러 번 들었습니다. 예 : 그렇게하는 동기는 O (1)이 항상 O (lg n)보다 낫고 항상 O (n)보다 낫다는 잘못된 생각에 근거합니다. 작업의 점근 적 순서는 실제 상황에서 문제의 크기가 실제로 커지는 …

26 asymptotics 

상각 시간 에 다음 연산을 지원하는 순서 목록을 유지하기위한 데이터 구조가 있습니까?O ( 1 )O(1)O(1) GetElement (k) : 리스트 의 번째 요소를 반환 합니다.케이kk InsertAfter (x, y) : x 바로 다음에 새 요소 y를 목록에 삽입합니다. Delete (x) : 목록에서 x를 제거합니다. 마지막 두 작업의 경우 x가 데이터 구조에 대한 …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

시간 복잡도가 O ( mn ) 인 함수가 있는데 , 여기서 m 과 n 이 두 입력의 크기 인 경우, 시간 복잡도를 "선형"( m 과 n 모두에서 선형이므로 ) 또는 "2 차"( 두 가지 크기의 제품이기 때문에)? 또는 다른 것? O (m + n)도 선형이지만 훨씬 빠르기 때문에 "선형"이라고 부르는 …

24 terminology  asymptotics  landau-notation