[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/course/cs254/kbhsu_cs254_jan152025.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "SU-CS254 JAN152025" source: https://www.jemoka.com/posts/kbhsu_cs254_jan152025/ date: 2025-01-15 --- Key Sequence Notation New Concepts STCONN Savitch’s Algorithm PATH NL and Non-Deterministic Space problems in \(NL\) \(NL \subseteq P\) \(NL \subseteq \text{SPACE}\qty(\log^{2}\qty(n))\) \(\text{NL} = \text{coNL}\) Important Results / Claims STCONN is in NL Questions Interesting Factoids