Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Be sparse! Be dense! Be robust!
  • Language: en
  • Pages: 272

Be sparse! Be dense! Be robust!

In this thesis we study the computational complexity of five NP-hard graph problems. It is widely accepted that, in general, NP-hard problems cannot be solved efficiently, that is, in polynomial time, due to many unsuccessful attempts to prove the contrary. Hence, we aim to identify properties of the inputs other than their length, that make the problem tractable or intractable. We measure these properties via parameters, mappings that assign to each input a nonnegative integer. For a given parameter k, we then attempt to design fixed-parameter algorithms, algorithms that on input q have running time upper bounded by f(k(q)) * |q|^c , where f is a preferably slowly growing function, |q| is t...

Fixed-Parameter Linear-Time Algorithms for NP-hard Graph and Hypergraph Problems Arising in Industrial Applications
  • Language: en
  • Pages: 229

Fixed-Parameter Linear-Time Algorithms for NP-hard Graph and Hypergraph Problems Arising in Industrial Applications

This thesis aims for the development of efficient algorithms to exactly solve four selected NP-hard graph and hypergraph problems arising in the fields of scheduling, steel manufactoring, software engineering, radio frequency allocation, computer-aided circuit design, and social network analysis. NP-hard problems presumably cannot be solved exactly in a running time growing only polynomially with the input size. In order to still solve the considered problems efficiently, this thesis develops linear-time data reduction and fixed-parameter linear-time algorithms—algorithms that can be proven to run in linear time if certain parameters of the problem instances are constant. Besides proving l...

Parameterized Algorithmics for Network Analysis: Clustering & Querying
  • Language: en
  • Pages: 181
Computer Science – Theory and Applications
  • Language: en
  • Pages: 397

Computer Science – Theory and Applications

  • Type: Book
  • -
  • Published: 2019-06-24
  • -
  • Publisher: Springer

This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019. The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms; combinatorial optimization; constraint satisfaction; computational geometry; formal languages and automata; codes and cryptography; combinatorics in computer science; applications of logic to computer science; proof complexity; fundamentals of machine learning; and theoretical aspects of big data.

Mathematical Optimization Theory and Operations Research
  • Language: en
  • Pages: 716

Mathematical Optimization Theory and Operations Research

  • Type: Book
  • -
  • Published: 2019-06-12
  • -
  • Publisher: Springer

This book constitutes the proceedings of the 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019, held in Ekaterinburg, Russia, in July 2019. The 48 full papers presented in this volume were carefully reviewed and selected from 170 submissions. MOTOR 2019 is a successor of the well-known International and All-Russian conference series, which were organized in Ural, Siberia, and the Far East for a long time. The selected papers are organized in the following topical sections: mathematical programming; bi-level optimization; integer programming; combinatorial optimization; optimal control and approximation; data mining and computational geometry; games and mathematical economics.

Mathematical Foundations of Computer Science 2015
  • Language: en
  • Pages: 615

Mathematical Foundations of Computer Science 2015

  • Type: Book
  • -
  • Published: 2015-08-10
  • -
  • Publisher: Springer

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).

Graph Drawing and Network Visualization
  • Language: en
  • Pages: 642

Graph Drawing and Network Visualization

  • Type: Book
  • -
  • Published: 2016-12-07
  • -
  • Publisher: Springer

This book constitutes revised selected papers from the 24th International Symposium on Graph Drawing and Network Visualization, GD 2016, held in Athens, Greece, in September 2016. The 45 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: large graphs and clutter avoidance; clustered graphs; planar graphs, layered and tree drawings; visibility representations; beyond planarity; crossing minimization and crossing numbers; topological graph theory; special graph embeddings; dynamic graphs, contest report.

Parameterized and Exact Computation
  • Language: en
  • Pages: 273

Parameterized and Exact Computation

  • Type: Book
  • -
  • Published: 2012-03-09
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrücken, Germany, in September 2011. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results, parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications, applications of parameterized and exact computation, and implementation issues of parameterized and exact algorithms.

Combinatorial Algorithms
  • Language: en
  • Pages: 494

Combinatorial Algorithms

  • Type: Book
  • -
  • Published: 2013-11-26
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed post-workshop proceedings of the 24th International Workshop on Combinatorial Algorithms, IWOCA 2013, held in Rouen, France, in July 2013. The 33 revised full papers presented together with 10 short papers and 5 invited talks were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on algorithms on graphs; algorithms on strings; discrete geometry and satisfiability.

Graph-Theoretic Concepts in Computer Science
  • Language: en
  • Pages: 446

Graph-Theoretic Concepts in Computer Science

  • Type: Book
  • -
  • Published: 2013-11-12
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed proceedings of the 39th International Workshop on Graph Theoretic Concepts in Computer Science, WG 2013, held in Lübeck, Germany, in June 2013. The 34 revised full papers presented were carefully reviewed and selected from 61 submissions. The book also includes two abstracts. The papers cover a wide range of topics in graph theory related to computer science, such as structural graph theory with algorithmic or complexity applications; design and analysis of sequential, parallel, randomized, parameterized and distributed graph and network algorithms; computational complexity of graph and network problems; computational geometry; graph grammars, graph rewriting systems and graph modeling; graph drawing and layouts; random graphs and models of the web and scale-free networks; and support of these concepts by suitable implementations and applications.