Neha Patil (Editor)

TC0

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

TC0 is a complexity class used in circuit complexity. It is the first class in the hierarchy of TC classes.

Contents

TC0 contains all languages which are decided by Boolean circuits with constant depth and polynomial size, containing only unbounded-fanin AND gates, OR gates, NOT gates, and majority gates. Equivalently, threshold gates can be used instead of majority gates.

TC0 contains several important problems, such as sorting n n-bit numbers, multiplying two n-bit numbers, integer division or recognizing the Dyck language with two types of parentheses.

Complexity class relations

We can relate TC0 to other circuit classes, including AC0 and NC1; Vollmer 1999 p. 126 states:

AC 0 ⊊ AC 0 [ p ] ⊊ TC 0 ⊆ NC 1 .

Vollmer states that the question of whether the last inclusion above is strict is "one of the main open problems in circuit complexity" (ibid.).

We also have that uniform TC 0 ⊊ PP . (Allender 1996, as cited in Burtschick 1999).

Basis for uniform TC 0 {\displaystyle {\mbox{TC}}^{0}}

The functional version of the uniform TC 0 coincides with the closure with respect to composition of the projections and one of the following function sets { n + m , n − . m , n ∧ m , ⌊ n / m ⌋ , 2 ⌊ log 2 ⁡ n ⌋ 2 } , { n + m , n − . m , n ∧ m , ⌊ n / m ⌋ , n ⌊ log 2 ⁡ m ⌋ } . Here n − . m = max ( 0 , n − m ) , n ∧ m is a bitwise AND of n and m . By functional version one means the set of all functions f ( x 1 , … , x n ) over non-negative integers that are bounded by functions of FP and ( y -th bit of  f ( x 1 , … , x n ) ) is in the uniform TC 0 .

References

TC0 Wikipedia
(Text) CC BY-SA