
20 Feb
2019
20 Feb
'19
7:14 a.m.
On 19/02/19 07:21, RAKESH ARYA wrote:
I require generation of all possible (unique) polyhedrons for a given number of vertices for a project. Can I achieve this using PPL?
Thank you for your consideration.
-- Rakesh Arya (Undergraduate Student, Indian Institute of Science)
Hi Rakesh,
can you please clarify?
For most pairs of natural numbers n and k, there is an infinite number of convex polyhedra with n vertices in space dimension k. Kind regards,
Roberto Bagnara
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com