컴퓨터 과학

모든 사람들은 발명 이후 컴퓨팅 속도가 급격히 증가했다는 것을 알고 있으며 계속 될 것으로 보입니다. 그러나 한 가지가 저를 당혹스럽게합니다. 오늘날 재료를 통해 전류를 흘리면 50 년 전 같은 재료를 사용했을 때와 같은 속도로 이동할 것입니다. 이를 염두에두고 컴퓨터가 어떻게 더 빨라 졌습니까? 이러한 놀라운 속도 향상을 제공 한 프로세서 …

48 computer-architecture 

언어가 규칙적이지 않다는 것을 증명하는 방법이 많이 있지만, 어떤 언어 가 규칙적 이라는 것을 증명하려면 어떻게해야 합니까? 예를 들어, 이 규칙적이라고한다면 다음 도 규칙적 임을 어떻게 증명할 수 있습니까?LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}\qquad \displaystyle L' := \{w \in L: uv = w \text{ for } …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

저는 Carl Reynolds와 Paul Tymann (Schaum 's Outlines에서 출판)의 Principles of Computer Science (2008) 라는 책을 읽고 있습니다. 두 번째 장에서는 단순히 이름 목록을 반복하고 주어진 이름이 목록에서 발견되면 TRUE를 반환하는 순차적 검색의 예제와 함께 알고리즘을 소개합니다. 저자는 계속해서 말합니다 (17 페이지). 순차 검색 알고리즘의 "성장 순서"는 n이라고합니다. 이에 대한 …

47 algorithms  algorithm-analysis  landau-notation  notation 

내가 찾은 것에서 인터넷을 통해 이동 하는 매우 많은 양의 프로토콜은 이진이 아니라 "텍스트 기반"입니다. 해당 프로토콜에는 HTTP, SMTP, FTP (이것이 모두 텍스트 기반이라고 생각하십니까?), WHOIS, IRC가 포함됩니다. 실제로이 프로토콜 중 일부는 이진 데이터를 전송하려고 할 때마다 일부 후프를 뛰어 넘습니다 . 이것 뒤에 이유가 있습니까? 텍스트 기반 프로토콜은 동일한 …

47 computer-networks  communication-protocols  protocols 

나는 큰 표기법의 의미를 완전히 이해 합니다. 내 문제는 우리가 라고 말할 때 , 여기서 은 크기 입력에 대한 알고리즘의 실행 시간입니다 .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 

이 질문의 순진함에 대해 미리 사과드립니다. 저는 컴퓨터를 처음으로 제대로 이해하려고 노력하는 50 세의 예술가입니다. 여기로갑니다. 컴파일러가 데이터 유형과 변수를 처리하는 방법을 이해하려고 노력했습니다 (매우 일반적인 의미에서는 많은 것이 있음을 알고 있습니다). "스택"의 스토리지와 값 유형 간의 관계와 "힙"의 스토리지 및 참조 유형 간의 관계에 대한 이해에서 뭔가 빠진 것이 …

47 programming-languages  memory-allocation 

내가 보는 모든 곳에서 데이터 구조는 레드 블랙 트리 ( std::setC ++, SortedDictionaryC # 등)를 사용하여 구현되고있는 것 같습니다 . 알고리즘 클래스에서 방금 (a, b), 빨강-검정 및 AVL 트리를 다루었으므로 여기에 나와 있습니다 (교수들에게 물어보고 몇 권의 책을보고 약간의 인터넷 검색을 통해). AVL 트리는 빨강 검정 트리보다 평균 깊이가 작으므로 …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

우선 순위 큐 인터페이스를 구현하는 많은 데이터 구조가 있습니다. 삽입 : 구조에 요소를 삽입 Get-Min : 구조에서 가장 작은 요소를 반환 추출 최소 : 구조에서 가장 작은 요소 제거 이 인터페이스를 구현하는 일반적인 데이터 구조는 (최소) 힙 입니다. 일반적으로 이러한 작업의 실행 시간은 다음과 같습니다. 삽입 : (때때로 )O ( …

46 data-structures  amortized-analysis  priority-queues 

우리 팀은 멀티 스레드 친화적 인 프로그램을 고려해야 할 때 단일 코어 CPU에서 절대로 할 수없는 것이 있는지 여부에 대해 당황했습니다 . 그래픽 처리에는 대규모 병렬 처리가 필요하지만 DOOM과 같은 작업은 GPU가없는 단일 코어 CPU에서 수행되었다고 주장했습니다. 거기에 무엇인가 해야한다 멀티 코어 프로세서에서 수행 할 수는? 개발과 운영에 무한한 시간이 …

45 computation-models  cpu  multi-tasking 

유전자 알고리즘의 사용을 포함하여 오늘날 소개 레벨 주제를 논의하면서; 이 분야에서 연구가 정말 느려 졌다고 들었습니다. 그 이유는 대부분의 사람들이 머신 러닝과 데이터 마이닝에 집중하고 있기 때문입니다. 업데이트 : 이것이 정확합니까? 그렇다면 GA와 비교할 때 ML / DM의 장점은 무엇입니까?

45 machine-learning  data-mining  evolutionary-computing  history 

정렬되지 않은 배열의 중앙값을 찾기 위해 요소에 대해 시간 의 최소 ​​힙을 만든 다음 요소를 하나씩 추출 하여 중간 값을 얻을 수 있습니다. 그러나이 방법은 시간이 걸립니다.N N / 2 O ( N 로그 N )O ( n 로그n )영형(엔로그⁡엔)O(n\log n)엔엔nn / 2엔/2n/2O ( n 로그n )영형(엔로그⁡엔)O(n \log n) 우리는 …

45 algorithms  time-complexity 

Fixed Point Combinators에 대한 Wikipedia 페이지 에서 다소 신비한 텍스트가 작성되었습니다. Y 조합기는 Lambda 미적분을 일관성이 없게 만드는 예입니다. 따라서 의심으로 간주해야합니다. 그러나 수학 논리로만 정의 된 경우 Y 결합기를 고려하는 것이 안전합니다. 일종의 스파이 소설을 시작 했습니까? 세계에서 -calculus가 "일관되지 않음" 이고 "의심으로 간주 되어야 " 한다는 진술은 무엇을 …

44 lambda-calculus  combinatory-logic 

최소 스패닝 트리 알고리즘과 최단 경로 알고리즘의 차이점은 무엇입니까? 내 데이터 구조 클래스에서 우리는 두 개의 최소 스패닝 트리 알고리즘 (Prim과 Kruskal)과 하나의 최단 경로 알고리즘 (Dijkstra)을 다루었습니다. 최소 스패닝 트리는 모든 정점에 걸쳐있는 그래프의 트리이며 트리의 총 무게는 최소입니다. 최단 경로는 매우 분명합니다. 한 정점에서 다른 정점으로의 최단 경로입니다. …

44 algorithms  shortest-path  spanning-trees 

두 가지 깊이 우선 검색을 사용하여 방향이 지정되지 않은 트리에서 가장 긴 경로를 찾는이 표준 알고리즘이 있습니다. 임의의 정점 에서 DFS를 시작 하고 그로부터 가장 먼 정점을 찾으십시오. 라고 말하십시오 .vvvv′v′v' 이제 에서 DFS를 시작하여 가장 먼 정점을 찾으십시오. 이 경로는 그래프에서 가장 긴 경로입니다.v′v′v' 문제는 이것이 더 효율적으로 이루어질 …

44 algorithms  graphs  trees 

이것은 기본적인 질문이지만, 이 과 같다고 생각합니다. 무한대로 갈수록 더 큰 항이 지배해야합니까? 또한 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