The Complexity of Computing the Random Priority Allocation Matrix

2015 ◽  
Vol 40 (4) ◽  
pp. 1005-1014 ◽  
Author(s):  
Daniela Saban ◽  
Jay Sethuraman
Vaccine ◽  
2021 ◽  
Author(s):  
J Fielding ◽  
S.G. Sullivan ◽  
F. Beard ◽  
K. Macartney ◽  
J. Williams ◽  
...  

2020 ◽  
Vol 34 (02) ◽  
pp. 2260-2267
Author(s):  
Haibin Wang ◽  
Sujoy Sikdar ◽  
Xiaoxi Guo ◽  
Lirong Xia ◽  
Yongzhi Cao ◽  
...  

We propose multi-type probabilistic serial (MPS) and multi-type random priority (MRP) as extensions of the well-known PS and RP mechanisms to the multi-type resource allocation problems (MTRAs) with partial preferences. In our setting, there are multiple types of divisible items, and a group of agents who have partial order preferences over bundles consisting of one item of each type. We show that for the unrestricted domain of partial order preferences, no mechanism satisfies both sd-efficiency and sd-envy-freeness. Notwithstanding this impossibility result, our main message is positive: When agents' preferences are represented by acyclic CP-nets, MPS satisfies sd-efficiency, sd-envy-freeness, ordinal fairness, and upper invariance, while MRP satisfies ex-post-efficiency, sd-strategyproofness, and upper invariance, recovering the properties of PS and RP. Besides, we propose a hybrid mechanism, multi-type general dictatorship (MGD), combining the ideas of MPS and MRP, which satisfies sd-efficiency, equal treatment of equals and decomposability under the unrestricted domain of partial order preferences.


2015 ◽  
Vol 30 (5) ◽  
pp. 2507-2515 ◽  
Author(s):  
J. A. Laghari ◽  
Hazlie Mokhlis ◽  
Mazaher Karimi ◽  
Abdul Halim Abu Bakar ◽  
Hasmaini Mohamad

Author(s):  
Yingxu Wang ◽  
Cyprian F. Ngolah ◽  
Hadi Ahmadi ◽  
Philip Sheu ◽  
Shi Ying

A Lift Dispatching System (LDS) is a typical real-time system that is highly complicated in design and implementation. This article presents the formal design, specification, and modeling of the LDS system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the LDS system is introduced as the initial requirements for the system. The architectural model of the LDS system is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of the LDS system are specified and refined by a set of Unified Process Models (UPMs) for the lift dispatching and serving processes. The dynamic behaviors of the LDS system are specified and refined by process priority allocation and process deployment models. Based on the formal design models of the LDS system, code can be automatically generated using the RTPA Code Generator (RTPA-CG), or be seamlessly transferred into programs by programmers. The formal models of LDS may not only serve as a formal design paradigm of real-time software systems, but also a test bench of the expressive power and modeling capability of exiting formal methods in software engineering.


Sign in / Sign up

Export Citation Format

Share Document