wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

unambiguous_word_automaton_complementation (401B)

      1 # Unambiguous word automaton complementation
      2 
      3 [raskin2018superpolynomial], [goos2021lower]
      4 
      5 problem of finding assignment of maximal weight that satisfies complement of UFA https://cstheory.stackexchange.com/questions/48815/is-this-problem-on-unambiguous-finite-automata-np-complete
      6 
      7 Up: [word_automaton_unambiguous], [automata_complementation]
      8 
      9 See also: [disjuntive_normal_form_orthogonal_negation]