Differences

This shows you the differences between two versions of the page.

--- lab7 [2016/02/24 14:05] – created franck
+++ lab7 [2017/02/18 20:32] (current) – franck
@@ Line 1: / Line 1: @@
-Consider the following app.
+====== Lab 7 ======
-<html>
-<pre>
+The beam search strategy uses the breadth-first search strategy to build its state space.  At each level of the search tree, it generates only a limited number of successors of the states at the current level.  To simplify matters, we limit that number to two.  In general, the beam search strategy would pick the two "best" successors.  Again, to simplify matters, our beam search strategy will select the two "left-most" successors.  Consider, for example, the following state space diagram.
-public class ComputeSquareRoot {
-    public static void main(String[] args) {
+{{:public:beamsearch.png|}}
-          double data = 3.1415926;
-          System.out.println("The square root of " + data + " is " + StrictMath.sqrt(data));
+While traversing the state space, the beam search strategy will visit the states labelled A, B, C, E and F.
-    }
-}
+Create a search strategy, named BeamSearch, which implements the beam search strategy.  Only add notifications related to SearchListeners (no need for dealing with the attribute done, etcetera).
-</pre>
-</html>
+To receive feedback, submit your code using the submit command before Tuesday Febraury 28:\\
+submit 4315 lab7 BeamSearch.java
-  - Develop a model class so that the above app can be verified with JPF.  [[https://en.wikipedia.org/wiki/Methods_of_computing_square_roots|This]] Wikipedia page might be helpful.
-  - Develop a native peer so that the above app can be verified with JPF.