| dc.contributor.advisor | Stanovský, David | |
| dc.creator | Polach, František | |
| dc.date.accessioned | 2017-03-29T13:22:10Z | |
| dc.date.available | 2017-03-29T13:22:10Z | |
| dc.date.issued | 2006 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/5810 | |
| dc.description.abstract | Nazev prace: Testovdni identit Autor: FrantiSek Polnch Katedra (ustav): Katedra algebry Vedouci bakalafske prace: RNDr. David Stanovsky, Ph.D. e-mail vedouciho: stanovsk@karlin.mff.citni.cz Abstrakt: Na overeni, zda dana identita (napf. komlttativita, asociativita, apod.) plati v dane algebre (grupe, okrului,...), existuje ocividny algoritmtts, ktery ma exponencidlni slozitost vzh- ledem kdelce zadane identity (profixm'algebru)- Neni tezke nahlednout, ze tento problemje pro libovolnou algebra v I ride co-NP a ze existuji algebry, pro ktere je co-NP-uplny. Na druhou stranu, pro mnoho algeber (napr. pro abelovske grupy) existitje algoritmus polynomidlni. Ex- istuje mezindrodni projekt, jehoz cilein je charakterizovat ty algebry, pro ktere je tento prob- lem pollfnomidlni, rcsp. co-NP-iiplny. Cflem tcto prdceje shrnout nektere zndme vysledky o grupdch a okruzich. Konkretne ukdzeme polynomidlni algoritmy pro testovdni identit v nilpo- tentnich i dihedrdlnfch grupdch a nilpotentnich okruzich, a dokdzeme co-NP-iiplnost testovdni identit v nenilpotcntnfch okruzich. Klicova slova: testovdni identit, slozitost, grupy, okruhy Title: Identity checking Author: Franlisek Polach Department: Department of Algebra Supervisor: RNDr. David Stanovsky, Ph.D. Supervisor's e-mail address: stanovsk@karlin.inff.cuni.cz Abstract:... | en_US |
| dc.description.abstract | Nazev prace: Testovdni identit Autor: FrantiSek Polnch Katedra (ustav): Katedra algebry Vedouci bakalafske prace: RNDr. David Stanovsky, Ph.D. e-mail vedouciho: stanovsk@karlin.mff.citni.cz Abstrakt: Na overeni, zda dana identita (napf. komlttativita, asociativita, apod.) plati v dane algebre (grupe, okrului,...), existuje ocividny algoritmtts, ktery ma exponencidlni slozitost vzh- ledem kdelce zadane identity (profixm'algebru)- Neni tezke nahlednout, ze tento problemje pro libovolnou algebra v I ride co-NP a ze existuji algebry, pro ktere je co-NP-uplny. Na druhou stranu, pro mnoho algeber (napr. pro abelovske grupy) existitje algoritmus polynomidlni. Ex- istuje mezindrodni projekt, jehoz cilein je charakterizovat ty algebry, pro ktere je tento prob- lem pollfnomidlni, rcsp. co-NP-iiplny. Cflem tcto prdceje shrnout nektere zndme vysledky o grupdch a okruzich. Konkretne ukdzeme polynomidlni algoritmy pro testovdni identit v nilpo- tentnich i dihedrdlnfch grupdch a nilpotentnich okruzich, a dokdzeme co-NP-iiplnost testovdni identit v nenilpotcntnfch okruzich. Klicova slova: testovdni identit, slozitost, grupy, okruhy Title: Identity checking Author: Franlisek Polach Department: Department of Algebra Supervisor: RNDr. David Stanovsky, Ph.D. Supervisor's e-mail address: stanovsk@karlin.inff.cuni.cz Abstract:... | cs_CZ |
| dc.language | Čeština | cs_CZ |
| dc.language.iso | cs_CZ | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.title | Testování identit | cs_CZ |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2006 | |
| dcterms.dateAccepted | 2006-06-28 | |
| dc.description.department | Katedra algebry | cs_CZ |
| dc.description.department | Department of Algebra | en_US |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.identifier.repId | 43052 | |
| dc.title.translated | Identity checking | en_US |
| dc.contributor.referee | Žemlička, Jan | |
| dc.identifier.aleph | 000863638 | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | General Mathematics | en_US |
| thesis.degree.discipline | Obecná matematika | cs_CZ |
| thesis.degree.program | Mathematics | en_US |
| thesis.degree.program | Matematika | cs_CZ |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra algebry | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Algebra | en_US |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Obecná matematika | cs_CZ |
| uk.degree-discipline.en | General Mathematics | en_US |
| uk.degree-program.cs | Matematika | cs_CZ |
| uk.degree-program.en | Mathematics | en_US |
| thesis.grade.cs | Velmi dobře | cs_CZ |
| thesis.grade.en | Very good | en_US |
| uk.abstract.cs | Nazev prace: Testovdni identit Autor: FrantiSek Polnch Katedra (ustav): Katedra algebry Vedouci bakalafske prace: RNDr. David Stanovsky, Ph.D. e-mail vedouciho: stanovsk@karlin.mff.citni.cz Abstrakt: Na overeni, zda dana identita (napf. komlttativita, asociativita, apod.) plati v dane algebre (grupe, okrului,...), existuje ocividny algoritmtts, ktery ma exponencidlni slozitost vzh- ledem kdelce zadane identity (profixm'algebru)- Neni tezke nahlednout, ze tento problemje pro libovolnou algebra v I ride co-NP a ze existuji algebry, pro ktere je co-NP-uplny. Na druhou stranu, pro mnoho algeber (napr. pro abelovske grupy) existitje algoritmus polynomidlni. Ex- istuje mezindrodni projekt, jehoz cilein je charakterizovat ty algebry, pro ktere je tento prob- lem pollfnomidlni, rcsp. co-NP-iiplny. Cflem tcto prdceje shrnout nektere zndme vysledky o grupdch a okruzich. Konkretne ukdzeme polynomidlni algoritmy pro testovdni identit v nilpo- tentnich i dihedrdlnfch grupdch a nilpotentnich okruzich, a dokdzeme co-NP-iiplnost testovdni identit v nenilpotcntnfch okruzich. Klicova slova: testovdni identit, slozitost, grupy, okruhy Title: Identity checking Author: Franlisek Polach Department: Department of Algebra Supervisor: RNDr. David Stanovsky, Ph.D. Supervisor's e-mail address: stanovsk@karlin.inff.cuni.cz Abstract:... | cs_CZ |
| uk.abstract.en | Nazev prace: Testovdni identit Autor: FrantiSek Polnch Katedra (ustav): Katedra algebry Vedouci bakalafske prace: RNDr. David Stanovsky, Ph.D. e-mail vedouciho: stanovsk@karlin.mff.citni.cz Abstrakt: Na overeni, zda dana identita (napf. komlttativita, asociativita, apod.) plati v dane algebre (grupe, okrului,...), existuje ocividny algoritmtts, ktery ma exponencidlni slozitost vzh- ledem kdelce zadane identity (profixm'algebru)- Neni tezke nahlednout, ze tento problemje pro libovolnou algebra v I ride co-NP a ze existuji algebry, pro ktere je co-NP-uplny. Na druhou stranu, pro mnoho algeber (napr. pro abelovske grupy) existitje algoritmus polynomidlni. Ex- istuje mezindrodni projekt, jehoz cilein je charakterizovat ty algebry, pro ktere je tento prob- lem pollfnomidlni, rcsp. co-NP-iiplny. Cflem tcto prdceje shrnout nektere zndme vysledky o grupdch a okruzich. Konkretne ukdzeme polynomidlni algoritmy pro testovdni identit v nilpo- tentnich i dihedrdlnfch grupdch a nilpotentnich okruzich, a dokdzeme co-NP-iiplnost testovdni identit v nenilpotcntnfch okruzich. Klicova slova: testovdni identit, slozitost, grupy, okruhy Title: Identity checking Author: Franlisek Polach Department: Department of Algebra Supervisor: RNDr. David Stanovsky, Ph.D. Supervisor's e-mail address: stanovsk@karlin.inff.cuni.cz Abstract:... | en_US |
| uk.file-availability | V | |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra algebry | cs_CZ |
| dc.identifier.lisID | 990008636380106986 | |
