__group__,ticket,summary,component,version,type,owner,status,modified,_time,_description,_reporter
Milestone: none,376,A star (A*) algorithm,core,hg main,enhancement,kpeter,assigned,2011-12-09T17:17:01+01:00,19:28:11+02:00,"It would be nice to have an A-star (A*) algorithm implementation in LEMON. Additionally, a bidirectional version could also be implemented (see also: #249).
http://en.wikipedia.org/wiki/A*_search_algorithm",kpeter
Milestone: LEMON 1.5 release,384,Adaptor class for complementary graph,core,hg main,enhancement,deba,new,2016-07-15T13:50:18+02:00,23:12:35+02:00,"It would be nice to have an adaptor class to obtain the complementary graph of a simple, undirected graph.",kpeter
Milestone: LEMON 1.5 release,394,Add supprt for lp_solve,core,hg main,enhancement,alpar,new,2016-07-15T13:52:55+02:00,07:21:21+02:00,"http://lpsolve.sourceforge.net/5.5/
http://sourceforge.net/projects/lpsolve/
",alpar
Milestone: none,189,Add the functionality of ItemSetTraits to the graphs,core,hg main,enhancement,deba,new,2009-11-04T19:28:10+01:00,22:25:17+01:00,"Maybe we could introduce the functionality of `ItemSetTraits` to the graph concepts and to the adaptors in order to have the followings for all graph types.
- `Graph::Map`
- `Graph::It` or `Graph::ItemIt`
Where `T` can be `Node`, `Arc` or `Edge`.",kpeter
Milestone: none,78,Added functionality to graphToEps().,core,hg main,enhancement,alpar,assigned,2008-11-21T16:00:35+01:00,17:36:35+02:00,It would be nice to enable multiline copyright notices in {{{GraphToEps::copyright()}}},alpar
Milestone: none,77,Added functionality to nodePsTexts() named param. of graphToEps().,core,hg main,enhancement,alpar,assigned,2008-11-21T16:00:25+01:00,17:33:20+02:00,"When a pure postscript block is inserted as each node with nodePsTexts(), it would be nice to offer the choice not to move to the center but pass the coordinates to the Postscript block inserted.",alpar
Milestone: LEMON 1.5 release,425,API for giving back the state of Random,core,hg main,enhancement,deba,new,2016-07-15T13:57:05+02:00,17:36:26+02:00,"In some cases, it would be nice if we could query the state (i.e. the current seed) of Random in a format that is savable to a text file and retrievable later.
",alpar
Milestone: none,191,Benchmark questions related to Preflow,core,hg main,enhancement,kpeter,new,2009-11-05T11:09:40+01:00,22:43:09+01:00,"There are some efficiency questions about the `Preflow` implementation, that require thorough benchmarking.
- `Elevator` or `LinkedElevator` should be used by default?
- The BFS implementation in the `init()` function could be made more efficient using only one vector and three indices (`first`, `last`, `new_level`).
- We should try very large instances and check again whether the current heuristics and the constant 20 factor that is used for them are really optimal or not.
- We should try Goldberg's new idea of partial augmentations. (However it should probably be a new class.)",kpeter
Milestone: LEMON 1.4 release,33,Benchmarking,core,,task,alpar,new,2013-08-02T14:33:35+02:00,11:51:41+01:00,"Lemon seriously needs a benchmarking environment to test
- the effect of implementation changes on the running time
- performance of different compilers ans optimization settings
This environment should contain
- scripts for automated testing.
- carefully chosen set test files and graph generators.
",alpar
Milestone: LEMON 1.4 release,421,Better DAG test and topological ordering implementation,core,hg main,enhancement,alpar,new,2013-03-04T17:55:55+01:00,19:16:52+02:00,"Currently all these functions use Dfs with a custom visitor. I have a feeling that a direct algorithm might be faster and/or more memory efficient. The algorithm I propose is the following:
- Compute the in-degree of all nodes and store them in a `NodeMap` `deg`.
- Put all node `n` with `deg[n]==0` into a queue (or a stack) `q`.
- While `q` is not empty:
- Get a node `n` from `g`. This is the next node in the topological order.
- For each out-arc `a` of `n`:
- Decrease `deg[target(a)]` by 1
- If `deg[target(a)]==0` then put `target(a)` into `q`
",alpar
Milestone: none,249,Bidirectional Bfs and Dijkstra,core,hg main,enhancement,kpeter,assigned,2011-12-09T17:15:47+01:00,17:19:17+01:00,"It would be nice to have bidirectional Bfs and Dijkstra implementation in LEMON for the s-t shortest path problem.
Theoretically it is simple: the algorithm should be started ""in parallel"" from the source node s on the original graph and from the target node t on the reversed graph. As soon as we have a node u for which both direction have set the final ''dist'' and ''pred'' values, we can finish searching and construct the s->t path form the s->u path and the opposite of the t->u path. It could be faster by about a factor of two due to smaller search spaces.
However it is not clear for me how difficult it would be to implement it.",kpeter
Milestone: LEMON 1.5 release,225,Binary graph file format,core,hg main,enhancement,alpar,new,2016-07-15T13:31:16+02:00,07:52:21+01:00,"The {{{.lgf}}} format is nice, but the files become extremely large for big graphs.
In some cases it would be nice to have a version of {{{GraphReader}}}/{{{GraphWriter}}} using a much more condensed binary format while providing close to the same API and feature set.",alpar
Milestone: LEMON 1.4 release,375,Both lower and upper supply bounds in Network simplex,core,hg main,enhancement,kpeter,assigned,2013-03-01T20:00:09+01:00,07:15:34+02:00,"The idea is to extend Network Simplex so that the form of the problems are fully compatible with the one used by the LP solvers i.e.
{{{
m_l<=Ax<=m_u
l<=x<=u
}}}",alpar
Milestone: none,310,Bounding box for Bezier-curves,core,hg main,enhancement,deba,new,2009-08-18T21:15:53+02:00,21:15:53+02:00,The patch [1121710e18c9] contains functions for bounding box computation of Bezier-curves. ,deba
Milestone: none,344,Cairo based version of graphToEps(),core,hg main,enhancement,alpar,new,2010-02-17T07:05:45+01:00,07:05:45+01:00,"Currently graphToEps() directly generates its output .eps file. This is good because we do not depend on any third party library.
However using the cairo rendering backend would have a couple of advantages, most importantly it could directly create graphics in other formats like PDF, PNG (pixel graphics format) or SVG (editable vector graphics format). It would also allow easy integration to a GUI.
This enhancement could also be incorporated with #86.",alpar
Milestone: none,365,Cannot include in any of my application source files,core,hg main,defect,alpar,new,2013-08-07T16:29:46+02:00,07:12:15+02:00,"I am using the Gnu 4.4 compiler under MinGW with Codeblocks on Windows to build a large application. I cannot include or in my application without getting a stream of error messages I cannot figure out. My application must use these included file. I have placed error messages below.
Thanks for any help you can provide.
{{{
C:\usr\include\lemon\adaptors.h|3459|error: expected nested-name-specifier before 'Value'|
C:\usr\include\lemon\adaptors.h|3459|error: expected ';' before 'Value'|
C:\usr\include\lemon\adaptors.h|3461|error: wrong number of template arguments (0, should be 2)|
C:\usr\include\lemon\bits\traits.h|155|error: provided for 'template struct lemon::MapTraits'|
C:\usr\include\lemon\adaptors.h|3462|error: wrong number of template arguments (0, should be 2)|
C:\usr\include\lemon\bits\traits.h|155|error: provided for 'template struct lemon::MapTraits'|
C:\usr\include\lemon\adaptors.h|3463|error: wrong number of template arguments (0, should be 2)|
C:\usr\include\lemon\bits\traits.h|155|error: provided for 'template struct lemon::MapTraits'|
C:\usr\include\lemon\adaptors.h|3464|error: wrong number of template arguments (0, should be 2)|
C:\usr\include\lemon\bits\traits.h|155|error: provided for 'template struct lemon::MapTraits'|
C:\usr\include\lemon\adaptors.h|3465|error: wrong number of template arguments (0, should be 2)|
C:\usr\include\lemon\bits\traits.h|155|error: provided for 'template struct lemon::MapTraits'|
C:\usr\include\lemon\adaptors.h|3468|error: expected ')' before ',' token|
C:\usr\include\lemon\adaptors.h|3472|error: ISO C++ forbids declaration of 'Value' with no type|
C:\usr\include\lemon\adaptors.h|3472|error: expected ';' before 'operator'|
C:\A+MyPrograms\CombinatoricsCalculator\src\graphs\algorithms\GraphAlgorithmCanvas.cpp|698|error: expected ';' at end of input|
C:\A+MyPrograms\CombinatoricsCalculator\src\graphs\algorithms\GraphAlgorithmCanvas.cpp|698|error: expected '}' at end of input|
C:\A+MyPrograms\CombinatoricsCalculator\src\graphs\algorithms\GraphAlgorithmCanvas.cpp|698|error: expected unqualified-id at end of input|
C:\A+MyPrograms\CombinatoricsCalculator\src\graphs\algorithms\GraphAlgorithmCanvas.cpp|698|error: expected '}' at end of input|
C:\usr\include\lemon\adaptors.h|3443|error: expected unqualified-id at end of input|
C:\usr\include\lemon\adaptors.h|3443|error: expected '}' at end of input|
||=== Build finished: 21 errors, 0 warnings ===|
}}}",wford
Milestone: LEMON 1.5 release,146,Cheap copy of maps (reference counting) PHASE II.,core,,enhancement,alpar,assigned,2016-07-15T13:22:32+02:00,16:06:45+02:00,This is a follow-up of #137.,alpar
Milestone: LEMON 1.5 release,292,Checker functions for min cost flow,core,hg main,enhancement,kpeter,assigned,2016-07-15T13:37:17+02:00,12:50:33+02:00,"Maybe we could have checker functions for the minimum cost flow algorithms according to the test file. E.g. `checkFeasibility()` and `checkOptimality()` or `checkFlow()` and `checkPotential()`.
They would be similar to the checker functions of `Circulation`.
However it is questionable whether these functions should be introduced to all MCF algorithms or we should have them separetly, since the implementation would be independent form the algorithms.",kpeter
Milestone: LEMON 1.5 release,227,Command line tool for executing various algorithms,core,hg main,enhancement,alpar,new,2016-07-15T13:34:29+02:00,08:38:13+01:00,"This tool would read a .lgf file and run an algorithm on it. Finally it would report about the result or write the solution into a file. It should provide a wide range of algorithms which could be selected with command line options.
This is somewhat similar to that are proposed in #226, but I think they should be separate tools, as that one have a quite limited feature set, while this one will probably become a complex tool with tons of option with the time.",alpar
Milestone: LEMON 1.5 release,373,Compile time assertion,core,hg main,enhancement,alpar,new,2016-07-15T13:43:33+02:00,16:06:30+02:00,"Compile time assertion would be useful in some cases (instead of LEMON_ASSERT).
A possible solution is the following:
{{{
#!cpp
template struct STATIC_ASSERT_FAILURE;
template <> struct STATIC_ASSERT_FAILURE {};
template struct static_assert_test{};
#define LEMON_COMPILE_ASSERT(x) \
typedef static_assert_test<\
sizeof(STATIC_ASSERT_FAILURE< (bool)( x ) >)>\
_static_assert_typedef_
}}}
It could be used like that:
{{{
LEMON_COMPILE_ASSERT(numeric_limits::is_integer);
}}}",kpeter
Milestone: none,105,"Consider using the ""ziggurat"" method in Random::gauss().",core,hg main,enhancement,alpar,new,2010-11-16T10:02:28+01:00,13:55:05+02:00,"Currently, [source:lemon/random.h@716b220697a0#L825 Random::gauss()] uses a Box-Muller transformation based method. Ziggurat method is reported to be a better way of generating normally distributed random numbers, though one should check if it is indeed noticeably better in practice.",alpar
Milestone: LEMON 1.4 release,427,Create build() routine for StaticDigraph that allows # of arcs to be set explicitly,core,hg main,enhancement,alpar,new,2013-03-01T20:00:09+01:00,05:23:52+02:00,"Hello,
I recently tried used StaticDigraph with an iterator that used a forward-only traversal concept, as it was a thin wrapper to some rather complicated underlying structures. The problem is that the std::distance() call cause the iterator to run through the entire set to get the number of arcs, even though this was something I knew beforehand. Rather than create some sort of clumsy workaround, I found it easy to add another version of build() that permitted one to pass in the number of arcs explicitly. It's possible that mine is a rare case, but in case people are interested, here is a patch that does this. It's complete with appropriate documentation changes.",hoytak
Milestone: none,415,Custom cost types in NetworkSimplex,core,hg main,enhancement,alpar,new,2013-03-07T09:04:13+01:00,16:29:05+01:00,"Duraid Madina proposed an enhancement for `NetworkSimplex`:
{{{
I have been using Lemon's network-simplex code for some time.
Recently I wanted to use it with a custom Cost type and int Value type.
In order to make this simpler, I have patched network_simplex.h
so that the Cost class/type does not need/use operator*.
At the moment, my patch requires that a custom Cost class must
still implement operator* for (Cost, int) pairs. However, this is only
for the initialization of ART_COST, and for totalCost(). It is also
possible to eliminate these uses of operator*, but I have not needed
to make these changes.
The patch consists of three things:
1) the addition of a unitMul() function for multiplying Costs by
""unit values"" -1, 0 and 1
2) changing all occurences of Cost*unit value multipication to
calls to unitMul()
3) a small change to totalCost() allowing exact total costs to
be computed (requires the custom Cost class to provide Cost*Value
multiplication, but not Cost*Cost multiplication.)
There is one potential problem with the patch. On x86 machines
and ""int"" Cost type, there is a speed penalty of about 15%. This can be
eliminated through template specialization of the unitMul function for
""int"" Costs, but I have not done this for two reasons:
1) It would be great if you could do it in your preferred ""LEMON
style""
2) On some machines, such as ia64 (Itanium), the unitMul in the
attached patch actually leads to a speed _gain_ of about 10%. The
reason is that there does not seem to be any compiler which can
detect that the ""*"" can be replaced by predicated/conditional clears
and negations.
So rather than constant tempate specialization, perhaps
the choice of unitMul() implementation could be left to the user,
with a simple ""*""-based implementation as default?
Anyway, I hope this patch makes sense and you consider it
for inclusion in your code. I would like to conclude by saying a
big ""thank you!"" for the excellent LEMON library!!
Yours sincerely,
Duraid MADINA
RIKEN
}}}",kpeter
Milestone: none,247,DegMap,core,hg main,enhancement,kpeter,new,2009-11-04T19:31:01+01:00,16:45:57+01:00,"There are `InDegMap` and `OutDegMap` classes for directed graphs. So it would be nice to have a `DegMap` class for undirected graphs. I see that both `InDegMap` and `OutDegMap` can be used for this purpose, but it would be better to have `DegMap` even if it is just an alias for one of these maps.",kpeter
Milestone: none,201,Delaunay triangulation,core,hg main,enhancement,deba,new,2014-10-12T17:22:03+02:00,12:13:23+01:00,"Delunay triangulation is actually implemented in {{{tools/lgf-gen.cc}}}, but it would be nice to have it as a separate tool in the core library.
",alpar
Milestone: LEMON 1.4 release,475,DigraphWriter<> always saves Arc label,core,hg main,enhancement,alpar,new,2016-09-12T14:49:51+02:00,10:32:55+02:00,"The `DigraphWriter` class always saves an `label` map in the `@arcs` section, even if it is not given explicitly not Arcs are saved in the `@attributes` section. I think it is unnecessary to save an auto generated label map in this case.",alpar
Milestone: none,123,dim2::Point default constructor,core,hg main,enhancement,kpeter,assigned,2009-11-04T19:46:29+01:00,10:09:53+02:00,"I think the default constructor of {{{dim2::Point}}} should set the point (0,0). It is a natural request for any class that provides {{{operator+}}} to be able to sum it correctly with a template function.
I also made benchmark tests. They showed that this variant is not slower than the current one.",kpeter
Milestone: LEMON 1.4 release,318,"Document MapIt, ConstMapIt and ItemIt classes of standard maps",documentation,hg main,enhancement,kpeter,new,2013-03-07T10:44:01+01:00,08:09:40+02:00,"There are three iterator classes: `MapIt`, `ConstMapIt` and `ItemIt` for all standard graph maps, which seem to be useful. However they are neither documented nor tested in the concept classes. I think, they sohuld be.
This ticket is a follow-up of #311.",kpeter
Milestone: none,94,Easy erase in list graphs,core,,enhancement,alpar,new,2009-10-13T12:55:30+02:00,20:25:57+02:00,"The arcs and nodes might be able to erase during an iteration very easy way in the list and smart graph implementations. If an iterator points to an arc or a node, and the item is deleted, then the increment should be valid operation until other change occurred on the graph. Of course, accessing such iterator should be avoided.",deba
Milestone: LEMON 1.4 release,370,Edge coloring algorithms,core,hg main,enhancement,alpar,new,2013-08-02T14:29:22+02:00,06:33:16+02:00,"Hello,
for a project I am working on I had to implement a couple of edge
coloring algorithms. If there is any interest I could LEMON-ify them.
A valid edge coloring is a coloring of the edges so that each node has
no two incident edges colored in the same way.
What is implemented is:
* An edge map to store valid colorings and that supports the queries
needed by the algorithms in a fast way.
* An algorithm that colors bipartite graphs using at most as many colors
as the maximum node degree.
* Vizing's algorithm to color general simple graphs using at most as
many colors as the maximum node degree + 1.
* Test cases
Both algorithms are in O(m*n)
For general simple graphs it is not always possible to color them using
only maximum node degree. An example is K_3. Determining if this is
possible is NP-hard so Vizing's algorithm seems to be the best you can
get within polynomial time.
I've attached my code.
Best regards,
Ben Strasser
",Ben Strasser
Milestone: LEMON 1.4 release,426,Expose CBC/CPL original interface in CbcMip and ClpLp,core,hg main,enhancement,alpar,new,2017-09-19T15:32:27+02:00,06:54:27+02:00,Something like [http://lemon.cs.elte.hu/pub/doc/1.2.2/a00148.html GlpkBase::lpx*] would be a satisfactory solution.,alpar
Milestone: LEMON 1.5 release,407,Extend random_test.cc,core,hg main,enhancement,deba,new,2016-07-15T13:55:36+02:00,17:00:54+01:00,This ticket is a follow-up of #101.,kpeter
Milestone: LEMON 1.5 release,409,Extend unionfind_test.cc,core,hg main,enhancement,alpar,new,2016-07-15T13:55:50+02:00,17:04:18+01:00,"The following classes should be tested:
- `UnionFind`
- `ExtendFindEnum`
- `HeapUnionFind`
This ticket is a follow-up of #101.",kpeter
Milestone: LEMON 1.4 release,462,Extended run time checking in debug mode,core,hg main,enhancement,alpar,new,2013-10-26T20:47:31+02:00,10:17:23+02:00,"When using more graph instances of the same time (e.g. `ListDigraph`) in a code, it is a very common error that a `Node` or `Arc` is used with a different graph that they actually belong to. For example a `NodeMap` may be indexed by a node belonging to another graph. These kind of errors remain hidden during the compilation.
I propose adding a pointer to the owner graph to each `Node` and `Arc` objects, and check their the validity of the relevant graph and map operations. This feature would be turned on ''in debug mode only''.
Two things are worth checking:
- The item should belong to the corresponding graph
- The item should be valid (i.e. not `INVALID` and point to an existing item)
Here is a --- maybe incomplete --- list where checking could be made:
- `source()`, `target()`, `u()`, `v()`, `runningNode()`, `baseNode()`
- `id()`
- constructors of the iterators
- `operator++()` of the iterators (validity check only)
- `*Map<>::operator[]()'`, `*Map<>::set()'`,
- `changeSource()`, `changeTarget()`, `reverse()`",alpar
Milestone: LEMON 1.5 release,466,Extended std::vector<>,core,hg main,enhancement,alpar,new,2016-07-15T14:03:18+02:00,09:28:12+02:00,"Based upon the idea of #462.
We could implement a wrapper around `std::vector<>` with the following two extra features.
- A extra permanent iterator. It has the same functionality as `std::vector::iterator` but remains valid even when the vector is extended by new elements. Technically, it contains a pointer to the base vector plus an index.
- An `index` type. In non-debug mode it is just a `size_t`, but in debug mode it also contains a pointer to the vector it indexes, thus `operator[]()` is able to check if the index indexes the right vector (and also if it is in the actual range).
Both would be safer alternatives to referencing `std::vector<>`'s elements by integer indices.",alpar
Milestone: LEMON 1.4 release,250,Extensions for the interface of paths,core,hg main,enhancement,kpeter,assigned,2018-03-23T16:06:13+01:00,17:33:36+01:00," 1. Path structures have a function `nth(int n)` for getting the ''n'' th arc of the path. I suggest `operator[]` as an alias for this function.
2. ~~It would be nice to have `source()` and `target()` functions for paths. But it raise questions.~~
- ~~Is it necessary that all the arcs in a path are directed in the same direction? Or we could store oppositely directed arc in a path as well? How should we define the source/target? Would the source node be equal to `gr.source(path.front())` and the target to `gr.target(path.back())`?~~
- ~~Should paths store source and target nodes explicitly? It would make it possible to handle paths of zero length (with a specified starting node).~~
",kpeter
Milestone: none,300,Faster building of heaps,core,hg main,enhancement,alpar,new,2009-11-04T19:28:31+01:00,18:09:49+02:00,"For some heap structures it is possible to build them from an existing list of `n` items faster than calling `push()` `n` times.
E.g. for binary heap calling `push()` for each item takes `O(n log n)` time, while a heap can be built in `O(n)` time.
It would be nice to indroduce `build()` (or something like that) member functions into those heap structures, for which it could be done faster than calling `push()` `n` times. Or maybe such a function could be introduced to the heap concept itself and all the heap structures (it could be implemented by calling `push()`, if it is not slower).
The main reason why we have heaps is to use them in algorithms like Dijkstra and Prim. These algorithms do not need such a function, but if one would like to use LEMON heaps for other purposes, it may be useful.
",kpeter
Milestone: LEMON 1.4 release,604,Faster MaxMatching implementation,core,hg main,enhancement,deba,new,2016-07-06T17:12:29+02:00,13:26:18+02:00,"From Joran van Apeldoorn:
> On odd graphs it does not notice when a perfect matching (as in (n-1)/2 matched edges) is found and continues to do a BFS from the one unmatched vertex, off course without result.
> This makes the running time for slightly dense graphs a lot longer on odd graphs then on even graphs, to the extend that it can take easely a 100 times longer on odd graphs.",alpar
Milestone: none,379,Find odd cycles,core,hg main,enhancement,alpar,new,2010-07-02T23:58:23+02:00,23:58:23+02:00,We could extend the functions `bipartite()` and `bipartitePartitions()` so that they could return an odd cycle if the given graph is not bipartite.,kpeter
Milestone: none,269,Function type interface for Circulation,core,hg main,enhancement,alpar,new,2009-11-04T19:30:25+01:00,16:49:56+02:00,"It would be nice to have a function type interface for Circulation.
It should have almost the same named parameters as !NetworkSimplex (without costs), and it should be implemented without map copying to be as efficient as the class interface.
This ticket is a folow-up of #266.",kpeter
Milestone: LEMON 1.5 release,451,Functionality to test graph data structure consistency,core,hg main,enhancement,alpar,new,2016-07-15T14:02:28+02:00,06:58:01+02:00,"The graph implementations (and other complex data structures, too) could provide a `dsSelfCheck()` member function, which thoroughly tests the inner consistency of the underlying data structures. This could help testing the correctness of the graph operations, thus preventing us from bugs like #450.",alpar
Milestone: LEMON 1.4 release,374,Functions for weakly connected components,core,hg main,enhancement,alpar,new,2013-03-02T18:07:15+01:00,16:17:46+02:00,"I suggest to have the following functions:
{{{
#!cpp
bool weaklyConnected (const Digraph &graph);
int countWeaklyConnectedComponents (const Digraph &graph);
int weaklyConnectedComponents (const Digraph &graph, NodeMap &compMap);
}}}
which would work the same way as `connected()`, `countConnectedComponents()` and `connectedComponents()` for the undirected version of the digraph.
These proposed functions could be implemented easily using the `Undirector` adaptor and the undirected connectivity tools.",kpeter
Milestone: LEMON 1.5 release,297,Graph and map serializer,core,hg main,enhancement,alpar,new,2016-07-15T13:37:30+02:00,12:22:47+02:00,"For real distributed computing, it would be nice to have a ''serializer'' for the graphs and the map structures.
By a ''serializer'' I mean a facility to represent a graph/map as a compact raw sequence of bytes that can be sent to another (local or remote) process and the graph/map can be reconstructed from it.
The raw data format should be compact and easy to code and decode, however it cannot be independent from the underlying graph representation, as we must keep the node/arc IDs at the graph reconstruction.
This proposal is somewhat related to #225.",alpar
Milestone: none,8,GraphToEps() doesn't show loop egdes,core,hg main,enhancement,alpar,assigned,2008-11-03T18:16:46+01:00,13:35:54+01:00,"Although it would be nice.
This ticket is a copy of report !#27 of the old bug tracking system. It refers to svn trunk -!r2561.",alpar
Milestone: none,357,Guidelines for run/init/start,documentation,hg main,enhancement,alpar,new,2016-09-12T14:42:15+02:00,23:36:53+01:00,"Please add a few guidelines to the documentation about what are the invariants, pre and post conditions guaranteed by all algorithm objects and about the intended usage pattern. This includes documenting whenever:
* The graph object and/or map objects must be fully constructed when the constructor of the algorithm object is run. (This is relevant if the graph and the algorithms objects are member of the same class, as may happen with algorithm objects that use a graph transformation based reduction.)
* At what point may the graph and the other algorithm parameters no longer be changed anymore without causing a crash or without invalidating the results. Calling start after changing the graph without rerunning init is allowed to crash. Changing the graph after start has completed should invalidate the results (or maybe not but in that case that behavior should be documented).
* Must the destructor of the algorithm object run before running the destructor of the graph object?",Ben
Milestone: none,367,Gurobi backend for the LP interface,core,hg main,enhancement,alpar,new,2010-04-16T10:12:41+02:00,10:12:41+02:00,"[http://www.gurobi.com/ Gurobi Optimizer] focuses on parallel optimization and it is of increasing popularity. AFAK, it is freely available for academic purposes, thus it would be nice if LEMON supported it.",alpar
Milestone: LEMON 1.5 release,328,Heuristic MinCostFlow and MinCostMaxFlow,core,hg main,enhancement,kpeter,assigned,2016-07-15T13:38:43+02:00,01:23:26+01:00,"It could be worthwhile to create a heuristic min cost flow solver class named `MinCostFlow`. It would have the same interface as the single algorithms, but it could try to select the best algorithm to run according to the parameters of the problem (size of the graph, density, max. capacity etc.). This class could be used in e.g. thew dimacs solver.
Similarly, we could have a heuristic `MinCostMaxFlow` using `Preflow` and `MinCostFlow`. Or the interface of `MinCostFlow` could be extended to support min cost max flow. See also #244.
This ticket is a follow-up of #180.
",kpeter
Milestone: none,220,Implement a Dual Network Simplex algorithm,core,hg main,enhancement,alpar,new,2009-03-23T23:27:17+01:00,07:29:16+01:00,The title says everything.,alpar
Milestone: none,412,Implement Dinitz algorithm for the max flow problem,core,hg main,task,alpar,new,2012-01-11T10:42:32+01:00,17:30:53+01:00,"It would be nice to implement the ""original"" Dinitz algorithm for the max flow problem.
We have an implementation that uses dynamic trees, but it would be better to have a separate implementation without dynamic trees, as well.",kpeter
Milestone: none,413,Implement Young-Tarjan-Orlin algorithm for min mean cycle,core,hg main,enhancement,alpar,new,2012-01-11T10:43:26+01:00,17:37:01+01:00,"It would be nice to implement the Young-Tarjan-Orlin algorithm for the minimum mean cycle problem.
According to several survey papers, it is one of the fastest solution methods for this problem (and its extension: the optimum cycle ratio problem). Another method that is highly efficient is Howard's algorithm, which is already implemented in LEMON.",kpeter
Milestone: LEMON 1.4 release,363,Implementing a planar graph type,core,hg main,enhancement,deba,new,2014-11-20T08:13:38+01:00,20:30:45+01:00,"My goal is to implement classes for planar graphs. The !PlanarGraph class maintains a topology of nodes, edges and faces and provides algorithms that are characteristic to planar graphs. !PlaneGraph extends this functionality with geometric properties, such as node coordinates and arc shapes.",gyorokp
Milestone: none,183,Improve doc of Elevator,core,hg main,enhancement,kpeter,assigned,2013-03-07T10:44:17+01:00,11:22:17+01:00,"The documentation should describe the differences between {{{Elevator}}} and {{{LinkedElevator}}} and give some hints about their performance on specific tasks.
This is a follow-up of #174.",alpar
Milestone: none,338,Infinite capacities in Preflow,core,hg main,enhancement,alpar,new,2010-02-09T23:28:34+01:00,23:28:34+01:00,"Infinite (or very high) capacities typically cause problems in `Preflow`, since the algorithm usually saturate arcs.
This problem could be overcome by finding a finite cut and replace the huge capacities on the outgoing arcs of the source node with the value of the found cut if such a cut exists. Otherwise the max. flow value is infinite.
This solution could be implemented in the `Preflow` class itself or rather in a separate wrapper class (it should be used in the DIMACS solver utility, as well).
This ticket is a follow-up of #319.",kpeter
Milestone: none,284,LGF to EPS converter tool,tools,hg main,enhancement,alpar,new,2009-11-04T19:29:44+01:00,10:33:32+02:00,"It would be nice to have a well configurable command line tool for converting LGF files into EPS.
Of course, it would be basically a command line wrapper around `graph_to_eps()`.",alpar
Milestone: none,237,Line graph implementations,core,hg main,enhancement,alpar,new,2009-03-03T13:29:46+01:00,13:29:46+01:00,They can either be adaptors or just simple tools for creating the line graph of a given graph similarly to the graph copying tools.,alpar
Milestone: LEMON 1.4 release,3,ListGraph should store/update the number of edges and nodes,core,hg main,enhancement,kpeter,assigned,2013-08-02T14:34:26+02:00,13:10:42+01:00,"Counting the number of edges and nodes is a frequent graph operation. Now, it takes linear time to get these values. Instead we might store these values and update them at every edge/node addition and deletion.
Of course this change would slow down these operations a bit.
This ticket is a copy of report !#8 of the old bug tracking system. It refers to svn trunk -!r2460.",alpar
Milestone: LEMON 1.5 release,402,Maps don't initialize subseqnetly added graph elements to the map-constructor's initial value.,core,release branch 1.2,enhancement,alpar,new,2016-09-12T14:49:13+02:00,00:30:42+01:00,"Greetings all.
I'm experiencing a ( perceived ) problem with Maps. Maps ""know"" when new elements in a graph are added, and provide a default value. One of the two constructors for a map allows a user ( me ) to specify this default value. I expect that, all elements of a graph will receive that value upon map-construction, and I expect subsequent graph element additions to also take on that value. I observe that, all elements of a graph *do* receive the default value upon map-construction, but *do not* set my specified default-value when new elements are subsequently added to the graph.
I have a test program, which I will attach.
I also have a diff against lemon/bits/{array,vector}_map.h that attempt to remedy this situation, and hopefully reinforce my expected behaviour.
Please advise on if this is in fact a bit, or if it is intentional by design and my understanding is incorrect.",willo
Milestone: LEMON 1.5 release,216,Member in Circulation to transform the solution to a basic one,core,hg main,enhancement,kpeter,assigned,2016-07-15T13:28:42+02:00,07:17:27+01:00,"Having a basic solution for the circulation problem is sometime quite useful, e.g. it can be used as a staring solution of the primal Network Simplex algorithm.
The interface should also provide the tree (or forest) of the basis.
",alpar
Milestone: LEMON 1.5 release,238,Min cut iterators in Preflow,core,hg main,enhancement,alpar,new,2016-07-15T13:32:03+02:00,23:02:45+01:00,It would be nice to have iterators for obtaining the min. cut in `Preflow` class. E.g. there could be `MinCutNodeIt` and `MinCutArcIt` similarly to the ones in `GomoryHu` class (but note that in `Preflow` we have directed cuts).,kpeter
Milestone: LEMON 1.5 release,399,Missing getter and streaming operator for Node/Arc id,core,hg main,enhancement,alpar,new,2016-07-15T13:54:02+02:00,16:57:10+01:00,please implement a getter and streaming operator for the id field of the Node and Arc class. This would be very helpful. Always have to use the graph class is very inconvenient and sometimes not even possible. thx,tobi_connect
Milestone: LEMON 1.5 release,251,More efficient graph copying,core,hg main,enhancement,alpar,new,2016-07-15T13:34:46+02:00,17:44:14+01:00,"Is there any way to make graph copying faster for graph types like `List(Di)Graph` and `Smart(Di)Graph`?
Maybe we could have specialized versions of `(di)graphCopy()` for the cases when both types are the same, e.g. list or smart graph, which function would directly copy the vectors that represent the graph.
I'm not sure about the implementation, but I think this method would have two advantages:
- It could be faster.
- It would keep the node, arc and/or edge ids and the order of the items. Now if you have a `SmartDigraph` and copies it to another `SmartDigraph` structure, then the iteration orders of the nodes and arcs are reversed.",kpeter
Milestone: LEMON 1.5 release,400,MPL LpSolver/MipSolver backend,core,hg main,enhancement,alpar,new,2016-07-15T13:54:13+02:00,06:33:02+01:00,"The idea is to write an LP/MIP interface that is able to build up the problem, but when solving, it first create an MPL file, call the external command line solver, then parse back the output of the solver.
Of course it will be less efficient than using the C API of the same solver, but
- it can be useful to have the LP program built up by our code in MPL format, so that we can play with the solver separately (e.g. for experimenting with the tuning options).
- for some legal reason, it may simply be impossible to link the mip/lp solver to our code.",alpar
Milestone: none,296,Multicommodity flow algorithms,core,hg main,task,kpeter,assigned,2009-11-05T11:21:38+01:00,18:47:21+02:00,"It would be important to implement various multicommodity flow algorithms in LEMON. Approximation (and maybe exact) solution methods for fractional, integral and unsplittable multicommodity flow problems.",kpeter
Milestone: none,222,Network Simplex alg. for a simplified problem,core,hg main,enhancement,alpar,new,2011-01-09T17:50:39+01:00,07:40:59+01:00,"A simpler (but in fact equivalent) form of the Network Flow Problems when we have no upper limit on the arcs. We can also assume that the lower limit is 0 everywhere.
In this case Network Simplex algorithms becomes much easier:
- A basis is just a tree, and it's trivial to obtaine both the primal and the dual solutions from it.
- A starting dual feasible solution is just a feasible potential w.r.t. the cost, so it can be computed by a shortest path algorithm.
",alpar
Milestone: none,76,New features for graphToEps(),core,hg main,enhancement,alpar,assigned,2008-11-03T18:22:10+01:00,17:23:46+02:00,"Some additional features for {{{graphToEps()}}} would be nice to have.
For example:
- The ability of setting linestyles, such az dotted, dashed etc.
- The ability of the assignment of a second color to the edges along with a percentage value. Then the edges would be colored with to color according to the percentage.
",alpar
Milestone: LEMON 1.4 release,345,Obtaining and storing the LP solution,core,hg main,enhancement,alpar,new,2013-03-01T20:00:09+01:00,12:48:59+01:00,"It would be nice if the LP and MIP solver interfaces provided functions for obtaining the LP solution at once. We could use a class that can store the solution efficiently, i.e. it should store variable-value pairs for the non-zero valued variables.
This ticket is a follow-up of #326.",kpeter
Milestone: none,37,operator= for RangeMap and SparseMap,core,hg main,enhancement,kpeter,assigned,2009-11-04T19:45:17+01:00,18:50:14+01:00,Now {{{operator=}}} function is private (without implementation) in {{{RangeMap}}} and {{{SparseMap}}} classes. Do we need public {{{operator=}}}?,kpeter
Milestone: LEMON 1.5 release,218,Path decomposition subroutine in Preflow.,core,hg main,enhancement,kpeter,assigned,2016-07-15T13:29:07+02:00,07:22:08+01:00,"The title says everything.
See also #217.",alpar
Milestone: LEMON 1.4 release,611,Planar drawing algorithm requires at least 3 nodes,core,hg main,defect,deba,new,2018-05-21T13:17:41+02:00,13:17:41+02:00,Planar drawing algorithm fails if it called with less than 3 nodes,deba
Milestone: LEMON 1.4 release,610,PlanarDrawing::run() is incompatible with the PlanarEmbedding algorithm,core,hg main,defect,alpar,new,2018-05-15T14:20:07+02:00,14:16:06+02:00,,deba
Milestone: LEMON 1.4 release,168,Port bipartite matching algorithms,core,hg main,task,alpar,new,2013-08-02T14:46:14+02:00,13:02:18+01:00,"This ticket is a follow-up of #48.
The following tools are affected:
- lemon/bipartite_matching.h
- lemon/pr_bipartite_matching.h (I really dislike this filename)
- test/bipartite_matching_test.cc
It also depends on #69 (the port of the bipartite graphs).",alpar
Milestone: none,64,Port constrained shortest path algorithm,core,,task,alpar,assigned,2008-12-15T17:05:21+01:00,14:06:02+01:00,"Namely, this file:
- lemon/csp.h
",alpar
Milestone: none,178,Port dynamic tree based max flow algs.,core,hg main,task,deba,new,2009-11-05T11:21:07+01:00,11:34:10+01:00,"This ticket is a follow-up of #47.
Affected files are:
- lemon/dynamic_tree.h
- lemon/goldberg_tarjan.h
- lemon/dinitz_sleator_tarjan.h ",alpar
Milestone: none,63,Port metaheuristics,core,,task,ladanyi,assigned,2010-07-03T17:57:27+02:00,14:04:23+01:00,"The following files are affected.
- lemon/tabu_search.h
- lemon/simann.h
- test/simann_test.cc
",alpar
Milestone: none,200,Port sparse SubGraph adaptor from SVN,core,hg main,task,deba,new,2009-11-05T11:21:30+01:00,11:45:53+01:00,"The {{{SubGraph}}} class in the 0.x series stores the unhidden edges/nodes as a double linked list (just as {{{ListGraph}}} does), therefore it provides better performance than the {{{SubGraphAdaptor}}} when the subgraph is sparse.
{{{SubGraphAdaptor}}} has been renamed to {{{SubGraph}}} in the 1.x series, thus I suggest to call the linked list based implementation as {{{SparseSubGraph}}}.",alpar
Milestone: none,71,Port Steiner tree approximation algorithm,core,,task,deba,assigned,2008-11-24T13:44:37+01:00,16:24:31+01:00,"Namely, the file
- lemon/steiner.h
",alpar
Milestone: LEMON 1.5 release,351,Port the LP utilities,core,hg main,task,deba,new,2016-07-15T13:41:21+02:00,00:07:03+01:00,"Revise and port the Lp utilities from SVN, namely
- `lp_utils.h`
- `lp_utils.cc`",kpeter
Milestone: none,73,Port the remaining miscellaneous tools,core,,task,alpar,assigned,2009-10-07T16:40:50+02:00,16:29:50+01:00,"The following files should be considered.
- lemon/dist_log.h
- lemon/refptr.h
- ~~lemon/iterable_maps.h~~
- lemon/bits/debug_map.h
- lemon/matrix_maps.h
- lemon/polynomial.h
- lemon/concepts/matrix_maps.h
- lemon/map_iterator.h",alpar
Milestone: LEMON 1.5 release,346,Port the remaining shortest path algorithms,core,hg main,task,alpar,new,2016-07-15T13:41:08+02:00,14:10:36+01:00,"The following files are affected:
- lemon/floyd_warshall.h
- lemon/johnson.h
- lemon/dag_shortest_path.h
- test/all_pairs_shortest_path_test.cc
This ticket is a follow-up of #51.",kpeter
Milestone: LEMON 1.4 release,59,Port the remaining spanning tree algorithms,core,,task,alpar,new,2013-03-08T11:44:35+01:00,13:49:48+01:00,"The following files are affected.
- lemon/fredman_tarjan.h
- lemon/prim.h
",alpar
Milestone: none,70,Port VirtualMaps,core,,task,alpar,assigned,2008-11-23T09:28:59+01:00,16:22:47+01:00,"This affects
- lemon/vmap.h
but this tool is still in an early stage.
",alpar
Milestone: none,151,Possible improvement in the function-type implementation of BFS/DFS/Dijkstra,core,hg main,enhancement,deba,new,2009-08-02T13:20:55+02:00,17:38:45+02:00,"This ticket is a follow-up of #96.
Maybe it would be better if we could avoid using {{{NodeMap}}}s (instead of {{{NullMap}}}s) as {{{PredMap}}} and {{{DistMap}}} structures in the cases when they are not necessary. So the default type of these maps would be a {{{NullMap}}} in {{{Bfs/Dfs/DijkstraWizardDefaultTraits}}} classes, and it would be changed only if it is really needed (i.e. {{{path()}}} and/or {{{dist()}}} named parameter is used).
Balazs suggested a solution for this, saying: ""iff at least one s-t path search is queried, real pred map should be defined, and iff at least one length of an s-t path queried, real dist map should be used. It could be done with the {{{ForkMap}}}s"".
It is a benchmark question however, that this implementation would be more efficient or not in practice.",kpeter
Milestone: LEMON 1.5 release,221,Primal Network Simplex algorithm with given starting solution,core,hg main,enhancement,kpeter,assigned,2016-07-15T13:29:23+02:00,07:32:24+01:00,"If a primal solution is available, then we don't need the extension of the underlying graphs, which may speed up the algorithm sometimes.",alpar
Milestone: LEMON 1.5 release,271,Provide output in dimacs-solver,core,hg main,enhancement,alpar,new,2016-07-15T13:36:19+02:00,00:05:42+02:00,"Currently dimacs-solver reports only the shortest path length (distance), the max flow value or the min flow cost. It would be better to provide the full solution in DIMACS format.
For the max flow here is a relevant output format (from the webpage of A. V. Goldberg):[[BR]]
http://www.avglab.com/andrew/CATS/maxflow_formats.htm
This format can be used for min cost flow problems as well. I found an MCF solver that actually use this, see the attached sample file.
However I didn't find such output format for shortest path problems. There are various formats for correctness checking and performance reporting, but they are very specific to the 9th DIMACS implementation challenge and follow a slightly different concept.[[BR]]
http://www.dis.uniroma1.it/~challenge9/format.shtml
Maybe we should invent a shortest path output format according to the other dimacs input/output formats, or only provide output for the flow problems.",kpeter
Milestone: none,235,Push-relabel max flow (Preflow) for undirected graphs,core,hg main,enhancement,alpar,new,2009-02-25T13:45:02+01:00,13:45:02+01:00,"The current Preflow algorithm works well on undirected graphs, however a specialized version for undirected graphs could more efficient than the current solution. The flow map could be EdgeMap in this case and the edges do not need to be iterated twice (outgoing and incoming arcs). I think the overall improvement could be a small factor both in time and storage complexity.
",deba
Milestone: LEMON 1.5 release,385,QuadHeap instead of BinHeap in Dijkstra,core,hg main,enhancement,alpar,new,2016-07-15T13:50:56+02:00,23:33:32+02:00,"It is questionable whether `Dijkstra` should use `QuadHeap` instead of `BinHeap` by default.
In theory, a fourary heap is at least as efficient as a binary heap independently of the actual use case. I made some benchmark tests in which `QuadHeap` turned out to be typically faster than `BinHeap`, especially when many `decrease()` operations are performed. See the benchmark results [attachment:ticket:313:heap_benchmark_results.txt here]. However, binary heap is the ""standard"" choice.",kpeter
Milestone: none,98,Read-Write LoggerBoolMap,core,hg main,enhancement,kpeter,assigned,2009-10-12T15:44:06+02:00,19:40:18+02:00,"!LoggerBoolMap map is only writable, so e.g. it can be used for !ProcessedMap, but it cannot be used for !ReachedMap in Bfs, Dfs, Dijkstra.
Now the simplest way for creating such a map is
{{{
#!cpp
typedef LoggerBoolMap<...> LoggerMap;
BoolEdgeMap map;
LoggerMap log;
ForkMap m(map, log);
}}}
",kpeter
Milestone: LEMON 1.4 release,431,Remember the lastly evaluated arcs in Circulation (and in Preflow),core,hg main,enhancement,alpar,new,2013-03-09T11:07:35+01:00,07:53:37+01:00,"The [attachment:23a4fa3a7e62.patch attached patch] changes the behavior of `Circulation` class.
For each node, we now store the lastly evaluated arc, so we can continue from this arc instead of starting from the beginning when the node is evaluated again.
A test on a network of 32768 nodes and 262892 arcs (generated by `netgen`) shows a running time improvement of 24%. A much more comprehensive test would of course be necessary, but this number seems quite promising.
The same idea can (should?) also be applied to the `Preflow` class.",alpar
Milestone: none,313,Revise the implementation of PairingHeap and RadixHeap,core,hg main,enhancement,alpar,new,2009-09-01T21:58:47+02:00,21:43:45+02:00,"The implementation of `PairingHeap` and `RadixHeap` should be revised, since they could most likely be made more efficient.
For example, in LEDA (according to their tests) pairing heap is always faster than Fibonacci heap, moreover it is usually faster than binary heap. Radix heap is also very fast, it is usually better than both pairing and binary heaps. However according to my tests, `PairingHeap` and `RadixHeap` are almost always slower than `BinHeap` in LEMON.
LEDA results: http://www.cs.elte.hu/~kiraly/sanyag.adatstr/LEDAbook.heaps.ps
Two hints for `PairingHeap`:
1. It does not contain the heuristic that the small heaps created by `push()` and `decrease()` operations are collected in a temporary storage and they are merged into the main heap only if it is necessary (e.g. in case of a `pop()` or `prio()`).
2. The underlying binary tree is currently stored using two indices (pointers) and a bool value at each node. This needs less space than storing three indices (for the parent and the two children), but it is not clear if it is faster or slower. The latter representation should also be implemented and tested.
Apart from that, there could be other points in which the code could be made better.",kpeter
Milestone: none,358,Runtime complexity for every algorithm,documentation,hg main,enhancement,alpar,new,2011-01-09T18:00:27+01:00,23:39:55+01:00,Some algorithms such as `MaxWeightedPerfectMatching` include the complexity of the runtime. Others such as `MaxMatching` do not. It might be nice to add this information to the documentation of every algorithm object.,Ben
Milestone: LEMON 1.5 release,246,s() and t() as an alias for source() and target(),core,hg main,enhancement,alpar,new,2016-07-15T13:32:58+02:00,16:11:03+01:00,"As we have `u()` and `v()` for undirected graphs, it seems to be a good idea to have shorter alias names for `source()` and `target()`, e.g. `s()` and `t()`, since they are among the most frequently used functions.
What do you think about it?",kpeter
Milestone: LEMON 1.4 release,355,SCIP MipSolver backend,core,hg main,enhancement,alpar,new,2013-12-03T22:12:00+01:00,10:39:38+01:00,"The title says everything. Please find Ambros Gleixner's beta version implementation attached. His comments comes below.
Sziasztok,
attached is a beta version of the SCIP interface. There is one segfault
bug which I somehow cannot figure out. I will have to solve this with
my colleagues in Berlin.
Do you have some more extensive test files for the MIP interfaces
besides test/mip_test.cc? If so, I would be happy to run them.
Üdv,
ambros
",alpar
Milestone: LEMON 1.4 release,381,Simplified heaps without priority update,core,hg main,enhancement,alpar,new,2016-07-15T13:46:06+02:00,17:41:14+02:00,"The existing heap implementations in LEMON cointain an Item->int map to indicate the current location of each item. It is required to implement `increase()`, `decrease()`, `erase()`, etc. functions.
However, simplified heaps could be implemented with a limited functionality (`push()`, `pop()`, `top()`, `prio()`, `size()`, `empty()`, `clear()`, etc.) without this cross reference map. For such heaps, the basic `push()` and `pop()` operations could be implemented more efficiently, but the duplications of items could not be avoided.
A Dijkstra or Prim algorithm could be implemented with such heaps, but it would require slight modifications. A node should be pushed each time its distance label is updated (i.e. more than once in some cases), and the duplicate nodes should be skipped after each `pop()` operation.
It would be nice to introduce such implementations in LEMON. I think, they would lead to better performance in many practical cases, because not too many duplications would be expected on typical graphs. However, there are some problems with this proposal. First, such heaps would not conform to the current heap concept. Second, using them would require different implementation of the algorithms.",kpeter
Milestone: LEMON 1.4 release,252,Smaller iterator classes for some graph structures,core,hg main,enhancement,kpeter,assigned,2013-03-07T09:51:08+01:00,17:58:58+01:00,"All the `NodeIt`, `ArcIt`, `EdgeIt` etc. iterator classes stores a pointer for the underlying (di)graph. However it wouldn't be necessary in some cases.
E.g. `SmartDigraph::next(Node&)` and `SmartDigraph::next(Arc&)` are static functions. Thus `SmartDigraph::NodeIt` and `SmartDigraph::ArcIt` could be implemented without a pointer to the graph. The three `next()` functions of `SmartGraph` are not static, but they could/should be. The special graph structures (`FullGraph`, `HypercubeGraph`, `GridGraph`) also have static `next()` functions.",kpeter
Milestone: none,377,Smaller version of StaticDigraph,core,hg main,enhancement,alpar,new,2017-04-12T17:16:52+02:00,22:39:29+02:00,"The current implementation of `StaticDigraph` stores `2n+4m` int values (for `n` nodes and `m` arcs). However, in many cases, one needs outgoing arc iteration only. For such cases, a static graph representation could be implemented with `n+2m` integers by fully omitting the outgoing and incomming arc lists (but arcs would be sorted by their source nodes).
The `NodeIt`, `ArcIt` and `OutArcIt` iterators could be implemented efficiently, but the basic iteration of the ougoing arcs would be somewhat slower (see #68 for antecedents). For ensuring the compatibility with the `Digraph` interface, an `InArcIt` iterator should also be implemented, but it would be really slow (as slow as full arc iteration).
What do you think? Would this data structure make sense?",kpeter
Milestone: LEMON 1.5 release,329,Sort outgoing arcs in the build() function of StaticDigraph,core,hg main,enhancement,alpar,new,2016-07-15T13:39:32+02:00,10:40:32+01:00,"In the `build()` function of `StaticDigraph` which takes another digraph as an argument, the outgoing arcs of each node are sorted
with respect to their target nodes.
It clearly makes the `build()` function (and copying a graph to `StaticDigraph`) somewhat slower. Preliminary tests showed a difference of about 15 percent. On the other hand, it could make the usage of the constructed graph more efficient due to better caching. However, the trade-off is not clear.
I suggest to make this sorting optional (e.g. by adding a bool parameter to the `build()` function). However, the default option is of high importance here, since it will be used by `DigraphCopy`.
This ticket is a follow-up of #68.",kpeter
Milestone: LEMON 1.4 release,287,Specify argument order for ArgParser,core,hg main,enhancement,alpar,new,2013-03-01T20:00:09+01:00,13:04:08+02:00,"I think it would be nice if the order in which `ArgParser` prints out the arguments and their documentations would be able to be changed. A good example is lgf-gen, for which a lot of command line arguments are printed and the alphabetical order makes them more difficult to overview.
I suggest two options: alphabetical order and the order in which the arguments were specified. The first one could be the default, but the second one could be selected as an alternative.",kpeter
Milestone: LEMON 1.5 release,224,Static graph maps,core,hg main,enhancement,deba,new,2016-07-15T13:29:50+02:00,21:02:38+01:00,"Sometimes it would be nice to have a map which is not registered in the alteration notifier of the graph.
One reason might be running time efficiency, but the more important is multi-thread applications (see #223). Currently, it is not safe to run say two Dijkstra algorithms on the same graph in parallel, as they would allocate maps and register them into the alteration notifier simultaneously, which is not safe. Changing these map allocations to static one would solve this problem.
My suggestion is to use the standard maps with a special constructor for this purpose, e.g.
{{{
ListGraph::NodeMap map1(g,STATIC);
ListGraph::NodeMap map1(g,15,STATIC);
}}}
or
{{{
ListGraph::NodeMap map1(STATIC,g);
ListGraph::NodeMap map1(STATIC,g,15);
}}}
See also #223.
''''",alpar
Milestone: LEMON 1.4 release,594,STL syle iterators - phase II.,core,hg main,enhancement,alpar,new,2015-10-08T10:31:25+02:00,20:46:57+02:00,STL style iterators could be also added to other places. These possibilities should be discussed here.,alpar
Milestone: LEMON 1.4 release,32,Storing Arcs instead of OutArcIts in Dfs stack,core,hg main,enhancement,deba,new,2013-08-02T14:34:35+02:00,11:47:17+01:00,"The !OutArcIt contains an int data field and a pointer to the graph, while the Arc just stores the int member. If we used Arcs in the Dfs stack, that could decrease the memory request of Dfs and it may provide better runtime performance.",deba
Milestone: LEMON 1.5 release,217,Subroutine in Preflow alg. to make the solution cycle-less,core,hg main,enhancement,kpeter,assigned,2016-07-15T13:28:55+02:00,07:21:47+01:00,"The title says everything.
See also #218.",alpar
Milestone: none,343,Support arbitrary precision integers and rationals in LEMON,core,hg main,enhancement,ladanyi,assigned,2010-02-18T06:17:23+01:00,06:19:02+01:00,"Of course we should rely on a third party library, but it would still be nice if e.g. dimacs-solver could provide dead true results.",alpar
Milestone: LEMON 1.4 release,261,Support floating-point data in min-cost flow algorithms,core,hg main,enhancement,kpeter,reopened,2017-05-25T17:29:49+02:00,16:31:07+02:00,This is a follow-up of #254.,alpar
Milestone: LEMON 1.5 release,244,Support min. cost max. flow in MCF classes,core,hg main,enhancement,kpeter,assigned,2016-07-15T13:32:19+02:00,22:29:41+01:00,"The new concept of the min cost flow classes (see #234) makes it easy to provide interface for the min. cost maximum flow problem, too.
For example, there could be a `maxFlow(Node s, Node t)` function, which could be used instead of `supplyMap()` and `stSupply()`. In this case `Preflow::runMinCut()` should be called to determine the max. flow value (instead of `Circualtion`), and the algorithm have to be initialized as if `stSupport()` was called with this flow value. However apart from that nothing have to be changed.",kpeter
Milestone: none,139,Support short and long style parameters in ArgParser,core,hg main,enhancement,alpar,assigned,2008-11-03T18:17:01+01:00,18:19:35+02:00,"This is a follow-up of ticket:104.
I would propose a member function like {{{void style(StyleEnum st)}}}, where the parameter {{{st}}} would choose from the following options:
- '''Short style''', where the form of the parameters are
{{{
-param value
}}}
- '''Long style''', where the form of the parameters are
{{{
-param=value
}}}
- '''Mixed style''', where options starting with one dash use the short form while those starting with two use the long style.
With this approach, one can implement POSIX compliant parameters.",alpar
Milestone: none,145,Support SunCC compiler,core,hg main,task,alpar,assigned,2016-07-15T13:22:15+02:00,17:55:13+02:00,"Currently (as of [c691064dfd4f]), SunCC reports some pretty strange errors.
",alpar
Milestone: LEMON 1.5 release,452,time_measure.h uses obsolete headears,core,hg main,defect,alpar,new,2016-09-12T14:49:38+02:00,15:20:07+02:00,"[source:lemon/time_measure.h@e344f0887c59 time_measure.h] includes obsolete (pre C++) headers, such as `unistd.h`, `sys/times.h` and `sys/time.h` which in turn define a couple of things in the global namespace. Using the C++ counterparts of these headers (I hope they exist) would be a better option.
",alpar
Milestone: none,352,Tolerance in GomoryHu,core,hg main,enhancement,deba,new,2010-03-02T10:08:31+01:00,10:07:56+01:00,"For `GomoryHu` class, `Tolerance` type/object cannot be set, but it could be useful. The tolerance could be passed to the Preflow instances used by the algorithm.
This ticket is a follow-up of #306.",kpeter
Milestone: none,361,Tolerance support in BellmanFord,core,hg main,enhancement,kpeter,assigned,2010-03-18T08:25:06+01:00,01:31:54+01:00,"!BellmanFord (and maybe Dijkstra as well) could construct and store an instance of the operation traits class and use the operation traits functionalities through this object. This makes it possible to have such op. traits objects that can hold an ''epsilon'' value or a tolerance instance. It would also be important to have set/get functions for this instance in the algorithm class(es).
This ticket is a follow-up of #51 and #360.",kpeter
Milestone: none,378,Transitive closure,core,hg main,enhancement,alpar,new,2010-07-02T23:09:37+02:00,23:09:37+02:00,"It would be nice to have a tool that generates the transitive closure of an input graph to another graph (similarly to `digraphCopy()`).
There are efficient solution methods based on the computation of the strongly connected components and their topological order.
For more details see:[[BR]]
http://www.cs.hut.fi/~enu/thesis.html",kpeter
Milestone: none,85,Use eps.h for drawing in graphToEps(),core,hg main,task,alpar,new,2008-11-03T18:22:54+01:00,18:31:52+02:00,"We should consider using eps.h for the actual drawing in graphToEps().
See also ticket:43.",alpar
Milestone: none,152,Using processed map in Dijkstra::processed(),core,hg main,enhancement,kpeter,new,2008-11-24T12:59:41+01:00,06:31:33+02:00,"This ticket is a follow-up of #149.
Now [source:lemon/dijkstra.h@0310c8984732#L906 Dijkstra::processed()] uses the heap to determine the return value whether or not the current {{{ProcessedMap}}} type is {{{NullMap}}} or not and whether it uses local map or not. It would be nice that the given processed map ({{{_processed}}}) is used if it is not of type {{{NullMap}}} and the heap is used otherwise.
I think it would need some template tricks to implement. Otherwise we could introduce a bool flag that shows whether {{{SetProcessedMap}}} or {{{SetStandardProcessedMap}}} named class parameters were used. But in the the later case extra codes in {{{DijkstraWizard}}} would also be needed, since it does not use the above named class parameters but defining a traits class explicitly.
",kpeter
Milestone: LEMON 1.4 release,597,VF2 (sub)graph isomoprism algorithm,core,hg main,enhancement,alpar,new,2017-10-07T18:26:16+02:00,12:09:18+02:00,"The changesets [a037254714b3], [2f479109a71d] and [f85ee41c84bc] implement a slightly modified version of the VF2 algorithm for finding isomorphic copy of a graph as subgraph of another. It can find either normal or induced subgraph, or an isomorphism between the two graphs. It is also capable of enumerating all possible embedding. Finally, nodes can be labeled in order to model different (i.e. unmatchable) node types.
The function type interface can be considered final, the base class may be refined later.
This development was sponsored by !QuantumBio Inc.
",alpar
Milestone: none,6,VGraph and VMap,core,svn trunk,enhancement,alpar,assigned,2008-11-23T09:28:10+01:00,13:29:31+01:00,"It would be nice to have maps and graph with virtual functions in their interface. They would be inherited from common base classes, and there would be factories to ""virtualize"" graphs and maps. All these would make it possible to avoid the use of templates when the speed is not an issue.
This ticket is a copy of report !#24 of the old bug tracking system. It refers to release 0.5.
",alpar
Milestone: none,86,Virtualmap based graphToEps().,core,,enhancement,alpar,assigned,2010-02-17T06:58:36+01:00,18:35:35+02:00,"A rewrite of graphToEps() using virtual-maps instead of named template parameters would result in a much faster compilation time, at a cost of a slower execution, which is not really an issue here.
See also ticket:43.",alpar