![[알고리즘 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
[알고리즘 Deep Dive #7] 외판원 순회 문제(TSP): 완전탐색에서 비트마스크 DP까지
알고리즘 Deep Dive #7 – 외판원 순회 문제(TSP): 완전탐색 O(N!)부터 비트마스크 DP O(N^2 * 2^N)까지, 최적 경로를 찾는 핵심 전략
![[Program Synthesis #14] Program Synthesis in the Wild: 실제 시스템과 응용](/assets/img/posts/program-synthesis/ps14.png)
[Program Synthesis #14] Program Synthesis in the Wild: 실제 시스템과 응용
Program Synthesis 시리즈 14편 – Superoptimization, Program Repair, LLM 기반 코드 생성까지 실제 환경에서의 synthesis 응용 이해하기
![[Program Synthesis #13] Deductive Synthesis: Specification에서 프로그램을 유도하기](/assets/img/posts/program-synthesis/ps13.png)
[Program Synthesis #13] Deductive Synthesis: Specification에서 프로그램을 유도하기
Program Synthesis 시리즈 13편 – specification으로부터 transformation rule을 통해 프로그램을 직접 유도하는 Deductive Synthesis 이해하기
![[Program Synthesis #12] Type-Guided Synthesis: 타입으로 탐색 공간을 줄이는 방법](/assets/img/posts/program-synthesis/ps12.png)
[Program Synthesis #12] Type-Guided Synthesis: 타입으로 탐색 공간을 줄이는 방법
Program Synthesis 시리즈 12편 – 타입 정보를 활용해 프로그램 탐색 공간을 구조적으로 제한하는 Type-Guided Synthesis 이해하기
![[Program Synthesis #11] 실제 시스템으로 보는 Synthesis: FlashFill, Sketch, STOKE](/assets/img/posts/program-synthesis/ps11.png)
[Program Synthesis #11] 실제 시스템으로 보는 Synthesis: FlashFill, Sketch, STOKE
Program Synthesis 시리즈 11편 – FlashFill, Sketch, STOKE를 통해 실제 시스템이 다양한 synthesis 기법을 어떻게 결합하는지 이해하기
![[Program Synthesis #10] Constraint-Based Synthesis: 논리로 프로그램을 만드는 방법](/assets/img/posts/program-synthesis/ps10.png)
[Program Synthesis #10] Constraint-Based Synthesis: 논리로 프로그램을 만드는 방법
Program Synthesis 시리즈 10편 – SAT/SMT 기반으로 프로그램을 제약 문제로 변환하여 해결하는 Constraint-Based Synthesis 이해하기
![[Program Synthesis #9] Stochastic Search: 확률로 프로그램을 찾는 방법](/assets/img/posts/program-synthesis/ps09.png)
[Program Synthesis #9] Stochastic Search: 확률로 프로그램을 찾는 방법
Program Synthesis 시리즈 9편 – 확률 기반 탐색과 local search를 통해 넓은 프로그램 공간을 효율적으로 탐색하는 방법 이해하기
![[Program Synthesis #8] Bidirectional Search: Top-down과 Bottom-up의 결합](/assets/img/posts/program-synthesis/ps08.png)
[Program Synthesis #8] Bidirectional Search: Top-down과 Bottom-up의 결합
Program Synthesis 시리즈 8편 – Top-down과 Bottom-up 탐색을 결합하여 search space를 효과적으로 줄이는 Bidirectional Search 이해하기
![[Program Synthesis #7] Representation의 확장: FTA와 E-graph로 보는 프로그램 공간](/assets/img/posts/program-synthesis/ps07.png)
[Program Synthesis #7] Representation의 확장: FTA와 E-graph로 보는 프로그램 공간
Program Synthesis 시리즈 7편 – Version Space Algebra를 넘어, Finite Tree Automata와 E-graph를 통해 다양한 프로그램 표현 방식 비교하기
![[Program Synthesis #6] Representation-Based Synthesis: 탐색 공간을 압축하는 방법](/assets/img/posts/program-synthesis/ps06.png)
[Program Synthesis #6] Representation-Based Synthesis: 탐색 공간을 압축하는 방법
Program Synthesis 시리즈 6편 – 프로그램을 하나씩 탐색하는 대신, 탐색 공간 자체를 압축하는 Representation-Based Synthesis의 핵심 아이디어 이해하기