Канал: CS 154 - Introduction to the Theory of Computing

40 Algortihmic Fairness

40 Algortihmic Fairness

42 Parting thoughts

42 Parting thoughts

41 Randomness

41 Randomness

39 Proofs++

39 Proofs++

38 space complexity

38 space complexity

37 polynomial hierarchy

37 polynomial hierarchy

36 co NP

36 co NP

35 more NPC

35 more NPC

34 Cook Levin

34 Cook Levin

32 NP

32 NP

31 time complexity

31 time complexity

30 complexity overview

30 complexity overview

33 poly time reductions

33 poly time reductions

28 logic

28 logic

29 Kolmogorov Complexity

29 Kolmogorov Complexity

27 self reference

27 self reference

26 oracle reductions

26 oracle reductions

25 rices theorem

25 rices theorem

24 mapping reductions

24 mapping reductions

23 concrete undecidable

23 concrete undecidable

22 counting argument

22 counting argument

21 Universal TM

21 Universal TM

20 TM variants

20 TM variants

19 TM

19 TM

18 TM overview

18 TM overview

16 Streaming

16 Streaming

17 CC

17 CC

15 learning DFA

15 learning DFA

14 Myhill Nerpde

14 Myhill Nerpde

13 minimizingDFA

13 minimizingDFA

12 pumping

12 pumping

11 RegExp

11 RegExp

10 DFA Closure2

10 DFA Closure2

9 NFA2DFA

9 NFA2DFA

8 NFA

8 NFA

7 DFAClosure1

7 DFAClosure1

6 DFA

6 DFA

5 DFA Overview

5 DFA Overview

4 proofs

4 proofs

2 curriculum

2 curriculum

1 computing

1 computing