DEV Community

Algorithms

Heap, Binary Tree, Data Structure it doesn't matter. This tag should be used for anything Algorithm & Data Structure focused.

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer
fc0web profile

Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer

#math #research #lean #algorithms
Comments
10 min read
Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions
fc0web profile

Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions

#math #research #lean #algorithms
Comments
5 min read
Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family
fc0web profile

Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family

#math #research #lean #algorithms
Comments
5 min read
Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results
fc0web profile

Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results

#math #research #lean #algorithms
Comments
6 min read
LeetCode 3549: Smallest Stable Index II — Step-by-Step Visual Trace
tracelit profile

LeetCode 3549: Smallest Stable Index II — Step-by-Step Visual Trace

#leetcode #python #algorithms #programming
Comments
1 min read
LeetCode 3547: Smallest Stable Index I — Step-by-Step Visual Trace
tracelit profile

LeetCode 3547: Smallest Stable Index I — Step-by-Step Visual Trace

#leetcode #python #algorithms #beginners
Comments
1 min read
LeetCode 3550: Multi Source Flood Fill — Step-by-Step Visual Trace
tracelit profile

LeetCode 3550: Multi Source Flood Fill — Step-by-Step Visual Trace

#leetcode #python #algorithms #bfs
Comments
1 min read
BFS vs DFS: The Invariant Decides, Not Your Preference
prakhar_srv profile

BFS vs DFS: The Invariant Decides, Not Your Preference

#algorithms #leetcode #career #programming
Comments
5 min read
Maximizing 1s with a Single Flip: An Elegant Application of Kadane's Algorithm
partners_dsa_823760c83281 profile

Maximizing 1s with a Single Flip: An Elegant Application of Kadane's Algorithm

#algorithms #java #programming #leetcode
3
Comments
3 min read
a claude code/codex plugin to run autoresearch on your repository
alokbishoyi97 profile

a claude code/codex plugin to run autoresearch on your repository

#claudecode #ai #algorithms
Comments
1 min read
Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)
fc0web profile

Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)

#math #research #lean #algorithms
Comments
7 min read
Backtracking Algorithm Explained: An N-Queens Walkthrough
prakhar_srv profile

Backtracking Algorithm Explained: An N-Queens Walkthrough

#algorithms #career #programming #leetcode
Comments 1
6 min read
Graph Problems in Coding Interviews: BFS, DFS, and Beyond
matt_frank_usa profile

Graph Problems in Coding Interviews: BFS, DFS, and Beyond

#graphs #codinginterview #algorithms
1
Comments
7 min read
Big O Notation explained
sarupy profile

Big O Notation explained

#csharp #datastructures #performance #algorithms
1
Comments
2 min read
Algorithmic Feeds Need to Be Banned | Shubham Jain
kin0bi profile

Algorithmic Feeds Need to Be Banned | Shubham Jain

#discuss #socialmedia #algorithms #ethics
Comments
1 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.