컴퓨터 과학

엔엔n 이웃에있는 모든 항목을 비교하여 분류로 -item 목록을 확인할 수 있습니다. 내 응용 프로그램에서 모든 것을 비교할 수는 없습니다. 항목을 이웃과 . 대신 비교가 때로는 먼 요소 사이에있을 것입니다. 목록에 3 개 이상의 항목이 포함되어 있고 비교가 유일하게 지원되는 작업 인 경우, 목록이 정렬되었지만 적어도 하나의 인접 이웃이 누락되었음을 나타내는 …

14 sorting 

CPU는 사람들이 암묵적으로 또는 명시 적으로 작성할 소프트웨어를 염두에두고 설계되었습니다. 명령어 세트 아키텍처의 디자인을 살펴보면 각 명령어가 명령형 스타일 명령을 인코딩한다는 의미에서 매우 "필수적"인 것 같습니다. 또한 현재의 명령어 세트 아키텍처는 프로그래머가 생성하는 코드 유형에 따라 부분적으로 진화 한 것으로 보입니다. 함수형 프로그래밍 스타일로 작성된 프로그램 만 실행한다는 것을 알고 …

14 computer-architecture  functional-programming 

값의 캐릭터 감안할 때 로그베이스, 섀넌 엔트로피를 에 관해서 . 내가 이해 한 바에 따르면, 기초 에서 반올림 된 Shannon Entropy는 값 중 하나를 나타내는 이진수 최소 비트 수입니다.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 이 위키 백과 페이지의 소개에서 가져온 것입니다. https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 그렇다면 어떻게 3 개의 값을 1 비트로 표현할 수 있습니까? AAA 는 111 …

14 information-theory  mathematical-foundations  entropy  binary 

GATE 준비를위한 부품 테스트에서 질문이있었습니다. f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) "모든 정수에 대해 종료됩니다"라고 대답했습니다. 일부 음의 정수에 대해서도 스택 오버플로 오류 로 종료되기 때문입니다 . 그러나 내 친구는 이것이 코드가 아니라 의사 코드이기 때문에 일부 음수의 경우 무한 재귀가 될 것이라는 의견에 …

14 algorithms  recursion  pseudocode 

문제가 있습니다. 프로그램이 존재하지 않는 실수가 무한정 길게 실행되고 해당 숫자의 10 진수를 씁니다. 나는 그것을 Halting 문제로 줄여서 해결할 수 있다고 생각하지만 그렇게하는 방법을 모른다. 추가 연습을 위해 비슷한 문제에 대한 링크를 부탁드립니다.

14 algorithms  reductions  halting-problem 

물리적 주소 비트가 40 개인 시스템을 사용한다고 가정 해 봅시다. 총 물리적 주소 공간 (바이트 주소 지정 가능 메모리로 가정)은 바이트 또는 1TiB입니다. 또한 가상 주소의 길이가 48 비트 인 경우 실제 메모리의 위치보다 가상 메모리에 사용 가능한 주소가 더 많습니다.2402402^{40} "과도한"주소는 하드 디스크 위치도 참조 할 수 있기 때문에 …

14 memory-management  virtual-memory  memory-access 

FORTH 및 Cat 과 같은 스택 기반 프로그래밍 언어에 대해 읽었 으며 그 특성상 패러다임에 관계없이 한 번에 하나의 작업 만 실행할 수있는 것 같습니다 (FORTH는 필수이지만 Cat은 기능적임). 명령형 언어는 스택을 수정하고 Joy 와 같은 순전히 기능적인 언어 는 새 스택을 반환하지만 요점은 한 번에 하나의 스택 만 사용된다는 …

14 concurrency  stacks  evaluation-strategies 

람다 미적분에서 알려지지 않은 함수에 대한 함수 방정식을 푸는 기술이 있습니까? ID 함수를 확장 적으로 정의했다고 가정 해보십시오. Ix=xIx=xI x = x (즉, 그 함수의 예상되는 동작을위한 식을 작성하여, 임) 지금은 그것을 해결하고자 그 함수의 식을 내포 얻을 일부 대수적 변환을 수행하여III I=λx.xI=λx.xI = \lambda x.x 그것은 함수가 정확히 무엇을 …

14 lambda-calculus 

양자 계산이 고전적인 계산보다 NP 완전한 문제를 해결하는 데 더 나쁘지 않다는 것이 입증 되었습니까?

14 np-complete  quantum-computing 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 2 년 전 . 일반적으로 수학자이거나 수학 배경이있는 컴퓨터 프로그래머는 일반적으로 알고리즘과 컴퓨터 프로그래밍 측면에서 매우 우수합니다. 내가 말하지 않은 것 …

14 mathematical-foundations 

호출의 직접 결과를 반환하는 함수를 반복 루프로 다시 작성할 수있는 기본 꼬리 재귀 제거 아이디어에 익숙합니다 . foo(...): # ... return foo(...) 또한 특수한 경우 재귀 호출이에 대한 호출로 래핑 된 경우에도 함수를 다시 작성할 수 있음을 이해합니다 cons. foo(...): # ... return (..., foo(...)) 어떤 속성 cons이 이것을 허용합니까? …

14 compilers  recursion  program-optimization  tail-recursion 

Cormen et al.의 알고리즘 소개 , 섹션 15.3 동적 프로그래밍 요소는 다음과 같이 메모를 설명합니다. 메모 된 재귀 알고리즘은 각 하위 문제에 대한 솔루션에 대한 테이블의 항목을 유지합니다. 각 테이블 항목에는 처음에 항목이 아직 채워지지 않았 음을 나타내는 특수 값이 포함되어 있습니다. 재귀 알고리즘이 전개 될 때 하위 문제가 처음 …

14 dynamic-programming  search-trees  dictionaries  memoization 

나는이 [재미있는] 질문을 염두에두고있다. 왜되는 비 결정적 유한 오토 마톤 라는 비 결정적 우리는 입력에 대해 전환을 정의하면서. 글쎄, 다중 및 엡실론 전환 이 있지만 , 그것들은 기계가 그러한 전환에 결정적임을 의미합니다. 그것은 결정적이라는 것을 의미합니다.

14 finite-automata  nondeterminism 

나는 보통 빈 문자열 (빈 단어 또는 null 문자열)에 기호를 사용합니다 . 그러나 일부 사람들 은 ε 대신 λ 를 사용 한다는 것을 알고 있습니다 .εε\varepsilonλλ\lambdaεε\varepsilon 은 "빈"이라는 단어에서 파생 된 것 같습니다 . 그러나 나는 λ 의 기원이 무엇인지 모른다 .εε\varepsilonλλ\lambda 오토마타 이론에는 오토마타의 엡실론 전이가 있으며 람다 전이라고도합니다. …

14 formal-languages  automata  reference-request  notation  history 

프로그래밍 언어를 정의하기위한 운영 의미론 (작은 단계와 큰 단계)에 익숙합니다. 나는 의미 론적 의미론을 배우는 데 관심이 있지만 노력이 가치가 있는지 확실하지 않습니다. 다른 관점에서 동일한 자료를 배우고 있습니까, 아니면 의미 의미론을 이해해야 만 얻을 수있는 통찰력이 있습니까?

14 semantics  operational-semantics  denotational-semantics