Browsing by Author "Hsu, Tsan-Sheng"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item type:Item, An investigation of strength analysis metrics for game-playing programs: A case study in Chinese dark chess(2018-01-01) ;Hsueh, Chu-Hsuan ;Wu, I-Chen ;Hsu, Tsan-Sheng ;Chen, Jr-Chang資訊工程學系For developers of game-playing programs, it is an important but non-trivial task to measure the strengths of the programs, especially with respect to the theoretically optimal players. The optimal players are hard to obtain in practice since many real-world games are too hard to solve entirely. In this paper, a reduced version of Chinese dark chess (CDC), 2 x 4 CDC, which has been solved, is used as a testbed to analyze the strengths of game-playing programs for CDC, a non-deterministic game. Absolute strength is then defined to be the win rates against the optimal player. Experiment results show that win rates against designated baseline programs are a good metric, since these win rates are highly correlated to absolute strengths. The stronger the designated baseline programs are, the higher the correlations of win rates are to the absolute strengths. In addition, it is shown that prediction rates and mean squared errors are other good metrics and have high correlations to the absolute strengths. The experiment results also show that the win rates obtained in 2 x 4 CDC have a high correlation to those in the original 4 x 8 CDC, except for those using the technique of progressive bias.Item type:Item, Streaming Complexity of Spanning Tree Computation(2020-01-01) ;Chang, Yi-Jun ;Farach-Colton, Martin ;Hsu, Tsan-Sheng ;Tsai, Meng-Tsung交大名義發表The semi-streaming model is a variant of the streaming model frequently used for the computation of graph problems. It allows the edges of an n-node input graph to be read sequentially in p passes using (O) over tilde (n) space. If the list of edges includes deletions, then the model is called the turnstile model; otherwise it is called the insertion-only model. In both models, some graph problems, such as spanning trees, k-connectivity, densest subgraph, degeneracy, cut-sparsifier, and (Delta + 1)-coloring, can be exactly solved or (1 + epsilon)-approximated in a single pass; while other graph problems, such as triangle detection and unweighted all-pairs shortest paths, are known to require (Omega) over tilde (n) passes to compute. For many fundamental graph problems, the tractability in these models is open. In this paper, we study the tractability of computing some standard spanning trees, including BFS, DFS, and maximum-leaf spanning trees. Our results, in both the insertion-only and the turnstile models, are as follows. Maximum-Leaf Spanning Trees: This problem is known to be APX-complete with inapproximability constant rho is an element of [245/244,2). By constructing an epsilon-MLST sparsifier, we show that for every constant epsilon > 0, MLST can be approximated in a single pass to within a factor of 1 + epsilon w.h.p. (albeit in super-polynomial time for epsilon <= p - 1 assuming P not equal NP) and can be approximated in polynomial time in a single pass to within a factor of rho(n) + epsilon w.h.p., where rho(n) is the supremum constant that MLST cannot be approximated to within using polynomial time and (O) over tilde (n) space. In the insertion-only model, these algorithms can be deterministic. BFS Trees: It is known that BFS trees require w(1) passes to compute, but the naive approach needs O(n) passes. We devise a new randomized algorithm that reduces the pass complexity to O(root n), and it offers a smooth tradeoff between pass complexity and space usage. This gives a polynomial separation between single-source and all-pairs shortest paths for unweighted graphs. DFS Trees: It is unknown whether DFS trees require more than one pass. The current best algorithm by Khan and Mehta [STACS 2019] takes (O) over tilde (h) passes, where h is the height of computed DFS trees. Note that h can be as large as Omega(m,/n) for n-node m-edge graphs. Our contribution is twofold. First, we provide a simple alternative proof of this result, via a new connection to sparse certificates for k-node-connectivity. Second, we present a randomized algorithm that reduces the pass complexity to O(root n), and it also offers a smooth tradeoff between pass complexity and space usage.