English
Related papers

Related papers: Pruning Algorithms for Pretropisms of Newton Polyt…

200 papers

Optimal Morse matchings reveal essential structures of cell complexes which lead to powerful tools to study discrete geometrical objects, in particular discrete 3-manifolds. However, such matchings are known to be NP-hard to compute on…

Computational Geometry · Computer Science 2018-10-24 Benjamin A. Burton , Thomas Lewiner , João Paixão , Jonathan Spreer

Artificial neural network pruning is a method in which artificial neural network sizes can be reduced while attempting to preserve the predicting capabilities of the network. This is done to make the model smaller or faster during inference…

Machine Learning · Computer Science 2025-05-21 Alexandre Broggi , Nathaniel Bastian , Lance Fiondella , Gokhan Kul

For a graph class $\mathcal{C}$, the $\mathcal{C}$-Edge-Deletion problem asks for a given graph $G$ to delete the minimum number of edges from $G$ in order to obtain a graph in $\mathcal{C}$. We study the $\mathcal{C}$-Edge-Deletion problem…

Data Structures and Algorithms · Computer Science 2021-11-15 Toshiki Saitoh , Ryo Yoshinaka , Hans L. Bodlaender

Qualitative probabilistic networks have been designed for probabilistic reasoning in a qualitative way. Due to their coarse level of representation detail, qualitative probabilistic networks do not provide for resolving trade-offs and…

Artificial Intelligence · Computer Science 2013-01-18 Silja Renooij , Linda C. van der Gaag , Simon Parsons , Shaw Green

We report our experiences for the development of a neighborhood algorithm implemented via tree-codes to optimize the performance of a discrete element method (DEM) for convex polytopes. Our implementation of the two-dimensional tree code…

Computational Physics · Physics 2024-12-05 Yuki Watanabe , Dominik Krengel , Hans-Georg Matuttis

Recent empirical works show that large deep neural networks are often highly redundant and one can find much smaller subnetworks without a significant drop of accuracy. However, most existing methods of network pruning are empirical and…

Machine Learning · Computer Science 2020-10-20 Mao Ye , Chengyue Gong , Lizhen Nie , Denny Zhou , Adam Klivans , Qiang Liu

We present linear-time algorithms for partitioning a path or a tree with weights on the vertices by removing $k$ edges to maximize the minimum-weight component. We also use the same framework to partition a path with weight on the vertices,…

Data Structures and Algorithms · Computer Science 2017-11-03 Greg N. Frederickson , Samson Zhou

In this work we present a method to improve the pruning step of the current state-of-the-art methodology to compress neural networks. The novelty of the proposed pruning technique is in its differentiability, which allows pruning to be…

Computer Vision and Pattern Recognition · Computer Science 2019-01-08 Franco Manessi , Alessandro Rozza , Simone Bianco , Paolo Napoletano , Raimondo Schettini

We introduce a new phylogenetic reconstruction algorithm which, unlike most previous rigorous inference techniques, does not rely on assumptions regarding the branch lengths or the depth of the tree. The algorithm returns a forest which is…

Populations and Evolution · Quantitative Biology 2011-09-30 Constantinos Daskalakis , Elchanan Mossel , Sebastien Roch

We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total…

Data Structures and Algorithms · Computer Science 2022-07-04 Benjamin Merlin Bumpus , Bart M. P. Jansen , Jari J. H. de Kroon

We introduce and analyze a new technique for model reduction for deep neural networks. While large networks are theoretically capable of learning arbitrarily complex models, overfitting and model redundancy negatively affects the prediction…

Machine Learning · Computer Science 2017-11-27 Alireza Aghasi , Afshin Abdi , Nam Nguyen , Justin Romberg

Quasiprobability representation is an important tool for analyzing a quantum system, such as a quantum state or a quantum circuit. In this work, we propose classical algorithms specialized for approximating outcome probabilities of a linear…

Quantum Physics · Physics 2023-12-19 Youngrong Lim , Changhun Oh

In the Tree Deletion Set problem the input is a graph G together with an integer k. The objective is to determine whether there exists a set S of at most k vertices such that G-S is a tree. The problem is NP-complete and even NP-hard to…

Data Structures and Algorithms · Computer Science 2013-10-01 Archontia C. Giannopoulou , Daniel Lokshtanov , Saket Saurabh , Ondrej Suchy

Algorithms for binary classification based on adaptive tree partitioning are formulated and analyzed for both their risk performance and their friendliness to numerical implementation. The algorithms can be viewed as generating a set…

Statistics Theory · Mathematics 2014-11-05 Peter Binev , Albert Cohen , Wolfgang Dahmen , Ronald DeVore

Reduction trees are a way of encoding a substitution procedure dictated by the relations of an algebra. We use reduction trees in the subdivision algebra to construct canonical triangulations of flow polytopes which are shellable. We…

Combinatorics · Mathematics 2015-02-16 Karola Mészáros

Pruning and quantization techniques have been broadly successful in reducing the number of parameters needed for large neural networks, yet theoretical justification for their empirical success falls short. We consider a randomized greedy…

Machine Learning · Computer Science 2025-12-09 Houssam El Cheairi , David Gamarnik , Rahul Mazumder

Pruning is a widely used technique for reducing the size of deep neural networks while maintaining their performance. However, such a technique, despite being able to massively compress deep models, is hardly able to remove entire layers…

Machine Learning · Computer Science 2023-12-27 Zhu Liao , Victor Quétu , Van-Tam Nguyen , Enzo Tartaglione

Deep learning stands as the modern paradigm for solving cognitive tasks. However, as the problem complexity increases, models grow deeper and computationally prohibitive, hindering advancements in real-world and resource-constrained…

Computer Vision and Pattern Recognition · Computer Science 2025-06-06 Gustavo Henrique do Nascimento , Ian Pons , Anna Helena Reali Costa , Artur Jordao

We prove the following result about approximating the maximum independent set in a graph. Informally, we show that any approximation algorithm with a ``non-trivial'' approximation ratio (as a function of the number of vertices of the input…

Data Structures and Algorithms · Computer Science 2023-07-06 Parinya Chalermsook , Fedor Fomin , Thekla Hamm , Tuukka Korhonen , Jesper Nederlof , Ly Orgo

In this paper we propose a novel efficient algorithm for calculating winding numbers, aiming at counting the number of roots of a given polynomial in a convex region on the complex plane. This algorithm can be used for counting and…

Numerical Analysis · Mathematics 2019-08-20 Vitaly Zaderman , Liang Zhao