-
CS/ECE 374 AL1/BL1 - Final exam review
From CS Largeclass
178 plays 0 -
- 3SAT to hamiltonian cycle - 3SAT to graph coloring - 3SAT to CSAT (and reverse too!)
CS/ECE 374 AL1/BL1 - Lecture 26 - More 3SAT to X…
From CS Largeclass
63 plays 0 -
- Cook-Levin Theorem - Reduction: 3SAT -> Subset-sum
CS/ECE 374 AL1/BL1 - Lecture 25 - 3SAT and…
From CS Largeclass
89 plays 0 -
-Sample reduction from SAT to independent set -Re-review of complexity classes -P/NP comparison to DFA/NFA -Introduction to certificate and certificate jargon
CS/ECE 374 AL1/BL1 - Lecture 24 -…
From CS Largeclass
132 plays 0 -
Basic conceptual overview of reductions Independent Sets / Cliques Intro to SAT
CS/ECE 374 AL1/BL1 - Lecture 23 - Polynomial time…
From CS Largeclass
183 plays 0 -
- Minimum Spanning Trees - Proof of MST algorithms via safe edges
CS/ECE 374 AL1/BL1 - Lecture 22 - Minimum…
From CS Largeclass
155 plays 0 -
Greedy algorithms and exchange proofs of optimality - Interval scheduling - Minimum max-lateness
ECE/CS 374 AL1/BL1 - Lecture 21 - Greedy…
From Andrew Miller
152 plays 0 -
- Bellman Ford shortest paths
ECE/CS 374 AL1/BL1 - Lecture 20 - Bellman Ford
From Andrew Miller
126 plays 0 -
- Breadth first search - Dijkstra's shortest paths algorithm
CS/ECE 374 AL1/BL1 - Lecture 19 - Breadth first…
From CS Largeclass
137 plays 0 -
Linear time algorithm for finding SCCs of G and meta-graph of SCCs.
ECE/CS 374 AL1/BL1 - Lecture 18 - Depth First…
From CS Largeclass
141 plays 0 -
- Topological Sorting - Depth First Search with Pre-/Post numbering
ECE/CS 374 AL1/BL1 - Lecture 17 - Topological…
From Nickvash Kani
183 plays 0 -
- Code example of Optimal Binary Search Tree example - Parsing and the CYK algorithm
ECE/CS 374 AL1/BL1 - Lecture 16 - Yet More…
From Andrew Miller
133 plays 0 -
- Long increasing subsequence recap - Edit distance - Optimal Binary Search Tree
CS/ECE 374 AL1/BL1 - Lecture 15 - More Dynamic…
From Andrew Miller
196 plays 0 -
- Dynamic programming - Improving solution to SubsetSum - A look at the rubrics and step by step guide to dynamic programming solutions
CS/ECE 374 AL1/BL1 - Lecture 14 - Dynamic…
From Andrew Miller
221 plays 0 -
- Brute force strategies - Backtracking strategies - 8 queens, subset sum - Memoization & fibonacci
CS/ECE 374 AL1/BL1 - Lecture 13 - Backtracking
From Andrew Miller
170 plays 0 -
Quick Select explained more.
ECE/CS 374 AL1/BL1 - Lecture 11.5 - Quick Select…
From Nickvash Kani
59 plays 0 -
ECE/CS 374 AL1/BL1 - Lecture 11 - Divide and… 17 of 28
ECE/CS 374 AL1/BL1 - Lecture 11 - Divide and…
- Karatsuba - Median of Medians and QuickselectECE/CS 374 AL1/BL1 - Lecture 11 - Divide and…
From Andrew Miller
154 plays 0 -
ECE/CS 374 AL1/BL1 - Lecture 10 - Recursion,… 18 of 28
ECE/CS 374 AL1/BL1 - Lecture 10 - Recursion,…
- Recursion / reduction - Towers of Hanoi - Merge sortECE/CS 374 AL1/BL1 - Lecture 10 - Recursion,…
From Andrew Miller
227 plays 0 -
CS/ECE 374 AL1/BL1 - Lecture 9.5 - Midterm 1… 19 of 28
CS/ECE 374 AL1/BL1 - Lecture 9.5 - Midterm 1…
Examples of Turing reductions, recurrence expressions, and context-free grammarCS/ECE 374 AL1/BL1 - Lecture 9.5 - Midterm 1…
From CS Largeclass
157 plays 0 -
- Cantor's diagonalization argument - Undecidability and halting problem
CS/ECE 374 AL1/BL1 - Lecture 9 - Undecidability
From Andrew Miller
171 plays 0 -
- CFG closure properties - Turing Machines - PDAs
CS/ECE 374 AL1/BL1 - Lecture 8 - Turing Machines
From Andrew Miller
171 plays 0 -
- Context Free Grammars, parse trees
CS/ECE 374 AL1/BL1 - Lecture 7 - Context Free…
From Andrew Miller
195 plays 0 -
CS/ECE 374 AL1/BL1 - Lecture 6 - Fooling Sets 23 of 28
CS/ECE 374 AL1/BL1 - Lecture 6 - Fooling Sets
- Proving languages non-regular with fooling sets - Proving languages non-regular with Closure Properties - A bit about the Myhill-Nerode theoremsCS/ECE 374 AL1/BL1 - Lecture 6 - Fooling Sets
From Andrew Miller
198 plays 0 -
- Finish DFAs and product construction - NFAs
ECE/CS 374 AL1/BL1 - Lecture 4 - NFAs
From Andrew Miller
160 plays 0 -
- Closure properties of NFA - DFA<->NFA<->Regular equivalence
ECE/CS 374 AL1/BL1 Fall 20 - Lecture 5: More NFAs
From Andrew Miller
202 plays 0 -
Finish up regexes A coding example using regexp library! Start talking about DFAs
ECE/CS 374 AL1/BL1 - Lecture 3 - DFAs
From Andrew Miller
246 plays 0 -
Reviewing strings Some inductive proofs Facts about languages and a first result in computability theory Introducing regular languages / expressions
CS/ECE 374 AL1/BL1 - Lecture 2 - Strings, Regular…
From Andrew Miller
332 plays 0 -
ECE/CS 374 AL1/BL1 - Lecture 1 Intro, Strings 28 of 28
ECE/CS 374 AL1/BL1 - Lecture 1 Intro, Strings
Introduction to class! Administrative stuff Starting to discuss stringsECE/CS 374 AL1/BL1 - Lecture 1 Intro, Strings
From Andrew Miller
407 plays 0
Search for ""
Public, Restricted and Moderated
- Managers: