English
Related papers

Related papers: A Safety Framework for Flow Decomposition Problems…

200 papers

Motivated by evacuation scenarios arising in extreme events such as flooding or forest fires, we study the problem of smoothly scheduling a set of paths in graphs where connections become impassable at some point in time. A schedule is…

Data Structures and Algorithms · Computer Science 2026-03-26 Till Fluschnik , Amela Pucic , Malte Renken

In this paper, we present a general framework for efficiently computing diverse solutions to combinatorial optimization problems. Given a problem instance, the goal is to find $k$ solutions that maximize a specified diversity measure; the…

Data Structures and Algorithms · Computer Science 2025-04-25 Yuni Iwamasa , Tomoki Matsuda , Shunya Morihira , Hanna Sumita

A network $\mathcal{N}$ is formed by a (multi)digraph $D$ together with a \emph{capacity function} $u : A(D) \to R_+$, and it is denoted by $\mathcal{N} = (D,u)$. A flow on $\mathcal{N}$ is a function $x: A(D) \to R_+$ such that $x(a) \leq…

Computational Complexity · Computer Science 2025-03-11 Claudio Carvalho Neto , Ana Karolinna Maia , Cláudia Linhares Sales , Jonas Costa Ferreira da Silva

We introduce the problem of hidden Hamiltonian cycle recovery, where there is an unknown Hamiltonian cycle in an $n$-vertex complete graph that needs to be inferred from noisy edge measurements. The measurements are independent and…

Discrete Mathematics · Computer Science 2018-04-18 Vivek Bagaria , Jian Ding , David Tse , Yihong Wu , Jiaming Xu

Integer programming (IP) is an important and challenging problem. Approximate methods have shown promising performance on both effectiveness and efficiency for solving the IP problem. However, we observed that a large fraction of variables…

Discrete Mathematics · Computer Science 2022-07-06 Longkang Li , Baoyuan Wu

Despite their strong performance, large language models (LLMs) face challenges in real-world application of lexical simplification (LS), particularly in privacy-sensitive and resource-constrained environments. Moreover, since vulnerable…

Computation and Language · Computer Science 2025-09-30 Akio Hayakawa , Stefan Bott , Horacio Saggion

Multiple patterning lithography has been widely adopted in advanced technology nodes of VLSI manufacturing. As a key step in the design flow, multiple patterning layout decomposition (MPLD) is critical to design closure. Due to the…

Other Computer Science · Computer Science 2019-09-17 Wei Li , Yuzhe Ma , Qi Sun , Yibo Lin , Iris Hui-Ru Jiang , Bei Yu , David Z. Pan

In Part 1 of this paper, we introduced a coding-based proactive network protection scheme, named Coded Path Protection (CPP). In CPP, a backup stream of the primary data is encoded with other data streams, resulting in capacity savings. In…

Networking and Internet Architecture · Computer Science 2012-08-29 Serhat Nazim Avci , Ender Ayanoglu

P vs NP problem is the most important unresolved problem in the field of computational complexity. Its impact has penetrated into all aspects of algorithm design, especially in the field of cryptography. The security of cryptographic…

Computational Complexity · Computer Science 2026-05-01 Gao Ming

In this paper we deal with a network of agents seeking to solve in a distributed way Mixed-Integer Linear Programs (MILPs) with a coupling constraint (modeling a limited shared resource) and local constraints. MILPs are NP-hard problems and…

Systems and Control · Computer Science 2020-10-28 Andrea Camisa , Ivano Notarnicola , Giuseppe Notarstefano

This work addresses inverse linear optimization where the goal is to infer the unknown cost vector of a linear program. Specifically, we consider the data-driven setting in which the available data are noisy observations of optimal…

Optimization and Control · Mathematics 2021-12-07 Rishabh Gupta , Qi Zhang

The goal of this study is to develop an efficient numerical algorithm applicable to a wide range of compressible multicomponent flows. Although many highly efficient algorithms have been proposed for simulating each type of the flows, the…

Computational Physics · Physics 2018-10-04 Roman Frolov

Large language models (LLMs) have recently seen widespread adoption in both academia and industry. As these models grow, they become valuable intellectual property (IP), reflecting substantial investments by their owners. The high cost of…

Cryptography and Security · Computer Science 2025-11-04 Yehonathan Refael , Adam Hakim , Lev Greenberg , Satya Lokam , Tal Aviv , Ben Fishman , Shachar Seidman , Racchit Jain , Jay Tenenbaum

The terminal backup problems (Anshelevich and Karagiozova (2011)) form a class of network design problems: Given an undirected graph with a requirement on terminals, the goal is to find a minimum cost subgraph satisfying the connectivity…

Data Structures and Algorithms · Computer Science 2020-08-25 Hiroshi Hirai , Motoki Ikeda

Arising from structural graph theory, treewidth has become a focus of study in fixed-parameter tractable algorithms in various communities including combinatorics, integer-linear programming, and numerical analysis. Many NP-hard problems…

Data Structures and Algorithms · Computer Science 2023-09-14 Sally Dong , Yin Tat Lee , Guanghao Ye

In the area of parameterized complexity, to cope with NP-Hard problems, we introduce a parameter k besides the input size n, and we aim to design algorithms (called FPT algorithms) that run in O(f(k)n^d) time for some function f(k) and…

Data Structures and Algorithms · Computer Science 2013-07-19 Yoichi Iwata , Keigo Oka , Yuichi Yoshida

Embedding deep neural networks (NNs) into mixed-integer programs (MIPs) is attractive for decision making with learned constraints, yet state-of-the-art monolithic linearisations blow up in size and quickly become intractable. In this…

Optimization and Control · Mathematics 2025-11-13 Shuli Zeng , Sijia Zhang , Feng Wu , Shaojie Tang , Xiang-Yang Li

The problem of balancing covariates arises in observational studies where one is given a group of control samples and another group, disjoint from the control group, of treatment samples. Each sample, in either group, has several observed…

Data Structures and Algorithms · Computer Science 2020-07-15 Dorit S. Hochbaum , Xu Rao

The computational cost of parametric studies currently represents the major limitation to the application of simulation-based engineering techniques in a daily industrial environment. This work presents the first nonintrusive implementation…

Numerical Analysis · Mathematics 2020-02-05 Vasileios Tsiolakis , Matteo Giacomini , Ruben Sevilla , Carsten Othmer , Antonio Huerta

Real world networks are often subject to severe uncertainties which need to be addressed by any reliable prescriptive model. In the context of the maximum flow problem subject to arc failure, robust models have gained particular attention.…

Discrete Mathematics · Computer Science 2017-05-24 Fabian Mies , Britta Peis , Andreas Wierz
‹ Prev 1 3 4 5 6 7 10 Next ›