Download PDF by Dorndorf U., Pesch Е., Phan-Huv Т.: A branch-and-bound algorithm for the resource-constrained

By Dorndorf U., Pesch Е., Phan-Huv Т.

We describe a time-oriented branch-and-bound set of rules for the resource-constrained venture scheduling challenge which explores the set of lively schedules by way of enumerating attainable job begin instances. The set of rules makes use of constraint-propagation ideas that take advantage of the temporal and source constraints of the matter so that it will lessen the quest area. Computational experiments with huge, systematically generated benchmark attempt units, ranging in dimension from thirty to 1 hundred and twenty actions consistent with challenge example, express that the set of rules scales good and is aggressive with different specified resolution methods. The computational effects express that the main tricky difficulties ensue while scarce source provide and the constitution of the source call for reason an issue to be hugely disjunctive.

Show description

Read Online or Download A branch-and-bound algorithm for the resource-constrained project scheduling problem PDF

Best algorithms and data structures books

New PDF release: Java & Databases (Innovative Technology Series)

Twenty-two teachers and practitioners contributed to this presentation of using Java in power garage managers and different functions.

New PDF release: IBM InfoSphere Replication Server and Data Event Publisher

This can be a developer's consultant and is written in a method appropriate to execs. The preliminary chapters conceal the elemental thought and rules of Q replication and WebSphere MQ. because the booklet advances, quite a few real-world eventualities and examples are coated with easy-to-understand code. the data received in those chapters culminate within the Appendix, which incorporates step by step directions to establish quite a few Q replication situations.

Extra resources for A branch-and-bound algorithm for the resource-constrained project scheduling problem

Sample text

1 . The circuit model A logical network or Boolean circuit is a finite, labeled, directed acyclic graph. Input nodes (output nodes) are nodes without ancestors (successors) in the graph. Input nodes are labeled with the names of input variables x 1 , . . , xn . The internal nodes in the graph are labeled with functions from a finite collection, called the basis of the circuit. Here the condition is enforced that the number of ancestors of an internal node is equal to the number of arguments of its label; moreover a suitable edge labeling establishes a 1 - 1 correspondence between the ancestors and the arguments of the label.

The top row of this table describes the initial configuration on input x, and the bottom row describes the final configuration which should be an accepting one. Each intermediate symbol is completely determined by the three symbols in the row directly above it, since the machine M is deterministic. The alternating device now guesses the position in the bottom row of the occurrence of an accepting state, and certifies this symbol by generating in a universal state three offspring machines which guess in an existential state the symbols in the three squares above it.

Pd(x i . . , xk, Y i . . , Yk) = 3 z i . . , zk [V u i . . , uk [V v i . . , vk [((u i . . , uk = X i . . , xk , zk) /\ vi , . . , vk = z I • v ( u i , . . , uk = Z i . . , zk /\ Vi . . , vk = Y i . . , Yk) ) => Pd - I (u i . . , uk, V i . . , vk ) ] ] ] . • • • Substituting fo r x i . . , xk and Y i . . , Yk the codes of the initial and final node in G(x, M, S) in PK (x 1 , , xk, y1 , • • • , yk), where K = c · S denotes the logarithm of the size of G(x, M, S), we obtain a closed quantified Boolean formula, the truth of which expresses the existence of an accepting computation.

Download PDF sample

A branch-and-bound algorithm for the resource-constrained project scheduling problem by Dorndorf U., Pesch Е., Phan-Huv Т.

by Mark

Rated 4.95 of 5 – based on 33 votes