Sciweavers

4266 search results - page 235 / 854
» The container loading problem
Sort
View
DM
2010
135views more  DM 2010»
15 years 4 months ago
On convexification of polygons by pops
Given a polygon P in the plane, a pop operation is the reflection of a vertex with respect to the line through its adjacent vertices. We define a family of alternating polygons, a...
Adrian Dumitrescu, Evan Hilscher
ENTCS
2008
103views more  ENTCS 2008»
15 years 4 months ago
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
M. Praveen, Kamal Lodaya
DAM
2006
81views more  DAM 2006»
15 years 4 months ago
Equivalence-free exhaustive generation of matroid representations
Abstract. In this paper we present an algorithm for the problem of exhaustive equivalence-free generation of 3-connected matroids which are represented by a matrix over some finite...
Petr Hlinený
JCSS
2008
73views more  JCSS 2008»
15 years 4 months ago
Structure identification of Boolean relations and plain bases for co-clones
We give a quadratic algorithm for the following structure identification problem: given a Boolean relation R and a finite set S of Boolean relations, can the relation R be express...
Nadia Creignou, Phokion G. Kolaitis, Bruno Zanutti...
JCT
2008
138views more  JCT 2008»
15 years 4 months ago
There exists no Steiner system S(4, 5, 17)
If a Steiner system S(4, 5, 17) exists, it would contain derived S(3, 4, 16) designs. By relying on a recent classification of the S(3, 4, 16), an exhaustive computer search for S...
Patric R. J. Östergård, Olli Pottonen