arXiv Science⌕ Search

arXiv subjects

Petr Novotný

Publications and source records attributed to Petr Novotný.

40 records · Page 3Linked to original sources
arXiv2012

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. More precisely, a consumption game is a finite-state graph where each transition is labeled by a vector of resource updates, where every update is a non-positive number or omega. The omega updates model the reloading of a given resource. Each vertex belongs either to player \Box or player \Diamond, where the aim of player \Box is to play so that the resources are never exhausted. We consider several natural algorithmic problems about consumption games, and show that although these problems are computationally hard in general, they are solvable in polynomial time for every fixed number of resource types (i.e., the dimension of the update vectors).

cs.GT↗
arXiv2012

Minimizing Expected Termination Time in One-Counter Markov Decision Processes

We consider the problem of computing the value and an optimal strategy for minimizing the expected termination time in one-counter Markov decision processes. Since the value may be irrational and an optimal strategy may be rather complicated, we concentrate on the problems of approximating the value up to a given error epsilon > 0 and computing a finite representation of an epsilon-optimal strategy. We show that these problems are solvable in exponential time for a given configuration, and we also show that they are computationally hard in the sense that a polynomial-time approximation algorithm cannot exist unless P=NP.

cs.FL↗
arXiv2008

On (alpha,beta,gamma)-derivations of Lie algebras and corresponding invariant functions

We consider finite-dimensional complex Lie algebras. We generalize the concept of Lie derivations via certain complex parameters and obtain various Lie and Jordan operator algebras as well as two one-parametric sets of linear operators. Using these parametric sets, we introduce complex functions with fundamental property - invariance under Lie isomorphisms. One of these basis-independent functions represents a complete set of invariant(s) for three-dimensional Lie algebras. We present also its application on physically motivated examples in dimension eight.

math-ph↗