wiki_research

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

circuit_multivalued (594B)


      1 # Circuit multivalued
      2 
      3 Variants of [Boolean_circuits] defined in a multivalued fashion, see [amarilli2024tractable]
      4 
      5 - [union_product_circuit]
      6 - [disjoint_union_product_circuit]
      7 - [union_join_circuit]
      8 
      9 Circuits can be made [constant_free] by propagating away constants, unless they represent the empty set or the complete set
     10 
     11 Enforcing [circuit_structuredness], or enforcing [circuit_determinism], results in an exponential blowup: cf [vinallsmeeth2025how] Example 2.12
     12 
     13 Up: [circuit]
     14 
     15 See also: [Factorized_database], [multivalued_formula]
     16 
     17 Aliases: multivalued circuit, multivalued circuits