Probabilistic testing of Boolean functions, or, How to test locally for a global property

Probabilistic testing of Boolean functions, or, How to test locally for a global property

Show other versions (1)

Probabilistic testing is a general problem that has fundamental scientific value as well as direct applications to important concepts in theoretical computer science, such as probabilistically checkable proofs (PCP). We consider specifically the testing of Boolean functions, discussing some key e...

Full description

Bibliographic Details
Main Author: Majewski, Krzysztof Michał
Language:English
Published: 2009
Online Access:http://hdl.handle.net/2429/14328
id ndltd-LACETR-oai-collectionscanada.gc.ca-BVAU.2429-14328
record_format oai_dc
spelling ndltd-LACETR-oai-collectionscanada.gc.ca-BVAU.2429-143282014-03-14T15:47:37Z Probabilistic testing of Boolean functions, or, How to test locally for a global property Majewski, Krzysztof Michał Probabilistic testing is a general problem that has fundamental scientific value as well as direct applications to important concepts in theoretical computer science, such as probabilistically checkable proofs (PCP). We consider specifically the testing of Boolean functions, discussing some key existing results and providing new results for several classes of functions. In particular, we give efficient tests for a Boolean function to be symmetric (invariant under permutation of its variables) and quasi-symmetric (a symmetric function of the variables it actually depends on). 2009-10-29T17:44:11Z 2009-10-29T17:44:11Z 2003 2009-10-29T17:44:11Z 2003-11 Electronic Thesis or Dissertation http://hdl.handle.net/2429/14328 eng UBC Retrospective Theses Digitization Project [http://www.library.ubc.ca/archives/retro_theses/]
collection NDLTD
language English
sources NDLTD
description Probabilistic testing is a general problem that has fundamental scientific value as well as direct applications to important concepts in theoretical computer science, such as probabilistically checkable proofs (PCP). We consider specifically the testing of Boolean functions, discussing some key existing results and providing new results for several classes of functions. In particular, we give efficient tests for a Boolean function to be symmetric (invariant under permutation of its variables) and quasi-symmetric (a symmetric function of the variables it actually depends on).
author Majewski, Krzysztof Michał
spellingShingle Majewski, Krzysztof Michał
Probabilistic testing of Boolean functions, or, How to test locally for a global property
author_facet Majewski, Krzysztof Michał
author_sort Majewski, Krzysztof Michał
title Probabilistic testing of Boolean functions, or, How to test locally for a global property
title_short Probabilistic testing of Boolean functions, or, How to test locally for a global property
title_full Probabilistic testing of Boolean functions, or, How to test locally for a global property
title_fullStr Probabilistic testing of Boolean functions, or, How to test locally for a global property
title_full_unstemmed Probabilistic testing of Boolean functions, or, How to test locally for a global property
title_sort probabilistic testing of boolean functions, or, how to test locally for a global property
publishDate 2009
url http://hdl.handle.net/2429/14328
work_keys_str_mv AT majewskikrzysztofmichał probabilistictestingofbooleanfunctionsorhowtotestlocallyforaglobalproperty
_version_ 1716652977682382848

Similar Items