컴퓨터 과학

내가 아는 사람은 가까운 장래에 텍스트 편집기를 구현할 계획이므로 텍스트 편집기에 어떤 종류의 데이터 구조가 빠른지 생각해 보았습니다. 가장 많이 사용되는 구조는 분명히 로프 또는 갭 버퍼 입니다. Van Emde Boas 트리는 넣을 수있는 항목 수와 큰 초기화 비용에 대한 상한을 신경 쓰지 않으면 가장 빠른 우선 순위 대기열입니다. 내 …

23 data-structures 

저는 컴퓨터 과학 학생이며 현재 시스템 시뮬레이션 및 모델링 과정에 등록되어 있습니다. 예를 들어 IID, Gaussian 등과 같은 다른 분포 곡선에서 난수를 생성하여 주변의 일상적인 시스템을 처리하고 다른 시나리오에서 시뮬레이션합니다. 나는 boids 프로젝트를 연구하고 있는데, 정확히 "무작위"가 실제로 무엇인가에 대한 질문이 나에게 부딪쳤다. 예를 들어, Math.random()Java 의 메소드를 통해 프로그래밍 …

23 randomness  modelling 

나는 최근에 유사성을 검사하기위한 알고리즘에 대해 읽고 문제가 P- 완전 하다는 것을 읽었 습니다 . 또한,이 문제 또는 P- 완료 문제는 효율적인 병렬 알고리즘이 없을 가능성이 있습니다. 이 마지막 진술의 직관은 무엇입니까?

23 complexity-theory  parallel-computing 

회 문의 언어 인 EPAL은 다음과 같은 명확한 문맥없는 문법에 의해 생성 된 언어로 정의됩니다. S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL은 많은 파싱 알고리즘의 '베인'입니다. 언어를 설명하는 문법을 파싱 할 수있는 명확한 CFG에 대한 파싱 알고리즘은 아직 …

23 formal-languages  formal-grammars  parsers 

동안 여기에 , 데이브 클라크는 점근 적 성장을 비교하기 위해 당신이 손에 기능을 플롯해야한다고 제안했다. 이론적으로 경 사진 컴퓨터 과학자로서 나는이 부두를 음모라고 부르지 않았다. 두 번째 생각으로, 나는 이것이 때때로 사용되지 않는 매우 유용한 접근법이라는 것에 동의해야한다. 줄거리는 첫 번째 아이디어를 얻는 효율적인 방법이며 때로는 그게 전부입니다. TCS를 가르 …

23 asymptotics  didactics 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 이 문제는 interviewstreet.com 에서 가져 왔습니다 세그먼트 끝 점이 및 가 되도록 선 세그먼트 를 나타내는 정수 의 배열이 제공 됩니다. 각 세그먼트의 상단에서 수평 광선이 …

23 algorithms  probability-theory 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . "Alan Turing은 1936 년에 가능한 모든 프로그램 입력 쌍에 대한 정지 문제를 해결하기위한 일반적인 알고리즘이 존재할 수 없음을 증명했습니다. " 나는에 대한 중단 문제를 해결하기 위해 …

23 computability  formal-methods  halting-problem  software-verification 

이 질문은 컴퓨터 과학 스택 교환에서 답변 할 수 있기 때문에 수학 스택 교환에서 마이그레이션 되었습니다. 3 년 전에 마이그레이션 되었습니다 . 나는 유향 그래프 의 최대 정점 사이클 커버 를 찾는 알고리즘을 찾으려고 노력했습니다. 즉, 가능한 많은 사이클과 함께 모든 정점을 포함하는 분리 된 사이클 세트입니다 (우리는 고려하지 않습니다) …

23 graph-theory  algorithms 

책을 읽는 동안 나는 아래 주어진 단락을 보았습니다. 컴퓨터의 모든 작업을 동기화하기 위해 시스템 클럭 (마더 보드에있는 작은 수정)이 사용됩니다. 시스템 클럭은 정기적으로 다른 모든 컴퓨터 구성 요소에 신호를 보냅니다. 그리고 다른 단락 : 오늘날 많은 개인용 컴퓨터에는 200MHz에서 실행되는 시스템 클럭이 있으며 이러한 시스템 클럭과 동기화 된 모든 장치 …

23 computer-architecture  clocks 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 그래프 이론 의 Clique 문제에 관한이 Wikipedia 기사에서는 처음에 그래프 G에서 K 크기의 크릭을 찾는 문제가 NP- 완전 함을 나타냅니다. Cliques는 컴퓨터 과학에서도 연구되었습니다. 그래프에 주어진 …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

제목에서 알 수 있듯이 지난 주말 에는 패턴 내에서 임의의 코드를 실행할 수있는 일치 연산자를 제외하고 Perl 호환 정규 표현식과 일치하는 언어 클래스에 대해 생각하기 위해 몇 시간을 보냈습니다 . 당신이 무엇을 PCREs 모르는 경우, 읽어 보시기 바랍니다 이 와 이 . 문제는 인터넷에서 사용할 수있는 리소스가 컨텍스트가없는 언어에서 거의 …

23 formal-languages  regular-expressions 

강사가 질문 한 내용에 대한 힌트를 찾고 있습니다. 그래서 나는이 결정 문제가 라는 것을 알았습니다 NP-completeNP-complete\sf{NP\text{-}complete}. 그래프 에는 잎 에 세트가 포함 된 스패닝 트리가 ? 이 결정 문제에 대한 해밀턴 경로를 줄임으로써 임을 증명할 수있었습니다 .GGGG지GS={x1,x2,…,xn}S={x1,x2,…,xn}S=\{x_1, x_2,\ldots, x_n\}NP-completeNP-complete\sf{NP\text{-}complete} 그러나 선생님도 수업 시간에 우리에게 물었습니다. 또한이 될 것 경우 대신 …

23 complexity-theory  graphs  np-complete 

기수 정렬에서는 먼저 최하위 자릿수를 기준으로 정렬 한 다음 두 번째 최하위 자릿수를 기준으로 정렬하고 정렬 된 목록으로 끝납니다. 이제 숫자 리스트가 있다면, 그 숫자를 구별하기 위해 log n 비트 가 필요합니다 . 따라서 우리가 만드는 기수 정렬 패스의 수는 log n 입니다. 각 패스 얻어 O ( N ) …

23 algorithms  sorting 

컴퓨터 과학에서 big O가 처음 사용 된시기와 표준이 된시기는 언제입니까? 이 페이지의 Wikipedia 페이지에는 Knuth, Big Omicron 및 Big Omega And Big Theta , SIGACT 1976 년 4 월 -6 월 이 인용 되지만 그 논문의 시작 부분은 다음과 같습니다. 우리 대부분은 표기법 을 사용 하여 모든 큰 n 에 …

22 asymptotics  history 

필자는 명령형 프로그래밍 언어에서 언어 튜링을 완벽하게하기위한 제어 흐름 구조로 while-do 루프가 충분하다는 것을 알고 있습니다 (제어 흐름이 진행되는 한-물론 우리는 무제한 메모리와 특정 연산자가 필요합니다 ...) . 내 질문의 요지는 : do-while 루프가 while-do 루프와 동일한 계산 능력을 가지고 있습니까? 다시 말해, 명령어를 완전히 건너 뛸 수없는 경우 언어가 …

22 programming-languages  turing-completeness  loops  imperative-programming