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

Explain about api s of olap, Microsoft in the late 1997 introduced a standa... Microsoft in the late 1997 introduced a standard API called as OLE DB. After which XML was used for analysis specification and this specification was largely used by a lot of vendo

What is parsing, What is parsing? Parsing is the process of analyzing a... What is parsing? Parsing is the process of analyzing a text, formed of a sequence of tokens, to find out its grammatical structure regarding a specified formal grammar. Parsing

First-order inference rules - artificial intelligence, First-Order Inferenc... First-Order Inference Rules -artificial intelligence: Now we have a perfect definition of a first-order model is,in the same way, we may define soundness for first-order infere

Computer organization and Architecure, Expain the working of associative m... Expain the working of associative memory

Draw back of assigning one bit position to control signals, What is the dra... What is the draw back of assigning one bit position to each control signals? Assigning individual bits to every control signal results in long microinstructions due to the numb

Example multi-layer ann with sigmoid units, Example Multi-layer ANN with Si... Example Multi-layer ANN with Sigmoid Units - Artificial intelligence: We will discuss ourselves here with ANNs containing only 1 hidden layer, as this makes describing the back

Hard and soft real time systems, Q. Hard and Soft Real Time Systems? ... Q. Hard and Soft Real Time Systems? Hard Real Time Systems that guarantee critical tasks are completed on time. Soft Real Time Systems that are less restrictive type o

One pointer variable be subtracted from another, Under what conditions can ... Under what conditions can one pointer variable be subtracted from another? Pointer subtraction isn't used very much, but can be handy to determine the distances between two arr

Define deadlock, Define deadlock. A process requests resources; if the ... Define deadlock. A process requests resources; if the resources are not available at that time, the method enters a wait state. Waiting processes might never again change state

How does tcp/ip decide the size of an ip fragment, How does TCP/IP decide t... How does TCP/IP decide the size of an IP fragment? Explain. TCP/IP protocol utilizes the name IP datagram to refer to an Internet packet. The amount of data carried into a data