Documents Found!
As seen in
Less Work, Better Grades
Join
Course Hero
Access
best resources
Ace
your classes
Ace your courses with Course Hero!
|
|
|
Study Smarter, Score Higher
Here are the top 5 related documents
...CIS283 (Section 3) Homework Assignment #2
Dr. Song Xing, Spring 2004 Due on Apr 24, Saturday Exercises:
1. (Lewis & Loftus 2.6) Given the following declarations, what result is stored in each of the listed assignment statements? Assume the statements...
...CIS283 (Section 3) Homework Assignment #3
Dr. Song Xing, Spring 2004 Due on May 1, Saturday Ch2 Exercises: (Lewis & Loftus)
2.4 What output is produced by the following statement? Explain. System.out.println ("50 plus 25 is " + 50 + 25); 2.5 What is ...
...CIS283 (Section 3) Homework Assignment #4
Dr. Song Xing, Spring 2004 Due on May 11 noon, Tuesday Exercises:
1. (Lewis & Loftus 3.3) What is wrong with the following code fragment? Rewrite it so that it produces correct output. if (total = MAX ) if (t...
...CIS283 (Section 3) Homework Assignment #5
Dr. Song Xing, Spring 2004 Due on May 29, Saturday
Note: If you have submitted the solutions for some questions with your homework assignments #4, you do not need to submit your solutions for those questions ...
Document Content (unformatted)
Course Hero has millions of student submitted documents similar to the one
below including study guides, homework solutions, papers, exam answer keys and textbook solutions.
cial Arti Intelligence Name: Course Number: EXAMINATION FOR CIS 667/467, CSE 684, CIS 500 Fall 2001 ARTIFICIAL INTELLIGENCE Midterm Exam (Time allowed: ONE HOUR FIFTEEN MINUTES) NOTE: Print your name and course number! Write your answers clearly. Illegible answers will be considered incorrect. Unless mentioned, make your answers short and get to the point. Answers containing correct statements as well as incorrect statements will not get full points. 1. (4 pts) PSSH states that intelligence can be achieved through manipulations of physical symbols. It is important because symbolic AI (i.e., Logic based systems such as Expert systems) is based on this hypothesis. 2. (4 pts) Rational agents are sel sh agents. They take whichever action that maximizes the expected value of the performance measure given information they have. Being rational doesn t mean the agent will always choose the right action. It will choose the best action based on its best knowledge. 3. (5 pts) Prof. Marvin Minsky s the Perceptrons work. The Perceptron is a single-layer neural network. Minsky proved (along with Papert) that the Perceptron can t compute the XOR function. This means that the perceptron can t compute the universal logic, therefore it is incomplete. At that time, there was no algorithms that can train multi-layer neural network. In mid 80s, an algorithm called back-propagation was invented that can train multi-layer neural network. (Actually, the invention of the algorithm seems to be much earlier). 4. (5 pts) Goal-based agents have some sort of goal information. The information describes situations that are desirable. However, it does not have detailed information on how far the current state is to the goal state. It mearly knows what action will make it happy in a crude way. Utility-based agents on the other hand can compute usefulness i.e., utility of themselves for a given state. Utility is a function that maps a state to a real number, which describes associate degree of happiness of the agents. Using utility, agents can compute the distance between the current state to the goal-state more precise manner than Goal-based agents. 5. (2+2+2 pts) Explain di erent environment types in the following: CONTINUED 2 Arti cial Intelligence (a) Accessible vs. Inaccessible In an accessible environment, agents can perceive the complete state of the environment. Inaccessible environment doesn t allow it. (b) Search space vs. State space. Search space is the problem space itself. State space is an abstraction of given search space that represents all possible states for the search space in order to solve given problem. (c) Episodic vs. Non-Episodic If the environment can be divided into indpendent episodes it is episodic. Othewise, it is nonepisodic 6. (6 pts) (1) Parent-node is necessary to backtrack to current node s parent. (2) after reaching to the goal state, to retrieve the path from the initial state to the goal state In A search, backtracking is necessary to expand nodes in monotonically increasing manner in terms of f (n). In A , path-max algorithm needs this info. In some search algorithms, not all expanded nodes are stored in the queue, therefore the parent node information is needed. 7. (6 pts) State di erence between a singe-state problem and a multi-state problem. Hint: think of problems as the environment types we discussed. Single-state problem: The environment is deterministic and accessible. Vacuum world with sensor input that can observe all the squares. Multi-state problem: environment The is deterministic but inaccessible. Vacuum world without sensor input. 8. (5 pts) We discussed that at least one direction of a bi-directional search must be a breadth- rst search. What would be a good choice for the other direction. Why? Either BFS or IDS. We can t use DFS since the two algorithms still can miss each other. Timing is everything. 9. (4 + 4 + 4 + 4 pts) (a) Depth-limited search. We know the depth of the goal. There is only one goal. the goal-state and path from the initial state to the goal state are returned. (b) IDS. The state space is large so BFS is not good. The state space may be in nite, so DFS can get stuck in a in nite path. the goal-state and path from the initial state to the goal state are returned. (c) SA. The goal state is not known. So we can use any other algorithm except SA and uniform random search. Since we can compare given any two states, SA is a good candidate. A goal-state is returned. It may or may not be true goal-state. CONTINUED 3 Arti cial Intelligence (d) A*. Since we have heuristic function. A* is optimal and complete. 10. (3 + 3 pts) (a) SA and RRH are similar in that both are gradient search algorithms. However, SA allows occasional bad moves while RRH always take a better state among the candidates. (b) For a large T , the probability of taking bad move is high. For a large E the prob. is smaller. I.e., taking a big bad jump has smaller prob. 11. (2 + 2 pts) (a) Probability theory: Facts; Fuzzy logic: degree of truth. (b) Probability theory: the prob. of rain tomorrow is 0.9; Fuzzy logic: Syracuse is a large city has degree of truth 0.1. 12. (2 + 2 + 3) (a) (1) Problem in representing quantitities. (2) Frame problem: representing non-changes and changes in the environment (b) Quati ers (c) The frame problem. One can alleviate (or solve) using extension of FOL. Situation calculus is one way. 13. (2 + 2 pts) Inference procedure. KB i means sentence can be derived from KB by procedure i. (a) What does it mean by i is sound? Soundness means truth-preserving. Given a knowledge base KB, an inference procedure i generates only sentences that are entailed by KB. I.e., whenever KB i , it is true that KB |= . (b) What does it mean by i is complete? Whenever KB |= , it is true that KB sentences entailed by KB. 14. (10 pts) Prove P3,1 . Currently, in KB, we have: B1,1 , B2,1 , B1,2 . Rules: B2,1 P1,1 P2,2 P3,1 P2,1 B1,1 P1,2 P2,1 P1,1 B1,2 P1,3 P1,2 P2,2 P1,1 Using B2,1 from KB and Modus Ponens, we have P1,1 P2,2 P3,1 P2,1 Using B1,1 from KB and Modus Ponens and And-Elimination, we have, P 1,2 , P2,1 , P1,1 CONTINUED i . That is, the inference procedure i generates all 4 Arti cial Intelligence Using B1,2 from KB and Modus Ponens and And-Elimination, we have, P 1,3 , P1,2 , P2,2 , P1,1 Using P1,1 P2,2 P3,1 P2,1 and Unit Resolution with P1,1 , P2,1 , and P2,2 , we have P3,1 left. 15. (3 + 3 + 3 + 4 pts) Convert the following English sentences in FOL (a) One s mother is one s female parent x, yM other(x) F emale(x) P arent(x, y) Child(y) or m, cM other(c) = m F emale(m) P arent(m, c) (b) Some mothers stay home xM other(x) Home(x) (c) Every mother loves her child x, yM other(x) ChildOf (y, x) Loves(x, y) (d) Every mother is either a housewife or working woman but not both xM other(x) (house wif e(x) working(x)) ( house wif e(x) working(x))
Find millions of documents here - Study Guides, Homework Solutions, Papers, Exam Answer Keys and more.
Course Hero has millions of course related materials that will enable you to learn better,
faster and get an A in all your courses.
Below is a small sample set of documents:
Below is a small sample set of documents:
Syracuse >> CIS >> 667 (Fall, 2008)
Articial Intelligence Name: Course Number: EXAMINATION FOR CIS 667/467, CSE 684, CIS 500 Fall 2001 ARTIFICIAL INTELLIGENCE Midterm Exam (Time allowed: ONE HOUR FIFTEEN MINUTES) NOTE: Print your name and course number! Write your answers clearly. I...
Syracuse >> CSE >> 684 (Fall, 2008)
Articial Intelligence Name: Course Number: EXAMINATION FOR CIS 667/467, CSE 684, CIS 500 Fall 2001 ARTIFICIAL INTELLIGENCE Midterm Exam (Time allowed: ONE HOUR FIFTEEN MINUTES) NOTE: Print your name and course number! Write your answers clearly. I...
Syracuse >> CIS >> 467 (Fall, 2008)
Problem solving and search Chapter 3, Sections 36 Modied for Fall 2006 Chapter 3, Sections 36 1 Outline (Recap) Problem-solving agents Problem types Problem formulation (Abstraction) Example problems Search algorithms we are here! Modied ...
Syracuse >> CIS >> 667 (Fall, 2008)
Problem solving and search Chapter 3, Sections 36 Modied for Fall 2006 Chapter 3, Sections 36 1 Outline (Recap) Problem-solving agents Problem types Problem formulation (Abstraction) Example problems Search algorithms we are here! Modied ...
Syracuse >> CSE >> 684 (Fall, 2008)
Problem solving and search Chapter 3, Sections 36 Modied for Fall 2006 Chapter 3, Sections 36 1 Outline (Recap) Problem-solving agents Problem types Problem formulation (Abstraction) Example problems Search algorithms we are here! Modied ...
Syracuse >> CIS >> 467 (Fall, 2008)
Informed search and Exploration Chapter 4, Sections 14 Modied for Fall 2006 Chapter 4, Sections 14 1 Outline History of Genetic Algorithms (GAs). The idea GAs as search algorithms GAs as learning algorithms (later in the semester) Generic G...
Syracuse >> CIS >> 667 (Fall, 2008)
Informed search and Exploration Chapter 4, Sections 14 Modied for Fall 2006 Chapter 4, Sections 14 1 Outline History of Genetic Algorithms (GAs). The idea GAs as search algorithms GAs as learning algorithms (later in the semester) Generic G...
Syracuse >> CSE >> 684 (Fall, 2008)
Informed search and Exploration Chapter 4, Sections 14 Modied for Fall 2006 Chapter 4, Sections 14 1 Outline History of Genetic Algorithms (GAs). The idea GAs as search algorithms GAs as learning algorithms (later in the semester) Generic G...
Syracuse >> CIS >> 467 (Fall, 2008)
Philosophical Foundations Modied for Fall 2006 1 Outline Intelligence and Mind Weak AI Position Strong AI Position The Chinese Room Argument The Brain Prosthesis Experiment Modied for Fall 2006 2 Weak AI Position It is possible to make mac...
Syracuse >> CIS >> 667 (Fall, 2008)
Philosophical Foundations Modied for Fall 2006 1 Outline Intelligence and Mind Weak AI Position Strong AI Position The Chinese Room Argument The Brain Prosthesis Experiment Modied for Fall 2006 2 Weak AI Position It is possible to make mac...
Syracuse >> CSE >> 684 (Fall, 2008)
Philosophical Foundations Modied for Fall 2006 1 Outline Intelligence and Mind Weak AI Position Strong AI Position The Chinese Room Argument The Brain Prosthesis Experiment Modied for Fall 2006 2 Weak AI Position It is possible to make mac...
Syracuse >> CIS >> 467 (Fall, 2008)
First-order logic Chapter 8 Second Part Modied for Fall 2006 Chapter 8 Second Part 1 Outline Syntax and semantics of FOL (Done) Example sentences using quantiers (Done) Wumpus world in FOL (This lecture note) Designing rules, knowledge bas...
Syracuse >> CIS >> 667 (Fall, 2008)
First-order logic Chapter 8 Second Part Modied for Fall 2006 Chapter 8 Second Part 1 Outline Syntax and semantics of FOL (Done) Example sentences using quantiers (Done) Wumpus world in FOL (This lecture note) Designing rules, knowledge bas...
Syracuse >> CSE >> 684 (Fall, 2008)
First-order logic Chapter 8 Second Part Modied for Fall 2006 Chapter 8 Second Part 1 Outline Syntax and semantics of FOL (Done) Example sentences using quantiers (Done) Wumpus world in FOL (This lecture note) Designing rules, knowledge bas...
Syracuse >> CIS >> 467 (Fall, 2008)
Planning Chapter 11 Modied for Fall 2006 Chapter 11 1 Outline Search vs. Planning Can use Situation Calculus for Planning. STRIPS language for planner Partial-order planning Modied for Fall 2006 Chapter 11 2 Search vs. planning Consider ...
Syracuse >> CIS >> 667 (Fall, 2008)
Planning Chapter 11 Modied for Fall 2006 Chapter 11 1 Outline Search vs. Planning Can use Situation Calculus for Planning. STRIPS language for planner Partial-order planning Modied for Fall 2006 Chapter 11 2 Search vs. planning Consider ...
Syracuse >> CSE >> 684 (Fall, 2008)
Planning Chapter 11 Modied for Fall 2006 Chapter 11 1 Outline Search vs. Planning Can use Situation Calculus for Planning. STRIPS language for planner Partial-order planning Modied for Fall 2006 Chapter 11 2 Search vs. planning Consider ...
Syracuse >> CIS >> 467 (Fall, 2008)
Sample Exam: Consider the problem of finding a path from Arad to Bucharesst (see fig 3.3) 1) What is the initial state? Arad 2) What is the goal TEST? Goal TEST checks whether the current state is Bucharest 3) What is the successor function? The su...
Syracuse >> CIS >> 667 (Fall, 2008)
Sample Exam: Consider the problem of finding a path from Arad to Bucharesst (see fig 3.3) 1) What is the initial state? Arad 2) What is the goal TEST? Goal TEST checks whether the current state is Bucharest 3) What is the successor function? The su...
Syracuse >> CSE >> 684 (Fall, 2008)
Sample Exam: Consider the problem of finding a path from Arad to Bucharesst (see fig 3.3) 1) What is the initial state? Arad 2) What is the goal TEST? Goal TEST checks whether the current state is Bucharest 3) What is the successor function? The su...
Syracuse >> CIS >> 478 (Fall, 2008)
Quiz 6 Answers Distribution of scores Average 13.46 3- 4: 5- 6: 7- 8: 9-10: 11-12: 13-14: 15-16: 17-18: 19-20: 3 7 9 11 14 15 17 19 4 Median = 14.5 AN ANSWER: Denition. The ration of (the number of items in a hash table) over (the number of position...
Syracuse >> CIS >> 478 (Fall, 2008)
CIS 351: Data Structures Honor Policy As stated in the course web page, each student is expected to behave ethically. Especially: do not cheat, plagiarize, or commit fraud. Fraud includes faking program transcripts to make it appear that code works...
Syracuse >> CIS >> 478 (Fall, 2008)
Big-O-ology Data Structures, Autumn 2008 1. Introduction Consider a carpenter who is building you a porch or an addition to your house. You would not think much of this carpenter if he or she couldnt produce a reasonable estimate of how much lumber ...
Syracuse >> CIS >> 554 (Spring, 2008)
Uses / Race.h #include \"Racetrack.h\" class Race { public: Race(Racetrack void go(); private: Racetrack / private data members and utility functions to / conduct the race simulation }; / Race.cpp Race:Race(Racetrack & r) :rt(r) {} void Race:...
Syracuse >> CIS >> 554 (Spring, 2008)
Name:_ Problem Compiles Base Shape Class Derived Shape Classes Proper use of Polymorphism All Operations Tested Correctly for Triangle class All Operations Tested Correctly for Rectangle class All Operations Tested Correctly for Circle class Screen S...
Syracuse >> CIS >> 554 (Spring, 2008)
CIS 554 Extra Credit Homework Homework Objective: Provide students with an opportunity to practice the development of C+ classes. Description: Tic Tac Toe Game 1. Write a Board class that draws a Tic Tac Toe board, similar to that shown below, and m...
Syracuse >> CIS >> 554 (Spring, 2008)
Operator Fundamentals q q Operators are like functions. They take parameters that the compiler acts upon, and return a value. Unary operators take 1 parameter. Example + or -s +x or x+; / increments x s -x or x-; / decrements x s q Binary operator...
Syracuse >> CIS >> 554 (Spring, 2008)
Name:_ Score:_ Problem Compiles Runs Without Error Answers (produces expected output) User friendlyness (i.e. easy to use without having to read the code to determine what input they are expecting) Input Checked for Error Comments Structure Construct...
Syracuse >> CIS >> 554 (Spring, 2008)
Name:_ Problem Compiles Constructs (MyRect Class) Draw method SetPositionMethod SetLength method SetWidth method SetFillColor method SetBorderColor method SetBorderWidth method Answers All Operations Tested Correctly in Test Driver (MUST include boun...
Syracuse >> CIS >> 554 (Spring, 2008)
The year is 2020. You are a software engineer working for a company that produces entertainment products. One day your supervisor comes up and asks you to sketch out design for a state of the art Jukebox system that is compliant with the latest techn...
Syracuse >> CIS >> 554 (Spring, 2008)
1 2006 Pearson Education, Inc. All rights reserved. 2 In this chapter you will learn: To specify const (constant) objects and const member functions. To create objects composed of other objects. To use friend functions and friend classes. To ...
Syracuse >> CIS >> 554 (Spring, 2008)
1 Chapter 12 - C+ Stream Input/Output Outline 12.1 Introduction 12.2 Streams 12.2.1 Classic Streams vs. Standard Streams 12.2.2 iostream Library Header Files 12.2.3 Stream Input/Output Classes and Objects 12.3 Stream Output 12.3.1 Output of char * V...
Syracuse >> CIS >> 554 (Spring, 2008)
1 14.1 Storage of data Introduction Arrays, variables are temporary Files are permanent Magnetic disk, optical disk, tapes In this chapter Create, update, process files Sequential and random access Formatted and raw processing 2003 Pren...
Syracuse >> CIS >> 554 (Spring, 2008)
Now we begin our optional, object-oriented design/implementation case study. These Thinking About Objects sections at the ends of this and the next several chapters will ease you into object orientation by examining an elevator simulation case study....
Syracuse >> CIS >> 554 (Spring, 2008)
1 10.1 Polymorphism Introduction Program in the general Treat objects in same class hierarchy as if all are base class Virtual functions and dynamic binding Will explain how polymorphism works Makes programs extensible New classes added ea...
Syracuse >> CIS >> 554 (Spring, 2008)
1 11.1 Templates Function templates Introduction Specify entire range of related (overloaded) functions Function-template specializations Class templates Specify entire range of related classes Class-template specializations 2003 Prentic...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 7 (ii) DPV Problem 5.1. (a) 19 (b) 2 (c) Here is the sequence. 1 2 3 4 5 6 7 (ii) DPV Problem 5.2(a). Set S {} A A,B A,B,C A,B,C,G A,B,C,F,G A,B,C,F,G,H A,B,C,D,F,G,H A 0/nil B /nil 1/A C /nil /nil 2/B D /nil /nil /nil 3/C 3/C 3/...
Syracuse >> CIS >> 575 (Fall, 2008)
Big-O-ology Algorithms, Autumn 2008 1. The problem Consider a carpenter who is building you a porch or an addition to your house. You wont think much of this carpenter if he or she couldnt produce a reasonable estimate of how much lumber this job is...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 8 (i) DPV Problem 5.14. CIS 575 4 Algorithms (v) DPV Problem 5.26. lows. for i 1 to n do makeset(i) for each equality xi = x j do union(i, j). for each inequality xi = x j do if nd(i) = nd(j) then return False October 24, 2008...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 10 (i) DPV Exercise 7.1. (20 points) y T d d(2,5) d d d d(5,2) d dE x (0,0) (5,0) Let obj(x, y) = 5x + 3y. Then obj(0, 0) = 0, obj(5, 0) = 25, obj(5, 2) = 31, and obj(2, 5) = 25. So the max is 31 at (5, 2). (ii) DPV Exerci...
Syracuse >> CIS >> 575 (Fall, 2008)
Problem 2 (8 points) A list [x1 , . . . , xk ] is said to have a majority element if strictly more than half of the xi s equal the same value. Given a list, we want to decide if a list has a majority value, and if so, we want to nd this value. We ass...
Syracuse >> CIS >> 575 (Fall, 2008)
Theoretical Computer Science Cheat Sheet Definitions f (n) = O(g(n) f (n) = (g(n) f (n) = (g(n) f (n) = o(g(n) n Series n iff positive c, n0 such that 0 f (n) cg(n) n n0 . iff positive c, n0 such that f (n) cg(n) 0 n n0 . iff f (n) = O(g(n)...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 11 CIS 575 \' Algorithms November 26, 2008 (c) Reduction from SAT: Given a conjunctive normal form formula, let g = the number of clauses in . Then ( , g) is an instance of MAX SAT that has a positive solution iff is satisabl...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers to Quiz 1 Distribution of scores 0- 2: 3- 4: 5- 6: 7- 8: 9-10: 11-12: 13-14: 15-16: 17-18: 19-20: 0 0 CIS 575 ! Algorithms 7 9 11 13 16 17 19 8 11 12 16 16 17 17 18 18 20 20 20 20 Median = 16.5 Average 13.9 Problem 1 (10 points) For eac...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 9 (i) PG Problems 392, 393, and 394. CIS 575 4 Algorithms November 1, 2008 The idea is that if xi = y j , then we cannot use both xi u xi using denominations 1 through i by (c). and y j , so the best we can do is the max L[i,...
Syracuse >> CIS >> 575 (Fall, 2008)
Big-O-ology Jim Royer Syracuse University Algorithms, Autumn 2008 Q: How do you tell how fast a method is? ONE ANSWER: Run some test cases. PROBLEM: You can only run a few test cases. There will be many inputs you wont test . . . and BAD things ma...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 1 Note. IH = Induction Hypothesis. (i) PG Problem 20. We take the hint and rst show: 2n > 2n + 1 for all n 3. BASE CASE. 23 = 8 > 7 = 2 3 + 1. INDUCTION STEP. IH: 2n > 2n + 1 for some n 3. We need to show that 2n+1 > 2(n + 1) ...
Syracuse >> CIS >> 575 (Fall, 2008)
CIS 575: Introduction to the Analysis of Algorithms Honor Policy As stated in the course web page, each student is expected to behave ethically: do not cheat, plagiarize, or commit fraud. Fraud includes faking program transcripts to make it appear ...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers to Quiz 5 Distribution of scores Average 13.46 2- 3: 4- 5: 6- 7: 8- 9: 10-11: 12-13: 14-15: 16-17: 18-19: 20-21: 22-23: 24-25: 2 2 Median = 16 CIS 575 < Algorithms Problem 2. (16 points) This question concerns the following two decision pro...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 6 (ii) DPV Problem 4.1. (a) Here is the table. Step init 1 2 3 4 5 6 7 A 0 0 0 0 0 0 0 0 B 1 1 1 1 1 1 1 1 C 3 3 3 3 3 3 3 D 4 4 4 4 4 4 E 4 4 4 4 4 4 4 4 F 8 7 7 7 7 6 6 6 G 7 5 5 5 5 5 5 H 8 8 6 6 6 CIS 575 ? Algorithms...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers to Quiz 2 Distribution of scores 0- 2: 3- 4: 5- 6: 7- 8: 9-10: 11-12: 13-14: 15-16: 17-18: 19-20: Average 12.94 Median = 14 CIS 575 % Algorithms 8 9 11 14 15 17 10 11 14 15 18 10 12 12 16 18 Problem 1 (12 points) For each of the followi...
Syracuse >> CIS >> 575 (Fall, 2008)
RSA CIS 428/628 Spring 2007 Introduction to Cryptography This is based on Chapter 4 of Lewand & Chapter 6 of Trappe and Washington 1 ON TO RSA (Well pick up on DES and AES later.) Symmetric Cryptosystems A and B have a shared secret the value o...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers to Quiz 3 Distribution of scores 7- 8: 9-10: 11-12: 13-14: 15-16: 17-18: 19-20: 7 10 10 13 15 17 18 13 13 14 14 16 17 17 18 18 19 Average 14.65 Median = 16 CIS 575 % Algorithms AN ANSWER FOR 1B. For each (v, u) E, bump both the outdegree o...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 4 (i) DPV Problem 2.5. (a) T(n) = 2T(n/3) + 1. So a = 2, b = 3, and d = 0. Thus 0 = d < logb a = log3 2 and by the Master Theorem, T(n) O(nlog3 2 ). (b) T(n) = 5T(n/4) + n. So a = 5, b = 4, and d = 1. Thus 1 = d < logb a = log4 ...
Syracuse >> CIS >> 575 (Fall, 2008)
SOFTWAREPRACTICE AND EXPERIENCE, VOL. 23(11), 12491265 (NOVEMBER 1993) Engineering a Sort Function JON L. BENTLEY M. DOUGLAS McILROY AT&T Bell Laboratories, 600 Mountain Avenue, Murray Hill, NJ 07974, U.S.A. SUMMARY We recount the history of a new...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 5 (i) DPV Problem 3.2. t EB t EC A 2,15 r 1,16 3,14 r b rr t f c c rD E E f 4,13 B 8,9 t b t b c c c j F b H G\' 7,10 5,12 6,11 t t t = a tree edge, f = a forward edge, b = a back edge, c = a cross edge (ii) DPV Pr...
Syracuse >> CIS >> 575 (Fall, 2008)
Multiplication a la Fran ais ` c function multiply(x, y) / input: two n-bit integers x and y with y 0 / output: x y if y = 0 then return 0 z := multiply(x, y/2 ) if y is even then return 2 z else return x + 2 z Correctness Base Case: y = 0. Then ...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 3 CIS 575 ? Algorithms September 11, 2008 (i) Fermats Corollary. (iv) DPV Problem 1.39. c c Suppose p is prime, 1 a < p, and n > 0. Show that: am an By Fermats Little Theorem: ab ab mod (p1) (mod p). c (mod p), where n is m...
Syracuse >> CIS >> 575 (Fall, 2008)
Greatest Common Divisor Denition gcd(a, b) = the greatest integer evenly dividing a and b. Theorem (Euclids Rule) Given integers a b > 0, gcd(a, b) = gcd(b, a mod b). function Euclid(a, b) / Input: a b 0 / Output: gcd(a, b) if b = 0 then return a ...
Syracuse >> CIS >> 575 (Fall, 2008)
Quiz 4 Distribution of scores Average 25.25 19-20: 21-22: 23-24: 25-26: 27-28: 29-30: 20 21 24 25 28 29 Median = 26.5 CIS 575 < Algorithms b. (3 points) Give an example to show that the following algorithm sometimes fails to nd an optimal clutch fo...
Syracuse >> CIS >> 575 (Fall, 2008)
Answers for Homework 2 CIS 575 ? Algorithms September 4, 2008 (i) DPV Problem 1.1. The largest 2-digit base b number is (b 1) b + (b 1) = b2 1. The largest sum of three 1-digit base b numbers is 3 (b 1) = 3b 3. We need to show that b2 1 3...
Syracuse >> CIS >> 575 (Fall, 2008)
Quiz 1 from 2007 CIS 575 ! Algorithms ! 2007 Questions Problem 1 (10 points) For each of the following pairs of functions f and g, state whether f (n) (g(n), and if not, then whether f (n) O(g(n) or f (n) (g(n). f (n) = (a) (b) (c) (d) (e) n3 2n...
Syracuse >> CIS >> 632 (Fall, 2008)
Homework 8 Reading. 5 of RS:MSV. CIS 632: Modeling Concurrent Systems Exercise 2 Consider the following process deni- (b) b.(a.U + a.S) and b.a.U + b.a.S tions: def (c) T|B and W|B S = b.T + a.0 T = b.T + a.T + c.0 U = b.U + a.W + a.0 def def Exerc...
Syracuse >> CIS >> 632 (Fall, 2008)
Name: CIS 632 Modeling Concurrent Systems Exam 1 October 9, 2006 Question 1 2 3 4 5 Total Instructions: Points Possible 26 20 15 24 15 100 Points Received 1. This exam is a closed-book, closed-notes exam. 2. Legibility counts! Make sure I can r...
Syracuse >> CIS >> 632 (Fall, 2008)
A Summary of the Modal -Calculus: Version 2 Formulas of the logic. propositional variable. := tt ff Z October 15, 2007 Below is a formula, K is a set of actions, and Z is a Approximates. Approximates are a better way of computing greatest and lea...
Syracuse >> CIS >> 632 (Fall, 2008)
Answers to Exam 1 CIS 632: Modeling Concurrent Systems Question 1 (24 points). Consider the following process denitions: P = a.b.P + b.0 def Q = c.b.Q def R = c.R def (a) Draw the transition graph of (Q + a.R)[a/b, b/c], labeling each node wit...
Syracuse >> CIS >> 632 (Fall, 2008)
Homework 2: Answers Exercise 1 (24 points). Consider the following process denitions: A = a.A def CIS 632: Modeling Concurrent Systems Exercise 2 (6 points). RS:MSV, page 26, Exercise 4.6. Draw at least 5 states of the process, and label each node o...
Syracuse >> CIS >> 632 (Fall, 2008)
Homework 1 Reading. Read RS:MSV Section 4: The Language Give a formal derivation for the transition: CCS; Sections 13 are also recommended. (RS:MSV teach is available from the course References page.) LECTURE LECTURE CIS 632: Modeling Concurrent Sy...
Syracuse >> CIS >> 632 (Fall, 2008)
CIS 632: Modeling Concurrent Systems 24 September 2007 FACT. For any process P and formula : P |= P |= c . FACT. For any formula : ()c )c = . Hennesey-Milner Logic: Summary Formulas of the logic. Below is a formula and K is a set of actions. :=...
Syracuse >> CIS >> 632 (Fall, 2008)
CIS 632: Modeling Concurrent Systems 10 September 2007 CCS (not quite the whole story): Summary Syntactic Category Names Co-Names Labels Actions Agents Processes where nil is another name for 0, and is the silent action (more on this later). Sum...
What are you waiting for?