Parameterized Resiliency Problems via Integer Linear Programming
- 816 Downloads
We introduce a framework in parameterized algorithms whose purpose is to solve resiliency versions of decision problems. In resiliency problems, the goal is to decide whether an instance remains positive after any (appropriately defined) perturbation has been applied to it. To tackle these kinds of problems, some of which might be of practical interest, we introduce a notion of resiliency for Integer Linear Programs (ILP) and show how to use a result of Eisenbrand and Shmonin (Math. Oper. Res., 2008) on Parametric Linear Programming to prove that ILP Resiliency is fixed-parameter tractable (FPT) under a certain parameterization.
To demonstrate the utility of our result, we consider natural resiliency version of several concrete problems, and prove that they are FPT under natural parameterizations. Our first result, for a problem which is of interest in access control, subsumes several FPT results and solves an open question from Crampton et al. (AAIM 2016). The second concerns the Closest String problem, for which we extend an FPT result of Gramm et al. (Algorithmica, 2003). We also consider problems in the fields of scheduling and social choice. We believe that many other problems can be tackled by our framework.
KeywordsInteger Linear Program Close String Input String Prefer Candidate Authorization Policy
- 1.Asahiro, Y., Jansson, J., Miyano, E., Ono, H., Zenmyo, K.: Approximation algorithms for the graph orientation minimizing the maximum weighted outdegree. In: Kao, M.-Y., Li, X.-Y. (eds.) AAIM 2007. LNCS, vol. 4508, pp. 167–177. Springer, Heidelberg (2007). doi: 10.1007/978-3-540-72870-2_16 CrossRefGoogle Scholar
- 4.Crampton, J., Gutin, G., Watrigant, R.: An approach to parameterized resiliency problems using integer Linear Programming. CoRR, abs/1605.08738 (2016)Google Scholar
- 6.Crampton, J., Gutin, G., Watrigant, R.: Resiliency policies in access control revisited. In: Proceedings SACMAT 2016, pp. 101–111. ACM (2016)Google Scholar
- 20.Lokshtanov, D.: Parameterized integer quadratic programming: variables and coefficients. CoRR, abs/1511.00310 (2015)Google Scholar