Correctness Proof

/tags/correctness-proof/ https://42jerrykim.github.io/tags/correctness-proof/ tags correctness proof

42JerryKim

42는 'The Hitchhiker's Guide to the Galaxy'라는 SF 소설에서 삶, 우주, 그리고 모든 것에 대한 궁극적인 질문에 대한 해답이다.

Home
Collections
Search
Categories
Tags
Archives
1. Dark Mode

Search

Categories

Algorithm BOJ Graph Movie CSharp Data Structures Dynamic Programming Design Patterns Shell Tree

Tags

Implementation Algorithm C++ BOJ Cpp 백준 알고리즘 구현 Optimization 시간복잡도 Time Complexity Competitive Programming Space Complexity 공간복잡도 Edge Cases 정당성 증명 Proof of Correctness 코너 케이스 최적화 Editorial

Archives

Tags

1 page

Correctness Proof

[Algorithm] cpp 백준 11717번: Wall Making Game

H×W 격자에서 점을 하나 고르면 그 행·열 전체가 벽이 되어 보드가 네 개의 직사각형 서브게임으로 분할됩니다. 표시 칸(X)은 선택 불가이지만 벽으로 변할 수 있습니다. 스프라그-그런디 정리로 각 서브직사각형의 그런디 수를 XOR해 승자를 판단하며, 메모이제이션을 적용한 사각형 분해 DP로 최적 풀이를 구현합니다.

[Algorithm] cpp 백준 11717번: Wall Making Game

© 2018 - 2025 42JerryKim

Built with Hugo
Theme Stack designed by Jimmy