- Braid is undecidable
2014/12/02 by Linus Hamilton, Hamilton, Linus · 2 voices
Computer Science · Mathematics · #Algorithm #Artificial Intelligence in Games #Artificial intelligence #Braid #Braid group #Braid theory #Cellular Automata and Applications #Combinatorics #Computability, Logic, AI Algorithms #Computation #Computer science #DTIME #Description number #Discrete mathematics #EXPTIME #Embedding #Mathematics #NSPACE #Super-recursive algorithm #Theoretical computer science #Time hierarchy theorem #Turing machine #Undecidable problem #Universal Turing machine #cs.CC
- Approximation complexity of Metric Dimension problem
2011/12/08 by Mathias Hauptmann, Richard Schmied, Claus Viehmann · 5 citations
Computer Science · Engineering · Mathematics · #1-planar graph #Advanced Graph Theory Research #Algorithm #Approximation algorithm #Bounded function #Chordal graph #Combinatorics #DTIME #Degree (music) #Dimension (graph theory) #Discrete mathematics #Graph #Graph Labeling and Dimension Problems #Mathematical analysis #Mathematics #Metric (unit) #Metric dimension #Turing machine #Vertex (graph theory) #Vertex cover #graph theory and CDMA systems