| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465930103316 |
|
|
Titolo |
Graph-Theoretic Concepts in Computer Science [[electronic resource] ] : 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings / / edited by Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1995.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 425 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 903 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Discrete mathematics |
Algorithms |
Combinatorics |
Computer logic |
Theory of Computation |
Discrete Mathematics |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Domino treewidth -- A lower bound for treewidth and its consequences -- Tree-width and path-width of comparability graphs of interval orders -- A declarative approach to graph based modeling -- Multilevel graph grammars -- The algorithmic use of hypertree structure and maximum neighbourhood orderings -- On domination elimination orderings and domination graphs -- Complexity of graph covering problems -- Dominoes -- GLB-closures in directed acyclic graphs and their applications -- Minimum vertex cover, distributed decision-making, and communication complexity -- Cartesian products of graphs as spanning subgraphs of de Bruijn graphs -- Specification of graph translators with triple graph grammars -- Using programmed graph rewriting for the formal specification of a configuration |
|
|
|
|
|
|
|
|
|
|
|
management system -- Exponential time analysis of confluent and boundary eNCE graph languages -- Time-optimal tree computations on sparse meshes -- Prefix graphs and their applications -- The complexity of broadcasting in planar and decomposable graphs -- The maximal f-dependent set problem for planar graphs is in NC -- On-line convex planarity testing -- Book embeddings and crossing numbers -- Measuring the distance to series-parallelity by path expressions -- Labelled trees and pairs of input-output permutations in priority queues -- Rankings of graphs -- Bypass strong V-structures and find an isomorphic labelled subgraph in linear time -- Efficient algorithms for a mixed k-partition problem of graphs without specifying bases -- Fugitive-search games on graphs and related parameters -- New approximation results on graph matching and related problems -- New lower bounds and hierarchy results for restricted branching programs -- On-line algorithms for satisfiability problems with uncertainty -- NC algorithms for antidirected hamiltonian paths and cycles in tournaments -- Directed path graph isomorphism. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume presents the proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '94), held in Herrsching, Germany in June 1994. The volume contains 32 thoroughly revised papers selected from 66 submissions and provides an up-to-date snapshot of the research performed in the field. The topics addressed are graph grammars, treewidth, special graph classes, algorithms on graphs, broadcasting and architecture, planar graphs and related problems, and special graph problems. |
|
|
|
|
|
|
|
| |