Georg Bachmeier

  • Citations Per Year
Learn More
We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the state-complexity of representing subor superword closures of context-free grammars (CFGs): (1) We prove a (tight) upper bound of 2O(n) on the size of nondeterministic finite automata (NFAs) representing the subword closure of a CFG of size n. (2) We present a family of CFGs for which the(More)
Many hardness results in computational social choice make use of the fact that every directed graph may be induced as the pairwise majority relation of some preference profile. However, this fact requires a number of voters that is almost linear in the number of alternatives. It is therefore unclear whether these results remain intact when the number of(More)
Many hardness results in computational social choice make use of the fact that every directed graph may be induced as the pairwise majority relation of some preference profile. However, this fact requires a number of voters that is almost linear in the number of alternatives. It is therefore unclear whether these results remain intact when the number of(More)
  • 1