1 / 9

Varbūtiskie galīgie automāti hiperboliskajā plaknē

ALEKSANDRS TARVIDS. Varbūtiskie galīgie automāti hiperboliskajā plaknē. Varbūtiskie automāti un neregulāras valodas. Freivalds : Neregulāru valodu 0 n 1 n var pazīt ar galīgu 2-way varbūtisku automātu eksponenciālā laikā Dwork un Stockmeyer :

chandler
Télécharger la présentation

Varbūtiskie galīgie automāti hiperboliskajā plaknē

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. ALEKSANDRS TARVIDS Varbūtiskie galīgie automāti hiperboliskajā plaknē

  2. Varbūtiskie automāti un neregulāras valodas • Freivalds: • Neregulāru valodu 0n1nvar pazīt ar galīgu 2-way varbūtisku automātu eksponenciālā laikā • Dworkun Stockmeyer: • Nav varbūtiska automāta, kurš pazītu šo valodu polinomiālā laikā • Vai eksistē neregulāra valoda, kuru galīgs varbūtisks automāts var pazīt polinomiālā laikā?

  3. Diskrēta hiperboliskā plakne • Līdzīga 2D plaknei • Katrai virsotnei var būt • Viens bērns nākamajā līmeni vai • Divi bērni nākamajā līmenī • Ja dotajā līmenī zarošanās notiek vienā no virsotnēm, tad tā notiek visās šī līmeņa virsotnēs • Virsotņu skaits līmenī aug eksponenciāli no attāluma no saknes • Katra virsotne ir savienota ar kreiso un labo kaimiņu savā līmenī

  4. Diskrēta hiperboliskā plakne

  5. Diskrētas hiperboliskās plaknes elements

  6. SQUARE valoda • N – patvaļīgs pozitīvs vesels skaitlis • Attālumos N, 2N, 3N, …, N2no saknes atrodas zarošanās punkti • Pavisam zarošanās līmeņu irN • Tehniski, katrā plaknes punktā līdz attālumam <N2+1no saknes atrodas ‘1’ • Katrā punktā attālumāN2+1atrodas ‘0’

  7. Piemērs: SQUARE pie N=3

  8. Teorēma • Valoda SQUARE • Var būt atpazīta ar galīgu error-bounded varbūtisku 5-way automātu polinomiālā laikā • Nevar būt atpazīta ar galīgu determinētu 5-way automātu

  9. PALDIES PAR UZMANĪBU!

More Related