Correctness Proof
/tags/correctness-proof/ https://42jerrykim.github.io/tags/correctness-proof/ tags correctness proof
Tags
3 pages
Correctness Proof
[Algorithm] C++ 백준 17693번: Port Facility
[Algorithm] C++ 백준 19955번: 침략전쟁 - BFS·DSU 시뮬레이션
[Algorithm] C++ 백준 11717번: Wall Making Game
![[Algorithm] C++ 백준 17693번: Port Facility](/post/algorithm/2025-12-04-boj-17693-port-facility-cpp-solution/wordcloud_hu_1d04909fb0d36e18.png)
![[Algorithm] C++ 백준 19955번: 침략전쟁 - BFS·DSU 시뮬레이션](/post/algorithm/2025-09-04-boj-19955-invasion-war-bfs-dsu-cpp-solution/wordcloud_hu_5a9b4c559e1d3221.png)
![[Algorithm] C++ 백준 11717번: Wall Making Game](/post/algorithm/2025-08-14-boj-11717-wall-making-game-cpp-solution/wordcloud_hu_ab6ea20a268c378a.png)