... |
... |
@@ -315,271 +315,271 @@
|
315 |
315 |
/**
|
316 |
316 |
@defgroup matching Matching algorithms
|
317 |
317 |
@ingroup algs
|
318 |
318 |
\brief This group describes the algorithms
|
319 |
319 |
for find matchings in graphs and bipartite graphs.
|
320 |
320 |
|
321 |
321 |
This group provides some algorithm objects and function to calculate
|
322 |
322 |
matchings in graphs and bipartite graphs. The general matching problem is
|
323 |
323 |
finding a subset of the edges which does not shares common endpoints.
|
324 |
324 |
|
325 |
325 |
There are several different algorithms for calculate matchings in
|
326 |
326 |
graphs. The matching problems in bipartite graphs are generally
|
327 |
327 |
easier than in general graphs. The goal of the matching optimization
|
328 |
328 |
can be the finding maximum cardinality, maximum weight or minimum cost
|
329 |
329 |
matching. The search can be constrained to find perfect or
|
330 |
330 |
maximum cardinality matching.
|
331 |
331 |
|
332 |
332 |
Lemon contains the next algorithms:
|
333 |
333 |
- \ref lemon::MaxBipartiteMatching "MaxBipartiteMatching" Hopcroft-Karp
|
334 |
334 |
augmenting path algorithm for calculate maximum cardinality matching in
|
335 |
335 |
bipartite graphs
|
336 |
336 |
- \ref lemon::PrBipartiteMatching "PrBipartiteMatching" Push-Relabel
|
337 |
337 |
algorithm for calculate maximum cardinality matching in bipartite graphs
|
338 |
338 |
- \ref lemon::MaxWeightedBipartiteMatching "MaxWeightedBipartiteMatching"
|
339 |
339 |
Successive shortest path algorithm for calculate maximum weighted matching
|
340 |
340 |
and maximum weighted bipartite matching in bipartite graph
|
341 |
341 |
- \ref lemon::MinCostMaxBipartiteMatching "MinCostMaxBipartiteMatching"
|
342 |
342 |
Successive shortest path algorithm for calculate minimum cost maximum
|
343 |
343 |
matching in bipartite graph
|
344 |
344 |
- \ref lemon::MaxMatching "MaxMatching" Edmond's blossom shrinking algorithm
|
345 |
345 |
for calculate maximum cardinality matching in general graph
|
346 |
346 |
- \ref lemon::MaxWeightedMatching "MaxWeightedMatching" Edmond's blossom
|
347 |
347 |
shrinking algorithm for calculate maximum weighted matching in general
|
348 |
348 |
graph
|
349 |
349 |
- \ref lemon::MaxWeightedPerfectMatching "MaxWeightedPerfectMatching"
|
350 |
350 |
Edmond's blossom shrinking algorithm for calculate maximum weighted
|
351 |
351 |
perfect matching in general graph
|
352 |
352 |
|
353 |
353 |
\image html bipartite_matching.png
|
354 |
354 |
\image latex bipartite_matching.eps "Bipartite Matching" width=\textwidth
|
355 |
355 |
|
356 |
356 |
*/
|
357 |
357 |
|
358 |
358 |
/**
|
359 |
359 |
@defgroup spantree Minimum Spanning Tree algorithms
|
360 |
360 |
@ingroup algs
|
361 |
361 |
\brief This group contains the algorithms for finding a minimum cost spanning
|
362 |
362 |
tree in a graph
|
363 |
363 |
|
364 |
364 |
This group contains the algorithms for finding a minimum cost spanning
|
365 |
365 |
tree in a graph
|
366 |
366 |
*/
|
367 |
367 |
|
368 |
368 |
|
369 |
369 |
/**
|
370 |
370 |
@defgroup auxalg Auxiliary algorithms
|
371 |
371 |
@ingroup algs
|
372 |
372 |
\brief Some algorithms implemented in LEMON.
|
373 |
373 |
|
374 |
374 |
This group describes the algorithms in LEMON in order to make
|
375 |
375 |
it easier to implement complex algorithms.
|
376 |
376 |
*/
|
377 |
377 |
|
378 |
378 |
/**
|
379 |
379 |
@defgroup approx Approximation algorithms
|
380 |
380 |
\brief Approximation algorithms
|
381 |
381 |
|
382 |
382 |
Approximation and heuristic algorithms
|
383 |
383 |
*/
|
384 |
384 |
|
385 |
385 |
/**
|
386 |
386 |
@defgroup gen_opt_group General Optimization Tools
|
387 |
387 |
\brief This group describes some general optimization frameworks
|
388 |
388 |
implemented in LEMON.
|
389 |
389 |
|
390 |
390 |
This group describes some general optimization frameworks
|
391 |
391 |
implemented in LEMON.
|
392 |
392 |
|
393 |
393 |
*/
|
394 |
394 |
|
395 |
395 |
/**
|
396 |
396 |
@defgroup lp_group Lp and Mip solvers
|
397 |
397 |
@ingroup gen_opt_group
|
398 |
398 |
\brief Lp and Mip solver interfaces for LEMON.
|
399 |
399 |
|
400 |
400 |
This group describes Lp and Mip solver interfaces for LEMON. The
|
401 |
401 |
various LP solvers could be used in the same manner with this
|
402 |
402 |
interface.
|
403 |
403 |
|
404 |
404 |
*/
|
405 |
405 |
|
406 |
406 |
/**
|
407 |
407 |
@defgroup lp_utils Tools for Lp and Mip solvers
|
408 |
408 |
@ingroup lp_group
|
409 |
409 |
\brief This group adds some helper tools to the Lp and Mip solvers
|
410 |
410 |
implemented in LEMON.
|
411 |
411 |
|
412 |
412 |
This group adds some helper tools to general optimization framework
|
413 |
413 |
implemented in LEMON.
|
414 |
414 |
*/
|
415 |
415 |
|
416 |
416 |
/**
|
417 |
417 |
@defgroup metah Metaheuristics
|
418 |
418 |
@ingroup gen_opt_group
|
419 |
419 |
\brief Metaheuristics for LEMON library.
|
420 |
420 |
|
421 |
421 |
This group contains some metaheuristic optimization tools.
|
422 |
422 |
*/
|
423 |
423 |
|
424 |
424 |
/**
|
425 |
425 |
@defgroup utils Tools and Utilities
|
426 |
426 |
\brief Tools and Utilities for Programming in LEMON
|
427 |
427 |
|
428 |
428 |
Tools and Utilities for Programming in LEMON
|
429 |
429 |
*/
|
430 |
430 |
|
431 |
431 |
/**
|
432 |
432 |
@defgroup gutils Basic Graph Utilities
|
433 |
433 |
@ingroup utils
|
434 |
434 |
\brief This group describes some simple basic graph utilities.
|
435 |
435 |
|
436 |
436 |
This group describes some simple basic graph utilities.
|
437 |
437 |
*/
|
438 |
438 |
|
439 |
439 |
/**
|
440 |
440 |
@defgroup misc Miscellaneous Tools
|
441 |
441 |
@ingroup utils
|
442 |
442 |
Here you can find several useful tools for development,
|
443 |
443 |
debugging and testing.
|
444 |
444 |
*/
|
445 |
445 |
|
446 |
446 |
|
447 |
447 |
/**
|
448 |
448 |
@defgroup timecount Time measuring and Counting
|
449 |
449 |
@ingroup misc
|
450 |
450 |
Here you can find simple tools for measuring the performance
|
451 |
451 |
of algorithms.
|
452 |
452 |
*/
|
453 |
453 |
|
454 |
454 |
/**
|
455 |
455 |
@defgroup graphbits Tools for Graph Implementation
|
456 |
456 |
@ingroup utils
|
457 |
457 |
\brief Tools to Make It Easier to Make Graphs.
|
458 |
458 |
|
459 |
459 |
This group describes the tools that makes it easier to make graphs and
|
460 |
460 |
the maps that dynamically update with the graph changes.
|
461 |
461 |
*/
|
462 |
462 |
|
463 |
463 |
/**
|
464 |
464 |
@defgroup exceptions Exceptions
|
465 |
465 |
@ingroup utils
|
466 |
466 |
This group contains the exceptions thrown by LEMON library
|
467 |
467 |
*/
|
468 |
468 |
|
469 |
469 |
/**
|
470 |
470 |
@defgroup io_group Input-Output
|
471 |
471 |
\brief Several Graph Input-Output methods
|
472 |
472 |
|
473 |
473 |
Here you can find tools for importing and exporting graphs
|
474 |
474 |
and graph related data. Now it supports the LEMON format, the
|
475 |
475 |
\c DIMACS format and the encapsulated postscript format.
|
476 |
476 |
*/
|
477 |
477 |
|
478 |
478 |
/**
|
479 |
479 |
@defgroup lemon_io Lemon Input-Output
|
480 |
480 |
@ingroup io_group
|
481 |
481 |
\brief Reading and writing LEMON format
|
482 |
482 |
|
483 |
483 |
Methods for reading and writing LEMON format. More about this
|
484 |
484 |
format you can find on the \ref graph-io-page "Graph Input-Output"
|
485 |
485 |
tutorial pages.
|
486 |
486 |
*/
|
487 |
487 |
|
488 |
488 |
/**
|
489 |
489 |
@defgroup section_io Section readers and writers
|
490 |
490 |
@ingroup lemon_io
|
491 |
491 |
\brief Section readers and writers for lemon Input-Output.
|
492 |
492 |
|
493 |
493 |
Here you can find which section readers and writers can attach to
|
494 |
494 |
the LemonReader and LemonWriter.
|
495 |
495 |
*/
|
496 |
496 |
|
497 |
497 |
/**
|
498 |
498 |
@defgroup item_io Item Readers and Writers
|
499 |
499 |
@ingroup lemon_io
|
500 |
500 |
\brief Item readers and writers for lemon Input-Output.
|
501 |
501 |
|
502 |
502 |
The Input-Output classes can handle more data type by example
|
503 |
503 |
as map or attribute value. Each of these should be written and
|
504 |
504 |
read some way. The module make possible to do this.
|
505 |
505 |
*/
|
506 |
506 |
|
507 |
507 |
/**
|
508 |
508 |
@defgroup eps_io Postscript exporting
|
509 |
509 |
@ingroup io_group
|
510 |
510 |
\brief General \c EPS drawer and graph exporter
|
511 |
511 |
|
512 |
512 |
This group contains general \c EPS drawing methods and special
|
513 |
513 |
graph exporting tools.
|
514 |
514 |
*/
|
515 |
515 |
|
516 |
516 |
|
517 |
517 |
/**
|
518 |
518 |
@defgroup concept Concepts
|
519 |
519 |
\brief Skeleton classes and concept checking classes
|
520 |
520 |
|
521 |
521 |
This group describes the data/algorithm skeletons and concept checking
|
522 |
522 |
classes implemented in LEMON.
|
523 |
523 |
|
524 |
524 |
The purpose of the classes in this group is fourfold.
|
525 |
525 |
|
526 |
526 |
- These classes contain the documentations of the concepts. In order
|
527 |
527 |
to avoid document multiplications, an implementation of a concept
|
528 |
528 |
simply refers to the corresponding concept class.
|
529 |
529 |
|
530 |
530 |
- These classes declare every functions, <tt>typedef</tt>s etc. an
|
531 |
531 |
implementation of the concepts should provide, however completely
|
532 |
532 |
without implementations and real data structures behind the
|
533 |
533 |
interface. On the other hand they should provide nothing else. All
|
534 |
534 |
the algorithms working on a data structure meeting a certain concept
|
535 |
535 |
should compile with these classes. (Though it will not run properly,
|
536 |
536 |
of course.) In this way it is easily to check if an algorithm
|
537 |
537 |
doesn't use any extra feature of a certain implementation.
|
538 |
538 |
|
539 |
539 |
- The concept descriptor classes also provide a <em>checker class</em>
|
540 |
540 |
that makes it possible check whether a certain implementation of a
|
541 |
541 |
concept indeed provides all the required features.
|
542 |
542 |
|
543 |
543 |
- Finally, They can serve as a skeleton of a new implementation of a concept.
|
544 |
544 |
|
545 |
545 |
*/
|
546 |
546 |
|
547 |
547 |
|
548 |
548 |
/**
|
549 |
549 |
@defgroup graph_concepts Graph Structure Concepts
|
550 |
550 |
@ingroup concept
|
551 |
551 |
\brief Skeleton and concept checking classes for graph structures
|
552 |
552 |
|
553 |
553 |
This group contains the skeletons and concept checking classes of LEMON's
|
554 |
554 |
graph structures and helper classes used to implement these.
|
555 |
555 |
*/
|
556 |
556 |
|
557 |
557 |
/* --- Unused group
|
558 |
558 |
@defgroup experimental Experimental Structures and Algorithms
|
559 |
559 |
This group contains some Experimental structures and algorithms.
|
560 |
560 |
The stuff here is subject to change.
|
561 |
561 |
*/
|
562 |
562 |
|
563 |
563 |
/**
|
564 |
564 |
\anchor demoprograms
|
565 |
565 |
|
566 |
566 |
@defgroup demos Demo programs
|
567 |
567 |
|
568 |
568 |
Some demo programs are listed here. Their full source codes can be found in
|
569 |
569 |
the \c demo subdirectory of the source tree.
|
570 |
570 |
|
571 |
|
The standard compilation procedure (<tt>./configure;make</tt>) will compile
|
572 |
|
them, as well.
|
|
571 |
It order to compile them, use <tt>--enable-demo</tt> configure option when
|
|
572 |
build the library.
|
573 |
573 |
|
574 |
574 |
*/
|
575 |
575 |
|
576 |
576 |
/**
|
577 |
577 |
@defgroup tools Standalone utility applications
|
578 |
578 |
|
579 |
579 |
Some utility applications are listed here.
|
580 |
580 |
|
581 |
581 |
The standard compilation procedure (<tt>./configure;make</tt>) will compile
|
582 |
582 |
them, as well.
|
583 |
583 |
|
584 |
584 |
*/
|
585 |
585 |
|