English
Related papers

Related papers: Half-integrality, LP-branching and FPT Algorithms

200 papers

This work proposes a novel method for semi-supervised learning from partially labeled massive network-structured datasets, i.e., big data over networks. We model the underlying hypothesis, which relates data points to labels, as a graph…

Machine Learning · Computer Science 2017-05-16 Alexander Jung , Alfred O. Hero , Alexandru Mara , Saeed Jahromi

Spectral based heuristics belong to well-known commonly used methods which determines provably minimal graph bisection or outputs "fail" when the optimality cannot be certified. In this paper we focus on Boppana's algorithm which belongs to…

Data Structures and Algorithms · Computer Science 2017-05-01 Martin R. Schuster , Maciej Liskiewicz

Gradient inversion attacks aim to reconstruct local training data from intermediate gradients exposed in the federated learning framework. Despite successful attacks, all previous methods, starting from reconstructing a single data point…

Cryptography and Security · Computer Science 2024-04-16 Yanbo Wang , Jian Liang , Ran He

We propose a scalable approximate algorithm for the NP-hard maximum-weight independent set problem. The core component of our algorithm is a dual coordinate descent applied to a smoothed LP relaxation of the problem. This technique is…

Optimization and Control · Mathematics 2025-03-27 Stefan Haller , Bogdan Savchynskyy

This paper introduces a novel algorithm for Mixed-Integer Nonlinear Programming (MINLP) problems with multilinear interpolations of look-up tables. These problems arise when objective or constraints contain black-box functions only known at…

We develop a unified framework to characterize the power of higher-level algorithms for the constraint satisfaction problem (CSP), such as $k$-consistency, the Sherali-Adams LP hierarchy, and the affine IP hierarchy. As a result,…

Logic in Computer Science · Computer Science 2026-04-09 Libor Barto , Maximilian Hadek , Dmitriy Zhuk

In this paper, we analyze the convergence %semi-convergence properties of projected non-stationary block iterative methods (P-BIM) aiming to find a constrained solution to large linear, usually both noisy and ill-conditioned, systems of…

Numerical Analysis · Mathematics 2022-02-11 Mahdi Mirzapour , Andrzej Cegielski , Tommy Elfving

Our first focus is the Capacitated Partition Vertex Cover (C-PVC) problem in hypergraphs. In C-PVC, we are given a hypergraph with capacities on its vertices and a partition of the hyperedge set into $\omega$ distinct groups. The objective…

Data Structures and Algorithms · Computer Science 2025-12-22 Rajni Dabas , Samir Khuller , Emilie Rivkin

We show that the shadow vertex simplex algorithm can be used to solve linear programs in strongly polynomial time with respect to the number $n$ of variables, the number $m$ of constraints, and $1/\delta$, where $\delta$ is a parameter that…

Data Structures and Algorithms · Computer Science 2014-12-18 Tobias Brunsch , Anna Großwendt , Heiko Röglin

We introduce a novel multivariate approach for solving weighted parameterized problems. In our model, given an instance of size $n$ of a minimization (maximization) problem, and a parameter $W \geq 1$, we seek a solution of weight at most…

Data Structures and Algorithms · Computer Science 2015-02-24 Hadas Shachnai , Meirav Zehavi

In this paper, we propose an interesting semi-sparsity smoothing algorithm based on a novel sparsity-inducing optimization framework. This method is derived from the multiple observations that semi-sparsity prior knowledge is more…

Computer Vision and Pattern Recognition · Computer Science 2023-03-08 Junqing Huang , Haihui Wang , Xuechao Wang , Michael Ruzhansky

Symmetry plays a fundamental role in design of experiments. In particular, symmetries of factorial designs that preserve their statistical properties are exploited to find designs with the best statistical properties. By using a result…

Combinatorics · Mathematics 2021-04-23 Andrew J. Geyer , Dursun A. Bulutoglu , Steven J. Rosenberg

We generalize the reduction mechanism for linear programming problems and semidefinite programming problems from [arXiv:1410.8816] in two ways 1) relaxing the requirement of affineness and 2) extending to fractional optimization problems.…

Computational Complexity · Computer Science 2018-10-23 Gábor Braun , Sebastian Pokutta , Aurko Roy

In this thesis, we design algorithms for several NP-hard problems in both worst and beyond worst case settings. In the first part of the thesis, we apply the traditional worst case methodology and design approximation algorithms for the Hub…

Data Structures and Algorithms · Computer Science 2018-07-26 Haris Angelidakis

Semidefinite programming (SDP) relaxation has emerged as a promising approach for neural network verification, offering tighter bounds than other convex relaxation methods for deep neural networks (DNNs) with ReLU activations. However, we…

Machine Learning · Computer Science 2025-06-13 Ryota Ueda , Takami Sato , Ken Kobayashi , Kazuhide Nakata

In this paper, we introduce a novel semidefinite programming framework for designing custom frugal resolvent splitting algorithms which find a zero in the sum of n monotone operators. This framework features a number of design choices which…

Optimization and Control · Mathematics 2024-09-04 Robert L Bassett , Peter Barkley

The uniqueness of an optimal solution to a combinatorial optimization problem attracts many fields of researchers' attention because it has a wide range of applications, it is related to important classes in computational complexity, and an…

Data Structures and Algorithms · Computer Science 2023-12-19 Takashi Horiyama , Yasuaki Kobayashi , Hirotaka Ono , Kazuhisa Seto , Ryu Suzuki

$\newcommand{\eps}{\varepsilon}$ We observe that a $(1-\eps)$-approximation algorithm to Independent Set, that works for any induced subgraph of the input graph, can be used, via a polynomial time reduction, to provide a…

Computational Geometry · Computer Science 2026-02-23 Sariel Har-Peled

The C-Planarity problem asks for a drawing of a $\textit{clustered graph}$, i.e., a graph whose vertices belong to properly nested clusters, in which each cluster is represented by a simple closed region with no edge-edge crossings, no…

Data Structures and Algorithms · Computer Science 2018-03-16 Giordano Da Lozzo , David Eppstein , Michael T. Goodrich , Siddharth Gupta

The Feedback Vertex Set problem is undoubtedly one of the most well-studied problems in Parameterized Complexity. In this problem, given an undirected graph $G$ and a non-negative integer $k$, the objective is to test whether there exists a…

Data Structures and Algorithms · Computer Science 2020-09-30 Kishen N. Gowda , Aditya Lonkar , Fahad Panolan , Vraj Patel , Saket Saurabh