Displaying 41 – 60 of 611

Showing per page

A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria

Pedro A. Góngora, David A. Rosenblueth (2015)

International Journal of Applied Mathematics and Computer Science

Consider games where players wish to minimize the cost to reach some state. A subgame-perfect Nash equilibrium can be regarded as a collection of optimal paths on such games. Similarly, the well-known state-labeling algorithm used in model checking can be viewed as computing optimal paths on a Kripke structure, where each path has a minimum number of transitions. We exploit these similarities in a common generalization of extensive games and Kripke structures that we name “graph games”. By extending...

Alexandrov’s theorem, weighted Delaunay triangulations, and mixed volumes

Alexander I. Bobenko, Ivan Izmestiev (2008)

Annales de l’institut Fourier

We present a constructive proof of Alexandrov’s theorem on the existence of a convex polytope with a given metric on the boundary. The polytope is obtained by deforming certain generalized convex polytopes with the given boundary. We study the space of generalized convex polytopes and discover a connection with weighted Delaunay triangulations of polyhedral surfaces. The existence of the deformation follows from the non-degeneracy of the Hessian of the total scalar curvature of generalized convex...

An inequality concerning edges of minor weight in convex 3-polytopes

Igor Fabrici, Stanislav Jendrol' (1996)

Discussiones Mathematicae Graph Theory

Let e i j be the number of edges in a convex 3-polytope joining the vertices of degree i with the vertices of degree j. We prove that for every convex 3-polytope there is 20 e 3 , 3 + 25 e 3 , 4 + 16 e 3 , 5 + 10 e 3 , 6 + 6 [ 2 / 3 ] e 3 , 7 + 5 e 3 , 8 + 2 [ 1 / 2 ] e 3 , 9 + 2 e 3 , 10 + 16 [ 2 / 3 ] e 4 , 4 + 11 e 4 , 5 + 5 e 4 , 6 + 1 [ 2 / 3 ] e 4 , 7 + 5 [ 1 / 3 ] e 5 , 5 + 2 e 5 , 6 120 ; moreover, each coefficient is the best possible. This result brings a final answer to the conjecture raised by B. Grünbaum in 1973.

Andreev’s Theorem on hyperbolic polyhedra

Roland K.W. Roeder, John H. Hubbard, William D. Dunbar (2007)

Annales de l’institut Fourier

In 1970, E.M.Andreev published a classification of all three-dimensional compact hyperbolic polyhedra (other than tetrahedra) having non-obtuse dihedral angles. Given a combinatorial description of a polyhedron,  C , Andreev’s Theorem provides five classes of linear inequalities, depending on  C , for the dihedral angles, which are necessary and sufficient conditions for the existence of a hyperbolic polyhedron realizing C with the assigned dihedral angles. Andreev’s Theorem also shows that the resulting...

Currently displaying 41 – 60 of 611