<div dir="ltr">That problem is just Floyd-Warshall for O(n^3) runtime. If you accept O(n^3 * lg n) then there is a brilliant algorithm based on successive matrix multiplication (power ranking) in a matrix multiplication in which the +/2 operation is min/2. and the */2 operation is +/2. See for instance the code in Paulson's ML for the working programmer, Chapter 7: <a href="http://www.cl.cam.ac.uk/~lp15/MLbook/programs/sample7.sml">http://www.cl.cam.ac.uk/~lp15/MLbook/programs/sample7.sml</a> Look for MatrixZSP, ZSP and PathZSP in that code listing.<br><br><br></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Apr 23, 2018 at 4:36 PM bengt <<a href="mailto:cean.ebengt@gmail.com">cean.ebengt@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">The origin of this is the problem <a href="https://leetcode.com/problems/cheapest-flights-within-k-stops/description/" target="_blank">https://leetcode.com/problems/cheapest-flights-within-k-stops/description/</a><br>so yes it is a very simple structure with lots of assumptions that can be made.<br>Since it should be possible to write the code in 30 minutes I thought there might be a short-cut (Professor Layton solution :-)<br>I will do it the long way instead. Hopefully in just one day. Should be good for me anyway.</div><div style="word-wrap:break-word"><br><br>bengt</div><div style="word-wrap:break-word"><br><br><div><blockquote type="cite"><div>On 23 Apr 2018, at 15:56, Jesper Louis Andersen <<a href="mailto:jesper.louis.andersen@gmail.com" target="_blank">jesper.louis.andersen@gmail.com</a>> wrote:</div><br class="m_5711856789326893717Apple-interchange-newline"><div><div dir="ltr">On Sun, Apr 22, 2018 at 11:45 PM Vlad Dumitrescu <<a href="mailto:vladdu55@gmail.com" target="_blank">vladdu55@gmail.com</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi Bengt,<div><br></div><div>The solution is to do a search starting from one of the vertices and keep track of the found paths (saving a stack of already traversed vertices and watching out for cycles), but in the worst case it is an O(n!) algorithm. Even in non-pathological cases, it is easy to get an untractable number of solutions as the complexity is exponential. </div><div><br></div></div></blockquote><div><br></div><div>The obvious algorithm is a breadth-first-search keeping track of the possible paths in each vertex. But if the number of edges are high, then this has to visit all the edges.<br><br></div><div>It might be possible, given assumptions about cycles, to use a variant of (Floyd-)Warshall's algorithm. Build an "ascendancy matrix", but rather than processing boolean bits in each matrix cell, track the (number of) paths. If you can pull this off, then we are closer to something like O(n^3), though there are obvious flaws given cycles. So it may be you would need to analyze the incoming data and make sure the graph has a certain structure.<br><br></div><div>Is the graph directed or undirected? Are all the paths simple (i.e., they are not allowed to cycle?). I'd also look into graph cuts where you can divide the graph into two halves, one containing S and one containing T. It could be the solution count can be based on that number.<br><br></div></div></div>
</div></blockquote></div><br></div>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</blockquote></div>