진법
- 자릿값
- 2진수 2k, 8진수 8k, 16진수 16k
- 10진수로
- Σ dk·bk
- 10진수에서
- 기수로 나누고, 나머지를 아래에서 위로 읽음
- 16진수 ↔ 2진수
- 16진수 한 자리 = 4비트
- 2의 보수
- 비트를 반전하고 1을 더함
공식 모음, 모든 주제의 핵심 풀이 단계, 연습 문제 20개가 들어 있으며 전체 풀이는 맨 뒤에 있습니다.
8비트 2의 보수로 −17을 저장하도록 비트를 설정하세요. 부호 없는 수로 읽으면 패턴의 값 U은 얼마입니까?
0110 0101 << 1의 8비트 결과가 되도록 비트를 설정하세요. 결과의 값 R은 십진수로 얼마입니까?
r ∨ (p ∧ q)와(과) 논리적으로 동치인 식은 어느 것인가? 클릭하세요.
전제 r → p; ¬r과(와) 결론 ¬p을(를) 가진 논증은 타당하지 않다. 반례가 되는 진리표의 행을 클릭하세요.
카르노 맵으로 F(A, B, C) = Σm(0, 4, 5, 6)의 최소 곱의 합(SOP) 형태를 구하시오. 전체 리터럴은 몇 개(L)인가(프라임이 붙은 변수도 리터럴 하나로 센다)?
d가 무정의항을 나타낼 때 F(A, B, C, D) = Σm(9, 10, 12, 13) + d(3, 14, 15)의 최소 SOP 형태를 구하시오. 리터럴은 몇 개(L)인가?
82을(를) 법으로 하는 63의 역원, 곧 0 < x < 82이고 63·x ≡ 1 (mod 82)인 수 x을(를) 구하시오.
RSA 키가 소수 p = 19, q = 43과 공개 지수 e = 17를 쓴다. 개인 지수 d(0 < d < φ(n))을(를) 구하시오.
상향식 표로 n번째 피보나치 수를 계산하는 시간 복잡도는 무엇입니까?
마지막 두 값만 유지하는 루프로 n번째 피보나치 수를 계산할 때 시간과 공간 비용은 얼마입니까?
깊이 우선 탐색(반복 버전)에서 사용하는 자료 구조는 무엇입니까?
랭크에 의한 합집합(union by rank)이나 경로 압축 없이, 원소가 n개인 union-find 구조에서 find 한 번의 최악의 경우 비용은 얼마입니까?
트리에 차수가 3인 정점 3개, 차수가 4인 정점 4개이(가) 있고 나머지 정점은 모두 잎(차수 1)이다. 잎은 몇 개(L)인가?
가중 그래프의 최소 신장 트리의 총 가중치 W을(를) 구하시오.
한 테이블이 모든 주문 행에 고객의 주소를 저장합니다. 한 행의 주소는 바꾸고 다른 행은 바꾸지 않는 것은 무엇의 예입니까?
보이스-코드 정규형(BCNF)은 모든 비자명 함수 종속 X → Y에 대해 무엇을 요구합니까?
ARP는 무엇을 합니까?
TCP 위의 HTTP/2에서 HOL 차단(head-of-line blocking)이 발생하는 이유는 무엇입니까?
어느 부서가 한 서브넷에 호스트 주소 531개가 필요합니다. 충분한 가장 긴 접두사 길이 p(가장 작은 서브넷)는 얼마일까요?
어떤 호스트의 주소가 10.20.144.176/25입니다. 그 네트워크 주소의 네 번째 옥텟 x는 얼마일까요?
답: U = 239
비트 설정: 각 비트는 2의 거듭제곱(128, 64, …, 1)의 값을 가집니다. 16진수 한 자리는 정확히 네 비트이고, 8비트 2의 보수에서 맨 왼쪽 비트의 값은 −128입니다. 비트 연산은 각 비트 자리를 따로 처리합니다.
답: R = 202
비트 설정: 각 비트는 2의 거듭제곱(128, 64, …, 1)의 값을 가집니다. 16진수 한 자리는 정확히 네 비트이고, 8비트 2의 보수에서 맨 왼쪽 비트의 값은 −128입니다. 비트 연산은 각 비트 자리를 따로 처리합니다.
1만큼 왼쪽으로 시프트하면 모든 비트가 1칸 왼쪽으로 이동합니다. 왼쪽 끝에서 밀려난 비트는 사라지고 오른쪽에 0이 들어옵니다.
답: (r ∨ p) ∧ (r ∨ q)
논리적 동치: 두 식은 진리표의 모든 행에서 값이 같으면 동치(≡)입니다. 항진명제는 모든 행에서 1이고, 모순은 모든 행에서 0이며, 우연명제는 둘 다 아닙니다. 유용한 법칙: 드모르간 법칙 ¬(a ∧ b) ≡ ¬a ∨ ¬b와 ¬(a ∨ b) ≡ ¬a ∧ ¬b, a → b ≡ ¬a ∨ b ≡ ¬b → ¬a(대우), ¬(a → b) ≡ a ∧ ¬b, 그리고 분배법칙 a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
막대 뒤의 열은 보기를 표시된 순서대로 나타낸 것입니다.
답: p = 1, r = 0
한정자와 논증: ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x). 부정을 안쪽으로 옮기고, 지나가는 모든 한정자를 바꾸고, ¬(a → b) ≡ a ∧ ¬b 같은 명제 논리 법칙으로 안쪽 식을 부정하세요. 모든 전제가 1인 모든 행에서 결론이 1이면 논증이 타당합니다. 전제는 참인데 결론이 거짓인 행이 하나라도 있으면 그것이 반례이며 그 논증은 타당하지 않음을 보여 줍니다.
이런 형식의 논증은 타당한 규칙처럼 보이지만, 행 하나만으로 그렇지 않음을 보일 수 있습니다.
답: L = 6
카르노 맵: 칸은 그레이 코드(00, 01, 11, 10) 순서로 배열되므로, 가장자리를 넘어 이웃한 칸을 포함해 이웃한 칸은 정확히 한 변수만 다릅니다. 모든 1이 덮일 때까지 1들을 1, 2, 4, 8, 16칸의 직사각형으로, 가능한 한 크고 가능한 한 적게 묶으세요. 각 그룹은 그 안에서 일정하게 유지되는 변수로 이루어진 곱항 하나입니다. 2ᵏ칸의 그룹은 변수 k개를 잃습니다. 무정의항(X)은 그룹을 키우는 데 쓸 수 있지만 반드시 덮을 필요는 없습니다. 0들을 묶으면 최소 POS 형태가 나옵니다.
모든 그룹은 2ᵏ칸의 직사각형입니다. 가장자리 칸은 반대쪽 가장자리의 칸과 이웃합니다.
답: L = 8
카르노 맵: 칸은 그레이 코드(00, 01, 11, 10) 순서로 배열되므로, 가장자리를 넘어 이웃한 칸을 포함해 이웃한 칸은 정확히 한 변수만 다릅니다. 모든 1이 덮일 때까지 1들을 1, 2, 4, 8, 16칸의 직사각형으로, 가능한 한 크고 가능한 한 적게 묶으세요. 각 그룹은 그 안에서 일정하게 유지되는 변수로 이루어진 곱항 하나입니다. 2ᵏ칸의 그룹은 변수 k개를 잃습니다. 무정의항(X)은 그룹을 키우는 데 쓸 수 있지만 반드시 덮을 필요는 없습니다. 0들을 묶으면 최소 POS 형태가 나옵니다.
1과 X로 만들 수 있는 가장 큰 그룹들.
답: 63−1 mod 82 = 69
역원과 합동식: a는 gcd(a, n) = 1일 때, 그리고 그때에만 n을 법으로 하는 역원을 가집니다. 확장 유클리드 알고리즘은 1 = s·n + t·a로 쓰고, 그러면 a⁻¹ ≡ t (mod n)입니다. gcd(a, n) = 1인 합동식 a·x ≡ b (mod n)의 해는 x ≡ a⁻¹·b입니다. 법이 서로소인 두 합동식 x ≡ r₁ (mod m₁)과 x ≡ r₂ (mod m₂)는 m₁·m₂를 법으로 해가 하나 있습니다(중국인의 나머지 정리). 오일러 φ(n)은 1부터 n까지의 수 중 n과 서로소인 수의 개수입니다: φ(n) = n·∏(1 − 1/p).
각 나머지 r은 r ≡ t·63 (mod 82)로 쓸 수 있습니다.
답: d = 89
모듈러 거듭제곱과 RSA: aᵏ mod n은 반복 제곱법으로 계산합니다. k를 이진수로 쓰고, 제곱하고, 단계마다 나머지를 취하고, 비트가 1인 거듭제곱들을 곱하세요. 페르마: a를 나누지 않는 소수 p에 대해 aᵖ⁻¹ ≡ 1 (mod p)이므로 지수를 p − 1을 법으로 줄일 수 있습니다. RSA: 소수 p와 q를 고르고, n = p·q, φ(n) = (p − 1)(q − 1)입니다. 공개 지수 e는 φ(n)과 서로소이고 개인 지수는 d = e⁻¹ mod φ(n)입니다. c = mᵉ mod n으로 암호화하고 m = cᵈ mod n으로 복호화합니다.
답: C · O(n)
0부터 n까지 표를 채우는 데 항목당 덧셈 한 번이 필요하므로 작업량은 지수가 아니라 선형입니다.
답: A · O(n) 시간과 O(1) 공간
각 단계에는 이전 두 값만 필요하므로 상향식 방법의 표를 변수 두 개로 바꿀 수 있습니다.
답: B · 스택
DFS는 가능한 한 깊이 탐색하므로 자연스럽게 스택(또는 재귀의 호출 스택)을 사용하고, BFS는 큐를 사용합니다.
답: C · O(n)
단순한 합집합은 트리를 긴 사슬로 연결할 수 있으므로 find가 부모 포인터 n − 1개를 따라가야 할 수 있습니다. 두 휴리스틱을 쓰면 거의 상수에 가까워집니다.
답: L = 13
오일러, 해밀턴, 트리: 연결 그래프는 모든 정점의 차수가 짝수이면 오일러 회로(모든 간선을 한 번씩 지나 출발점으로 돌아옴)를 가지고, 차수가 홀수인 정점이 정확히 두 개이면 회로가 아닌 오일러 경로를 가집니다. 이 경로는 한 홀수 정점에서 다른 홀수 정점까지 이어집니다. 해밀턴 회로는 모든 정점을 한 번씩 방문하며, Kn에는 (n − 1)!/2개가 있습니다. 정점이 n개인 트리는 간선이 n − 1개이고, 간선이 m개인 연결 그래프는 m − n + 1개의 간선을 제거한 뒤에도 신장 트리를 유지합니다.
지름길: 차수 d ≥ 3인 정점에 대해 L = 2 + Σ (d − 2).
답: W = 30
최단 경로와 신장 트리: 다익스트라 알고리즘은 매 단계에서 정점 하나를 확정합니다. 임시 거리가 가장 작은 미확정 정점입니다. 그 거리는 최종 값이 되고, 모든 이웃 v는 d(v) = min(d(v), d(u) + w(u, v))로 갱신됩니다. 크루스칼 알고리즘은 간선을 가벼운 것부터 골라 사이클을 만드는 간선을 건너뛰면서 최소 신장 트리를 만들고, 프림 알고리즘은 시작 정점에서 트리 하나를 키우며 트리에서 뻗어 나가는 가장 가벼운 간선을 항상 추가합니다. 정점이 n개인 신장 트리는 간선이 n − 1개입니다.
답: B · 갱신 이상
중복 저장은 하나의 변경을 여러 행에서 해야 한다는 뜻이며, 일부를 빠뜨리면 데이터가 불일치하게 됩니다. 정규화가 이를 막습니다.
답: B · X가 슈퍼키여야 함
BCNF는 모든 결정자가 후보 키(슈퍼키)일 것을 요구합니다. 3NF는 Y가 후보 키의 일부인 경우 예외를 허용합니다.
답: B · 로컬 네트워크에서 IP 주소에 해당하는 MAC 주소를 찾는다
ARP는 "이 IP를 가진 장치는 누구입니까?"라고 브로드캐스트하고, 해당 장치가 자신의 MAC 주소로 응답하므로 프레임을 로컬에서 전달할 수 있습니다.
답: B · 손실된 TCP 세그먼트 하나가 재전송될 때까지 다중화된 모든 스트림이 지연되기 때문
TCP는 바이트를 순서대로 전달하므로 한 번의 손실이 해당 연결의 모든 스트림을 멈추게 합니다. QUIC(HTTP/3)는 UDP 위에서 스트림을 독립적으로 처리합니다.
답: p = 22
IPv4 서브네팅: 주소는 32비트입니다. 접두사 /p는 앞의 몇 비트가 네트워크를 나타내는지를 말하고, 나머지 32 − p비트로 호스트 번호를 매깁니다. 서브넷에는 주소가 2³²⁻ᵖ개 있지만 첫 주소(네트워크 주소)와 마지막 주소(브로드캐스트 주소)는 호스트에 줄 수 없어 호스트 2³²⁻ᵖ − 2개가 들어갑니다. 예외: /31(점대점 링크, RFC 3021)은 주소 2개를 모두 호스트에 쓰고, /32는 단일 주소(단일 호스트 또는 루프백)입니다.
답: x = 128
IPv4 서브네팅: 주소는 32비트입니다. 접두사 /p는 앞의 몇 비트가 네트워크를 나타내는지를 말하고, 나머지 32 − p비트로 호스트 번호를 매깁니다. 서브넷에는 주소가 2³²⁻ᵖ개 있지만 첫 주소(네트워크 주소)와 마지막 주소(브로드캐스트 주소)는 호스트에 줄 수 없어 호스트 2³²⁻ᵖ − 2개가 들어갑니다. 예외: /31(점대점 링크, RFC 3021)은 주소 2개를 모두 호스트에 쓰고, /32는 단일 주소(단일 호스트 또는 루프백)입니다.
ExamProblems · examproblems.com/courses/computer-science-fundamentals