CATEGORY / CS
CS
컴퓨터가 동작하는 원리를 기초부터 파고듭니다
자료구조와 알고리즘, 운영체제, 컴퓨터 구조, 네트워크, 프로그래밍 언어까지. 구현과 실험을 통해 소프트웨어 아래의 원리를 정리합니다.
- Subtopics
- 07
- Published
- 20
Data StructuresAlgorithmsOperating SystemsArchitectureNetwork
분야 소개7개 주제 · 20개 글
자료구조와 알고리즘, 운영체제, 컴퓨터 구조, 네트워크, 프로그래밍 언어까지. 구현과 실험을 통해 소프트웨어 아래의 원리를 정리합니다.
Data StructuresAlgorithmsOperating SystemsArchitectureNetwork
세부 주제7개 보기
Topic filter
전체 20세부 주제로 좁혀보기
7 / 7
최신글/ 20
01
Algorithms · Deep Dive
02BFS: 같은 거리 layer를 큐로 보존하는 Java 최단 경로 탐색
무가중 그래프에서 발견 시점 방문 처리와 FIFO layer 불변식이 최소 hop을 보장하는 이유를 증명하고, primitive queue·거리·부모 배열의 메모리를 분석한다.
2026. 08. 06. · 12분 읽기Algorithms · Deep Dive
03DFS: 명시적 스택으로 재귀 깊이와 Java 메모리를 통제하기
한 갈래를 끝까지 탐색하는 불변식을 명시적 primitive 스택으로 구현하고, 재귀 frame·방문 시점·순회 순서·BFS와의 메모리 차이를 분석한다.
2026. 08. 06. · 11분 읽기Algorithms · Deep Dive
04Java 필수 알고리즘 로드맵: 이름이 아니라 입력 계약으로 고르는 순서
탐색·자료구조·정렬·그래프·최적화 기법을 한 글에 축약하지 않고, 입력 형태와 질의·갱신 비용으로 다음 학습과 구현 선택을 결정하는 로드맵이다.
2026. 08. 06. · 12분 읽기Algorithms · Deep Dive
05그리디: 가장 빨리 끝나는 구간 선택을 교환 논증으로 증명하기
활동 선택 문제에서 종료 시간이 가장 이른 선택이 최적인 이유를 교환 논증으로 증명하고, 동전 반례로 지역 최선의 적용 한계와 Java 정렬·메모리 비용을 확인한다.
2026. 08. 06. · 11분 읽기Algorithms · Deep Dive
다익스트라: 비음수 edge에서 거리 확정을 증명하는 Java 최단 경로
relaxation·최소 우선순위·stale entry가 만드는 거리 불변식을 증명하고, 음수 반례·long overflow·객체 allocation·대안 선택까지 추적한다.
2026. 08. 06. · 14분 읽기