Demonstrate Arc consistency:

To demonstrate the worth of performing an arc-consistency check before starting a serarch for a solution, we'll use an example from Barbara Smith's tutorial. Suppose that we have four tasks to complete, A, B, C and D, and we're trying to schedule them. They are subject to the constraints that: 

-  Task A lasts 3 hours and precedes tasks B and C 

-  Task B lasts 2 hours and precedes task D 

-  Task C lasts 4 hours and precedes task D 

-  Task D lasts 2 hours 

We will model this problem with a variable for each of the task start times, namely startA, startB, startC and startD. We'll also have a variable for the overall start time: start, and a variable for the overall finishing time: finish. We will say that the domain for variable  start  is {0}, but the domains for all the other variables is {0,1,...,11}, because the summation of the duration of the tasks is 3 + 2 + 4 + 2 = 11. We can now translate our English specification of the constraints into our formal model.

Posted Date: 1/11/2013 7:36:52 AM | Location : United States

Ask an Expert

Related Discussions:- Demonstrate arc consistency, Assignment Help, Ask Question on Demonstrate arc consistency, Get Answer, Expert's Help, Demonstrate arc consistency Discussions

Write discussion on Demonstrate arc consistency
Your posts are moderated

Write your message here..

Related Questions

Database management system, what is time out based schemes in concurrency c... what is time out based schemes in concurrency control

Explain the biometric systems and biometric authentication, Explain the Bio... Explain the Biometric Systems in brief. Biometrics: It is the science of measuring physical properties of living beings. Biometric Authentication: (a) This authenticati

Use of intrinsic functions in fortran, Q. Use of Intrinsic Functions in FOR... Q. Use of Intrinsic Functions in FORTRAN? HPF initiates some new intrinsic functions also to those defined in F90. The two mainly often used in parallel programming are system

Draw the logic diagram of 4-bit odd parity checkers, Normal 0 f... Normal 0 false false false EN-IN X-NONE X-NONE

Multiprogramming or multitasking, Multiprogramming or multitasking? An... Multiprogramming or multitasking? Ans: The OS manages the concurrent execution of many application programs to make best possible use of computer resources. This pattern of si

Define rules for evaluating the boolean expression, Define Rules For Evalua... Define Rules For Evaluating the Boolean Expression? Generally, the following rules must always be followed when evaluating the Boolean expression: Primary, perform all in

What is pattern, What is pattern? A pattern is a proven solution to a g... What is pattern? A pattern is a proven solution to a general problem. Lots of patterns are used. There are patterns for analysis, architecture, design and execution. Patterns c

What are assembly attributes, Attributes are declarative tags in code that ... Attributes are declarative tags in code that put in additional metadata into an assembly.

Leading zeroes of a number field, In order to suppress the leading zeroes o... In order to suppress the leading zeroes of a number field the which keywords is used ? NO-ZERO.

What is segment - assembler directives, What is SEGMENT - Assembler directi... What is SEGMENT - Assembler directives SEGMENT:  This directive defines to assembler the start of a segment with name segment-name.  Segment name must be unique and follows the