15615911
Time-varying shortest path problems with constraints
The shortest path problem is considered with yet another extension. The transit times b(x,y,u) and the arc costs c(x,y,u) on arc (x,y) vary as a function of the departure time u at the beginning vertex of the arc. The problem considered is to find the shortest path between a pair of nodes such that the total traverse time is lesser than some specified value T. Waiting times at nodes are considered as decision variables in this paper as well. Three variations of the problem are analyzed in which the waiting times are allowed to be arbitrary, the waiting times are zero and the waiting time has an upper bound at each vertex. Algorithms are also discussed to solve the problem. Some of the applications of the problem are encountered in communication networks and freight delivery problems. Suppose that some freight is to be sent from one city to another in a network before a deadline T. Different types of freight services with different costs and transit times are available between the two cities. An optimal solution would have to specify the route as well as the waiting times of the freight at each city so that the overall cost is minimum. A dynamic programming approach is used to compute the shortest path from the origin node to the destination node. Three cases are considered for the waiting times and an algorithm is suggested for each of those cases. This problem is obviously an NP-Complete problem as it is more difficult to solve than a problem with constant transit times and arc costs such as the previous problem which is NP-Complete. Some definitions: Waiting time w(x i) at a vertex x i is a nonnegative integer with an upper bound U x >= 0. Let P be a path from vertex x 1 to x r. The departure time T(x i) at a vertex x i can be expressed as below: T(x 1) = w(x 1) The departure time for all other vertices on the path can be expressed recursively as : The time of path P is defined as T(x r) where x r is the final node on the path..
43443657
A note on visibility graphs
Abstract Given a set S = {s1, s2,…, sn} of vertical line segments, s1, sj see each other if there is a horizontal line segment which intersects them, but does not intersect any other line segment between them. A visibility graph G of vertices {v1, v2,…, vn} is put into a one-to-one correspondence with S, such that si corresponds to v1, and edge {vi, vj} exists in G iff si, sj see each other. We prove that any visibility graph G is ipo-triangular, that is, it can be transformed into a planar multigraph with all triangular finite faces, by successive duplications of existing edges of G. Conversely we prove that any ipo-triangular graph is a visibility graph for some set S.
6074974
Vertex Ranking of Asteroidal Triple-Free Graphs
We present an efficient algorithm for computing the vertex ranking number of an asteroidal triple-free graph. Its running time is bounded by a polynomial in the number of vertices and the number of minimal separators of the input graph.
35666520
Automatic Lyrics Alignment on Popular Music
8508688
New algorithms for the rectilinear Steiner tree problem
An approach to constructing the rectilinear Steiner tree (RST) of a given set of points in the plane, starting from a minimum spanning tree (MST), is discussed. The main idea in this approach is to find layouts for the edges of the MST that maximize the overlaps between the layouts, thus minimizing the cost (i.e. wire length) of the resulting rectilinear Steiner tree. Two algorithms for constructing rectilinear Steiner trees from MSTs, which are optimal under the conditions that the layout of each edge of the MST is an L shape or any staircase, respectively, are described. The first algorithm has linear time complexity and the second algorithm has a higher polynomial time complexity. Steiner trees produced by the second algorithm have a property called stability, which allows the rerouting of any segment of the tree, while maintaining the cost of the tree, and without causing overlaps with the rest of the tree. Stability is a desirable property in VLSI global routing applications. >
30930498
Chinese document indexing based on a new partitioned signature file: Model and evaluation
In this article we investigate the use of signature files in Chinese information retrieval system and propose a new partitioning method for Chinese signature file based on the characteristic of Chinese words. Our partitioning method, called Partitioned Signature File for Chinese (PSFC), offers faster search efficiency than the traditional single signature file approach. We devise a general scheme for controlling the trade-off between the false drop and storage overhead while maintaining the search space reduction in PSFC. An analytical study is presented to support the claims of our method. We also propose two new hashing methods for Chinese signature files so that the signature file will be more suitable for dynamic environment while the retrieval performance is maintained. Furthermore, we have implemented PSFC and the new hashing methods, and we evaluated them using a large-scale real-world Chinese document corpus, namely, the TREC-5 (Text REtrieval Conference) Chinese collection. The experimental results confirm the features of PSFC and demonstrate its superiority over the traditional single signature file method.
47450428
An Algorithm to Compact a VLSI Symbolic Layout with Mixed Constraints
A popular algorithm to compact VLSI symbolic layout is to use a graph algorithm similar to finding the "longest path" in a network. The algorithm assumes that the spacing constraints on the mask elements are of the lower bound type. However, to enable the user to have close control over the compaction result, a desired symbolic layout system should allow the user to add either the equality or the upper bound constraints on selected pairs of mask elements as well. This paper proposes an algorithm which uses a graph-theoretic approach to solve efficiently the compaction problem with mixed constraints.
1310783
Design, Implementation, and Experimentation on Mobile Agent Security for Electronic Commerce Applications
In this paper, a Shopping Information Agent System (SIAS) is built based on mobile agent technology. It sends out agents to di erent hosts in an electronic marketplace. The agents collect and report information such as prices and availabilities about products speci ed by users. Snapshots of the system in use are shown. Security is a major problem of mobile agent systems, especially when money transactions are concerned. Possible security attacks by malicious hosts to agents in SIAS are discussed, and a solution to prevent these attacks is presented. Finally, security of the solution is analyzed, and the performance overhead introduced is