中文
相关论文

相关论文: Optimization methods for frame conditioning and ap…

200 篇论文

We consider the following two algorithmic problems: given a graph $G$ and a subgraph $H\subseteq G$, decide whether $H$ is an isometric or a geodesically convex subgraph of $G$. It is relatively easy to see that the problems can be solved…

数据结构与算法 · 计算机科学 2026-04-14 Sergio Cabello

Given a static vertex-selection problem (e.g. independent set, dominating set) on a graph, we can define a corresponding temporally satisfying reconfiguration problem on a temporal graph which asks for a sequence of solutions to the…

数据结构与算法 · 计算机科学 2025-09-22 Tom Davot , Jessica Enright , Laura Larios-Jones

Functions of one or more variables are usually approximated with a basis: a complete, linearly-independent system of functions that spans a suitable function space. The topic of this paper is the numerical approximation of functions using…

数值分析 · 数学 2018-11-07 Ben Adcock , Daan Huybrechs

We consider the problem of optimizing time averages in systems with independent and identically distributed behavior over renewal frames. This includes scheduling and task processing to maximize utility in stochastic networks with variable…

最优化与控制 · 数学 2010-11-30 Michael J. Neely

We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame-property. Using these games,…

计算机科学中的逻辑 · 计算机科学 2018-08-16 Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Petar Iliev

In this work, we state a general conjecture on the solvability of optimization problems via algorithms with linear convergence guarantees. We make a first step towards examining its correctness by fully characterizing the problems that are…

最优化与控制 · 数学 2024-06-27 Foivos Alimisis

Most of real-world graphs are dynamic, i.e., they change over time by a sequence of update operations. While the regression problem has been studied for static graphs and temporal graphs, it is not investigated for general dynamic graphs.…

机器学习 · 计算机科学 2022-10-10 Mostafa Haghir Chehreghani

Many discrete optimization problems amount to selecting a feasible set of edges of least weight. We consider in this paper the context of spatial graphs where the positions of the vertices are uncertain and belong to known uncertainty sets.…

数据结构与算法 · 计算机科学 2022-09-27 Marin Bougeret , Jérémy Omer , Michael Poss

We study the computational complexity of optimally solving multi-robot path planning problems on planar graphs. For four common time- and distance-based objectives, we show that the associated path optimization problems for multiple robots…

机器人学 · 计算机科学 2015-12-08 Jingjin Yu

We propose two fixed-parameter tractable algorithms for the weighted Max-Cut problem on embedded 1-planar graphs parameterized by the crossing number $k$ of the given embedding. A graph is called 1-planar if it can be drawn in the plane…

数据结构与算法 · 计算机科学 2020-12-01 Christine Dahn , Nils M. Kriege , Petra Mutzel , Julian Schilling

We consider the problem of finding a subgraph of a given graph which maximizes a given function evaluated at its degree sequence. While the problem is intractable already for convex functions, we show that it can be solved in polynomial…

组合数学 · 数学 2020-11-10 Shmuel Onn

In this paper, we consider multi-objective optimization problems with a sparsity constraint on the vector of variables. For this class of problems, inspired by the homonymous necessary optimality condition for sparse single-objective…

最优化与控制 · 数学 2024-03-07 Matteo Lapucci , Pierluigi Mansueto

Sparse structures are frequently sought when pursuing tractability in optimization problems. They are exploited from both theoretical and computational perspectives to handle complex problems that become manageable when sparsity is present.…

离散数学 · 计算机科学 2019-03-21 Yuri Faenza , Gonzalo Muñoz , Sebastian Pokutta

In preference modelling, it is essential to determine the number of questions and their arrangements to ask from the decision maker. We focus on incomplete pairwise comparison matrices, and provide the optimal filling in patterns, which…

最优化与控制 · 数学 2025-09-04 Zsombor Szádoczki , Sándor Bozóki

In this paper, we propose a graph classification approach for automatically determining whether to use a monolithic or a decomposition-based solution method. In this approach, an optimization problem is represented as a graph that captures…

最优化与控制 · 数学 2023-10-12 Ilias Mitrai , Prodromos Daoutidis

In this paper, we propose a general graph optimization based framework for localization, which can accommodate different types of measurements with varying measurement time intervals. Special emphasis will be on range-based localization.…

机器人学 · 计算机科学 2020-01-27 Xu Fang , Chen Wang , Thien-Minh Nguyen , Lihua Xie

A minimally rigid graph, also called Laman graph, models a planar framework which is rigid for a general choice of distances between its vertices. In other words, there are finitely many ways, up to isometries, to realize such a graph in…

计算几何 · 计算机科学 2022-01-04 Christoph Koutschan

In this paper, we consider the optimization problem of minimizing a continuously differentiable function subject to both convex constraints and sparsity constraints. By exploiting a mixed-integer reformulation from the literature, we define…

最优化与控制 · 数学 2021-04-28 M. Lapucci , T. Levato , F. Rinaldi , M. Sciandrone

Vertex similarity is a major problem in network science with a wide range of applications. In this work we provide novel perspectives on finding (dis)similar vertices within a network and across two networks with the same number of vertices…

社会与信息网络 · 计算机科学 2013-05-28 Charalampos E. Tsourakakis

We address the issue of recovering the structure of large sparse directed acyclic graphs from noisy observations of the system. We propose a novel procedure based on a specific formulation of the l1-norm regularized maximum likelihood,…

统计理论 · 数学 2017-10-09 Magali Champion , Victor Picheny , Matthieu Vignes