[
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.
X
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