Výsledky vyhledávání - Parameterized complexity and exact algorithms

State Canonization and Early Pruning in Width-Based Automated Theorem Proving

Autoři: De Oliveira, Mateus Vadiee, Farhad

Zdroj: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) Leibniz International Proceedings in Informatics.

Témata: Automated reasoning, Parameterized complexity and exact algorithms, data- och systemvetenskap, Computer and Systems Sciences

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-238214
https://doi.org/10.4230/LIPIcs.FSCD.2024.33

Parameterized and Exact Computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

Autoři: Dániel Marx Peter Rossmanith

Resource Type: eBook.

Témata: Parameter estimation--Congresses, Computer algorithms--Congresses, Computational complexity--Congresses

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

Finding Cuts of Bounded Degree: Complexity, FPT and Exact Algorithms, and Kernelization.

Autoři: Gomes, Guilherme C. M. Sau, Ignasi

Zdroj: Algorithmica. Jun2021, Vol. 83 Issue 6, p1677-1706. 30p.

Témata: *APPLIED mathematics, *ALGORITHMS, *COMPUTATIONAL mathematics, *CUTTING stock problem, *GRAPH algorithms

Parameterized and Exact Computation : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

Autoři: Martin Grohe Rolf Niedermeier

Resource Type: eBook.

Témata: Parameter estimation--Congresses, Computer algorithms--Congresses, Computational complexity--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / Algorithms, MATHEMATICS / Discrete Mathematics

Parameterized and exact algorithms for class domination coloring.

Autoři: Krithika, R. Rai, Ashutosh Saurabh, Saket a další

Zdroj: Discrete Applied Mathematics. Mar2021, Vol. 291, p286-299. 14p.

Témata: *GRAPH coloring, *DOMINATING set, *ALGORITHMS, *COLORS, *INTEGERS, *TRANSVERSAL lines

Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Autoři: Marek Cygan Pinar Heggernes

Resource Type: eBook.

Témata: Computer science, Algorithms, Computer science—Mathematics, Discrete mathematics

Categories: COMPUTERS / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics

Algorithms for Minimum Membership Dominating Set problem.

Autoři: Reddy, Sangam Balchandar Kare, Anjeneya Swami

Zdroj: RAIRO: Operations Research (2804-7303). 2025, Vol. 59 Issue 5, p3267-3284. 18p.

Témata: *ALGORITHMS, *DYNAMIC programming, DOMINATING set, NP-complete problems, GRAPH theory, COMPUTATIONAL complexity, BIPARTITE graphs

Parameterized and Exact Computation : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Autoři: Gregory Gutin Stefan Szeider

Resource Type: eBook.

Témata: Algorithms, Numerical analysis, Computer science—Mathematics, Discrete mathematics, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Parameterized and Exact Computation : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings

Autoři: Dimitrios M. Thilikos Gerhard J. Woeginger

Resource Type: eBook.

Témata: Algorithms, Numerical analysis, Computer science—Mathematics, Discrete mathematics, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Exact algorithms and approximation schemes for proportionate flow shop scheduling with step-deteriorating processing times.

Autoři: Shabtay, Dvir Mor, Baruch

Zdroj: Journal of Scheduling; Jun2024, Vol. 27 Issue 3, p239-256, 18p

Témata: FLOW shop scheduling, APPROXIMATION algorithms, FLOW shops, POLYNOMIAL approximation, POLYNOMIAL time algorithms

Parameterized Complexity Classification for Interval Constraints

Autoři: Dabrowski, Konrad K. Jonsson, Peter, Professor Ordyniak, Sebastian a další

Zdroj: 18th International Symposium on Parameterized and Exact Computation (IPEC 2023) Leibniz International Proceedings in Informatics (LIPIcs).

Témata: (Minimum) constraint satisfaction problem, Allen's interval algebra, Parameterized complexity, Cut problems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-203025
https://doi.org/10.4230/LIPIcs.IPEC.2023.11

Anti-factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard).

Autoři: Marx, Dániel Sankar, Govind S. Schepper, Philipp

Zdroj: Algorithmica. Jan2025, Vol. 87 Issue 1, p22-88. 67p.

Témata: *DYNAMIC programming, *SET theory, *COUNTING, *ALGORITHMS

On the parameterized complexity of the median and closest problems under some permutation metrics.

Autoři: Cunha, Luís Sau, Ignasi Souza, Uéverton

Zdroj: Algorithms for Molecular Biology; 12/24/2024, Vol. 19 Issue 1, p1-18, 18p

Témata: LIFE sciences, GENOMICS, NP-hard problems, GENOMES, GENETICS, PERMUTATIONS

Parameterized Algorithms for Power-Efficiently Connecting Wireless Sensor Networks: Theory and Experiments.

Autoři: Bentert, Matthias van Bevern, René Nichterlein, André a další

Zdroj: INFORMS Journal on Computing. Winter2022, Vol. 34 Issue 1, p55-75. 21p.

Témata: *WIRELESS sensor networks, *SENSOR networks, *POLYNOMIAL time algorithms, *AIR pollution monitoring, *ALGORITHMS, *COMPUTABLE functions, *FOREST health

Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms.

Autoři: Cattanéo, David Perdrix, Simon

Zdroj: Algorithms & Computation: 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings; 2015, p259-270, 12p

On parameterized exponential time complexity

Autoři: Chen, Jianer Kanj, Iyad A. Xia, Ge

Zdroj: Theoretical Computer Science. Jun2009, Vol. 410 Issue 27-29, p2641-2648. 8p.

Témata: *COMPUTATIONAL complexity, *NP-complete problems, *TIME measurements, *POLYNOMIALS, *ALGORITHMS, *TOPOLOGICAL degree, *GRAPH theory

Pattern-Guided k-Anonymity

Autoři: Rolf Niedermeier André Nichterlein Robert Bredereck

Zdroj: Algorithms, Vol 6, Iss 4, Pp 678-701 (2013)

Témata: NP-hardness, parameterized complexity, integer linear programming, exact algorithms, heuristics, experiments, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: http://www.mdpi.com/1999-4893/6/4/678; https://doaj.org/toc/1999-4893

Přístupová URL adresa: https://doaj.org/article/b4274ebd305b44febea3e60515aad934

Parameterized Complexity

Autoři: Rodney G. Downey M.R. Fellows

Resource Type: eBook.

Témata: Computational complexity

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Logic

Parameterized and Exact Computation : Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings

Autoři: Hans L. Bodlaender Michael A. Langston

Resource Type: eBook.

Témata: Algorithms, Computer science, Artificial intelligence—Data processing, Computer science—Mathematics, Discrete mathematics

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, MATHEMATICS / Discrete Mathematics

Entanglement-assisted variational algorithm for discrete optimization problems

Autoři: Lorenzo Fioroni Vincenzo Savona

Zdroj: Communications Physics, Vol 8, Iss 1, Pp 1-8 (2025)

Témata: Astrophysics, QB460-466, Physics, QC1-999

Popis souboru: electronic resource

Relation: https://doaj.org/toc/2399-3650

Přístupová URL adresa: https://doaj.org/article/a2d5a732ca7e45caafcad54d42f03fa5