中文
相关论文

相关论文: Valued Workflow Satisfiability Problem

200 篇论文

Valued constraint satisfaction problems (VCSPs) constitute a large class of computational optimization problems. It was shown recently that, over finite domains, every VCSP is in P or NP-complete, depending on the admitted cost functions.…

逻辑 · 数学 2025-10-21 Manuel Bodirsky , Žaneta Semanišinová , Carsten Lutz

With the dissemination of affordable parallel and distributed hardware, parallel and distributed constraint solving has lately been the focus of some attention. To effectually apply the power of distributed computational systems, there must…

编程语言 · 计算机科学 2010-09-21 Vasco Pedro , Salvador Abreu

We consider the problem of minimizing the weighted makespan on a single machine with restarts. Restarts are similar to preemptions but weaker: a job can be interrupted, but then it has to be run again from the start instead of resuming at…

数据结构与算法 · 计算机科学 2025-10-13 Aflatoun Amouzandeh , Klaus Jansen , Lis Pirotton , Rob van Stee , Corinna Wambsganz

A computational workflow, also known as workflow, consists of tasks that must be executed in a specific order to attain a specific goal. Often, in fields such as biology, chemistry, physics, and data science, among others, these workflows…

分布式、并行与集群计算 · 计算机科学 2024-06-14 George Papadimitriou , Hongwei Jin , Cong Wang , Rajiv Mayani , Krishnan Raghavan , Anirban Mandal , Prasanna Balaprakash , Ewa Deelman

In various areas of computer science, the problem of dealing with a set of constraints arises. If the set of constraints is unsatisfiable, one may ask for a minimal description of the reason for this unsatisifi- ability. Minimal…

人工智能 · 计算机科学 2016-06-13 Jaroslav Bendik , Nikola Benes , Ivana Cerna , Jiri Barnat

While previous work on energy-efficient algorithms focused on assumption that tasks can be assigned to any processor, we initially study the problem of task scheduling on restricted parallel processors. The objective is to minimize the…

数据结构与算法 · 计算机科学 2013-09-17 Xibo Jin , Fa Zhang , Ying Song , Liya Fan , Zhiyong Liu

A Variable Parameter (VP) analysis, that we introduce here, aims to give a precise algorithm time complexity expression in which an exponent appears solely in terms of a variable parameter. A variable parameter is the number of objects with…

数据结构与算法 · 计算机科学 2025-07-08 Nodari Vakhania

In this paper we consider two problems regarding the scheduling of available personnel in order to perform a given quantity of work, which can be arbitrarily decomposed into a sequence of activities. We are interested in schedules which…

数据结构与算法 · 计算机科学 2013-01-22 Mugurel Ionut Andreica , Romulus Andreica , Angela Andreica

Workflows and role-based access control models need to be suitably merged, in order to allow users to perform processes in a correct way, according to the given data access policies and the temporal constraints. Given a mapping between…

密码学与安全 · 计算机科学 2016-01-12 Carlo Combi , Luca Viganó , Matteo Zavatteri

Allocation tasks represent a class of problems where a limited amount of resources must be allocated to a set of entities at each time step. Prominent examples of this task include portfolio optimization or distributing computational…

人工智能 · 计算机科学 2024-09-30 David Winkel , Niklas Strauß , Maximilian Bernhard , Zongyue Li , Thomas Seidl , Matthias Schubert

We study a difficult problem of how to schedule complex workflows with precedence constraints under a limited budget in the cloud environment. We first formulate the scheduling problem as an integer programming problem, which can be…

分布式、并行与集群计算 · 计算机科学 2019-03-05 Hang Zhang , Xiaoying Zheng , Ye Xia , Mingqi Li

We explore the problem of step-wise explaining how to solve constraint satisfaction problems, with a use case on logic grid puzzles. More specifically, we study the problem of explaining the inference steps that one can take during…

计算机科学中的逻辑 · 计算机科学 2021-07-06 Bart Bogaerts , Emilio Gamba , Tias Guns

Given the complexity of modern software systems, it is of great importance that such systems be able to autonomously modify themselves, i.e., self-adapt, with minimal human supervision. It is critical that this adaptation both results in…

软件工程 · 计算机科学 2022-05-13 Todd Wareham , Ronald de Haan

We study set selection problems where the weights are uncertain. Instead of its exact weight, only an uncertainty interval containing its true weight is available for each element. In some cases, some solutions are universally optimal;…

数据结构与算法 · 计算机科学 2024-04-29 Christoph Dürr , Arturo Merino , José A. Soto , José Verschae

The paper considers single-machine scheduling problems with a non-renewable resource. In this setting, we are given a set jobs, each of which is characterized by a processing time, a weight, and the job also has some resource requirement.…

数据结构与算法 · 计算机科学 2019-11-28 Kristóf Bérczi , Tamás Király , Simon Omlor

Optimization of complex functions, such as the output of computer simulators, is a difficult task that has received much attention in the literature. A less studied problem is that of optimization under unknown constraints, i.e., when the…

统计方法学 · 统计学 2010-07-06 Robert B. Gramacy , Herbert K. H. Lee

Generating high-quality schedules for a rotating workforce is a critical task in all settings where a certain staffing level must be guaranteed beyond the capacity of single employees, such as for instance in industrial plants, hospitals,…

其他计算机科学 · 计算机科学 2011-11-09 Nysret Musliu , Johannes Gaertner , Wolfgang Slany

We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by…

计算复杂性 · 计算机科学 2010-08-10 Vladimir Kolmogorov , Stanislav Zivny

In the weighted flow-time problem on a single machine, we are given a set of n jobs, where each job has a processing requirement p_j, release date r_j and weight w_j. The goal is to find a preemptive schedule which minimizes the sum of…

数据结构与算法 · 计算机科学 2018-08-21 Jatin Batra , Naveen Garg , Amit Kumar