When Existence is Enough Dan Kalman American University.

Slides:



Advertisements
Similar presentations
Graphing and Writing Equations
Advertisements

Linear Programming Problem
Midwestern State University Department of Computer Science Dr. Ranette Halverson CMPS 2433 – CHAPTER 4 GRAPHS 1.
The Mathematics of Force- Directed Placement Simulating Graphs as Physical Systems To Assist in Computer Chip Layout By Jamey Lewis, St. Michael’s College.
B IPARTITE I NDEX C ODING Arash Saber Tehrani Alexandros G. Dimakis Michael J. Neely Department of Electrical Engineering University of Southern California.
1 Routing and Wavelength Assignment in Wavelength Routing Networks.
Playing Fair at Sudoku Joshua Cooper USC Department of Mathematics.
Halliday/Resnick/Walker Fundamentals of Physics 8th edition
Discrete Structures & Algorithms The P vs. NP Question EECE 320.
Problem Solving For Conservation of Momentum problems: 1.BEFORE and AFTER 2.Do X and Y Separately.
Solving Quadratic Equations by Graphing
10.1 Conics and Calculus. Each conic section (or simply conic) can be described as the intersection of a plane and a double-napped cone. CircleParabolaEllipse.
Solving Quadratic Equation by Graphing Section 6.1.
Grade 3 Fluency Unit Lesson 1 I can check my fluency with addition & subtraction I can review strategies for addition I can review strategies for subtraction.
Functions. A function is a relation that has exactly one output for each input.
By: Will Puckett. For those who don’t already know… What is Calculus? Definition of CALCULUS  a : a method of computation or calculation in a special.
Random Graph Models of Social Networks Paper Authors: M.E. Newman, D.J. Watts, S.H. Strogatz Presentation presented by Jessie Riposo.
Computer Graphics: Programming, Problem Solving, and Visual Communication Steve Cunningham California State University Stanislaus and Grinnell College.
Eigenvectors and Eigenvalues
Alien Invasion Bowland Mathematics.
Identifying Linear Functions
Warm-Up 5 minutes 1) On the coordinate plane, graph two lines that will never intersect. 2) On the coordinate plane, graph two lines that intersect at.
Preview Warm Up California Standards Lesson Presentation.
Chapter 6 ADDITIONAL TOPICS IN TRIGONOMETRY. 6.1 Law of Sines Objectives –Use the Law of Sines to solve oblique triangles –Use the Law of Sines to solve,
Grade 2 - Unit 1 Lesson 1 I can retell, draw, and solve story problems. I can recognize math as a part of daily life. Lesson 2 I can create story problems.
EECS 203: It’s the end of the class and I feel fine. Graphs.
9.1.1 – Conic Sections; The Ellipse
CONFIDENTIAL 1 Algebra1 Identifying Linear Functions.
Angie Rangel Jose De Jesus Melendez Carlos Aguilar Drake Jain DISCRETE MATHEMATICS MATH 170 PROJECT PART II.
An Introduction to Programming and Algorithms. Course Objectives A basic understanding of engineering problem solving process. A basic understanding of.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
2.8 – Graph Linear Inequalities in Two Variables A linear inequality in two variables can be written in one of these forms: Ax + By < C Ax + By > C An.
5.6 Quadratic Equations and Complex Numbers
Chapter 1 Predicting the Motions of the Stars, Sun, and Moon.
Solving Quadratic Equations by Graphing Quadratic Equation y = ax 2 + bx + c ax 2 is the quadratic term. bx is the linear term. c is the constant term.
9-1 Quadratic Equations and Functions Warm Up Warm Up Lesson Presentation Lesson Presentation California Standards California StandardsPreview.
Warm Up 1. Evaluate x 2 + 5x for x = 4 and x = –3. 2. Generate ordered pairs for the function y = x with the given x VALUES. 36; – 6 { – 2, – 1,
9-1 Quadratic Equations and Functions Solutions of the equation y = x 2 are shown in the graph. Notice that the graph is not linear. The equation y = x.
Sect. 1.3: Constraints Discussion up to now  All mechanics is reduced to solving a set of simultaneous, coupled, 2 nd order differential eqtns which.
Introduction to Loops For Loops. Motivation for Using Loops So far, everything we’ve done in MATLAB, you could probably do by hand: Mathematical operations.
NP-COMPLETE PROBLEMS. Admin  Two more assignments…  No office hours on tomorrow.
Sullivan Algebra and Trigonometry: Section 10.3 The Ellipse Objectives of this Section Find the Equation of an Ellipse Graph Ellipses Discuss the Equation.
NP-Complete problems.
TECH 104 – Technical Graphics Communication Introduction to Engineering Graphics Communication.
Chapter 13 Gravitation Newton’s Law of Gravitation Here m 1 and m 2 are the masses of the particles, r is the distance between them, and G is the.
Algebra1 Direct Variation
 In this packet we will look at:  The meaning of acceleration  How acceleration is related to velocity and time  2 distinct types acceleration  A.
Spectral Partitioning: One way to slice a problem in half C B A.
1 Optimization Techniques Constrained Optimization by Linear Programming updated NTU SY-521-N SMU EMIS 5300/7300 Systems Analysis Methods Dr.
Descriptive Geometry. Introduction  What is Descriptive Geometry? →It is the study of points, lines, and planes in space to determine their locations.
Slide 1- 1 Copyright © 2010 Pearson Education, Inc. Publishing as Pearson Addison-Wesley.
Linear Programming Chap 2. The Geometry of LP  In the text, polyhedron is defined as P = { x  R n : Ax  b }. So some of our earlier results should.
Warm up… You’ll need to pick up the worksheet up front. Remember how we used the calculator on Friday. Need to graph the vertex along with four other.
Grade 11 AP Mathematics Graph Theory Definition: A graph, G, is a set of vertices v(G) = {v 1, v 2, v 3, …, v n } and edges e(G) = {v i v j where 1 ≤ i,
10.1 Conics and Calculus.
Quick Graphs of Linear Equations
Introduction to Functions of Several Variables
2nd Nine Weeks Vocabulary Review Coach Whitlock
Solving Quadratic Equation and Graphing
BHASVIC MαTHS Skills 1 A1 DOUBLES ASSIGNMENT 8B
Lesson 5-1: Angles and Degree Measure
Unit 4 Lesson 2:Solving Quadratic Equations by Graphing
Reference W.H. Hayt and J.A. Buck , Engineering Electromagnetics, McGraw-Hill, 8th Ed., J. Edminister, Schaum's Outline of Electromagnetics, McGraw-Hill,
Sullivan Algebra and Trigonometry: Section 11.3
Computer Animation Algorithms and Techniques
Linear Programming Problem
2.3 Quick Graphs of Linear Equations
4 minutes Warm-Up Write the standard equation of the circle with the given radius and center. 1) 9; (0,0) 2) 1; (0,5) 3) 4; (-8,-1) 4) 5; (4,2)
Chapter 14 Multiple Regression
Presentation transcript:

When Existence is Enough Dan Kalman American University

A chemist, a physicist, an engineer and a mathematician …

Existence Proofs Some collection of problems to solve Example: ax 2 + bx + c = 0 Some collection of problems to solve Example: ax 2 + bx + c = 0 Not all instances are solvable Not all instances are solvable Conditions which assure existence of a solution Example: b 2 – 4ac ≥ 0 Conditions which assure existence of a solution Example: b 2 – 4ac ≥ 0 Not a prescription for finding a solution Not a prescription for finding a solution WHAT GOOD IS THAT? WHAT GOOD IS THAT?

A Real Practical Example Example is both real and practical Example is both real and practical Worked on in the aerospace industry in LA Worked on in the aerospace industry in LA Subject area: designing a satellite communication system Subject area: designing a satellite communication system General Problem: Can a given system design handle a projected data load? General Problem: Can a given system design handle a projected data load? Resource Allocation problem: who gets to talk to which satellite when? Resource Allocation problem: who gets to talk to which satellite when? Existence result tells if the load can be handled, but does not tell how to allocate the resources Existence result tells if the load can be handled, but does not tell how to allocate the resources Result was used in a very practical way Result was used in a very practical way

Computer Model Overview Geometric framework Geometric framework Earth and satellite motion Earth and satellite motion Instantaneous visibility Instantaneous visibility Discrete time step model Discrete time step model

Geometric Framework x-y-z coordinate system x-y-z coordinate system Earth = sphere centered at (0,0,0) Earth = sphere centered at (0,0,0) Equator in xy plane Equator in xy plane Earth rotates around z axis Earth rotates around z axis Ground Stations travel in horizontal circles around z axis Ground Stations travel in horizontal circles around z axis Satellites travel in ellipses, one focus at (0,0,0) Satellites travel in ellipses, one focus at (0,0,0) Given initial position and velocity of a satellite, we can calculate its position at any time Given initial position and velocity of a satellite, we can calculate its position at any time Given latitude and longitude of ground station, we can calculate its position at any time Given latitude and longitude of ground station, we can calculate its position at any time

Instantaneous Visibility Geometric Models for visibility Geometric Models for visibility At instant, positions of satellites and stations given by motion models At instant, positions of satellites and stations given by motion models Constraints described in terms of lines, angles, cones Constraints described in terms of lines, angles, cones Line of sight from station to satellite is computed as a vector Line of sight from station to satellite is computed as a vector Vector methods used to compute angles Vector methods used to compute angles Communication possible when satellite can see the station Communication possible when satellite can see the station

Discrete Time Step Model Compute positions of all satellites and stations at one fixed time Compute positions of all satellites and stations at one fixed time Determine which satellites can see which stations Determine which satellites can see which stations Advance time by one minute, repeat all calculations Advance time by one minute, repeat all calculations Repeat many many times Repeat many many times For a 24 hour simulation, repeat 1440 times For a 24 hour simulation, repeat 1440 times

Design Problem Fixed ground stations Fixed ground stations Predefined connection time requirements Predefined connection time requirements LARGE range of choices for satellite orbits LARGE range of choices for satellite orbits For a given set of orbits, can all connect time requirements be met? For a given set of orbits, can all connect time requirements be met?

Graph Theory Formulation Bi-Partite Graph: Two sets of vertices Bi-Partite Graph: Two sets of vertices One vertex for each ground station One vertex for each ground station A separate vertex for each satellite for each time step A separate vertex for each satellite for each time step Edges indicate visibility Edges indicate visibility Visibility graph Visibility graph

Problem Formulation Edge Count = degree Edge Count = degree At station vertex degree = amount of connect time At station vertex degree = amount of connect time Assignment Subgraph: Degree 1 at each satellite/time vertex Assignment Subgraph: Degree 1 at each satellite/time vertex Given: Visibility graph and required degree at each station vertex Given: Visibility graph and required degree at each station vertex To Find: Assignment subgraph that meets all requirements To Find: Assignment subgraph that meets all requirements Existence Question: does a solution exist? Existence Question: does a solution exist?

History Gordan's Problem: Is there a finite set of invariants that can be used to generate all the rest? Gordan's Problem: Is there a finite set of invariants that can be used to generate all the rest? David Hilbert gives existence proof of a solution, 1888 David Hilbert gives existence proof of a solution, 1888 Gordan: ``This is not mathematics. This is theology.'' Gordan: ``This is not mathematics. This is theology.'' Felix Klein: ``wholly simple and, therefore, logically compelling.'' Felix Klein: ``wholly simple and, therefore, logically compelling.'' History sided with Hilbert and Klein History sided with Hilbert and Klein Gordan best remembered for being wrong about existence proofs. His statement ``has echoed in mathematics long after his own mathematical work has fallen silent.'' (Constance Reid) Gordan best remembered for being wrong about existence proofs. His statement ``has echoed in mathematics long after his own mathematical work has fallen silent.'' (Constance Reid)

Hilbert Gordon Klein

Satellites: Necessary Conditions ConReq: connection requirement for a station ConReq: connection requirement for a station ConReq for a station must be  visibility graph degree for the station ConReq for a station must be  visibility graph degree for the station Total of all ConReqs must be  number of satellite-time nodes Total of all ConReqs must be  number of satellite-time nodes These are two extreme cases of a more general constraint These are two extreme cases of a more general constraint For any subset of stations, the sum of ConReqs must be  the number of satellite-time nodes connected to the subset For any subset of stations, the sum of ConReqs must be  the number of satellite-time nodes connected to the subset

Necessary and Sufficient Chris Reed approach Chris Reed approach With n stations, 2 n - 1 necessary conditions With n stations, 2 n - 1 necessary conditions Check them all Check them all If one fails, no solution If one fails, no solution If all conditions are met.... A solution must exist! If all conditions are met.... A solution must exist! ``Bed rest, plenty of fluids, and a good hard proof.'' ``Bed rest, plenty of fluids, and a good hard proof.'' The marriage problem in graph theory The marriage problem in graph theory

Existence Result Finding the assignment subgraph is computationally prohibitive Finding the assignment subgraph is computationally prohibitive Checking all the conditions is computationally feasible Checking all the conditions is computationally feasible We can easily compute whether the assignment problem is solvable We can easily compute whether the assignment problem is solvable We cannot find the solution We cannot find the solution This is exactly what is meant by an existence result This is exactly what is meant by an existence result

VISREV Legacy Code Legacy Code Compute visibility graph AND right graph statistics to check all the necessary conditions Compute visibility graph AND right graph statistics to check all the necessary conditions I added logic to do all the tests, and report on the solvability of the assignment problem I added logic to do all the tests, and report on the solvability of the assignment problem Computationally intensive: 1440 time steps, 20 satellites, 10 stations,  1000 conditions to check Computationally intensive: 1440 time steps, 20 satellites, 10 stations,  1000 conditions to check Several hours on Cyber 7600 number cruncher Several hours on Cyber 7600 number cruncher Probably a few minutes on a PC today Probably a few minutes on a PC today

Minimal Transmission Rate Chris Reed Idea Chris Reed Idea Connection requirements inversly proportional to transmission rate Connection requirements inversly proportional to transmission rate Assignment Problem Unsolvable: try over with increased transmission rate Assignment Problem Unsolvable: try over with increased transmission rate Assignment Problem Solvable: try over with decreased transmission rate Assignment Problem Solvable: try over with decreased transmission rate Find smallest transmission rate that permits assignment problem to be solved Find smallest transmission rate that permits assignment problem to be solved This provides a comparison between system designs This provides a comparison between system designs NOTE: never need to actually find the solution to assignment problem. Existence is enough. NOTE: never need to actually find the solution to assignment problem. Existence is enough.

Brute Force Computation 109 system designs 109 system designs Computer time charges assessed by the second Computer time charges assessed by the second Submit 15 jobs in the morning and tie up computers all day Submit 15 jobs in the morning and tie up computers all day In one week: $80,000 of computer charges In one week: $80,000 of computer charges Chris Reed: don’t worry about computer charges – it’s “funny money” Chris Reed: don’t worry about computer charges – it’s “funny money”

Epilog: Funny Money Near the end of the brute force attack Near the end of the brute force attack Crossing El Segundo Blvd on my way to the LAAFS gym Crossing El Segundo Blvd on my way to the LAAFS gym Met up with Chris Reed Met up with Chris Reed STOP the analysis!!! STOP the analysis!!! ``It's not funny'' ``It's not funny''