![[알고리즘 Deep Dive #7] 외판원 순회 문제(TSP): 완전탐색에서 비트마스크 DP까지](/assets/img/posts/algorithm/tsp.png)
[알고리즘 Deep Dive #7] 외판원 순회 문제(TSP): 완전탐색에서 비트마스크 DP까지
알고리즘 Deep Dive #7 – 외판원 순회 문제(TSP): 완전탐색 O(N!)부터 비트마스크 DP O(N^2 * 2^N)까지, 최적 경로를 찾는 핵심 전략
Nahyun's Tech Blog
👋 안녕하세요, 김나현입니다
AI Security Researcher · Creative Developer
📌 Featured
📚 Series in Progress
All Series →✨ Recent Posts
![[Program Synthesis #5] Search Prioritization: 어떤 프로그램부터 볼 것인가?](/assets/img/posts/program-synthesis/ps05.png)
[Program Synthesis #5] Search Prioritization: 어떤 프로그램부터 볼 것인가?
Program Synthesis 시리즈 5편 – Enumerative Synthesis의 한계를 극복하기 위한 Search Prioritization과 확률 기반 탐색 전략 이해하기
![[Program Synthesis #4] Enumerative Synthesis: 가능한 프로그램을 전부 만들어보면?](/assets/img/posts/program-synthesis/ps04.png)
[Program Synthesis #4] Enumerative Synthesis: 가능한 프로그램을 전부 만들어보면?
Program Synthesis 시리즈 4편 – Grammar 기반으로 프로그램을 실제로 생성하는 가장 기본적인 방법인 Enumerative Synthesis 이해하기
![[Program Synthesis #3] CEGIS: 반례로 프로그램을 찾아가는 방법](/assets/img/posts/program-synthesis/ps03.png)
[Program Synthesis #3] CEGIS: 반례로 프로그램을 찾아가는 방법
Program Synthesis 시리즈 3편 – CounterExample-Guided Inductive Synthesis(CEGIS)를 통해 프로그램을 점진적으로 찾아가는 핵심 알고리즘 이해하기
![[Program Synthesis #2] SyGuS 심화: SMT와 Grammar로 프로그램 합성 이해하기](/assets/img/posts/program-synthesis/ps02.png)
[Program Synthesis #2] SyGuS 심화: SMT와 Grammar로 프로그램 합성 이해하기
Program Synthesis 시리즈 2편 – First-Order Logic, SMT, Grammar를 통해 SyGuS가 실제로 어떻게 동작하는지 이해하기
![[Program Synthesis #1] SyGuS 입문: 프로그램을 자동으로 만드는 방법](/assets/img/posts/program-synthesis/ps01.png)
[Program Synthesis #1] SyGuS 입문: 프로그램을 자동으로 만드는 방법
Program Synthesis 시리즈 1편 – SyGuS를 이해하기 위한 논리와 SAT(Satisfiability) 개념 정리
![[Programming Languages #5] Polymorphism: 하나의 코드가 여러 타입을 가지는 이유](/assets/img/posts/programming-languages/pl5.png)
[Programming Languages #5] Polymorphism: 하나의 코드가 여러 타입을 가지는 이유
Programming Languages 시리즈 5편 – 다형성의 개념과 let-polymorphism을 통해 하나의 함수가 여러 타입에서 동작하는 원리 이해하기
![[Programming Languages #4] Type Inference: 타입을 자동으로 추론하는 방법](/assets/img/posts/programming-languages/pl4.png)
[Programming Languages #4] Type Inference: 타입을 자동으로 추론하는 방법
Programming Languages 시리즈 4편 – 타입을 명시하지 않아도 자동으로 추론하는 원리와 Unification 알고리즘 이해하기
![[Programming Languages #3] 타입 시스템: 프로그램이 안전하다는 것을 어떻게 보장할까?](/assets/img/posts/programming-languages/pl3.png)
[Programming Languages #3] 타입 시스템: 프로그램이 안전하다는 것을 어떻게 보장할까?
Programming Languages 시리즈 3편 – 타입 시스템이 무엇인지, 그리고 프로그램의 안전성을 어떻게 보장하는지 이해하기
![[Programming Languages #2] Structural Induction과 프로그램의 의미 정의](/assets/img/posts/programming-languages/pl2.png)
[Programming Languages #2] Structural Induction과 프로그램의 의미 정의
Programming Languages 시리즈 2편 – Structural Induction과 evaluation relation을 통해 프로그램의 의미를 수학적으로 정의하는 방법
![[Programming Languages #1] 프로그래밍 언어는 무엇을 배우는 학문인가?](/assets/img/posts/programming-languages/pl1.png)
[Programming Languages #1] 프로그래밍 언어는 무엇을 배우는 학문인가?
Programming Languages 시리즈 1편 – 프로그래밍 언어를 정의하는 방법: Inductive Definition, Syntax, Semantics, Inference Rules