Exploring the Frontiers of Feasible Computation. The project aims to delineate the boundary between feasible and infeasible computational problems. A problem is considered feasible if there is an algorithm to solve it in worst-case time bounded by a polynomial in the input size. This is probably impossible for the important class of NP-complete problems. However, typical examples of NP-complete problems can often be solved in polynomial time, because worst-case problems are rare. The project is ....Exploring the Frontiers of Feasible Computation. The project aims to delineate the boundary between feasible and infeasible computational problems. A problem is considered feasible if there is an algorithm to solve it in worst-case time bounded by a polynomial in the input size. This is probably impossible for the important class of NP-complete problems. However, typical examples of NP-complete problems can often be solved in polynomial time, because worst-case problems are rare. The project is relevant to public-key cryptography, where breaking an encryption scheme should be infeasible, and to many real-life situations where NP-complete problems need to be solved, either exactly or approximately.Read moreRead less
Building Democracy and Justice after Conflict. Weak governance is a cause of terrorism. Australia is increasingly involved in nation-building projects, both in its region and internationally. This project will build Australia's expertise in the ways that international law can promote democracy and justice after conflict. It will develop guidelines for states and organisations involved in peace and nation-building. The project will thus contribute to safeguarding Australia by increasing Austra ....Building Democracy and Justice after Conflict. Weak governance is a cause of terrorism. Australia is increasingly involved in nation-building projects, both in its region and internationally. This project will build Australia's expertise in the ways that international law can promote democracy and justice after conflict. It will develop guidelines for states and organisations involved in peace and nation-building. The project will thus contribute to safeguarding Australia by increasing Australia's capacity to engage with, and interpret itself to, its neighbours and the broader international community, as well as by tackling the threat of terrorism.Read moreRead less