1. (40 points) Add a course drop method to the system that you implemented in Problem Set
1. Modularize your new implementation properly. For any new methods that you introduce:
1. Write a specication.
2. Write an implementation sketch.
3. Annotate the code.
2. (80 points) A partially ordered set (PoSet) is a pair (S; R) where S is a set and R  S  S
is a binary relation over S such that:
 R is re
exive: 8 x 2 S : xRx
 R is antisymmettric: 8 x; y 2 S : xRy ^ yRx ) x = y
 R is transitive: 8 x; y; z 2 S : xRy ^ yRz ) xRz
R is called a partial order over S.
Implement PoSet as an abstract data type. Your implementation must provide the following
operations:
 Create an empty partially ordered set (S; R), i.e., S = ;, R = ;.
 Add an element x to S: S := S [ fxg, with R remaining unchanged.
 Add an ordering between two existing elements x; y 2 S: R := R [ (x; y), provided that
this does not violate the partial order conditions.
 Answer a membership query x 2 S.
 Answer an ordering query (x; y) 2 R.
You may use any class in the Java collections framework.
Your solution must include the following:
1. An abstraction function and representation invariant for the class that implements PoSet.
2. Overview statements for every class.
3. Specication, implementation sketch, and annotation for all methods, with the exception
of very simple and obvious methods such as one line getter methods.

Posted Date: 3/3/2012 12:39:30 PM | Location : United States

Ask an Expert

Related Discussions:- Poset , computer science, Assignment Help, Ask Question on Poset , computer science, Get Answer, Expert's Help, Poset , computer science Discussions

Write discussion on Poset , computer science
Your posts are moderated

Write your message here..

Related Questions

Outdoor patient department features - a doctor module, A Doctor Module ... A Doctor Module Doctor has a list of the patients waiting for consultation. The doctor's module should include all the following details: Fields for common complaint

Output devices, Output Devices: Each output unit of computer system tr... Output Devices: Each output unit of computer system transmits information from the CPU and converts the electrical pulses to an appropriate output form. A printer, for example

Multithreaded Programming in python, Running more than a few threads is lik... Running more than a few threads is like running several different programs at the same time as, but with the following profits: • Multiple threads inside a process share the same d

Spreadsheet to provide a business solution, Gareth's Gardens is a small fir... Gareth's Gardens is a small firm that specialises in planning and laying new gardens.  A particularly popular garden plan consists of a patio and lawn, together with a circular pon

CAI EXPLANATION, What is CAI? Explain its pitfalls What is CAI? Explain its pitfalls

Calculate simple interest -algorithm, Algorithm : 1. Read the values of pri... Algorithm : 1. Read the values of principal amount, time and rate of simple interest into the locations labelled as P, T, R. 2. Set the count T to 1 implying the end of a year. 3.

What are the goals of wap architecture, Question 1 Explain the naming conv... Question 1 Explain the naming conventions of functions in WML scripts and also explain characteristics of functions in WML Question 2 What is WML input field? Explain WML

Operating system, what is operating system what is operating system

Ip basics, IP provide connectionless service to upper layer IP protocol is ... IP provide connectionless service to upper layer IP protocol is very simple could not guarantee the reliability of transportations IP protocol is Point to Point IP provide the unif

Classify computer system according to capacity, classify computer system ac... classify computer system according to capacity. how they are different from computer according to the classification of technology.provide the comparative study also.