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

Why assembly language is good?, Because it is enormously low level, assembl... Because it is enormously low level, assembly language can be optimized enormously well. Therefore assembly language is used where the extreme performance is needed for applications

Designing computer based information systems-background, DESIGNING COMPUTER... DESIGNING COMPUTER BASED INFORMATION SYSTEMS Background The role of Management Information Systems (MIS) in an organization can be considered as providing

Block diagram of digital computer, Block diagram of digital computer: ... Block diagram of digital computer: The general pattern of computer architecture has remained unchanged over the last four decades or so. It has a single processor, which accep

Working of web browser, Working of web Browser:   Internet is character... Working of web Browser:   Internet is characterized by the Client Server Computing that consists of three basic components: The Web client which may be the web browser;

Hardware, Hardware Hardware includes the cable and a Hub/Switch that... Hardware Hardware includes the cable and a Hub/Switch that will connect the participating computers together. Printers or any other peripherals connected to one computer can

Assignment, I have an assignment i need it to get it done How much would I... I have an assignment i need it to get it done How much would I be charged for that?

Describe the protocol used by the mmu, Question 1: a) A distinction is... Question 1: a) A distinction is often made between computer architecture and computer organisation. Describe, using examples, the meaning of computer architecture. b) Name

Cop2505, Create a program that uses a menu with options to enter student in... Create a program that uses a menu with options to enter student information (name, ID, GPA), print student information, or quit the program. Use data files and FILE pointers to sto

Software licensing, Software Licensing: Until early 1970's, sharing of... Software Licensing: Until early 1970's, sharing of software was the accepted norm. Hardware came bundled with software products which could be freely redistributed and the acc

Conditional statement, Conditional statement: An If statement is comp... Conditional statement: An If statement is composed of three parts. The first part should be keyword w.r.t language to convey to the computer that it is if statement. And a Bo