skip to content
Short Encodings of Evolving Structures. Preview this item
ClosePreview this item
Checking...

Short Encodings of Evolving Structures.

Author: Daniel D Sleator; Robert E Tarjan; William P Thurston; PRINCETON UNIV NJ DEPT OF COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center APR 1990.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
A derivation in a transformational system such as a graph grammar may be redundant in the sense that the exact order of the transformations may not affect the final outcome; all that matters is that each transformation, when applied, is applied to the correct structure. By taking advantage of this redundancy, we are able to develop an efficient encoding scheme for such derivations. This encoding scheme has a number  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: Daniel D Sleator; Robert E Tarjan; William P Thurston; PRINCETON UNIV NJ DEPT OF COMPUTER SCIENCE.
OCLC Number: 227758978
Notes: Sponsored in part by Grants NSF-CCR-8658139, NSF-STC88-09648. Prepared in cooperation with Carnegie Mellon Univ., Pittsburgh Pa., Department of Computer Science.
Description: 27 p.

Abstract:

A derivation in a transformational system such as a graph grammar may be redundant in the sense that the exact order of the transformations may not affect the final outcome; all that matters is that each transformation, when applied, is applied to the correct structure. By taking advantage of this redundancy, we are able to develop an efficient encoding scheme for such derivations. This encoding scheme has a number of diverse applications. It can be used in efficient enumeration of combinatorial objects or for compact representation of program and data structure transformations. It can also be used to derive lower bounds on lengths of derivations. We show for example that omega (n log n) applications of the associative and commutative laws are required in the worst case to transform an n-variable expression over a binary associative and commutative laws are required in the worst case to transform an n-variable expression over a binary associative, commutative operation into some other equivalent expression. Similarly, we show that omega (n log n) diagonal flips are required in the worst case to transform on n-vertex numbered triangulated planar graph into some other one. Both of these lower bounds have matching upper bounds. An O(n log n) upper bound for associative, commutative operations was known previously, whereas we obtain here an O(n log n) upper bound for diagonal flips. (kr).

Reviews

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

Tags

Be the first.
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


<http://www.worldcat.org/oclc/227758978>
library:oclcnum"227758978"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"APR 1990"
schema:datePublished"1990"
schema:description"A derivation in a transformational system such as a graph grammar may be redundant in the sense that the exact order of the transformations may not affect the final outcome; all that matters is that each transformation, when applied, is applied to the correct structure. By taking advantage of this redundancy, we are able to develop an efficient encoding scheme for such derivations. This encoding scheme has a number of diverse applications. It can be used in efficient enumeration of combinatorial objects or for compact representation of program and data structure transformations. It can also be used to derive lower bounds on lengths of derivations. We show for example that omega (n log n) applications of the associative and commutative laws are required in the worst case to transform an n-variable expression over a binary associative and commutative laws are required in the worst case to transform an n-variable expression over a binary associative, commutative operation into some other equivalent expression. Similarly, we show that omega (n log n) diagonal flips are required in the worst case to transform on n-vertex numbered triangulated planar graph into some other one. Both of these lower bounds have matching upper bounds. An O(n log n) upper bound for associative, commutative operations was known previously, whereas we obtain here an O(n log n) upper bound for diagonal flips. (kr)."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/26003906>
schema:inLanguage"en"
schema:name"Short Encodings of Evolving Structures."@en
schema:numberOfPages"27"
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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