A circuit uniformity sharper than DLogTime - Archive ouverte HAL
Rapport Année : 2012

A circuit uniformity sharper than DLogTime

Guillaume Bonfante
  • Fonction : Auteur
  • PersonId : 766264
  • IdRef : 154212563
Virgile Mogbil
  • Fonction : Auteur
  • PersonId : 829467

Résumé

We consider a new notion of circuit uniformity based on the concept of rational relations, called Rational-uniformity and denoted Rat. Our goal is to prove it is sharper than DLogTime-uniformity, the notion introduced by Barrington et al. in 1992, denoted DLT, that is: 1) Rational-uniformity implies DLogTime-uniformity, 2) we have NC^0-Rat ⊊ NC^0-DLT ⊊ NC^1-Rat, 3) we have ∀k≥0, NC^k-DLT ⊆ NC^k+1-Rat, 4) Rational-uniformity preserves separation results known with DLogTime-uniformity. In other word, we obtain an interleaved hierarchy: NC^0-Rat ⊊ NC^0-DLT ⊊ NC^1-Rat ⊆ ... ⊆ NC^k-Rat ⊆ NC^k-DLT ⊆ NC^k+1-Rat ⊆ ... ⊆ NC, which implies NC-Rat = NC-DLT . We also prove that Reg ≠ NC^0-Rat. In other words, circuits build by rational relations compute relations not computable by rational relations. Finally, we consider circuits with unbounded fan-in, and we prove the standard result NC^k-Rat ⊆ AC^k-Rat ⊆ NC^k+1-Rat for all k≥0.
Fichier principal
Vignette du fichier
unif_preprintLIPN12.pdf (427.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00701420 , version 1 (25-05-2012)

Identifiants

  • HAL Id : hal-00701420 , version 1

Citer

Guillaume Bonfante, Virgile Mogbil. A circuit uniformity sharper than DLogTime. 2012. ⟨hal-00701420⟩
226 Consultations
1065 Téléchargements

Partager

More