Difference between revisions of "Perceptron"

From Boolean Zoo
Jump to: navigation, search
(Created page with "== Definition == Let <math>n</math> be a positive integer and let <math>t, \{w_i\}_{i=1}^n</math> be real numbers. The '''perceptron''' function, or '''linear threshold''' fun...")
 
m (Properties)
 
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
== Definition ==
 
== Definition ==
Let <math>n</math> be a positive integer and let <math>t, \{w_i\}_{i=1}^n</math> be real numbers. The '''perceptron''' function, or '''linear threshold''' function with weights <math>w_i</math> and threshold <math>t</math> is defined as  
+
Let <math>n</math> be a positive integer and let <math>t, \{w_i\}_{i=1}^n</math> be real numbers. The '''perceptron''' function, or '''linear threshold''' function <math>f:\{-1,1\}^n \to \{-1,1\}</math> with weights <math>w_i</math> and threshold <math>t</math> is defined as  
  
<math> f(x) = \begin{cases} 1, & \text{if} ~ \sum_i w_i x_i \geq t \\  
+
:::{| class="wikitable"
 +
|-
 +
|<math> f(x) = \begin{cases} 1, & \text{if} ~ \sum_i w_i x_i \geq t \\  
 
-1 & \text{otherwise} \end{cases}</math>
 
-1 & \text{otherwise} \end{cases}</math>
 +
|}
  
The [[majority]] function is a special case of the perceptron, with threshold <math>t=0</math> and all weights <math>w_i</math> equal to each other.
+
The [[majority]] function is a special case of the perceptron, with threshold <math>t=0</math> and all weights <math>w_i</math> equal to each other.
 
 
Depending on the choice of weights and threshold, the perceptron may be [[:Category:symmetric function | symmetric]],  [[:Category:balanced function | balanced]], or [[:Category:monotone function | monotone]].
 
  
 
== Properties ==  
 
== Properties ==  
* TODO
+
* If all weights are equal to each other, the function is [[:Category:symmetric function | symmetric]].
 +
* If all weights are non-negative, or all weights are non-positive, the function is [[:Category:monotone function | monotone]].
 +
* The weights and threshold may be chosen so that the function is [[:Category:balanced function | balanced]].
 +
* The perceptron is a special case of the [[polynomial threshold]] function.
 +
* A perceptron has [[nearest neighbor representation|nearest neighbor]] complexity equal to <math>NN(f) = 2</math>. However, the Boolean nearest-neighbor complexity <math>BNN(f)</math> can be high, e.g for the perceptron with all weights equal and <math>t = n/3</math>, then <math>2^{\Omega(n)}</math> markers are required. <ref>Péter Hajnal, Zhihao Liu, György Turán, [https://arxiv.org/pdf/2004.01741.pdf Nearest neighbor representations of Boolean functions], Theorem 4</ref>
  
 
== References ==
 
== References ==
 
<references/>
 
<references/>
 +
 +
[[Category:symmetric function]] [[Category:balanced function]] [[Category:monotone function]]

Latest revision as of 14:05, 5 April 2021

Definition

Let [math]n[/math] be a positive integer and let [math]t, \{w_i\}_{i=1}^n[/math] be real numbers. The perceptron function, or linear threshold function [math]f:\{-1,1\}^n \to \{-1,1\}[/math] with weights [math]w_i[/math] and threshold [math]t[/math] is defined as

[math] f(x) = \begin{cases} 1, & \text{if} ~ \sum_i w_i x_i \geq t \\ -1 & \text{otherwise} \end{cases}[/math]

The majority function is a special case of the perceptron, with threshold [math]t=0[/math] and all weights [math]w_i[/math] equal to each other.

Properties

  • If all weights are equal to each other, the function is symmetric.
  • If all weights are non-negative, or all weights are non-positive, the function is monotone.
  • The weights and threshold may be chosen so that the function is balanced.
  • The perceptron is a special case of the polynomial threshold function.
  • A perceptron has nearest neighbor complexity equal to [math]NN(f) = 2[/math]. However, the Boolean nearest-neighbor complexity [math]BNN(f)[/math] can be high, e.g for the perceptron with all weights equal and [math]t = n/3[/math], then [math]2^{\Omega(n)}[/math] markers are required. [1]

References

  1. Péter Hajnal, Zhihao Liu, György Turán, Nearest neighbor representations of Boolean functions, Theorem 4