David Evans Class 19: Golden Ages and Astrophysics CS200: Computer Science University of Virginia Computer Science.

Slides:



Advertisements
Similar presentations
David Evans CS200: Computer Science University of Virginia Computer Science Class 38: Intractable Problems (Smiley Puzzles.
Advertisements

David Evans CS200: Computer Science University of Virginia Computer Science Lecture 13: Of On and Off Grounds Sorting.
Can You Trust Your Computer? CS365 – Mathematics of Computer Science Spring 2007 David Uhrig Tiffany Sharrard.
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 16: Quicker Sorting.
David Evans CS150: Computer Science University of Virginia Computer Science Lecture 20: Sex, Religion, and Politics.
Lecture 26: Sex, Religion, and Politics University of Virginia cs1120 Fall 2009 David Evans.
CS 106 Introduction to Computer Science I 03 / 30 / 2007 Instructor: Michael Eckmann.
Class 19: Undecidability in Theory and Practice David Evans cs302: Theory of Computation University of Virginia Computer.
David Evans CS150: Computer Science University of Virginia Computer Science Lecture 11: 1% Pure Luck Make-up lab hours:
David Evans Class 12: Quickest Sorting CS150: Computer Science University of Virginia Computer Science Rose Bush by Jacintha.
6-1 Solving Systems by Graphing
David Evans Class 15: Golden Ages and Astrophysics CS200: Computer Science University of Virginia Computer Science.
Albert Einstein Born in Germany in 1879 Died in Princeton, USA 1955.
DISCRETE MATHEMATICS I CHAPTER 11 Dr. Adam Anthony Spring 2011 Some material adapted from lecture notes provided by Dr. Chungsim Han and Dr. Sam Lomonaco.
CS216: Program and Data Representation University of Virginia Computer Science Spring 2006 David Evans Lecture 2: Orders of Growth
Warming up 、 Listening 、 Speaking. A man who is called the greatest scientist in the 20 th century. Albert Einstein.
“An Amazing Mind for Inventions”. Thomas Edison is considered to be the most prolific inventor that ever lived. Edison owned an amazing 1, 368 patents,
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 11: CS Logo, by Lincoln Hamilton and.
David Evans Curing Cancer with Your Cell Phone: Why all Sciences are Becoming Computing Sciences.
Problems you shouldn’t tackle. Problem Complexity.
Cs3102: Theory of Computation Class 24: NP-Completeness Spring 2010 University of Virginia David Evans.
David Evans CS588: Security and Privacy University of Virginia Computer Science Lecture 15: Complexity Notes This is selected.
What Every Biologist, Chemist, and Poet Should Know about Computer Science David Evans UVaCompBio 25 April
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 18: Think Globally, Mutate Locally.
Games. Adversaries Consider the process of reasoning when an adversary is trying to defeat our efforts In game playing situations one searches down the.
David Evans CS200: Computer Science University of Virginia Computer Science Class 17: Mutation M. C. Escher, Day and Night.
Cliff Shaffer Computer Science Computational Complexity.
David Evans Class 20: Quick Sorting CS200: Computer Science University of Virginia Computer Science Queen’s University,
David Evans CS150: Computer Science University of Virginia Computer Science Lecture 12: Something about Sneezewort From.
David Evans CS150: Computer Science University of Virginia Computer Science Lecture 10: Puzzling Pegboards.
CS216: Program and Data Representation University of Virginia Computer Science Spring 2006 David Evans Lecture 3: Levels of Abstraction
Class 21: Introducing Complexity David Evans cs302: Theory of Computation University of Virginia Computer Science.
David Evans Class 21: The Story So Far (Quicksort, Continuing Golden Ages) CS200: Computer Science University of Virginia.
David Evans Lecture 13: Astrophysics and Cryptology CS200: Computer Science University of Virginia Computer Science.
Scientific Measurement Measurements and their Uncertainty Dr. Yager Chapter 3.1.
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 12: QuickSorting Queen’s University,
Unit 1 Making a difference Words and expressions Warming up.
February 27, 2012 At the end of today, you will be able use log properties to solve exponential equations with different bases. Warm-up: Correct Unit.
David Evans Class 16: NP-Completeness / The Story so Far CS150: Computer Science University of Virginia Computer Science.
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 15: Intractable Problems (Smiley.
CSE 311 Foundations of Computing I Lecture 28 Computability: Other Undecidable Problems Autumn 2011 CSE 3111.
Eight Common Traits of Remarkably Successful People By Priyanka Mehta December 29, 2013.
David Evans Class 15: P vs. NP (Smiley Puzzles and Curing Cancer) CS150: Computer Science University of Virginia Computer.
David Evans CS200: Computer Science University of Virginia Computer Science Class 32: The Meaning of Truth.
CS216: Program and Data Representation University of Virginia Computer Science Spring 2006 David Evans Lecture 8: Crash Course in Computational Complexity.
Lecture 3: Rules of Evaluation CS150: Computer Science
IE442 FIRST TUTORIAL (SPRING 2011) 1. A mail-sorter must place customers' mail into one of 256 bins. If the mail-sorter assumes that all bins are equally-likely.
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 14: P = NP?
Pancakes, Puzzles, and Polynomials: Cracking the Cracker Barrel Game Christopher Frost Michael Peck.
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 23: Intractable Problems (Smiley Puzzles.
David Evans CS150: Computer Science University of Virginia Computer Science Class 32: Computability in Theory and Practice.
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 21: Inheritance.
David Evans CS200: Computer Science University of Virginia Computer Science Lecture 8: Cons car cdr sdr wdr.
Thomas Alva Edison Thomas Edison was born 1847, February 11th.
David Evans Lecture 41: P = NP? I will have extra office hours after class today (1-3pm). To be eligible to present Monday,
Lecture 13: Quicksorting CS200: Computer Science
Lecture 7: List Recursion CS200: Computer Science
Vocabulary Big Data - “Big data is a broad term for datasets so large or complex that traditional data processing applications are inadequate.”
CS 2210 Discrete Structures Algorithms and Complexity
Lecture 20: Sex, Religion, and Politics CS150: Computer Science
Class 14: Intractable Problems CS150: Computer Science
Lecture 11: All Sorts CS200: Computer Science University of Virginia
Lecture 13: Cost of Sorts CS150: Computer Science
Lecture 22: P = NP? CS200: Computer Science University of Virginia
Lecture 10: Quicker Sorting CS150: Computer Science
Advanced Analysis of Algorithms
Lecture 24: Metalinguistics CS200: Computer Science
CS 2210 Discrete Structures Algorithms and Complexity
Presentation transcript:

David Evans Class 19: Golden Ages and Astrophysics CS200: Computer Science University of Virginia Computer Science

23 February 2004CS 200 Spring Astrophysics “If you’re going to use your computer to simulate some phenomenon in the universe, then it only becomes interesting if you change the scale of that phenomenon by at least a factor of 10. … For a 3D simulation, an increase by a factor of 10 in each of the three dimensions increases your volume by a factor of 1000.” How much work is astrophysics simulation (in  notation)? (n3)(n3) When we double the size of the simulation, the work octuples! (Just like oceanography octopi simulations)

23 February 2004CS 200 Spring Orders of Growth bubblesort simulating universe insertsort-tree

23 February 2004CS 200 Spring Astrophysics and Moore’s Law Simulating universe is  ( n 3 ) Moore’s law: computing power doubles every 18 months Tyson: to understand something new about the universe, need to scale by 10x How long does it take to know twice as much about the universe?

23 February 2004CS 200 Spring ;;; doubling every 18 months = ~1.587 * every 12 months (define (computing-power nyears) (if (= nyears 0) 1 (* (computing-power (- nyears 1))))) ;;; Simulation is  (n 3 ) work (define (simulation-work scale) (* scale scale scale)) (define (log10 x) (/ (log x) (log 10))) ;;; log is base e ;;; knowledge of the universe is log 10 the scale of universe ;;; we can simulate (define (knowledge-of-universe scale) (log10 scale)) Knowledge of the Universe

23 February 2004CS 200 Spring (define (computing-power nyears) (if (= nyears 0) 1 (* (computing-power (- nyears 1))))) ;;; doubling every 18 months = ~1.587 * every 12 months (define (simulation-work scale) (* scale scale scale)) ;;; Simulation is O(n^3) work (define (log10 x) (/ (log x) (log 10))) ;;; primitive log is natural (base e) (define (knowledge-of-universe scale) (log10 scale)) ;;; knowledge of the universe is log 10 the scale of universe we can simulate (define (find-knowledge-of-universe nyears) (define (find-biggest-scale scale) ;;; today, can simulate size 10 universe = 1000 work (if (> (/ (simulation-work scale) 1000) (computing-power nyears)) (- scale 1) (find-biggest-scale (+ scale 1)))) (knowledge-of-universe (find-biggest-scale 1))) Knowledge of the Universe

23 February 2004CS 200 Spring > (find-knowledge-of-universe 0) 1.0 > (find-knowledge-of-universe 1) > (find-knowledge-of-universe 2) > (find-knowledge-of-universe 5) > (find-knowledge-of-universe 10) > (find-knowledge-of-universe 15) 2.0 > (find-knowledge-of-universe 30) > (find-knowledge-of-universe 60) > (find-knowledge-of-universe 80) Will there be any mystery left in the Universe when you die? Only two things are infinite, the universe and human stupidity, and I'm not sure about the former. Albert Einstein

23 February 2004CS 200 Spring Any Harder Problems? Understanding the universe is  ( n 3 ) Are there any harder problems?

23 February 2004CS 200 Spring Who’s the real genius?

23 February 2004CS 200 Spring All Cracker Barrel Games (starting with peg 2 1 missing) Pegs Left Number of Ways Fraction of Games IQ Rating “You’re Genius” “You’re Purty Smart” “Just Plain Dumb” “Just Plain Eg-no-ra-moose”

23 February 2004CS 200 Spring Solving the Peg Board Game Try all possible moves Try all possible moves from the positions you get after each possible first move Try all possible moves from the positions you get after trying each possible move from the positions you get after each possible first move …

23 February 2004CS 200 Spring Possible Moves Start Peg board game n = number of holes Initially, there are n-1 pegs. Cracker Barrel’s game has n = 15 Assume there are always exactly 2 possible moves, how many possible games are there?

23 February 2004CS 200 Spring Cracker Barrel Game Each move removes one peg, so if you start with n-1 pegs, there are up to n-2 moves There are at most n choices for every move: n * n * n * n * … * n = n n-2 There are at least 2 choices for every move: 2 * 2 * 2 * … * 2 = 2 n-2

23 February 2004CS 200 Spring How much work is our straightforward peg board solving procedure? Important Note: I don’t know if this is the best possible procedure for solving the peg board puzzle. So the peg board puzzle problem might not be harder than understanding the Universe (but it probably is.) O (n n ) upper bound is n n  (2 n ) lower bound is 2 n

23 February 2004CS 200 Spring True Genius? “Genius is one percent inspiration, and ninety-nine percent perspiration.” Thomas Alva Edison “Genius is one percent sheer luck, but it takes real brilliance to be a true eg-no-ra-moose.” Cracker Barrel “80% of life is just showing up.” Woody Allen

23 February 2004CS 200 Spring Orders of Growth Tuttlesort simulating universe insertsort-tree peg board game

23 February 2004CS 200 Spring Orders of Growth TuttleSort simulating universe peg board game

Orders of Growth simulating universe peg board game “tractable” “intractable” I do nothing that a man of unlimited funds, superb physical endurance, and maximum scientific knowledge could not do. – Batman (may be able to solve intractable problems, but computer scientists can only solve tractable ones for large n )

23 February 2004CS 200 Spring Any other procedures we’ve seen that are more work than simulating the Universe? (To be continued in Lecture 20)