中文
相关论文

相关论文: On the complexity of a maintenance problem for hie…

200 篇论文

We consider a single machine scheduling problem that seeks to minimize a generalized cost function: given a subset of jobs we must order them so as to minimize $\sum f_j(C_j)$, where $C_j$ is the completion time of job $j$ and $f_j$ is a…

数据结构与算法 · 计算机科学 2016-12-14 Julián Mestre , José Verschae

This paper studies a survivable traffic grooming problem in large-scale optical transport networks under double-link failures (STG2). Each communication demand must be assigned a route for every possible scenario involving zero, one, or two…

组合数学 · 数学 2025-06-17 Silong Zhang , Jixuan Feng , Junyan Liu , Yu Liu , Zhou Xu , Fan Zhang

This paper studies the complexity of query evaluation for databases whose relations are partially ordered; the problem commonly arises when combining or transforming ordered data from multiple sources. We focus on queries in a useful…

数据库 · 计算机科学 2019-05-30 Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart

No mixed research of hybrid and fractional-order systems into a cohesive and multifaceted whole can be found in the literature. This paper focuses on such a synergistic approach of the theories of both branches, which is believed to give…

系统与控制 · 计算机科学 2014-07-25 S. Hassan HosseinNia , Ines Tejado , Blas M. Vinagre

We prove Holder continuity for solutions to the n-dimensional H-System assuming logarithmic higher integrability of the solution.

偏微分方程分析 · 数学 2013-07-22 Armin Schikorra

Complexity theory provides a wealth of complexity classes for analyzing the complexity of decision and counting problems. Despite the practical relevance of enumeration problems, the tools provided by complexity theory for this important…

计算复杂性 · 计算机科学 2017-10-25 Nadia Creignou , Markus Kröll , Reinhard Pichler , Sebastian Skritek , Heribert Vollmer

Hybrid logic with binders is an expressive specification language. Its satisfiability problem is undecidable in general. If frames are restricted to N or general linear orders, then satisfiability is known to be decidable, but of…

计算复杂性 · 计算机科学 2012-06-13 Stefan Göller , Arne Meier , Martin Mundhenk , Thomas Schneider , Michael Thomas , Felix Weiss

We consider the problem of approximating an affinely structured matrix, for example a Hankel matrix, by a low-rank matrix with the same structure. This problem occurs in system identification, signal processing and computer algebra, among…

数值分析 · 数学 2014-06-25 Mariya Ishteva , Konstantin Usevich , Ivan Markovsky

Given a linear system, we consider the problem of finding a small set of variables to affect with an input so that the resulting system is controllable. We show that this problem is NP-hard; indeed, we show that even approximating the…

最优化与控制 · 数学 2014-05-06 Alex Olshevsky

Machine scheduling problems are a long-time key domain of algorithms and complexity research. A novel approach to machine scheduling problems are fixed-parameter algorithms. To stimulate this thriving research direction, we propose 15 open…

最优化与控制 · 数学 2018-10-02 Matthias Mnich , René van Bevern

Time delays are a common perturbation in systems with many states, such as networked, distributed, or decentralized systems. Current methods analyzing the stability of large systems with time delay typically produce very conservative…

系统与控制 · 计算机科学 2017-10-31 George Armanious , Rick Lind

Scheduling problems are generally NP-hard combinatorial problems, and a lot of research has been done to solve these problems heuristically. However, most of the previous approaches are problem-specific and research into the development of…

神经与进化计算 · 计算机科学 2010-07-05 Jingpeng Li , Uwe Aickelin

Solving integer programs of the form $\min \{\mathbf{x} \mid A\mathbf{x} = \mathbf{b}, \mathbf{l} \leq \mathbf{x} \leq \mathbf{u}, \mathbf{x} \in \mathbb{Z}^n \}$ is, in general, $\mathsf{NP}$-hard. Hence, great effort has been put into…

数据结构与算法 · 计算机科学 2025-10-28 Marcin Briański , Alexandra Lassota , Kristýna Pekárková , Michał Pilipczuk , Janina Reuter

Many prediction tasks of real-world applications need to model multi-order feature interactions in user's event sequence for better detection performance. However, existing popular solutions usually suffer two key issues: 1) only focusing…

机器学习 · 计算机科学 2022-01-03 Dongbo Xi , Fuzhen Zhuang , Bowen Song , Yongchun Zhu , Shuai Chen , Dan Hong , Tao Chen , Xi Gu , Qing He

We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…

计算复杂性 · 计算机科学 2018-10-01 Noson S. Yanofsky

The preceding paper constructed tangle machines as diagrammatic models, and illustrated their utility with a number of examples. The information content of a tangle machine is contained in characteristic quantities associated to equivalence…

信息论 · 计算机科学 2014-04-11 Avishy Y. Carmi , Daniel Moskovich

This survey aims at demonstrating that the structure of precedence constraints plays a tremendous role on the complexity of scheduling problems. Indeed many problems can be NP-hard when considering general precedence constraints, while they…

计算复杂性 · 计算机科学 2017-01-25 Damien Prot , Odile Bellenguez-Morineau

Software is among the most complex endeavors of the human mind; large scale systems can have tens of millions of lines of source code. However, seldom is complexity measured above the lowest level of code, and sometimes source code files or…

软件工程 · 计算机科学 2011-05-13 Alejandro Fernández

The NP-hard MATERIAL CONSUMPTION SCHEDULING Problem and closely related problems have been thoroughly studied since the 1980's. Roughly speaking, the problem deals with minimizing the makespan when scheduling jobs that consume non-renewable…

计算机科学与博弈论 · 计算机科学 2021-03-15 Matthias Bentert , Robert Bredereck , Péter Györgyi , Andrzej Kaczmarczyk , Rolf Niedermeier

Maintenance scheduling is a complex decision-making problem in the production domain, where a number of maintenance tasks and resources has to be assigned and scheduled to production entities in order to prevent unplanned production…

机器学习 · 计算机科学 2021-08-30 Raphael Lamprecht , Ferdinand Wurst , Marco F. Huber
‹ 上一页 1 8 9 10 下一页 ›