Combinatorics and Computer Science [[electronic resource] ] : 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers / / edited by Michel M. Deza, Reinhardt Euler, Ioannis Manoussakis
| Combinatorics and Computer Science [[electronic resource] ] : 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers / / edited by Michel M. Deza, Reinhardt Euler, Ioannis Manoussakis |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (X, 426 p.) |
| Disciplina | 004/.01/5116 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Discrete mathematics
Computers Computer communication systems Combinatorics Numerical analysis Computer programming Discrete Mathematics Theory of Computation Computer Communication Networks Numerical Analysis Programming Techniques |
| ISBN | 3-540-70627-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Equitable and m-bounded coloring of split graphs -- Four coloring for a subset of maximal planar graphs with minimum degree five -- Enumeration algorithm for the edge coloring problem on bipartite graphs -- On-line recognition of interval graphs in O(m+nlog n) time -- Connected proper interval graphs and the guard problem in spiral polygons -- Weighted connected domination and Steiner trees in distance-hereditary graphs -- On central spanning trees of a graph -- Complete bipartite decompositions of crowns, with applications to complete directed graphs -- Finding an antidirected Hamiltonian path starting with a forward arc from a given vertex of a tournament -- Complementary ?1-graphs and related combinatorial structures -- Double description method revisited -- On skeletons, diameters and volumes of metric polyhedra -- Improving branch and bound for Jobshop scheduling with constraint propagation -- A new efficiently solvable special case of the three-dimensional axial bottleneck assignment problem -- Ramsey numbers by stochastic algorithms with new heuristics -- On the hybrid neural network model for solving optimization problems -- Constructive — non-constructive approximation and maximum independent set problem -- Weakly greedy algorithm and pair-delta-matroids -- On integer multiflows and metric packings in matroids -- Optimum alphabetic binary trees -- Block codes for dyadic phase shift keying -- Zigzag codes and z-free hulls -- Contiguity orders -- Worst-case analysis for on-line data compression -- Gossiping in cayley graphs by packets -- On embedding 2-dimensional toroidal grids into de Bruijn graphs with clocked congestion one -- N-cube string matching algorithm with long texts -- Combinatorics for multiprocessor scheduling optimization and other contexts in computer architecture -- Some applications of combinatorial optimization in parallel computing -- On the parallel complexity of the alternating Hamiltonian cycle problem -- Threshold graphs and synchronization protocols -- Task assignment in distributed systems using network flow methods -- Distributed rerouting in DCS mesh networks. |
| Record Nr. | UNISA-996465630703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing and Combinatorics [[electronic resource] ] : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings / / edited by Ding-Zhu Du, Ming Li
| Computing and Combinatorics [[electronic resource] ] : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings / / edited by Ding-Zhu Du, Ming Li |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XIV, 662 p.) |
| Disciplina | 004/.01/5116 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algorithms
Computers Combinatorics Computer graphics Mathematical logic Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer Graphics Mathematical Logic and Formal Languages |
| ISBN | 3-540-44733-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The complexity of mean payoff games -- Approximation of coNP sets by NP-complete sets -- How to draw a planar clustered graph -- An efficient orthogonal grid drawing algorithm for cubic graphs -- Constrained independence system and triangulations of planar point sets -- Three dimensional weak visibility: Complexity and applications -- Rectangulating rectilinear polygons in parallel -- Efficient randomized incremental algorithm for the closest pair problem using Leafary trees -- Testing containment of object-oriented conjunctive queries is ? 2 p -hard -- Computing infinite relations using finite expressions: A new approach to the safety issue in relational databases -- Set-term unification in a logic database language -- Computations with finite closure systems and implications -- Maximum tree-packing in time O(n5/2) -- Optimal algorithms for finding connected components of an unknown graph -- The multi-weighted spanning tree problem -- Algorithmic graph embeddings -- Analysis of quorum-based protocols for distributed (k+1)-exclusion -- A highly fault-tolerant quorum consensus method for managing replicated data -- Constructing Craig interpolation formulas -- Currying of order-sorted term rewriting systems -- Stack and queue number of 2-trees -- Shortest paths in random weighted graphs -- Simple reduction of f-colorings to edge-colorings -- Output-size sensitiveness of OBDD construction through maximal independent set problem -- Small weight bases for hamming codes -- Toeplitz words, generalized periodicity and periodically iterated morphisms -- A construction for enumerating k-coloured Motzkin paths -- On public-key cryptosystem based on Church-Rosser string-rewriting systems -- Extending the Hong-Kung model to memory hierarchies -- On log-time alternating Turing machines of alternation depth k -- New bound for affine resolvable designs and its application to authentication codes -- Dense packings of 3k(k+1)+1 equal disks in a circle for k = 1, 2, 3, 4, and 5 -- Efficient parallel algorithms for some tree layout problems -- Conservative algorithms for parallel and sequential integer sorting -- An optimal algorithm for proper learning of unions of two rectangles with queries -- Disjunctions of negated counting functions are efficiently learnable with equivalence queries -- Non-empty cross-3-intersection theorems of subsets -- Convexity of minimal total dominating functions in graphs -- Transformations for maximal planar graphs with minimum degree five -- An asynchronous parallel method for linear systems -- On a kind of sequence of polynomials -- Hamiltonian cycles in 2-generated Cayley digraphs of abelian groups -- Pandiagonal magic squares -- PFFM and Quasi-Morishima matrices -- Edge-face total chromatic number of outerplanar graphs with ? (G)=6 -- Sets computable in polynomial time on average -- Rankable distributions do not provide harder instances than uniform distributions -- Transformations that preserve malignness of universal distributions -- Intersection suffices for Boolean hierarchy equivalence -- A 2 3 log 3-competitive algorithm for the counterfeit coin problem -- Searching rigid data structures -- A better subgraph of the minimum weight triangulation -- Sequence decomposition method for computing a Gröbner basis and its application to bivariate spline -- A broadcasting algorithm on the arrangement graph -- A fast maximum finding algorithm on broadcast communication -- Broadcasting in general networks I: Trees -- Uni-directional alternating group graphs -- On separating proofs of knowledge from proofs of membership of languages and its application to secure identification schemes -- Compact location problems with budget and communication constraints -- Minimum dominating sets of intervals on lines -- Two-dimensional pattern matching on a dynamic library of texts -- Structure in approximation classes -- Improved lower bounds for the randomized Boppana-Halldórsson algorithm for MAXCLIQUE -- MNP: A class of NP optimization problems -- Semidefinite programming and its applications to NP problems -- Analysis and experimentation on list update algorithms -- An exact branch and bound algorithm for the Steiner Problem in Graphs -- A physical model for the satisfiability problem -- An efficient algorithm for local testability problem of finite state automata -- Scheduling task-tree with additive scales on parallel/distributed machines -- Single-vehicle scheduling problem on a straight line with time window constraints -- An on-line algorithm for some uniform processor Scheduling -- An algebraic characterization of tractable constraints -- Limit property of unbalanced development in economic network -- Document processing, theory, and practice -- Matching and comparing sequences in molecular biology -- Primal-dual schema based approximation algorithms. |
| Record Nr. | UNISA-996466137403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||