### Inhalt

### zur Navigation

## Es gibt keine deutsche Übersetzung dieser Webseite.

## akt-software

name | short description | links |
---|---|---|

Graphana | A tool for analyzing the combinatorial structure of graphs by computation and estimation of various graph parameters. | |

Incremental Graph Coloring | An implementation of serveral commonly used heuristic algorithms for the (vertex) graph coloring problem together with a new proposed search tree based algorithm that is based on "incremental coloring". | |

kconsens | Tool for computing Kemeny rankings by using efficient polynomial-time data reduction rules combined with several exact algorithms. Can solve meaningful real-world instances with more than 100 candidates within milliseconds. | |

mu-clique | Tool for computing maximum mu-cliques. | |

s-plex | Tool for finding maximum s-plexes. | |

Temporal cliques | Tool for enumerating all maximal cliques in a temporal graph | |

Pattern-Guided k-Anonymity | Heuristic and exact ILP implementation to solve Pattern-Guided k-Anonymity. The collection includes the scripts and datasets used in the paper. | |

Lobbying | Heuristic and exact ILP implementation including the random instance generator. Binaries are created on 64bit Debian. | |

Co-Clustering | Implementations of both the naive and the cluster boundary based SAT-Solving approach. | |

Parliamentary voting procedures | Implementations for both Manipulation and Agenda Control for the amendment procedure and the successive procedure. | |

Highly Connected Deletion | This package contains the source and the test data for a solver for the Highly Connected Deletion problem. | |

Well-connected 2-club | Tool for finding well-connected 2-clubs. The implementation can find the support the t-robust, t-hereditary, and the t-connected 2-club model. | |

DTW-Mean | Implementation of a Dynamic Program computing a mean of time series in dynamic time warping spaces. | |

Maximum Matching | Implementations of both weighted and unweighted reduction rules for maximum matching. | |

Dynamic Temporal Graph Warping | Implementation of the dtgw-distance algorithms. | |

Isolated Temporal Cliques | Enumeration algorithm for isolated temporal cliques. | |

Cluster Editing | Java-Implementation for transforming a given input graph into a cluster graph (disjoint union of cliques) with a minimum number of edge modifications. | |

Persistent graphs | Enumeration of persistent graphs. | |

Binary DTW-Mean | Implementation of fast DTW-Mean algorithms for binary data. | |

RLE DTW | Implementation of fast exact DTW for run-length encoded time series. |