Skip to content | Change text size

M O N A T A R

InfoTech Unit Avatar

FIT5220 Solving discrete optimisation problems

Chief Examiner

This field records the Chief Examiner for unit approval purposes. It does not publish, and can only be edited by Faculty Office staff

To update the published Chief Examiner, you will need to update the Faculty Information/Contact Person field below.

Graeme Gange

NB: This view restricted to entries modified on or after 19990401000000

Unit Code, Name, Abbreviation

FIT5220 Solving discrete optimisation problems (28 Mar 2019, 3:18pm) [SDOP (28 Mar 2019, 3:18pm)]

Reasons for Introduction

Reasons for Introduction (28 Mar 2019, 3:19pm)

This unit is a core elective in the Master of Artificial Intelligence to be introduced in 2020.

Discrete Optimisation technology is key for providing good solutions to decision making problems that appear in every area of our lives. It is a research strength of the Faculty and has led to successful collaboration with many industries, including Melbourne Water and Woodside. Yet, FIT does not have any units that teach modern optimisation modelling and solving methods at either the UG or PG level. This misalignment contributes to the lack of access our research group has to HDR students with the appropriate background.

Reasons for Change (18 Sep 2020, 11:21am)

29/10/2019: Updating the prerequisites to include new foundation unit. Effective S1, 2020.

11/11/2019: Updating the prerequisites. Now that planning is more advanced, it was agreed that FIT5216 should become the prereq. Effective 2020.

18/09/2020 - Admin: Update to include new assessment and teaching approach fields as per Handbook requirements.

Objectives

Objectives (28 Mar 2019, 3:20pm)

On successful completion of this unit, students should be able to:

  1. design efficient solutions for discrete optimisation problems;
  2. evaluate the limitations, appropriateness and benefits of different solving technologies for particular discrete optimisation problems;
  3. define and explore different complete and local search strategies for solving a given problem;
  4. explain how modelling interacts with solving technologies, and formulate models to take advantage of this using state of the art optimisation tools.

Unit Content

ASCED Discipline Group Classification (28 Mar 2019, 3:20pm)

020307 Decision Support Systems

Synopsis (28 Mar 2019, 3:19pm)

This unit introduces the fundamental algorithms for solving discrete ptimization problems, such as constraint programming, boolean satisfiability, mixed integer linear programming and local search.

Prescribed Reading (for new units) (18 Sep 2020, 11:53am)

Technological requirements

All code examples, lab tasks and assignments use the MiniZinc constraint modelling language and the Python programming language. MiniZinc is available free from https://www.minizinc.org for Windows, Linux and macOS. We recommend that you install MiniZinc and Python on your own laptop, however you can also these access these through MoVE (Monash Virtual Environment).

Teaching Methods

Mode (28 Mar 2019, 3:37pm)

On-campus

Special teaching arrangements (18 Sep 2020, 11:55am)

Active learning

Online learning

Peer assisted learning

Problem-based learning

Assessment

Assessment Summary (18 Sep 2020, 12:00pm)

Examination (2 hours): 40%; In-semester assessment: 60%

  1. In-class participation - 10% | Weeks 2-8 during workshops
  2. Assignment 1 - 5% - ULO: 1, 2
  3. Assignment 2 - 15% - ULO: 1, 2, 3
  4. Mid-semester test - 10% - ULO: 1, 2, 3, 4
  5. Assignment 3 - 20% - ULO: 1, 2, 3, 4
  6. Examination - 40% - ULO: 1, 2, 3, 4

Workloads

Workload Requirements (10 Apr 2019, 09:33am)

Minimum total expected workload equals 12 hours per week comprising:

A minimum of 8 hours per week of personal study for completing lab/tutorial activities, assignments, private study and revision.

Resource Requirements

Teaching Responsibility (Callista Entry) (28 Mar 2019, 3:38pm)

FIT

Prerequisites

Prerequisite Units (11 Nov 2019, 5:11pm)

FIT5216

Proposed year of Introduction (for new units) (28 Mar 2019, 3:40pm)

2020

Faculty Information

Proposer

Jeanette Niehus

Contact Person (13 Jan 2020, 12:42pm)

Graeme Gange

Approvals

School: 11 Nov 2019 (Emma Nash)
Faculty Education Committee: 11 Nov 2019 (Emma Nash)
Faculty Board: 11 Nov 2019 (Emma Nash)
ADT:
Faculty Manager:
Dean's Advisory Council:
Other:

Version History

28 Mar 2019 Jeanette Niehus New unit proposal
10 Apr 2019 Jeanette Niehus modified Workload/ContactHours
10 Apr 2019 Jeanette Niehus
12 Jun 2019 Jeanette Niehus FIT5220 Chief Examiner Approval, ( proxy school approval )
12 Jun 2019 Jeanette Niehus FEC Approval
12 Jun 2019 Jeanette Niehus FacultyBoard Approval - Approved at FEC 2/19, 17/4/2019
29 Oct 2019 Emma Nash ; modified Chief Examiner; modified ReasonsForIntroduction/RChange; modified Prerequisites/PreReqUnits
11 Nov 2019 Emma Nash modified ReasonsForIntroduction/RChange; modified Prerequisites/PreReqUnits
11 Nov 2019 Emma Nash FIT5220 Chief Examiner Approval, ( proxy school approval )
11 Nov 2019 Emma Nash FEC Approval
11 Nov 2019 Emma Nash FacultyBoard Approval - Approved at FEC 5/19.
13 Jan 2020 Emma Nash ; modified Chief Examiner; modified FacultyInformation/FIContact
18 Sep 2020 Joshua Daniel modified ReasonsForIntroduction/RChange; modified UnitContent/PrescribedReading; modified Teaching/SpecialArrangements; modified Assessment/Summary

This version: