English
Related papers

Related papers: Python for education: the exact cover problem

200 papers

The exact complexity of geometric cuts and bisections is the longstanding open problem including even the dimension one. In this paper, we resolve this problem for dimension one (the real line) by designing an exact polynomial time…

Data Structures and Algorithms · Computer Science 2012-07-05 Marek Karpinski , Andrzej Lingas , Dzmitry Sledneu

In this work, we provide the first practical evaluation of the structural rounding framework for approximation algorithms. Structural rounding works by first editing to a well-structured class, efficiently solving the edited instance, and…

Data Structures and Algorithms · Computer Science 2019-11-04 Brian Lavallee , Hayley Russell , Blair D. Sullivan , Andrew van der Poel

Recently, there has been increasing interest and progress in improvising the approximation algorithm for well-known NP-Complete problems, particularly the approximation algorithm for the Vertex-Cover problem. Here we have proposed a…

Data Structures and Algorithms · Computer Science 2013-09-20 Deepak Puthal

We introduce a simple, efficient and precise polynomial heuristic for a key NP complete problem, minimum vertex cover. Our method is iterative and operates in probability space. Once a stable probability solution is found we find the true…

Statistical Mechanics · Physics 2007-05-23 P. M. Duxbury , C. W. Fay

This paper presents an algorithmic study of a class of covering mixed-integer linear programming problems which encompasses classic cover problems, including multidimensional knapsack, facility location and supplier selection problems. We…

Data Structures and Algorithms · Computer Science 2026-02-12 Kobe Grobben , Phablo F. S. Moura , Hande Yaman

This research explores the application of quadratic polynomials in Python for advanced data analysis. The study demonstrates how quadratic models can effectively capture nonlinear relationships in complex datasets by leveraging Python…

Methodology · Statistics 2025-09-16 Rostyslav Sipakov , Olena Voloshkina , Anastasiia Kovalova

This study presents a novel algorithm for identifying the set of extreme points that constitute the exact convex hull of a point set in high-dimensional Euclidean space. The proposed method iteratively solves a sequence of dynamically…

Computational Geometry · Computer Science 2025-11-11 Qianwei Zhuang

We suggest a new optical solution for solving the YES/NO version of the Exact Cover problem by using the massive parallelism of light. The idea is to build an optical device which can generate all possible solutions of the problem and then…

Hardware Architecture · Computer Science 2009-02-07 Mihai Oltean , Oana Muntean

We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing…

Logic in Computer Science · Computer Science 2023-06-22 Robin Eßmann , Tobias Nipkow , Simon Robillard , Ujkan Sulejmani

Python implementation of permutations is presented. Three classes are introduced: Perm for permutations, Group for permutation groups, and PermError to report any errors for both classes. The class Perm is based on Python dictionaries and…

Mathematical Software · Computer Science 2014-06-17 Andrzej Kapanowski

We describe a novel, interdisciplinary, computational methods course that uses Python and associated numerical and visualization libraries to enable students to implement simulations for a number of different course modules. Problems in…

Chaotic Dynamics · Physics 2007-05-23 Christopher R. Myers , James. P. Sethna

We show the NP-completeness of the existential theory of term algebras with the Knuth-Bendix order by giving a nondeterministic polynomial-time algorithm for solving Knuth-Bendix ordering constraints.

Logic in Computer Science · Computer Science 2007-05-23 Konstantin Korovin , Andrei Voronkov

This paper studies binary quadratic programs in which the objective is defined by a Euclidean distance matrix, subject to a general polyhedral constraint set. This class of nonconcave maximisation problems includes the capacitated,…

Optimization and Control · Mathematics 2023-09-19 Hoa T. Bui , Sandy Spiers , Ryan Loxton

This paper presents \textsc{hankel}, a pure-python code for solving Hankel-type integrals and transforms. Such transforms are common in the physical sciences, especially appearing as the radial solution to angularly symmetric Fourier…

Instrumentation and Methods for Astrophysics · Physics 2019-06-05 Steven G. Murray , Francis J. Poulin

We develop a polynomial time 3/2-approximation algorithm to solve the vertex cover problem on a class of graphs satisfying a property called ``active edge hypothesis''. The algorithm also guarantees an optimal solution on specially…

Data Structures and Algorithms · Computer Science 2007-12-21 Qiaoming Han , Abraham P. Punnen , Yinyu Ye

A quantum algorithm is exact if it always produces the correct answer, on any input. Coming up with exact quantum algorithms that substantially outperform the best classical algorithm has been a quite challenging task. In this paper, we…

Quantum Physics · Physics 2013-02-07 Andris Ambainis , Jānis Iraids , Juris Smotrovs

First, we study geometric variants of the standard set cover motivated by assignment of directional antenna and shipping with deadlines, providing the first known polynomial-time exact solutions. Next, we consider the following general…

Computational Complexity · Computer Science 2009-09-30 Piotr Berman , Marek Karpinski , Andrzej Lingas

In the convex covering problem, we are given a convex polygon with holes $P$ and the goal is to cover $P$ using a small number of convex polygons that lie inside $P$. In this paper, we solve the problem using the following strategy. We find…

Computational Geometry · Computer Science 2025-06-23 Guilherme D. da Fonseca

We describe algorithms which address two classical problems in lattice geometry: the lattice covering and the simultaneous lattice packing-covering problem. Theoretically our algorithms solve the two problems in any fixed dimension d in the…

Metric Geometry · Mathematics 2007-05-23 Achill Schuermann , Frank Vallentin

We are interested in the fast computation of the exact value of integrals of polynomial functions over convex polyhedra. We present speed ups and extensions of the algorithms presented in previous work. We present the new software…

Metric Geometry · Mathematics 2013-12-30 Jesus De Loera , Brandon Dutra , Matthias Koeppe , Stanislav Moreinis , Gregory Pinto , Jianqiu Wu
‹ Prev 1 2 3 10 Next ›