It's UWAweek 47

help3001

This forum is provided to promote discussion amongst students enrolled in CITS3001 Advanced Algorithms.

Please consider offering answers and suggestions to help other students! And if you fix a problem by following a suggestion here, it would be great if other interested students could see a short "Great, fixed it!"  followup message.

How do I ask a good question?
Displaying selected article
Showing 1 of 202 articles.
Currently 21 other people reading this forum.


 UWA week 44 (2nd semester, 1st exam week) ↓
SVG not supported

Login to reply

👍?
helpful
8:43pm Wed 30th Oct, Andrew G.

ANONYMOUS wrote:
> Hi, I was looking for a bit of clarification for proving why your algorithm is correct. Is explaining well why your algorithm would successfully work always sufficient or would you ever need to write a formal proof? Thanks
Technically this depends on what the questions ask for, but you will notice that all the questions in the sample exam ask for a "justification". This is not asking for a formal proof, just an argument to convince the reader that your algorithm is correct (for all inputs). As I have said previously in this unit, the rule of thumb I suggest you use when writing such an argument is that it should be sufficient to convince a fellow student in the unit that your algorithm is correct. Therefore imagine being on the other side of this. Read your argument and see if there is anywhere you could poke holes in it or where it makes a logical leap that seems unfounded. Even better, practise with other students writing arguments to convince each other and trying to pull them apart. Hope that helps. Gozz

The University of Western Australia

Computer Science and Software Engineering

CRICOS Code: 00126G
Written by [email protected]
Powered by history
Feedback always welcome - it makes our software better!
Last modified  8:08AM Aug 25 2024
Privacy policy