Reference no: EM1388485
There is 3x3 grid. Each cell in grid may have a mine or not. For each cell, either it is observed or not. If cell is observed, an indicator for that cell is true iff that cell or one of its diagonally adjacent cells (northeast, northwest, southeast, southwest) has mine in it (note that the "or" here is a standard "disjunctive or", not an "exclusive or").
(a) Describe all binary variables required for propositional encoding of this Minesweeper problem. Provide your propositional variables interpretable names like m 1 2 for variable indicating whether mine is in cell (1, 2). As a function of n, how many variables are required to encode Minesweeper for grid of dimension n × n?
(b) Describe constraints which encode that cell (1, 2) is observed and indicates mine is not present, that cell (2, 1) is observed and indicates a mine is present, and that remaining cells are unobserved.
(c) Describe remaining constraints for this problem need to enforce consistency between all of variables. Note that corner, edge, and middle portions of grid should be treated separately when finding adjacency, e.g., a corner only has one diagonally adjacent cell whereas middle cell (2, 2) has four diagonally adjacent cells. Your constraint encoding must use ) and, and hence must not be in CNF.
(d) Give step-by-step CNF transformation of shortest axiom from (c) which involves the proposition m 1 1.
(e) Encode knowledge base constraints (b) and (c) in DIMACS CNF format explained below. In DIMACS comments, show mapping between variable names and DIMACS variable IDs (e.g., m 1 2 ! 5). Write listing of your DIMACS file. To avoid errors, it is strongly recommended that you write short program or script to generate DIMACS file automatically.
|
Question about virology
: It is January and the starting of a new semester. Just as you get settled in to your new routine, you begin to notice that illness is spreading across campus and other students in your classes are so sick they do not come to virology class.
|
|
Explain the difference between phenotype
: Assume you are a clinician in a small hospital and are monitoring the progression of myclonic epilepsy in twin boys. One twin remains only mildly affected by the condition.
|
|
Probability of selecting marbles
: A bowl with 10 marbles: 2 red marbles, 3 green marbles, and 5 blue marbles. We randomly select 4 marbles from the bowl, WITH REPLACEMENT, that is once a marble is selected, its color is noted and the marble is put back in the bowl (notice this doe..
|
|
Add the form which includes richtextbox control
: Add the form which includes RichTextBox control and several predefined template letters. This part of program would be used to write letters to your customers.
|
|
Describe constraints which encode that cell is observed
: Describe constraints which encode that cell (1, 2) is observed and indicates mine is not present, that cell (2, 1) is observed and indicates a mine is present, and that remaining cells are unobserved.
|
|
Create software to perform advanced geometric calculations
: You are hired by the engineering company to create software which performs advanced geometric calculations. Your new boss asked you to create the application
|
|
A quality analyst wants to construct a sample mean chart
: A quality analyst wants to construct a sample mean chart for controlling a packaging process. He knows from past experience that the process standard deviation is two ounces
|
|
Binding ribosomes and synthesizing leader peptides
: Create a model that would permit the attenuation region to no longer be involved in binding ribosomes and synthesizing leader peptides after the attenuation decision is made.
|
|
Consumers to determine their ranked preferences
: A market research company surveyed consumers to determine their ranked preferences of energy drinks among the brands Monster, Red Bull, and Rockstar.
|