{"id":21426692,"url":"https://github.com/philipdb/treedepth-exact","last_synced_at":"2026-01-04T03:07:49.783Z","repository":{"id":84445845,"uuid":"267530718","full_name":"PhiliPdB/treedepth-exact","owner":"PhiliPdB","description":"Compute the exact treedepth of a given graph","archived":false,"fork":false,"pushed_at":"2020-06-15T10:44:07.000Z","size":338,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-23T07:44:47.519Z","etag":null,"topics":["csharp","exact-algorithm","positive-instance-driven","tree-decompositions","treedepth"],"latest_commit_sha":null,"homepage":"","language":"C#","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/PhiliPdB.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-05-28T08:06:48.000Z","updated_at":"2020-06-23T19:07:29.000Z","dependencies_parsed_at":null,"dependency_job_id":"9307cbb2-7448-422f-983c-d6d0c49b305d","html_url":"https://github.com/PhiliPdB/treedepth-exact","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PhiliPdB%2Ftreedepth-exact","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PhiliPdB%2Ftreedepth-exact/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PhiliPdB%2Ftreedepth-exact/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PhiliPdB%2Ftreedepth-exact/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/PhiliPdB","download_url":"https://codeload.github.com/PhiliPdB/treedepth-exact/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243933456,"owners_count":20370988,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["csharp","exact-algorithm","positive-instance-driven","tree-decompositions","treedepth"],"created_at":"2024-11-22T21:43:22.629Z","updated_at":"2026-01-04T03:07:49.752Z","avatar_url":"https://github.com/PhiliPdB.png","language":"C#","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Treedepth\n\n[![License](https://img.shields.io/github/license/PhiliPdB/treedepth-exact)](./LICENSE)\n[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3866006.svg)](https://doi.org/10.5281/zenodo.3866006)\n\nThis software is part of the submission of 'exact' track of [PACE 2020](https://pacechallenge.org/2020/). It is used to compute the exact treedepth of a given graph. This algorithm is also part of my bachelor thesis, which was written at Utrecht University and supervised by Erik Jan van Leeuwen. A brief description of the techniques used in the solver is available in the [solver description](./SolverDescription.pdf).\n\n\n## Installation\nThe software uses msbuild as build tool. When running on linux, [mono](https://www.mono-project.com/) is required to run the software.\nThe software can then be build by running\n```\nmake release\n```\n\n## Usage\nThe input graphs are read from the standard input and need to be in the .gr format as specified on the PACE website. It then outputs the treedepth as well a treedepth decomposition in the .tree format to the standard output.\n\n### Example usage\n```\nmono ./Treedepth.exe \u003c input_graph.gr\n```\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fphilipdb%2Ftreedepth-exact","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fphilipdb%2Ftreedepth-exact","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fphilipdb%2Ftreedepth-exact/lists"}