中文
相关论文

相关论文: A Computer-Assisted Proof of the Optimal Density B…

200 篇论文

The pinwheel problem is a real-time scheduling problem that asks, given $n$ tasks with periods $a_i \in \mathbb{N}$, whether it is possible to infinitely schedule the tasks, one per time unit, such that every task $i$ is scheduled in every…

数据结构与算法 · 计算机科学 2026-03-18 Ahan Mishra

Pinwheel Scheduling aims to find a perpetual schedule for unit-length tasks on a single machine subject to given maximal time spans (a.k.a. frequencies) between any two consecutive executions of the same task. The density of a Pinwheel…

数据结构与算法 · 计算机科学 2021-11-03 Leszek Gąsieniec , Benjamin Smith , Sebastian Wild

The density bound for schedulability for general pinwheel instances is $\frac{5}{6}$, but density bounds better than $\frac{5}{6}$ can be shown for cases in which the minimum element $m$ of the instance is large. Several recent works have…

数据结构与算法 · 计算机科学 2025-08-27 Ahan Mishra , Parker Rho , Robert Kleinberg

For a sequence of tasks, each with a positive integer period, the pinwheel scheduling problem involves finding a valid schedule in the sense that the schedule performs one task per day and each task is performed at least once every…

离散数学 · 计算机科学 2026-03-03 Hiroshi Fujiwara , Kota Miyagi , Katsuhisa Ouchi

Finding schedules for pairwise meetings between the members of a complex social group without creating interpersonal conflict is challenging, especially when different relationships have different needs. We formally define and study the…

数据结构与算法 · 计算机科学 2024-03-28 Leszek Gąsieniec , Benjamin Smith , Sebastian Wild

A classical multi-agent fence patrolling problem asks: What is the maximum length $L$ of a line that $k$ agents with maximum speeds $v_1,\ldots,v_k$ can patrol if each point on the line needs to be visited at least once every unit of time.…

数据结构与算法 · 计算机科学 2019-06-14 Bernhard Haeupler , Fabian Kuhn , Anders Martinsson , Kalina Petrova , Pascal Pfister

The Windows Scheduling Problem, also known as the Pinwheel Problem, is to schedule periodic jobs subject to their processing frequency demands. Instances are given as a set of jobs that have to be processed infinitely often such that the…

计算复杂性 · 计算机科学 2014-10-28 Tobias Jacobs , Salvatore Longo

Scheduling problems are fundamental in combinatorial optimization. Much work has been done on approximation algorithms for NP-hard cases, but relatively little is known about exact solutions when some part of the input is a fixed parameter.…

数据结构与算法 · 计算机科学 2018-01-09 Dušan Knop , Martin Koutecký

We study the problem of distributed coverage control in a network of mobile agents arranged on a line. The goal is to design distributed dynamics for the agents to achieve optimal coverage positions with respect to a scalar density field…

最优化与控制 · 数学 2014-11-25 P. Davison , N. E. Leonard , A. Olshevsky , M. Schwemmer

In Polyamorous Scheduling, we are given an edge-weighted graph and must find a periodic schedule of matchings in this graph which minimizes the maximal weighted waiting time between consecutive occurrences of the same edge. This NP-hard…

数据结构与算法 · 计算机科学 2024-11-12 Yuriy Biktairov , Leszek Gąsieniec , Wanchote Po Jiamjitrak , Namrata , Benjamin Smith , Sebastian Wild

We push the limit in planning collision-free motions for routing uniform labeled discs in two dimensions. First, from a theoretical perspective, we show that the constant-factor time-optimal routing of labeled discs can be achieved using a…

机器人学 · 计算机科学 2018-07-11 Rupesh Chinta , Shuai D. Han , Jingjin Yu

Time-dependent scheduling with linear deterioration involves determining when to execute jobs whose processing times degrade as their beginning is delayed. Each job i is associated with a release time r_i and a processing time function…

数据结构与算法 · 计算机科学 2023-07-04 Angelos Gkikas , Dimitrios Letsios , Tomasz Radzik , Kathleen Steinhöfel

This paper addresses the sweep coverage problem of multi-agent systems in uncertain regions. A new formulation of distributed sweep coverage is proposed to cooperatively complete the workload in the uncertain region. Specifically, each…

最优化与控制 · 数学 2017-11-30 Chao Zhai

We develop a hybrid system model to describe the behavior of multiple agents cooperatively solving an optimal coverage problem under energy depletion and repletion constraints. The model captures the controlled switching of agents between…

信号处理 · 电气工程与系统科学 2020-03-04 Xiangyu Meng , Arian Houshmand , Christos G. Cassandras

The fundamental assignment problem is in search of welfare maximization mechanisms to allocate items to agents when the private preferences over indivisible items are provided by self-interested agents. The mainstream mechanism…

计算机科学与博弈论 · 计算机科学 2019-06-04 Yansong Gao , Jie Zhang

In this article we study optimization problems ruled by $\alpha$-fractional diffusion operators with volume constraints. By means of penalization techniques we prove existence of solutions. We also show that every solution is locally of…

偏微分方程分析 · 数学 2015-10-19 Eduardo V. Teixeira , Rafayel Teymurazyan

In this paper, we study the active time scheduling problem. We are given n jobs with integral processing times each of which has an integral release time and deadline. The goal is to schedule all the jobs on a machine that can work on b…

计算复杂性 · 计算机科学 2021-12-07 Sagnik Saha , Manish Purohit

We study the problem of sampling an approximately uniformly random satisfying assignment for atomic constraint satisfaction problems i.e. where each constraint is violated by only one assignment to its variables. Let $p$ denote the maximum…

数据结构与算法 · 计算机科学 2021-02-17 Vishesh Jain , Huy Tuan Pham , Thuy-Duong Vuong

In this paper we improve the approximation ratio for the problem of scheduling packets on line networks with bounded buffers, where the aim is that of maximizing the throughput. Each node in the network has a local buffer of bounded size…

数据结构与算法 · 计算机科学 2020-09-30 Guy Even , Moti Medina , Adi Rosén

Pinwheel Scheduling is a fundamental scheduling problem, in which each task $i$ is associated with a positive integer $d_i$, and the objective is to schedule one task per time slot, ensuring each task perpetually appears at least once in…

数据结构与算法 · 计算机科学 2025-10-21 Sotiris Kanellopoulos , Christos Pergaminelis , Maria Kokkou , Euripides Markou , Aris Pagourtzis
‹ 上一页 1 2 3 10 下一页 ›