This repository contains my personal proofs and solutions to selected LeetCode problems. It includes only problems where I believe my solution or proof offers more than what can typically be found on the internet — whether through a clean proof, strong readability, or an efficient algorithmic approach.
All solutions are self-authored (not generated by AI or automated tools) and focus on correctness through structured proofs. Each solution typically includes a dedicated README file with a complete proof, unless the primary challenge lies in code clarity rather than algorithmic reasoning.
While comments are generally discouraged in practice, these solutions include them when they emphasize reasoning or proof. They focus on the 'why' rather than the 'what'.
Many LeetCode resources provide only intuition - a high-level idea of why an approach works - followed by code. While intuition is valuable, it often leaves gaps: edge cases unexplained, correctness assumed rather than demonstrated, and the reasoning process hidden.
This repository strives to provide full proofs, not just intuition. Each solution includes:
- A structured proof with clearly stated claims and reasoning
- Thought process
- Concrete examples to ground abstract observations
The goal is to leave no logical gaps.
LeetCode-style challenges often focus exclusively on algorithmic problem-solving, while other equally important real-world factors —maintainability, readability, SOLID principles, and documentation— receive little consideration. In the age of AI-assisted development, clear documentation and well-structured code are just as critical as algorithmic efficiency.
Accordingly, these solutions avoid overly clever tricks or low-level optimizations that sacrifice readability, favoring code that resembles real-world production quality.
This repository is for self-study only. All rights are reserved.
You MAY NOT:
- Copy, reproduce, distribute, publish, or adapt any content from this repository
- Make superficial changes (renaming variables, formatting, etc.) and republish
- Convert or translate solutions to other programming languages
- Create derivative works of any kind
Any of the above actions constitute a license violation. For license details, see the LICENSE file.
For permission requests, contact the repository owner via GitHub: https://github.com/ori88c