@prefix schema: .
@prefix library: .
@prefix rdf: .
@prefix void: .
@prefix pto: .
@prefix dcte: .
a schema:Topic ;
schema:name "Planar structures." .
void:inDataset ;
schema:about .
a schema:Topic ;
schema:name "Data processing." .
a schema:Topic ;
schema:name "Graphs." .
a schema:Topic ;
schema:name "Coding." .
a schema:Topic ;
schema:name "Numerical Mathematics." .
a schema:Topic ;
schema:name "Grammars." .
a schema:Topic ;
schema:name "Transformations(mathematics)" .
a schema:CreativeWork , schema:Book ;
void:inDataset ;
schema:about , , , , , , , , , , , , , , , , , ;
schema:contributor , , , , , , ;
schema:creator , ;
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 , "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 substructure. 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."@en , "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, 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 one 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.\""@en , "We show for example that [omega](nlogn) applications of the 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](nlogn) 'diagonal flips' are required in the worst case to transform one n-vertex numbered triangulated planar graph into some other one. Both of these lower bounds have matching upper bounds. An O(nlogn) upper bound for associative, commutative operations was known previously, whereas we obtain here an O(nlogn) upper bound for diagonal flips.\""@en ;
schema:name "Short encodings of evolving structures"@en , "Short Encodings of Evolving Structures"@en ;
schema:workExample , , .
a schema:Topic ;
schema:name "Counting methods." .
a schema:Topic ;
schema:name "Efficiency." .
a schema:Organization ;
schema:name "PRINCETON UNIV NJ DEPT OF COMPUTER SCIENCE." .
a schema:Topic ;
schema:name "Combinatorial analysis." .
a schema:Topic ;
schema:name "Data bases." .
a schema:Topic ;
schema:name "Redundancy." .