Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
tarafından
 
Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814

Başlık
Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

Yazar
Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814

ISBN
9783030250270

Edisyon
1st ed. 2019.

Fiziksel Niteleme
XIII, 365 p. 266 illus., 27 illus. in color. online resource.

Seri
Theoretical Computer Science and General Issues ; 11651

İçindekiler
Invited papers -- Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps -- Some Observations on Dynamic Random Walks and Network Renormalization -- Highly Succinct Dynamic Data Structures -- Formal methods -- Largest Common Prefix of a Regular Tree Language -- Winning Strategies for Streaming Rewriting Games -- Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting -- Two characterizations of finite-state dimension -- Complexity -- Optimal channel utilization with limited feedback -- Deterministic Preparation of Dicke States -- Complete Disjoint coNP-Pairs but no Complete Total Polynomial Search Problems Relative to an Oracle -- On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties -- Algorithms -- An Efficient Algorithm for the Fast Delivery Problem -- Extension of some edge graph problems: standard and parameterized complexity -- Space Efficient Algorithms for Breadth-Depth Search -- Circular Pattern Matching with k Mismatches -- Succinct Representations of Finite Groups -- On the Tractability of Covering a Graph with 2-Clubs -- On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest -- Maximum rectilinear convex subsets -- Computing Digraph Width Measures on Directed Co-Graphs -- Fault-tolerant parallel scheduling of arbitrary length jobs on a shared channel -- Rare Siblings Speed-up Deterministic Detection and Counting of Small Pattern Graphs -- Bivariate B-splines from convex pseudo-circle configurations -- The Fault-Tolerant Metric Dimension of Cographs.

Özet
This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019. The 21 full papers included in this volume were carefully reviewed and selected from 45 submissions. In addition, the book contains 3 invited talks in full-paper length. The papers were organized in topical sections named: formal methods, complexity, and algorithms.

Konu Başlığı
Algorithms.
 
Computer graphics.
 
Computer science—Mathematics.
 
Artificial intelligence.
 
Data structures (Computer science).
 
Computer communication systems.
 
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product-market-codes/I16021
 
Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013
 
Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product-market-codes/I17028
 
Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000
 
Data Structures. https://scigraph.springernature.com/ontologies/product-market-codes/I15017
 
Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market-codes/I13022

Yazar Ek Girişi
Gąsieniec, Leszek Antoni.
 
Jansson, Jesper.
 
Levcopoulos, Christos.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-030-25027-0


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book429073-1001QA76.9 .A43Springer E-Book Collection