[
Skip Navigation]
≡
👁️
🗣️
-
🏠
CS 254 Spring 2017
:
Wiki
≡
Welcome
Signin
Create Account
Main@CS 254 Spring 2017
View
Source
History
Discussion
CS 254 Spring 2017 Group
Create/Find Pages
Group Feed
My Groups
Root Folder
Resource Paths
✓
Root Folder
≣
⊞
▢
⇅
Sort Order
✓
Name↓
Name↑
Date↓
Date↑
Size↓
Size↑
Go
Clipboard
[
Paste All
] [
Empty Clipboard
]
The clipboard is currently empty.
01 Jan 30 Notation Languages Big-Oh[Video]
02 Feb 1 TMs and their Expressive Power -- Sorry forget to hit record.txt
03 Feb 6 TM Variants and Time Complexity[Video]
04 Feb 8 Universal Turing Machine and Uncomputability[Video]
05 Feb 13 More Uncomputability[Video]
06 Feb 15 O of TLogT Universal TM[Video]
07 Feb 20 NP and NP completeness[Video]
08 Feb 22 NP-completeness[Video]
09 Feb 27 Cook-Levin[Video]
10 Mar 1 NP-Completeness Proofs[Video]
11 Mar 6 Other Complexity Class SAT Algorithms[Video]
12 Mar 8 More SAT Algorithms[Video]
13 Mar 13 Diagonalization[Video]
14 Mar 15 Ladners Theorem adn BGS - recording did not work.txt
15 Apr 3 Space Complexity[Video]
16 Apr 5 Space Relationships[Video]
17 Apr 10 Polynomial Hierarchy Alternation[Video]
18 Apr 12 Timespace Tradeoffs[Video]
19 Apr 17 Circuits[Video]
20 Apr 19 Finish Circuits[Video]
21 Apr 24 Randomized Complexity Classes[Video]
22 Apr 26 Error Reduction and Containments -- Incomplete[Video]
23 May 1 Interactive Protocols[Video]
24 May 3 Finish Interactive Proofs[Video]
25 May 8 IPeqSpace Circuit Lower Bounds[Video]
26 May 10 AC0q lower bounds[Video]
X
We use cookies to implement this site's user functionality, social media features, and traffic analytics.
Privacy Policy Details
.
Allow Cookies