skip to content
Supportive and parallel-supportive sets Preview this item
ClosePreview this item
Checking...

Supportive and parallel-supportive sets

Author: Richard Beigel; William I Gasarch
Publisher: College Park, Md. : University of Maryland, 1987.
Series: University of Maryland at College Park.; Computer science technical report series
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
Abstract: "Let A be an oracle. We say that A is supportive if we can solve more decision problems by making n+1 queries to A than we can solve by making only n queries to A. We say that A is parallel-supportive if we can solve more decision problems by making n+1 simultaneous queries to A than we can solve by making only n simultaneous queries to A. We conjecture that all nonrecursive sets are supportive. In [BGH87]  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Richard Beigel; William I Gasarch
OCLC Number: 21101617
Notes: "March 28, 1987."
Description: 19 pages ; 28 cm.
Series Title: University of Maryland at College Park.; Computer science technical report series
Responsibility: Richard Beigel, William I. Gasarch.

Abstract:

Abstract: "Let A be an oracle. We say that A is supportive if we can solve more decision problems by making n+1 queries to A than we can solve by making only n queries to A. We say that A is parallel-supportive if we can solve more decision problems by making n+1 simultaneous queries to A than we can solve by making only n simultaneous queries to A. We conjecture that all nonrecursive sets are supportive. In [BGH87] we showed that the halting set is supportive and parallel supportive. In this paper we show that the jump of every set is supportive and parallel supportive, all generic sets are supportive and parallel-supportive, all semi-recursive sets are supportive and parallel-supportive, every Turing degree contains a set that is supportive and parallel supportive, and every r.e. Turing degree contains an r.e. set that is supportive and parallel-supportive. We also show that the jump of every Turing degree contains a set that is not parallel supportive."

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/21101617> # Supportive and parallel-supportive sets
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "21101617" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mdu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2242999403#Place/college_park_md> ; # College Park, Md.
    schema:about <http://id.worldcat.org/fast/1052939> ; # Parallel programming (Computer science)
    schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/32836356> ; # William I. Gasarch
    schema:creator <http://viaf.org/viaf/91642547> ; # Richard Beigel
    schema:datePublished "1987" ;
    schema:description "Abstract: "Let A be an oracle. We say that A is supportive if we can solve more decision problems by making n+1 queries to A than we can solve by making only n queries to A. We say that A is parallel-supportive if we can solve more decision problems by making n+1 simultaneous queries to A than we can solve by making only n simultaneous queries to A. We conjecture that all nonrecursive sets are supportive. In [BGH87] we showed that the halting set is supportive and parallel supportive. In this paper we show that the jump of every set is supportive and parallel supportive, all generic sets are supportive and parallel-supportive, all semi-recursive sets are supportive and parallel-supportive, every Turing degree contains a set that is supportive and parallel supportive, and every r.e. Turing degree contains an r.e. set that is supportive and parallel-supportive. We also show that the jump of every Turing degree contains a set that is not parallel supportive.""@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2242999403> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2242999403#Series/computer_science_technical_report_series> ; # Computer science technical report series ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2242999403#Series/computer_science_technical_report_series_university_of_maryland> ; # Computer science technical report series. University of Maryland ;
    schema:name "Supportive and parallel-supportive sets"@en ;
    schema:productID "21101617" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/21101617#PublicationEvent/college_park_md_university_of_maryland_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2242999403#Agent/university_of_maryland> ; # University of Maryland
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/21101617> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2242999403#Agent/university_of_maryland> # University of Maryland
    a bgn:Agent ;
    schema:name "University of Maryland" ;
    .

<http://experiment.worldcat.org/entity/work/data/2242999403#Organization/university_of_maryland_at_college_park> # University of Maryland at College Park.
    a schema:Organization ;
    schema:name "University of Maryland at College Park." ;
    .

<http://experiment.worldcat.org/entity/work/data/2242999403#Place/college_park_md> # College Park, Md.
    a schema:Place ;
    schema:name "College Park, Md." ;
    .

<http://experiment.worldcat.org/entity/work/data/2242999403#Series/computer_science_technical_report_series> # Computer science technical report series ;
    a bgn:PublicationSeries ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2242999403#Organization/university_of_maryland_at_college_park> ; # University of Maryland at College Park.
    schema:hasPart <http://www.worldcat.org/oclc/21101617> ; # Supportive and parallel-supportive sets
    schema:name "Computer science technical report series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2242999403#Series/computer_science_technical_report_series_university_of_maryland> # Computer science technical report series. University of Maryland ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/21101617> ; # Supportive and parallel-supportive sets
    schema:name "Computer science technical report series. University of Maryland ;" ;
    .

<http://id.worldcat.org/fast/1052939> # Parallel programming (Computer science)
    a schema:Intangible ;
    schema:name "Parallel programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/1113587> # Set theory
    a schema:Intangible ;
    schema:name "Set theory"@en ;
    .

<http://viaf.org/viaf/32836356> # William I. Gasarch
    a schema:Person ;
    schema:familyName "Gasarch" ;
    schema:givenName "William I." ;
    schema:name "William I. Gasarch" ;
    .

<http://viaf.org/viaf/91642547> # Richard Beigel
    a schema:Person ;
    schema:familyName "Beigel" ;
    schema:givenName "Richard" ;
    schema:name "Richard Beigel" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.