Let H,K be subgroups of G. We investigate the intersection properties of left and right cosets of these subgroups. If H and K are subgroups of G, then G can be partitioned as the disjoint union of all left cosets of H, as well as the disjoint union of all right cosets of K. But how do these two partitions of G intersect each other? Definition 1. Let G be a group, and H a subgroup of G. A left t...

Weighted finite-state machines with n tapes describe n-ary rational string relations. The join n-ary relation is very important regarding to applications. It is shown how to compute it via a more simple operation, the auto-intersection. Join and auto-intersection generally do not preserve rationality. We define a class of triples 〈A, i, j〉 such that the auto-intersection of the machine A w.r.t....

Assume that G = G(V, E) is an undirected graph with vertex set V and edge set E. A clique of G is a complete subgraph. An edge clique-covering is a family of cliques of G which cover all edges of G. The edge clique-cover number, Be( G), is the minimum number of cliques in an edge clique-cover of G. For results and applications of the edge clique-cover number see [1-4]. Observe that Be(G) does n...

In CAD/CAM modeling, objects are represented using the Boundary Representation (ANSI Brep) model. Detection of possible intersection between objects can be based on the objects’ boundaries (i.e., triangulated surfaces), and computed using triangle-triangle intersection. Usually only a cross intersection algorithm is needed; however, it is beneficial to have a single robust and fast intersection...