정렬 알고리즘 개요 데이터를 특정한 조건에 따라 일정한 순서가 되도록 나열하는 것을 정렬이라고 합니다. 정렬 알고리즘은 프로그래밍에 있어 가장 기초적이며 또한 매우 중요한 알고리즘입니다. 정렬 알고리즘은 자료를 탐색함에 있어 필수적입니다. 정렬 알고리즘을 사용할 때, 정렬시켜야 하는 대상을 "레코드(Record)"라고 부르고 레코드는 "필드(Field)"라고 하는 단위로 나누어지니다. 이때 레코드와 레코드를 식별해주는 필드를 "키(Key)"라고 부릅니다. 정렬 알고리즘 종류 현재까지 개발된 정렬 알고리즘은 매우 많으나, 모든 경우에서 최적의 성능을 보이는 알고리즘은 존재하지 않습니다. 즉, 상황에 맞는 알고리즘을 택하여 사용해야 합니다. 이때 효율을 평가하는 기준은 정렬을 위해 필요한 "비교 연산의 횟수..

티스토리, 노션, 마크다운, 워드 등 문서에서 수식을 작성할 때나, 실제로 LaTeX을 사용하여 수식 문서를 작성할 때 반드시 알아야 하는 것이 LaTeX 수식 문법입니다. 물론 구글링을 통해서 쉽게 찾을 수 있지만, 매번 구글링하기 귀찮아서 이렇게 블로그에 포스팅을 하기로 했습니다. 자주 쓰는 문법들을 정리할 뿐, 모든 LaTeX의 문법을 정리한 것은 아니기에 필요한 것은 여기에 없는 문법은 그때그때 구글링해서 따로 찾기를 바랍니다. LaTeX 문법 정리 LaTeX: 그리스 알파벳 LaTeX: 괄호 기호 LaTeX: 첨자 기호 LaTeX: 연산 기호 LaTeX: 분수 기호, 루트 기호, 시그마 합, 극한 분수 기호: \frac{분자}{분모} 루트 기호: \sqrt{루트 안의 식} 시그마 합: \sum\..

그래프 개요 오늘 다룰 그래프 자료구조의 대표적이 예시로는 지하철 노선도가 있습니다. 역들이 연결된 지하철 노선도를 그래프로 표현하면 특정 역에서 또 다른 역으로 가는 최단 경로를 계산할 수 있게 됩니다. 선형 리스트나 트리로는 표현하기 어려운 문제들을 그래프를 통하여 쉽게 해결할 수 있습니다. 지금부터 그래프 자료구조에 대해서 알아보도록 하겠습니다. 그래프의 정의와 용어 그래프는 객체 사이의 연결 관계를 표현할 수 있는 자료구조입니다. 그래프는 정점(Vertex)과 간선(Edge)의 집합입니다. 수학적으로는 $G = (V, E)$로 나타낼 수 있습니다. $V(G)$는 그래프 G의 정점들의 집합을 나타내며, $E(G)$는 그래프 G의 간선들의 집합을 나타냅니다. 지금부터 그래프 자료구조 를 이해하기 위하..

심리학은 많은 사람들이 관심을 가지고 흥미를 느끼는 주제 중 하나입니다. 저 또한 심리학에 관심이 많았고 심리학과 전공 과목으로도, 교양 수업으로도 심리학을 공부해보았습니다. 그때 배웠던 심리학은 제가 가졌던 심리학에 대한 환상을 깨뜨렸고 동시에 흥미를 유발하기도 했던 재미난 수업이었습니다. 이 시리즈 포스팅에서 다룰 심리학개론의 학습 목표는 다음과 같습니다. 🎯 심리학개론 학습 목표 🎯 인간의 마음과 행동을 과학적으로 탐구하는 심리학의 여러 분야와 주요 주제를 학습하고 인간관계 및 사회적 문제를 심리학적 관점으로 개념화하여 문제해결능력을 함양한다. 심리학의 이해 심리학은 정신병, 비정상적인 행동에 대한 연구를 진행한다고 생각하지만 맞습니다. 그러나 심리학은 그 뿐 아니라 인간 생활의 모든 분야에 관여하..

우선순위 큐의 정의 우선순위 큐는 "우선 순위" 개념을 큐에 적용한 자료구조입니다. 일반적인 큐는 선입선출의 원리에 따라 "가장 먼저 들어온 데이터가 가장 먼저 나가게 됩니다." 우선순위 큐는 일반적인 큐와 달리, 데이터들이 각각 우선 순위를 가지고 우선 순위가 높은 큐가 가장 먼저 나가게 됩니다. 이러한 우선순위 큐는 여러 방법으로 구현할 수 있는데, 배열, 연결 리스트, 히프 등을 사용하여 구현할 수 있습니다. 그 중, "히프"는 완전 이진 트리로서 우선순위 큐를 구현할 때 가장 많이 사용되는 자료구조입니다. 히프의 정의 히프는 우선순위 큐를 구현하기 위한 자료구조로서, 여러 개의 값들 중에서 가장 큰 값이나 가장 작은 값을 빠르게 찾아내기 위해 만들어진 자료구조입니다. 다음과 같은 트리가 바로 히프..

이번 포스팅은 "트리와 이진 트리"에 대한 전반적인 이해도를 필요로 합니다. 트리와 이진 트리에 대해 잘 알지 못한다면 공부하고 그 후에 이 포스팅을 읽어주세요 여기에서 트리와 이진 트리에 대해서 공부할 수 있습니다. 이진 트리의 순회(Traversal) 이진 트리 또한 데이터를 저장하기 위한 자료구조입니다. 이진 트리를 순회한다는 것은 이진 트리에 있는 모든 노드를 방문하며 노드의 데이터를 목적에 맞게 처리하는 것을 의미합니다. 스택이나 큐, 연결 리스트 같은 선형 자료구조들은 데이터를 순차적으로 순회하는 방법은 하나뿐입니다. 그러나 계층적 구조를 가진 트리의 경우는 여러 가지 순서로 노드가 가진 데이터에 접근할 수 있습니다. 이진 트리를 순회하는 대표적인 방법으로는 "전위 순회", "중위 순회", "..

이번 포스팅에서는 증명에 대해서 다룹니다. 그리고 컴퓨터공학 분야에서 반드시 필요한 프로그램 검증 기법에 대해서도 간단하게 다룹니다. 컴퓨터 공학 분야와 상관없는 사람이라면 프로그램 검증 파트는 건너뛰셔도 좋습니다. 오늘 포스팅은 [이산수학] - Theme 03. 논리적 추론 포스팅에 아주 많이 의존하기에 이 포스팅이 이해가 잘 가지 않는다면 이전 포스팅을 꼭 읽고 공부해주세요. 증명 기술 증명은 어떤 명제가 참인지 거짓인지를 논리적으로 풀어내 밝히는 과정을 말합니다. 그렇기에 앞서 알아본 논리적 추론과 밀접한 연관이 있습니다. 💡 (정의) 증명 가정에서 논리적 법칙을 이용하여 결론을 이끌어내는 것을 말한다. 추론이 참이면 진위 추론이라 하고, 추론이 거짓이면 허위 추론이라고 한다. 증명 문제는 논리 함..