컴퓨터 과학

(실제적인 문제뿐만 아니라 알고리즘 관점에서) 가장 빠른 방법은 무엇입니까? 다음 줄을 따라 뭔가를 생각하고있었습니다. 배열의 끝에 추가 한 다음 bubblesort를 사용하여 가장 가까운 경우 (시작시 완전히 정렬 된 배열)를 가지고 선형 실행 시간 (가장 좋은 경우)을 갖습니다. 반면에 정렬 된 배열로 시작한다는 것을 알면 이진 검색을 사용하여 주어진 요소의 삽입 …

31 algorithms  efficiency  arrays  sorting 

Alan Turing은 (숫자, 함수 등)을 계산하고 Halting Theorem을 증명 한 기계 (Turing Machine, TM)의 모델을 제안했습니다 . TM은 기계 (또는 원하는 경우 엔진)의 추상 개념입니다. 홀팅 정리는 불가능한 결과입니다. Carnot Engine (CE)은 열 엔진의 추상 개념이며 Carnot은 열역학 엔트로피와 관련된 또 다른 불가능한 결과 인 Carnot Theorem을 증명했습니다 . TM이 …

31 turing-machines  halting-problem  entropy 

예를 들어 컴퓨터가 10111100하나의 특정 RAM 바이트에 저장된 경우 컴퓨터는 이 바이트를 정수, ASCII 문자 또는 다른 것으로 해석하는 방법을 어떻게 알 수 있습니까? 타입 데이터가 인접 바이트에 저장되어 있습니까? (1 바이트에 두 배의 공간을 사용하기 때문에 이것이 사실이라고 생각하지 않습니다.) 아마도 컴퓨터는 데이터 유형을 알지 못하고 그것을 사용하는 프로그램 …

31 memory-hardware  memory-access  type-checking 

나는 대학에서 운동을 배정 받았다. 나는 그것을 집으로 가져 와서 그것을 해결하기 위해 알고리즘을 프로그래밍하려고 시도했다. 그래프와 관련이 있고 연결된 구성 요소를 찾는 것이라고 생각한다. 그런 다음 마음에 들어온 가장 사소한 것을 강사에게 보여주었습니다. 간단한 관찰 후, 그는 내 솔루션의 런타임 복잡성이 불가피하고 더 효율적인 것을 보여주었습니다. 그리고 계산 복잡성에 …

30 algorithms  algorithm-analysis  education  applied-theory 

Context-Free Grammar가 무엇인지에 대한 온라인 정의가 많이 있지만, 내가 찾은 것은 내 주요 문제를 만족시키지 않습니다. 어떤 맥락에서 자유롭습니까? 조사하기 위해 "문맥 인식 문법"을 Google로 검색했지만 여전히 "문맥"이 무엇인지 찾지 못했습니다. 누군가이 context이름에서 그 용어가 무엇을 의미 하는지 설명해 주 시겠습니까?

30 terminology  context-free  formal-grammars 

FRP는 순수한 기능을 통한 이벤트 및 동작 스트리밍에 관한 것입니다. 액터 모델은 적어도 Akka에서 구현 된 것처럼 액터라고하는 불완전한 오브젝트를 통해 불변 메시지 (이산 이벤트로 간주 될 수 있음)를 스트리밍하는 것에 관한 것입니다. 표면적으로는 관련이있는 것 같습니다. 그들이 어떻게 관련되어 있는지에 관해 우리는 무엇을 더 말할 수 있습니까? 또한 어떤 …

30 distributed-systems  functional-programming  programming-paradigms 

나는 CLRS를 읽고 있었고 말했다 : 큰 정수를 고려하는 것이 쉬운 경우 RSA 암호 시스템을 쉽게 파기 할 수 있습니다. 와 에 대한 지식으로 공개 키에 대한 지식인 비밀 키를 쉽게 만들 수 있기 때문에 나에게 의미 가 있습니다. 그러나 그것은 내가 이해하지 못하는 대화 성명을 설명합니다.pppqqq 큰 정수를 인수 …

30 cryptography 

Bitcoin의 기본 사항을 부모님 께 설명하려고합니다. 비트 코인의 핵심 구성 요소 중 하나는 신원을 가장 할 수 없도록 트랜잭션에 서명하여 단순화 된 비대칭 암호를 설명해야합니다. 예제로 사용할 수있는 매우 간단한 비대칭 암호는 무엇입니까? 이 단순화 된 암호를 서명에 어떻게 사용할 수 있습니까?

30 cryptography 

기본적으로 저는 수학의 세 가지 기초를 알고 있습니다 이론 설정 유형 이론 카테고리 이론 그렇다면 프로그래밍 언어와 수학의 기초는 어떤 방식으로 관련되어 있습니까? 편집하다 원래 질문은 "수학 기초에 기초한 프로그래밍 언어"였습니다. 추가 된 paragarph와 함께 이론의 구현 1. Coq 의 이론 유형 2. SETL의 이론 설정 3. Haskell의 범주 이론 …

30 programming-languages  history  type-theory  category-theory 

영어 전공에게 고전 컴퓨터 과학과 "MS-Windows를 사용하는 것이 좋다"의 차이점을 설명하는 좋은 은유 또는 예는 무엇입니까 컴퓨터 과학 컴퓨터 프로그래밍 컴퓨터 사용 크게 다른 3 가지. 대부분의 사람들은 컴퓨터 과학이 무엇인지 전혀 모른다. 그들은 단지 "컴퓨터"라는 단어를 봅니다. 따라서 "그는 컴퓨터 과학 전공입니다"는 "내 프린터를 연결할 수 있습니다"로 해석 될 …

30 terminology  education 

왼쪽 또는 오른쪽 파생 트리가 두 개 이상 있으면 문법이 모호하지만 모든 사람이 제거하기를 원하는 이유를 이해할 수 없습니다.

30 compilers  ambiguity 

라이스 장관은 정리의 유일한라고 우리에게 이야기 의미 의 특성 튜링 기계 우리가 결정할 수 있음 (기계에 의해 계산 된 기능 즉, 속성) (즉, 항상 진실하고 항상 false) 두 사소한 특성이 있습니다. 그러나 결정 할 수없는 Turing Machines의 다른 속성이 있습니다. 예를 들어, 주어진 튜링 머신에 도달 할 수없는 상태가있는 특성은 …

30 computability  undecidability 

직관적으로 "균형 트리"는 각 노드의 왼쪽 및 오른쪽 하위 트리에 "거의 동일한"수의 노드가 있어야하는 트리 여야합니다. 물론, 우리가 적-검은 나무 * (끝의 정의 참조)에 대해 이야기 할 때, 우리는 실제로 그것들이 높이 균형이 잡히고 그런 의미에서 균형 이 잡힌다 는 것을 의미합니다. 위의 직관을 다음과 같이 공식화한다고 가정하십시오. 정의 : …

30 data-structures  binary-trees  search-trees 

모든 LTL 공식이 Büchi -automaton 으로 표현 될 수 있다는 것은 알려진 사실입니다 . 그러나 Büchi automata는 더욱 강력하고 표현력있는 모델입니다. 나는 Büchi automata가 선형 시간 μ - calculus와 같습니다 (즉, 일반적인 고정 소수점을 가진 μ- calculus와 하나의 시간 연산자 : X )와 같습니다.ωω\omegaμμ\muμμ\muXX\mathbf{X} 이 동등성의 알고리즘 (구조적 증거)이 있습니까?

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

사전을 구현할 때 ( '고객 ID별로 고객 데이터를 조회하고 싶습니다') 사용되는 일반적인 데이터 구조는 해시 테이블과 이진 검색 트리입니다. 예를 들어 C ++ STL 라이브러리는 (균형) 이진 검색 트리를 사용하여 사전을 구현하고 (맵이라고 함) .NET 프레임 워크는 해시 테이블을 사용합니다. 이러한 데이터 구조의 장단점은 무엇입니까? 특정 상황에서 합리적인 다른 옵션이 …

30 algorithms  data-structures  binary-trees  hash-tables