Solved

Cryptarythmatic with Forward Checking, MRV, and Least Constraining Value

Posted on 2010-11-12
9
819 Views
Last Modified: 2012-05-10
Question: Solve the cryptarythmetic problem in Figure 6.2 by hand, using the strategy of backtracking with forward checking and the MRV and least-constraining-value heuristics.

In a cryptarythmetic problem, each of the letters are unknown numbers; usually different ones.
The C variables are carries, so one mathematical sentence that occurs will be
O + O = R * X_1, where O and R are between 0 and 9 inclusive, and X_1 has the domain { 0, 1 }.

I'm trying to understand how to approach this problem with "backtracking with forward checking and the MRV and least-constraining-value heuristics."
0
Comment
Question by:JCW2
  • 6
  • 3
9 Comments
 
LVL 84

Accepted Solution

by:
ozo earned 500 total points
ID: 34125450
In solving by hand, how would you describe the methods you use, without worrying about the names of the techniques?
0
 

Author Comment

by:JCW2
ID: 34125644
Backtracking: "The term backtracking search is used for a depth first search that chooses values for one variable at a time and backtracks when a variable has no legal moves left to assign."

Forward checking: "Whenever a variable X is assigned, the forward-checking process establishes arc-consistency for it: for each unassigned variable Y that is connected to X by a constraint, delete from Y's domain any value that is inconsistent with the value chosen for X."

MRV: Most constrained variable. "It also has been called the 'most constrained variable' or 'fail-first' heuristic, the latter because it picks a variable that is most likely to cause a failure soon, thereby pruning the search tree. If some variable X has no legal values left, the MRV heuristic will select X and failure will be detected immediately- avoiding pointless searches through other variables."

Least-constraining-value: "Once a variable has been selected, the algorithm must decide on the order in which to examine its values. For this, the least-constraining-value heuristic can be effective in some cases. It prefers the value that rules out the fewest choices for the neighboring variables in the constraint graph."
0
 
LVL 84

Assisted Solution

by:ozo
ozo earned 500 total points
ID: 34125743
I'm not asking for the definition of the terms, I'm asking what you do when you solve cryptarythmetic problems by hand.
However, since you mentioned those techniques, do you recognize any similarity with what you do?
Could the way you solve them by hand be made more efficient by applying those principles?
0
 

Author Comment

by:JCW2
ID: 34125744
I've forgotten the diagram:
Diagram.PNG
0
How your wiki can always stay up-to-date

Quip doubles as a “living” wiki and a project management tool that evolves with your organization. As you finish projects in Quip, the work remains, easily accessible to all team members, new and old.
- Increase transparency
- Onboard new hires faster
- Access from mobile/offline

 
LVL 84

Assisted Solution

by:ozo
ozo earned 500 total points
ID: 34125766
Can you fill in the constraints?
Is that the way you would solve it by hand?
Does seeing the constraints that way make the hand solution easier?
0
 

Author Comment

by:JCW2
ID: 34125786
A description of how I would solve this cryptarythmatic problem without any other instructions:

Assign 7 to T.
Therefore, C_3 = 1, F = 1, and O = 4.
Assign 3 to W.
Therefore, U = 6 and C_2 = 0.
O + O = R = 8, with C_1 = 0.
T was revised from 9 to 7.

In all, T = 7,   W = 3,
          O = 4,   F = 1,
          U = 6,   R = 8,
          X_1 = 0, X_2 = 0, and X_3 = 1.
0
 

Author Comment

by:JCW2
ID: 34128801
What is your feedback?
0
 

Author Comment

by:JCW2
ID: 34129113
0
 

Author Closing Comment

by:JCW2
ID: 34146856
Thank you for your help.

Reason for B grade:

Commenter (Ozo) did not respond to my message. Even something like "I don't know" would have been better than nothing.
0

Featured Post

How to improve team productivity

Quip adds documents, spreadsheets, and tasklists to your Slack experience
- Elevate ideas to Quip docs
- Share Quip docs in Slack
- Get notified of changes to your docs
- Available on iOS/Android/Desktop/Web
- Online/Offline

Join & Write a Comment

Suggested Solutions

Title # Comments Views Activity
algorithm 15 78
stringclean challenge 26 59
strCount chalenge 3 51
Image decoding from Camera 3 48
Go is an acronym of golang, is a programming language developed Google in 2007. Go is a new language that is mostly in the C family, with significant input from Pascal/Modula/Oberon family. Hence Go arisen as low-level language with fast compilation…
Since upgrading to Office 2013 or higher installing the Smart Indenter addin will fail. This article will explain how to install it so it will work regardless of the Office version installed.
Viewers will learn how to properly install Eclipse with the necessary JDK, and will take a look at an introductory Java program. Download Eclipse installation zip file: Extract files from zip file: Download and install JDK 8: Open Eclipse and …
In this seventh video of the Xpdf series, we discuss and demonstrate the PDFfonts utility, which lists all the fonts used in a PDF file. It does this via a command line interface, making it suitable for use in programs, scripts, batch files — any pl…

743 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question

Need Help in Real-Time?

Connect with top rated Experts

9 Experts available now in Live!

Get 1:1 Help Now