Formal Methods II
CSE3305
(i) Theoretic union for everything
(ii) Basically working with limits and infinite sequences etc.
It doesn't have to be a proof - if it's a clear argument then that's ok.
TSP problem
In each case you figure out the best and worst case, define in those terms, and exemplify by showing how it could be the best case. Find a graph where that happens and then indicate how that happens.
Problem 3.
Take the evel function, throw in a weight. the expresions are
Complete: If there is a definition, in the search space, it will find it eventually.
Problem4
Fuel costs etc. YOu can have a heuristic graph next to it. When you're doing with
(ii) Basically working with limits and infinite sequences etc.
It doesn't have to be a proof - if it's a clear argument then that's ok.
TSP problem
In each case you figure out the best and worst case, define in those terms, and exemplify by showing how it could be the best case. Find a graph where that happens and then indicate how that happens.
Problem 3.
Take the evel function, throw in a weight. the expresions are
Complete: If there is a definition, in the search space, it will find it eventually.
Problem4
Fuel costs etc. YOu can have a heuristic graph next to it. When you're doing with
Previous posts
Archives
Links
- JPS2150 Identity and Tradition
- CSE3308 Analysis and Design
- CSE3305 Formal Methods II
- CSE3395 Perl Programming
- CSE3391 Unix Tools
- Monash University
- my.monash
- Mathieutozer.com
- Courseware Page
0 Responses to “Assignment 2 Hints”
Leave a Reply