|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{Unreferenced|date=December 2009}}
| | They call me Emilia. His family life in South Dakota but his spouse desires them to transfer. The thing she adores most is physique developing and now she is trying to earn money with it. He utilized to be unemployed but now he is a meter reader.<br><br>Here is my weblog [http://www.smylestream.org/groups/solid-advice-in-relation-to-candida/ www.smylestream.org] |
| The '''job-shop problem''' ('''JSP''') is a problem in [[discrete optimization|discrete]] or [[combinatorial optimization]], and is a generalization of the famous [[travelling salesman problem]]. It is a prominent illustration of a class of problems in [[computational complexity theory]] which are hard to solve.
| |
| | |
| ==Description of the problem==
| |
| A number of jobs have to be done and every job consists of using a number of machines for a certain amount of time. The problem is to find the best planning to do all the jobs on all the different machines in the shortest period of time.
| |
| | |
| Although a job can have any number of operations, the most common formulation of the job shop problem specifies that each job has exactly 'n' operations, one on each machine.
| |
| | |
| The job shop process differs from flow shop process in that the flow of work is not unidirectional in job shop, hence it is one of the complex scheduling problems.
| |
| | |
| == References ==
| |
| 1) principles of sequencing and scheduling by Kenneth R Baker ''et al.''
| |
| | |
| ==Statement of the problem==
| |
| Let <math>M = \{ M_{1}, M_{2}, \dots, M_{m} \}</math> and <math>J = \{ J_{1}, J_{2}, \dots, J_{n} \}</math> be two [[Finite set|finite]] [[set (mathematics)|sets]]. On account of the industrial origins of the problem, the <math>\displaystyle M_{i}</math> are called '''machines''' and the <math>\displaystyle J_{j}</math> are called '''jobs'''.
| |
| | |
| Let <math>\displaystyle \ \mathcal{X}</math> denote the set of all sequential assignments of jobs to machines, such that every job is done by every machine exactly once; elements <math>x \in \mathcal{X}</math> may be written as <math>n \times m</math> matrices, in which column <math>\displaystyle i</math> lists the jobs that machine <math>\displaystyle M_{i}</math> will do, in order. For example, the matrix
| |
| | |
| : <math>x = \begin{pmatrix} 1 & 2 \\ 2 & 3 \\ 3 & 1 \end{pmatrix}</math>
| |
| | |
| means that machine <math>\displaystyle M_{1}</math> will do the three jobs <math>\displaystyle J_{1}, J_{2}, J_{3}</math> in the order <math>\displaystyle J_{1}, J_{2}, J_{3}</math>, while machine <math>\displaystyle M_{2}</math> will do the jobs in the order <math>\displaystyle J_{2}, J_{3}, J_{1}</math>.
| |
| | |
| Suppose also that there is some '''cost function''' <math>C : \mathcal{X} \to [0, + \infty]</math>. The cost function may be interpreted as a "total processing time", and may have some expression in terms of times <math>C_{ij} : M \times J \to [0, + \infty]</math>, the cost/time for machine <math>\displaystyle M_{i}</math> to do job <math>\displaystyle J_{j}</math>.
| |
| | |
| The '''job-shop problem''' is to find an assignment of jobs <math>x \in \mathcal{X}</math> such that <math>\displaystyle C(x)</math> is a minimum, that is, there is no <math>y \in \mathcal{X}</math> such that <math>\displaystyle C(x) > C(y)</math>.
| |
| | |
| ==The problem of infinite cost==
| |
| One of the first problems that must be dealt with in the JSP is that many proposed solutions have infinite cost: i.e., there exists <math>x_{\infty} \in \mathcal{X}</math> such that <math>C(x_{\infty}) = + \infty</math>. In fact, it is quite simple to concoct examples of such <math>x_{\infty}</math> by ensuring that two machines will [[deadlock]], so that each waits for the output of the other's next step.
| |
| | |
| ==NP-hardness==
| |
| If one already knows that the [[travelling salesman problem]] is NP-hard (as it is), then the job-shop problem is clearly also NP-hard, since the TSP is special case of the JSP with <math>m = 1</math> (the salesman is the machine and the cities are the jobs).
| |
| | |
| == See also ==
| |
| * [[Job shop scheduling]]
| |
| * [[List of NP-complete problems]]
| |
| | |
| {{DEFAULTSORT:Job-Shop Problem}}
| |
| [[Category:NP-complete problems]]
| |
| [[Category:Mathematical optimization]]
| |
| [[Category:Operations research]]
| |
| | |
| [[de:Scheduling#Scheduling-Probleme]]
| |
They call me Emilia. His family life in South Dakota but his spouse desires them to transfer. The thing she adores most is physique developing and now she is trying to earn money with it. He utilized to be unemployed but now he is a meter reader.
Here is my weblog www.smylestream.org