9
$\begingroup$

Good evening! I'm actually doing an internship at the Archives Nationales of France and I encountered a situation I wanted to solve using graphs...

I. The dusty situation

We want to optimize the arrangement of books of my library according to their height in order to minimize their archive cost. The height and thickness of the books are known. We already arranged the books in ascending order of height $H_1,H_2,\dots,H_n$ (I don't know if it was the best thing but... that's the way we did it). Knowing each book's thickness, we can determine for each $H_i$ class the necessary thickness for their arrangement, call it $L_i$ (for example, the books that are $H_i = 23\,\mathrm{cm}$ tall might have total thickness $L_i = 300\,\mathrm{cm}$).

The library can custom manufacture shelves, indicating the wished length and height (no problem with depth). A shelf of height $H_i$ and length $x_i$ costs $F_i+C_ix_i$, where $F_i$ is a fixed cost and and $C_i$ is the cost of the shelf per length unit.

Note that a shelf of height $H_i$ can be used to store books of height $H_j$ with $j\leq i$. We want to minimize the cost.

My tutor suggested I model this problem as a path-finding problem. The model might involve $n+1$ vertices indexed form $0$ to $n$. My mentor suggested I work out the existing conditions, each edge signification and how to work out the valuation $v(i,j)$ associated to the edge $(i,j)$. I would also be OK with other solutions as well as insights.

For instance we have for the Convention (a dark period of the French History) such an array:

\begin{array}{|c|rr} i & 1 & 2 & 3 & 4\\ \hline H_i & 12\,\mathrm{cm} & 15\,\mathrm{cm} & 18\,\mathrm{cm} & 23\,\mathrm{cm}\\ L_i & 100\,\mathrm{cm} & 300\,\mathrm{cm} & 200\,\mathrm{cm} & 300\,\mathrm{cm} \\ \hline F_i & 1000€ & 1200€ & 1100€ & 1600€ \\ C_i & 5€/\mathrm{cm} & 6€/\mathrm{cm} & 7€/\mathrm{cm} & 9€/\mathrm{cm}\\ \end{array}

II. The assumptions of a trainee bookworm

I think I have to compute an algorithm between Djikstra, Bellman or Bellman-Kalaba... I'm trying to find out which one in the following subsections.

1.Conditions

We are here with a problem of pathfinding between a vertice $0$ and a vertice $n$, $n$ must be outgoing from $0$ (that is to say, a path (or a walk) must exists between $0$ and $n$

2.What to compute (updated (25/10/2015))

// Work still under process as far as I don't know which vertices to and which edges to model...

My best guess

I think we get rid of at least one type of shelves every time we find a shortest path from the array, but that's only my assumption... ;).

I think the best way to model how to buy shelves and store our books must look like the following graph, (but, please, feel free to criticize my method! ;))

from 0 graph

vertices:

  • $i\in[1,4]$ are shelves we can use to store our books.
  • $0$ is the state where no book is stored. Using this vertice allows me to use each cost formulas (edges).

edges: $F_i+C_ix_i,i\in[1,4]$ are the cost using a type of shelve. for instance: $F_1+C_1x_1$ fom 0 is the cost using only type 1 shelves to store our parchments, manuscripts...

Yet, from here I don't know how to create my shortest path problem.

Indeed, I would not know where would I have stowed all my books.

This leads me to another idea...

another idea...

to 0 graph

Here, I am searching for the shortest path from a given vertice to the 0 state, that is to say, knowing that the highest document is $type \ i$ tall, I am searching for the cheapest way to arrange my documents.

vertices:

  • $i\in[1,4]$ are shelves we can use to store our books.
  • $0$ is the state where all books are stored. Using this vertice allows me to use each cost formulas (edges).

edges: $F_i+C_ix_i,i\in[1,4]$ are the cost using a type of shelve. for instance: $F_1+C_1x_1$ from 3 is the cost using $type \ 1$ shelves after using $type \ 3$ shelves to store our parchments, manuscripts...

Yet, I don't know where to put $F_4+C_4x_4$.

3.How to compute

I think that we have to start with the higher shelves as far as we can then store the smaller books...

Do

We take $L_n$ cm of with the $H_{i=n}$ height in a shelve of their height + $z$ cm of an $H_{i=n-1}$ height until it becomes more expensive than taking the $H_{i=n-1}$ shelve. then $i=i-1$

While i><0

Finally, I don't know how to make x varying...

That is to say how to choose to put $x_i$ documents in $4$ or $3$ for instance.

$\endgroup$
  • $\begingroup$ How many books are there? i.e are $O(n), O(nlogn)$ algorithms the only ones that are acceptable? $\endgroup$ – jjohn Oct 21 '15 at 9:29
  • 5
    $\begingroup$ I don't see what this has to do with graphs: why force yourself to do something graph-based when the problem at hand is something like bin-packing? Your model fails to take into account the practicalities of shelving. For example, a shelving unit has shelves of a certain length: you can stack five metre-long shelves on top of each other, but a 99cm shelf, a 172cm shelf, a 128cm shelf, an 83cm shelf and an 18cm shelf (total length 5m) are completely useless. And, why on earth does it cost €2500 to build one metre of 23cm-high shelving? That doesn't seem remotely realistic. Is this library real? $\endgroup$ – David Richerby Oct 21 '15 at 11:28
  • 3
    $\begingroup$ 1. I don't understand why you force yourself to approach this as a pathfinding problem. If you're facing this situation in practice, it makes no sense to impose such an unnecessary limitation -- why would you reject other solutions that solve your problem using a different approach? I recommend you edit the question to remove that requirement. 2. You still haven't told us how many books there are. Can you give us a number? Something more specific than "a loooot", even if it is only an order-of-magnitude estimate? $\endgroup$ – D.W. Oct 22 '15 at 23:34
  • 1
    $\begingroup$ It seems you have spent quite some thoughts on your problem. That's good! However, storing a complete history of your thoughts in one question makes it rather unwieldy. SE works a lot better if you post a single, focused question and just enough background to make the question answerable. $\endgroup$ – Raphael Oct 27 '15 at 11:14
  • 1
    $\begingroup$ Regarding "I need to express it as a graph problem" -- that's a ... dumb requirement. If the problem is in P, write it up as LP and compute an equivalent max-flow instance. Voila. If it's in NP but you don't know it to be in P, write it as IP and convert to any NP-complete graph problem. Voila. $\endgroup$ – Raphael Oct 27 '15 at 11:18
5
$\begingroup$

I see you as asking, "I want to solve this with Dijkstra's algorithm but I can't set up a good graph to run on," therefore I will present you with such a graph.

A digraph where vertices are sets of shelved books.

Okay, we have books with heights $H_n,$ $1 \le n \le N$ and widths $W_n,$ with heights in ascending order for each book, and we want to group them into shelves.

Reuse these numbers for solution nodes $n,$ where that node represents a solution state "all books $i \le n$ have been shelved." We will therefore start at node $0$ and seek to get to node $N$ by the shortest path with Dijkstra's algorithm. These nodes are the vertices of our graph.

We then draw from node $i$ to any node $j \gt i$ a directed edge which assumes that all of those intermediary books will be shelved with one shelf, i.e. the length of this edge is $$L_{ij} = F_j + C_j~\sum_{n=i+1}^j W_n,$$where I have assumed that when you were saying the cost of the sum was $F_i + C_i x_i$ the subscript $i$ on the $x_i$ was totally meaningless.

Dijkstra's algorithm will then give us a shortest-length path to node $N.$

$\endgroup$
  • $\begingroup$ @Christ Drost, thaaaaaaaaanks, a lot! It took time to understand what you were trying to create without any graph but that was exactly what I was looking for! I read your amazing profile, it fits with your answer haha ;) ! $\endgroup$ – ThePassenger Oct 25 '15 at 22:39
  • $\begingroup$ I was wondering if Bellman-Kalaba wasn't more appropriate than Djikstra, the only need is not to have any cicruit (and we don't) $\endgroup$ – ThePassenger Nov 1 '15 at 21:37
  • $\begingroup$ And it's an algorthm that set definitively the lengths of the edges too. "node n represents a solution stating "all books i≤n have been shelved."" We can't go backward too with what you provided. $\endgroup$ – ThePassenger Nov 1 '15 at 21:44
  • $\begingroup$ I'm not sure what "going backward" means, but if you wanted to "go backward" you'd probably have to consider a more sophisticated graph where a node is a list of "number of books shelved by this shelf," an Int greater than 1. This leads to a graph of n^2 vertices. When you're looking for a path between A and B and all the edge weights are positive then there is no difference between Dijkstra and Bellman-Kalaba, except Bellman-Kalaba is always trying to update edges that don't need updating; Dijkstra merely stores pointers to the vertices that it cares about. $\endgroup$ – CR Drost Nov 2 '15 at 16:02
7
$\begingroup$

I think I have a solution to your problem. Hopefully I haven't misunderstood something in the definition of your problem. Here it goes:

I'm going to describe a Dynamic Programming approach. It's an $O(n^{2})$ algorithm, which means that since the number of books is huge it's not going to help you a lot. (you need to modify it a bit!). With some work, you can turn said Dynamic Programming approach into an instance of finding the shortest path on a Directed Acyclic Graph. (Which itself is a dynamic programming algorithm :P)

Suppose there are $n$ books all of different height.

Suppose also that the optimal cost is achieved by assigning the books to $i$ shelfs of height $h_{1},h_{2},...,h_{i}$ where $h_{1}<h_{2}<...<h_{i}$.

Let's prove the following two things:

A. $C_{a}>C_{a-1}$

Suppose the contrary. Let $B_{a-1}$ be the set of books assigned to shelf $a-1$ Then $cost = other,stuff + C_{a-1}*thickness(B_{a-1})$

Since, we assumed, $C_{a}<C_{a-1}$, let's transfer all books of shelf $a-1$ to $a$ (which is possible since $h_{a-1}<h_{a}$.

So,now, $cost =other,stuff + C_{a}*thickness(B_{a})$ which is lower than before. Hence, we have a contradiction due to the Optimality we assumed.

So $C_{a}>C_{a-1}$ for all shelfs created

B. Let $j$ be a book that is assigned to shelf $a$. Let's prove that $height(j)>h_{a-1}$

This is fairly easy. If $height(j)$ was smaller than $h_{a-1}$ we could put the book into shelf $a-1$ for a better cost (due to A).

Of the two things we've proven, B is the significant one.

Let $dp[a]$= the optimal cost for shelving books $1...a$ so that there is a shelf of $height(a)$. You have to find a way to define $dp[a]$ by the values $dp[1],dp[2],....dp[a-1]$

I'm going to stop here. If you are familiar with Dynamic Programming, using fact B, you will easily come up with the recurrence. Otherwise, ask :). As I said, this can be turned into a DAG problem. Knowing the relation above, it's easy to realize what the edge $(a,b)$ stands for and define its cost.

Last but not least, like I said above,as books are large, you cannot use the algorithm for each and every book. I think that representing its height by the sum of its thickness should do the trick. (I think it's already like that from your statement)

(I'm guessing number of different heights is much much less than number of books)


$\endgroup$
  • $\begingroup$ thank you for this solid help! First I had a question for the A part: why do we have a contradiction due to the optimality problem? I understand it logically that a cost lower when storing books of a lower height in higher shelves is contradictory but I what optimality do we assume? (That's maybe because I only do dynamic programming next semester... ?) $\endgroup$ – ThePassenger Oct 21 '15 at 21:35
  • $\begingroup$ Second, I think that there is a typo when you said for the A. Part conclusion $C_a<C_{a-1}$, it's the contrary, isn't it? $\endgroup$ – ThePassenger Oct 21 '15 at 21:38
  • $\begingroup$ @Marine1 Yes. You are right. It's a typo! Will soon fix it. Now for the other question. Suppose you have the optimal algorithm(i.e the one that outputs the best cost). If there exists a shelf $a$ in it such that $C_{a}>C_{a+1}$ then we could transfer all books from shelf $a$ to shelf $a+1$ and do not create shelf $a$. Then you would end up with a smaller cost(because a. the cost for thickness would be less and b. you wouldn't need $Fa$). But in our assumption we already have the optimal algorithm so this cannot hold. I hope this makes it somewhat clearer to you! $\endgroup$ – jjohn Oct 21 '15 at 21:42
0
$\begingroup$

Sometimes just "zooming in" on the "nearest problem" in the literature can help understand the theory and background behind the problem, build an abstraction, and eliminate spurious details. The nearest problem in the literature to yours seems to be what is known as "variable size bin packing problem". Sample papers are included below. This problem is highly theoretically studied and some off-the-shelf software exists, it shows up in optimizing packing boxes in eg trucks shipping containers. There are also versions where one can adjust container size. There are many algorithmic approaches. eg, from 1st paper:

The problem addressed in this paper is that of orthogonally packing a given set of rectangular-shaped items into a minimum number of three-dimensional rectangular bins.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.