wiki_research

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

monadic_second_order_logic_2 (307B)

      1 # Monadic second order logic 2
      2 
      3 also called "incidence encoding", corresponds to the [incidence_graph] between [vertices] and [edges]
      4 
      5 Can express that a [graph] has a [Hamiltonian_cycle], [max_cut], [edge_dominating_set], [graph_coloring]
      6 
      7 Up: [monadic_second_order_logic]
      8 
      9 Aliases: MSO2
     10 
     11 See also: [MSO1]