Science Score: 49.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 4 DOI reference(s) in README -
✓Academic publication links
Links to: arxiv.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (6.4%) to scientific vocabulary
Repository
A C++ library for exploring the Arrival probelm
Basic Info
- Host: GitHub
- Owner: tdwebster
- License: gpl-3.0
- Default Branch: main
- Size: 16.6 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Arrival
A C++ library for exploring the ARRIVAL problem. The Library was made as part of my PhD Thesis ``Variants of the Arrival Problem'' and allows one to simulate large runs on ARRIVAL graphs - as well as several new modifications introduced in my thesis and other work. Included are also some algorithms for deciding ARRIVAL.
ARRIVAL is a simple to describe decision problem defined by Dohrau et al.. In simplistic terms, it asks whether a train moving along a directed graph with n vertices will eventually reach its destination. At each vertex the train moves deterministically based on a given ordering over outgoing edges, taking the first edge, then the second and so on, as it revisits that vertex. This process is known as “switching” and can be viewed as a deterministic simulation of a random walk on the directed graph.
References
The following is a (non-exhaustive) list of reference papers which contain the original definitions of Arrival, it's variants and key algorithms:
Owner
- Name: Thomas Webster
- Login: tdwebster
- Kind: user
- Location: London
- Repositories: 7
- Profile: https://github.com/tdwebster
Final year PhD student in Informatics at the University of Edinburgh, researching computational complexity and algorithmic game theory, with two published paper