Source author record

Frits C. R. Spieksma

Frits C. R. Spieksma appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Computer Science and Game Theory Data Structures and Algorithms math.OC

Catalog footprint

What is connected

4works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Rejection-proof Kidney Exchange Mechanisms

Kidney exchange programs (KEPs) form an innovative approach to increasing the donor pool through allowing the participation of renal patients together with a willing but incompatible donor. The aim of a KEP is to identify groups of incompatible donor-recipient pairs that could exchange donors leading to feasible transplants. As the size of a kidney exchange grows, a larger proportion of participants can be transplanted. Collaboration between multiple transplant centers, by merging their separate kidney exchange pools is thus desirable. As each transplant center has its own interest to provide the best care to its own patients, collaboration requires balancing individual and common objectives. We consider a class of algorithmic mechanisms for multi-center kidney exchange programs we call rejection-proof mechanisms. Such mechanisms propose solutions with the property that no player wishes to unilaterally deviate. We provide a mechanism optimizing social value under this restriction, though the underlying optimization problem is Sigma-2-p-Hard. We also describe a computationally easier but sub-optimal alternative. Experiments show that rejection-proofness can be achieved at limited cost compared to optimal solutions for regular kidney exchange. Computationally, we provide algorithms to compute optimal rejection-proof solutions for small and medium instance sizes.

preprint2020arXiv

Approximation algorithms for car-sharing problems

We consider several variants of a car-sharing problem. Given are a number of requests each consisting of a pick-up location and a drop-off location, a number of cars, and nonnegative, symmetric travel times that satisfy the triangle inequality. Each request needs to be served by a car, which means that a car must first visit the pick-up location of the request, and then visit the drop-off location of the request. Each car can serve two requests. One problem is to serve all requests with the minimum total travel time (called $\CS_{sum}$), and the other problem is to serve all requests with the minimum total latency (called $\CS_{lat}$). We also study the special case where the pick-up and drop-off location of a request coincide. We propose two basic algorithms, called the match and assign algorithm and the transportation algorithm. We show that the best of the resulting two solutions is a $ 2$-approximation for $\CS_{sum}$ (and a $7/5$-approximation for its special case), and a $5/3 $-approximation for $\CS_{lat}$ (and a $3/2$-approximation for its special case); these ratios are better than the ratios of the individual algorithms. Finally, we indicate how our algorithms can be applied to more general settings where each car can serve more than two requests, or where cars have distinct speeds.

preprint2020arXiv

The Stackelberg Kidney Exchange Problem is $Σ_2^p$-complete

We introduce the Stackelberg kidney exchange problem. In this problem, an agent (e.g. a hospital or a national organization) has control over a number of incompatible patient-donor pairs whose patients are in need of a transplant. The agent has the opportunity to join a collaborative effort which aims to increase the maximum total number of transplants that can be realized. However, the individual agent is only interested in maximizing the number of transplants within the set of patients under its control. Then, the question becomes which patients to submit to the collaborative effort. We show that, whenever we allow exchanges involving at most a fixed number $K \ge 3$ pairs, answering this question is $Σ_2^p$-complete. However, when we restrict ourselves to pairwise exchanges only, the problem becomes solvable in polynomial time

preprint2011arXiv

The interval ordering problem

For a given set of intervals on the real line, we consider the problem of ordering the intervals with the goal of minimizing an objective function that depends on the exposed interval pieces (that is, the pieces that are not covered by earlier intervals in the ordering). This problem is motivated by an application in molecular biology that concerns the determination of the structure of the backbone of a protein. We present polynomial-time algorithms for several natural special cases of the problem that cover the situation where the interval boundaries are agreeably ordered and the situation where the interval set is laminar. Also the bottleneck variant of the problem is shown to be solvable in polynomial time. Finally we prove that the general problem is NP-hard, and that the existence of a constant-factor-approximation algorithm is unlikely.