Funkce Unate - Unate function

A unate funkce je typ booleovská funkce který má monotóní vlastnosti. Byly intenzivně studovány v teorie přepínání.

Funkce ${displaystyle f (x_ {1}, x_ {2}, ldots, x_ {n})}$ se říká, že je pozitivní unate v ${displaystyle x_ {i}}$pokud pro všechny možné hodnoty ${displaystyle x_ {j}}$, ${displaystyle jeq i}$

${displaystyle f (x_ {1}, x_ {2}, ldots, x_ {i-1}, 1, x_ {i + 1}, ldots, x_ {n}) geq f (x_ {1}, x_ {2 }, ldots, x_ {i-1}, 0, x_ {i + 1}, ldots, x_ {n}).,}$

Stejně tak je negativní unate v ${displaystyle x_ {i}}$ -li

${displaystyle f (x_ {1}, x_ {2}, ldots, x_ {i-1}, 0, x_ {i + 1}, ldots, x_ {n}) geq f (x_ {1}, x_ {2 }, ldots, x_ {i-1}, 1, x_ {i + 1}, ldots, x_ {n}).,}$

Pokud pro každého ${displaystyle x_ {i}}$ F je v proměnné buď pozitivní, nebo negativní unate ${displaystyle x_ {i}}$ pak se říká, že je unate (všimněte si, že některé ${displaystyle x_ {i}}$ mohou být pozitivní unate a některé negativní unate, aby vyhovovaly definici unate funkce). Funkce je binovat pokud není unate (tj. není ani pozitivní unate, ani negativní unate v alespoň jedné z jeho proměnných).

Například logická disjunkce funkce nebo s logickými hodnotami použitými pro true (1) a false (0) je pozitivní unate. Naopak, Exkluzivní nebo je non-unate, protože přechod z 0 na 1 na vstupu x0 je jak pozitivní unate, tak negativní unate, v závislosti na vstupní hodnotě na x1.

Pozn .: Kladná jednotnost může být také považována za průchod stejným sklonem (žádná změna na vstupu) a záporná unata prochází opačným sklonem ... non unate je závislost na více než jednom vstupu (stejných nebo různých sklonech)

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.