(p.6 아래에서 두 번째 문단 첫 번째 줄에서)

인간 지놈 프로젝트

==>

인간 게놈 프로젝트

(p.7 세 번째 문단의 마지막 줄에서)

선형 프로그래밍을을

==>

선형 프로그래밍을 

(7페이지 마지막 세 번째 문단 마지막 줄)

선형 계획법
==>
선형 프로그래밍

(p.8 두 번째 문단의 아래에서 세 번째 줄)

부분 덮개의

==>

볼록 덮개의

(p.8 두 번째 문단의 아래에서 두 번째 줄)

부분 덮개의

==>

볼록 덮개의

(p.8 '기법' 절의 첫 번째 문장에서)

"요리책" 

==>

"해설서" 

(8페이지 두번째 문단 마지막 세 줄)

부분 덮개
==>
볼록 덮개

(16p 마지막 문단 마지막 줄)

적절한 위치로 정렬된다.

==>

내부정렬 된다.

(p.16 마지막 줄에서)

입력 숫자는 적절한 위치로 정렬된다. 

==>

입력받은 숫자는 '제자리 정렬' 된다.


'제자리 정렬'이란? 
원소들의 갯수에 비해서 충분히 무시할 만한 저장 공간만을 더 사용하는 정렬 알고리즘을 의미입니다.
sorted in place는 '제자리 정렬'로 번역되고 있습니다.

(16p 마지막 문단 마지막 줄)

내부 정렬된다.
==>
적절한 위치로 정렬된다.

(p.17 첫 번째 줄에서)

정렬 도중에 그 배열 외의 장소에 기억되는 숫자의 개수는 겨우 상수 개다.

==>

정렬이 진행되고 있는 동안 배열 외의 장소에 저장되는 숫자의 개수는 기껏해야 몇 개 정도다.

알림) '겨우 상수 개다'가 원문에 맞지만 부드럽게 의역하였습니다.

(p.18 두 번째 문단의 ‘유지조건’ 설명에서)

그 다음 반복이 시작되기 전까지 계속 참이어야 한다.

==>

다음 반복의 시작 전에는 참이다.

(p.22 네 번째 문단의 첫 번째 문장에서)

부동 소수

==>

부동소수점

알림) 위키백과사전과 네이트 사전에 따르면 부동소수점은 'floating-point'라고 되어 있습니다.

(24p 밑의 소스)

비용과 시간 으로 분석되어 있는걸

비용과 횟수 로 바꾸어야 합니다.

25p의 설명을 볼때 "비용과 실행횟수를 고려해서 살펴본다" 라는 말과 "알고리즘 수행시간은 각명령문의 수행시간 (비용과 횟수의곱)의 합이다" 라는 말을 볼때 times를 횟수가 아닌 시간으로 오역하신듯 합니다.
==>
확인중(2006년 10월 24일)

(p.24 INSERTION-SORT의 의사코드 첫 번째 줄에서)

시간

==>

횟수

(p.26 아래에서 두 번째 문단의 첫 번째 문장)

상한이 된다. 

==>

상계이다. 

(p.37 각주 8에서)

상한을 

==>

상계를 

(p.37 각주 8에서)

하한을

==>

하계를 

(p54 (3.3)식)

p54 (3.3)식
< ≤ ≤ <

이라고 되어 있는데..

< ≤ < ≤

아닌지요.. n.xx를 올림하면 n+1이 되니...

(확인중: 2007년 2월 22일)

("다항식" 첫 번째 문단)

n의 d차 다항식은 음과 같은 함수 p(n)이다.
-->
n의 d차 다항식은 다음과 같은 함수 p(n)이다.

((p113) 마지막 문단 첫째줄 끝부분)

이는 이 사건을 통해 가능하다.
==>
이는 여사건을 통해 가능하다.

(p.349 밑에서 두 번째 줄)

x_i을,
->
x_i를,

((p352) 15.2절 3번째 문단 마지막 줄)

다서 가지
==>
다섯 가지

((p670) 5번째 문단 3번째줄)

다익스르라
==>
다익스트라

((p 694) 25-2 첫번째 문단 셋째줄)

최소 힙(종합문제 ?? 참고)
==>
최소 힙(종합문제 6-2 참고)

(p.698 그림)

위니펙 원박스안에 t가 들어가야 함.
t가 인쇄 실수로 양쪽 그림 모두 가운데에 들어가 있음.
==>
2006년 10월 11일 확인 완료

(세째 줄)

푸시-재명영 
-> 푸시-재명명

((p919) 종합문제 30-6의 a, d)

생성자
==>
생성원

-. a의 마지막 줄 : 생성자 -> 생성원
-. d의 마지막 줄 : 종합문제 30-6의 a, d

((p920-921) 전체 본문)

커다란 소수, 커다란 정수
==>
큰 소수, 큰 정수

(p920)
-. 첫번째 문단에 3개 : 커다란 소수 -> 큰 소수
-. 두번째 문단 마지막줄 : 커다란 정수 -> 큰 정수

(p921)
-. 첫번째 문단 첫째줄 : 커다란 정수 -> 큰 정수

(923p 첫째줄, 두째줄이하 모두)

동치계층
==>
동치류(equivalence class)

* equivalence class를 동치계층이라 하지 않습니다. 정수론 같은 책 참조 요망

((p925) 마지막 단락)

상대적인 소수

두 개의 양수 a, b에 대해 이들의 유일한 공약수가 1, 즉 gcd(a,b)=1일 때 a와 b를 
상대적인 소수(relatively prime)라고 부른다. 예를 들어, 8과 15는 약수가 1, 2, 4, 8이고, 
15는 약수가 1, 3, 5, 15이기 때문에 상대적인 소수다. 다음의 정리에서 두 개의 정수가 
정수 p에서 상대적인 소수이면 이들의 곱도 p에서 상대적인 소수임을 보인다.
==>
상대적인 소수 ->서로 소

서로 소
두 개의 양수 a, b에 대해 이들의 유일한 공약수가 1, 즉 gcd(a,b)=1일 때 a와 b를 
서로 소(relatively prime)라고 부른다. 예를 들어, 8과 15는 약수가 1, 2, 4, 8이고, 
15는 약수가 1, 3, 5, 15이기 때문에 서로 소다. 다음의 정리에서 두 개의 정수가 
정수 p에서 서로 소이면 이들의 곱도 p에서 서로 소임을 보인다.

((p926) \'유일한 인수분해\' 바로 위)

쌍에 대한 상대적인 소수
==>
쌍에 대한 서로 소

((p936-939) 용어 수정)

동치 계층
==>
동치류

(p936) 
-. 그림 31.2 : 동치 계층은 -> 동치류는
-. 뒤에서 두번째 문단 : 동치 계층 -> 동치류
-. 마지막 문단에서 2개 : 동치 계층을 -> 동치류를

(p937) 
-. 세번째 문단 셋째줄 : 동치 계층 -> 동치류

(p939) 
-. 두번째 문단 첫째줄 : 동치 계층이 -> 동치류가

(940p 서브군)

서브군
==>
부분군(Subgroup)

((p941) 일곱째줄)

생성자(generates)
==>
생성원(generator)

(941p 밑에서 5번째줄)

위수(order)
==>
위수(order)


* 정수론 등의 많은 서적에서 degree를 차수로 번역 order을 위수로 사용하고 있습니다. 
   수학자들에게 지금과 같은 용어를 썼을 경우 이해 못할 가능이 많습니다.

((p953) 정리 31.32 윗문단 둘째줄)

생성자(generator)라고
==>
생성원(generator)이라고

((p963) 두번째, 세번째 문단)

커다란 정수, 커다란 소수
생성자
==>
큰 정수, 큰 소수
생성원

(p963)
-. 두번째 문단에 4개 : 커다란 정수 -> 큰 정수
-. 세번째 문단 네째줄 : 커다란 소수 -> 큰 소수
-. 두번째 문단 세째줄 : 생성자와 -> 생성원과

((p965-967) 두번째 세번째 문단)

커다란 정수, 커다란 홀수, 커다란 소수, 램덤
==>
큰 정수, 큰 홀수, 큰 소수

(p965)
-. 두번째 문단 첫째줄 : 커다란 소수 -> 큰 소수
-. 세번째 문단 첫째, 둘째줄 : 커다란 임의의 소수 -> 임의의 큰 소수
-. 마지막 문단 둘째줄 : 램덤하게 -> 임의로

(p966)
-. 첫번째 문단 첫째줄 : 커다란 정수 -> 큰 홀수

(p967)
-. 마지막 문단 여덟째줄 : 커다란 소수 -> 큰 소수

((972) 마지막 문단 넷째줄)

생성자 g
==>
생성원 g

((p973) 두번째 문단 첫째줄)

서로 상대적인 소수인
==>
서로 소인

((p974) 마지막 문단 둘째줄)

커다란 정수, 커다란 소수
==>
큰 정수, 큰 소수

((p980) 세번째 문단 세째줄)

커다란 수
==>
큰 수

((p1,030) 33.3절 두 번째 단락 5번째 줄)

O(nh)// 인데
==>
O(nh)인데

(p 1031 다섯번째 문단 네번째 줄 ~ 다섯번째 줄)

이러한 두 점은 볼록 껍질에 있는 점이어야 하는 [곳]을 증명할 것이다.
==>
이러한 두 점은 볼록 껍질을 이루는 점들 중에 존재한다는 사실을 증명할 것이다.

((p1,041) 두번째 문단 둘째 줄)

만약, |P| > 3이면, 위에 제시한 억지 기법을 사용하는데,
==>
만약, |P|≤ 3이면, 앞에서 제시한 맹목적인 방법으로

((p1,046) 33-3 유령과 유령사얀꾼)

33-3 유령과 유령 사냥꾼 문제 전체
==>
33-3 유령과 유령사냥꾼
n명의 유령과 싸우고 있는 n명의 유령사냥꾼 그룹이 있다. 전자총으로 무장한 유령사냥꾼들이 유령을 향해 전자총을 발사한다. 직선으로 날아간 전자가 유령을 맞추면 싸움이 끝난다. 유령사냥꾼은 다음과 같은 작전을 세웠다. 각 유령과 짝을 지어 n개의 유령사냥꾼-유령 쌍을 만든 다음, 모든 유령사냥꾼이 짝이 된 유령을 향해 동시에 전자총을 발사한다. 그런데 전자끼리 교차하면 매우 위험하므로 유령사냥꾼들은 전자가 교차하지 않도록 짝을 지어야 한다. 

각 유령사냥꾼과 유령은 평면에서 고정된 지점에 위치하고, 하나의 선에는 세 개의 지점이 존재하지 않다고 가정한다.

a. 같은 방향에 유령사냥꾼 수와 유령의 수가 같을 때 유령사냥꾼 한명과 유령 한명을 통과하는 선이 하나 존재함을 증명하라. 그리고 이러한 선을 O(nlogn) 시간에 찾을 수 있는 방법을 제시하라.

b. 서로 교차하는 전자 선이 없도록 유령사냥꾼과 유령을 
O(n^2lgn) 시간에 짝을 짓는 알고리즘을 제시하라.

(p. 1148, A.1 첫 번째 문단)

a1, a2, ...와 같은 급수가 주어졌을 때
-->
a1, a2, ...와 같은 수열이 주어졌을 때

(p. 1149,)

임의의 유한한 급수 a1, a2, ..., an과
-->
임의의 유한한 수열 a1, a2, ..., an과

(p. 1154, 첫 번째 문단)

예를 들어, 기학학적 급수
-->
예를 들어, 기하 급수

(p. 1156,)

합을 구하는 것을 나누어 더 좋은 하한 경계를 얻을 수 있다.
-->
덧셈(과정)을 분할하여 더 좋은 하한 경계를 얻을 수 있다.

(p. 1156, 마지막 문단)

알고리즘 분석에서 발생한는
-->
알고리즘 분석에서 발생하는

(p. 1156, 마지막 문단)

합을 자주 나누고 초기항의 상수를 무시할 수 있다.
-->
때때로 합을 분할하고 초기항의 상수를 무시할 수 있다.

(p. 1157, 아래에서 세번째 문단)

합을 분할 기법을 이용해 더 어려운 조건에서의 점근적인 경계를 구하는 데 사용할 수 있다.
-->
합을 분할하는 기법을 이용해 더 어려운 조건에서 점근적인 경계를 구할 수 있다.

((p1,168-1,175) 용어 수정)

동치 계층
==>
동치류

(p1,168)
-. 마지막 문단에서 2개 : 동치 계층은 -> 동치류는


(p1,169)
-. 첫번째 문단에서 2개 : 동치 계층 -> 동치류, 동치 계층을 -> 동치류를
-. 두번째 문단에서 5개 : 동치 계층이 -> 동치류가, 동치 계층은 -> 동치류는, 동치 계층 -> 동치류
-. 세번째 문단에서 뒤에서 둘째줄 : 동치 계층 -> 동치류

((p1,175) 마지막 문단 둘째줄)

동치 계층이
==>
동치류가

(p.1175 세 번째 문단의 마지막에서 두 번째 문장 앞에)

A path is simple if all vertices in the path are distinct.

==>

만약 경로 위의 모든 정점들이 겹치지 않는다면 경로는 단순하다.

((p1,250) 상대적인 소수, 생성자)

상대적인 소수
생성자
==>
서로 소
생성원

((p1,253) 쌍에 의한 상대적인 소수)

쌍에 의한 상대적인 소수
==>
쌍에 의한 서로 소

((1,275) Zn(동치 계층, 모듈로 n))

Zn(동치 계층, 모듈로 n)
==>
Zn(동치류, 모듈로 n)