skip to content
Applications of binary search to recursive graph theory Preview this item
ClosePreview this item
Checking...

Applications of binary search to recursive graph theory

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: "We classify functions in recursive graph theory in terms of how many queries to K (or ø'' or ø''') are required to compute them. We show that (1) binary search is optimal (in terms of the number of queries to K) for finding the chromatic number of a recursive graph; no set of Turing degree less than K will suffice, (2) determining if a recursive graph has a finite chromatic number is [sigma subscript  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: 21101611
Description: 24 pages ; 28 cm.
Series Title: University of Maryland at College Park.; Computer science technical report series
Responsibility: by Richard Beigel, William I. Gasarch.

Abstract:

Abstract: "We classify functions in recursive graph theory in terms of how many queries to K (or ø'' or ø''') are required to compute them. We show that (1) binary search is optimal (in terms of the number of queries to K) for finding the chromatic number of a recursive graph; no set of Turing degree less than K will suffice, (2) determining if a recursive graph has a finite chromatic number is [sigma subscript 2]-complete, and (3) binary search is optimal (in terms of the number of queries to ø''') for finding the recursive chromatic number of a recursive graph; no set of Turing degree less than ø''' will suffice. Some of our results have analogues in terms of asking p questions, but some do not. In particular (p + 1)-ary search is not always optimal for finding the chromatic number of a recursive graph. All results are also true for highly recursive graphs."

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/21101611> # Applications of binary search to recursive graph theory
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "21101611" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2242999404#Place/college_park_md> ; # College Park, Md.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mdu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2242999404#Topic/recursive_theory> ; # Recursive theory
    schema:about <http://id.loc.gov/authorities/subjects/sh85112014> ; # Recursive functions
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    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: "We classify functions in recursive graph theory in terms of how many queries to K (or ø'' or ø''') are required to compute them. We show that (1) binary search is optimal (in terms of the number of queries to K) for finding the chromatic number of a recursive graph; no set of Turing degree less than K will suffice, (2) determining if a recursive graph has a finite chromatic number is [sigma subscript 2]-complete, and (3) binary search is optimal (in terms of the number of queries to ø''') for finding the recursive chromatic number of a recursive graph; no set of Turing degree less than ø''' will suffice. Some of our results have analogues in terms of asking p questions, but some do not. In particular (p + 1)-ary search is not always optimal for finding the chromatic number of a recursive graph. All results are also true for highly recursive graphs.""@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2242999404> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2242999404#Series/computer_science_technical_report_series_university_of_maryland> ; # Computer science technical report series. University of Maryland ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2242999404#Series/computer_science_technical_report_series> ; # Computer science technical report series ;
    schema:name "Applications of binary search to recursive graph theory"@en ;
    schema:productID "21101611" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/21101611#PublicationEvent/college_park_md_university_of_maryland_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2242999404#Agent/university_of_maryland> ; # University of Maryland
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/21101611> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/2242999404#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/2242999404#Place/college_park_md> # College Park, Md.
    a schema:Place ;
    schema:name "College Park, Md." ;
    .

<http://experiment.worldcat.org/entity/work/data/2242999404#Series/computer_science_technical_report_series> # Computer science technical report series ;
    a bgn:PublicationSeries ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2242999404#Organization/university_of_maryland_at_college_park> ; # University of Maryland at College Park.
    schema:hasPart <http://www.worldcat.org/oclc/21101611> ; # Applications of binary search to recursive graph theory
    schema:name "Computer science technical report series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2242999404#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/21101611> ; # Applications of binary search to recursive graph theory
    schema:name "Computer science technical report series. University of Maryland ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85112014> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@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.