-
Wythoff's Nim with Finite Alterations
Authors:
Mirabel Hu,
Daniel Sleator,
William Tsin
Abstract:
Wythoff's Nim is a variant of 2-pile Nim in which players are allowed to take any positive number of stones from pile 1, or any positive number of stones from pile 2, or the same positive number from both piles. The player who makes the last move wins. It is well-known that the P-positions (losing positions) are precisely those where the two piles have sizes…
▽ More
Wythoff's Nim is a variant of 2-pile Nim in which players are allowed to take any positive number of stones from pile 1, or any positive number of stones from pile 2, or the same positive number from both piles. The player who makes the last move wins. It is well-known that the P-positions (losing positions) are precisely those where the two piles have sizes $\{\lfloor φn \rfloor, \lfloor φ^2n \rfloor \}$ for some integer $n\geq 0$, and $φ= (1+\sqrt{5})/2 = 1.6180\cdots$.
In this paper we consider an altered form of Wythoff's Nim where an arbitrary finite set of positions are designated to be P or N positions. The values of the remaining positions are computed in the normal fashion for the game. We prove that the set of P-positions of the altered game closely resembles that of a translated normal Wythoff game. In fact the fraction of overlap of the sets of P-positions of these two games approaches $1$ as the pile sizes being considered go to infinity.
△ Less
Submitted 7 August, 2024; v1 submitted 5 August, 2024;
originally announced August 2024.
-
Learning-Augmented B-Trees
Authors:
Xinyuan Cao,
Jingbang Chen,
Li Chen,
Chris Lambert,
Richard Peng,
Daniel Sleator
Abstract:
We study learning-augmented binary search trees (BSTs) and B-Trees via Treaps with composite priorities. The result is a simple search tree where the depth of each item is determined by its predicted weight $w_x$. To achieve the result, each item $x$ has its composite priority $-\lfloor\log\log(1/w_x)\rfloor + U(0, 1)$ where $U(0, 1)$ is the uniform random variable. This generalizes the recent lea…
▽ More
We study learning-augmented binary search trees (BSTs) and B-Trees via Treaps with composite priorities. The result is a simple search tree where the depth of each item is determined by its predicted weight $w_x$. To achieve the result, each item $x$ has its composite priority $-\lfloor\log\log(1/w_x)\rfloor + U(0, 1)$ where $U(0, 1)$ is the uniform random variable. This generalizes the recent learning-augmented BSTs [Lin-Luo-Woodruff ICML`22], which only work for Zipfian distributions, to arbitrary inputs and predictions. It also gives the first B-Tree data structure that can provably take advantage of localities in the access sequence via online self-reorganization. The data structure is robust to prediction errors and handles insertions, deletions, as well as prediction updates.
△ Less
Submitted 24 July, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Optimal Offline Dynamic $2,3$-Edge/Vertex Connectivity
Authors:
Richard Peng,
Bryce Sandlund,
Daniel D. Sleator
Abstract:
We give offline algorithms for processing a sequence of $2$ and $3$ edge and vertex connectivity queries in a fully-dynamic undirected graph. While the current best fully-dynamic online data structures for $3$-edge and $3$-vertex connectivity require $O(n^{2/3})$ and $O(n)$ time per update, respectively, our per-operation cost is only $O(\log n)$, optimal due to the dynamic connectivity lower boun…
▽ More
We give offline algorithms for processing a sequence of $2$ and $3$ edge and vertex connectivity queries in a fully-dynamic undirected graph. While the current best fully-dynamic online data structures for $3$-edge and $3$-vertex connectivity require $O(n^{2/3})$ and $O(n)$ time per update, respectively, our per-operation cost is only $O(\log n)$, optimal due to the dynamic connectivity lower bound of Patrascu and Demaine. Our approach utilizes a divide and conquer scheme that transforms a graph into smaller equivalents that preserve connectivity information. This construction of equivalents is closely-related to the development of vertex sparsifiers, and shares important connections to several upcoming results in dynamic graph data structures, outside of just the offline model.
△ Less
Submitted 20 March, 2019; v1 submitted 12 August, 2017;
originally announced August 2017.
-
Impartial Redistricting: A Markov Chain Approach
Authors:
Lucy Chenyun Wu,
Jason Xiaotian Dou,
Danny Sleator,
Alan Frieze,
David Miller
Abstract:
The gerrymandering problem is a worldwide problem which sets great threat to democracy and justice in district based elections. Thanks to partisan redistricting commissions, district boundaries are often manipulated to benefit incumbents. Since an independent commission is hard to come by, the possibility of impartially generating districts with a computer is explored in this thesis. We have devel…
▽ More
The gerrymandering problem is a worldwide problem which sets great threat to democracy and justice in district based elections. Thanks to partisan redistricting commissions, district boundaries are often manipulated to benefit incumbents. Since an independent commission is hard to come by, the possibility of impartially generating districts with a computer is explored in this thesis. We have developed an algorithm to randomly produce legal redistricting schemes for Pennsylvania.
△ Less
Submitted 13 October, 2015; v1 submitted 12 October, 2015;
originally announced October 2015.
-
Subtraction games with FES sets of size 3
Authors:
Danny Sleator,
Marla Slusky
Abstract:
This paper extends the work done by Angela Siegel on subtraction games in which the subtraction set is N \ X for some finite set X. Siegel proves that for any finite set X, the G-sequence is ultimately arithmetic periodic, and that if |X| = 1 or 2, then it is purely arithmetic periodic. This note proves that if |X| = 3 then the G-sequence is purely arithmetic periodic. It is known that for |X| \ge…
▽ More
This paper extends the work done by Angela Siegel on subtraction games in which the subtraction set is N \ X for some finite set X. Siegel proves that for any finite set X, the G-sequence is ultimately arithmetic periodic, and that if |X| = 1 or 2, then it is purely arithmetic periodic. This note proves that if |X| = 3 then the G-sequence is purely arithmetic periodic. It is known that for |X| \geq 4 the sequence is not always purely arithmetic periodic.
△ Less
Submitted 16 January, 2012;
originally announced January 2012.
-
Competitive Paging Algorithms
Authors:
Amos Fiat,
Richard Karp,
Mike Luby,
Lyle McGeoch,
Daniel Sleator,
Neal E. Young
Abstract:
The paging problem is that of deciding which pages to keep in a memory of k pages in order to minimize the number of page faults. This paper introduces the marking algorithm, a simple randomized on-line algorithm for the paging problem, and gives a proof that its performance guarantee (competitive ratio) is O(log k). In contrast, no deterministic on-line algorithm can have a performance guarante…
▽ More
The paging problem is that of deciding which pages to keep in a memory of k pages in order to minimize the number of page faults. This paper introduces the marking algorithm, a simple randomized on-line algorithm for the paging problem, and gives a proof that its performance guarantee (competitive ratio) is O(log k). In contrast, no deterministic on-line algorithm can have a performance guarantee better than k.
△ Less
Submitted 18 May, 2002;
originally announced May 2002.
-
Parsing English with a Link Grammar
Authors:
Daniel D. K. Sleator,
Davy Temperley
Abstract:
We develop a formal grammatical system called a link grammar, show how English grammar can be encoded in such a system, and give algorithms for efficiently parsing with a link grammar. Although the expressive power of link grammars is equivalent to that of context free grammars, encoding natural language grammars appears to be much easier with the new system. We have written a program for genera…
▽ More
We develop a formal grammatical system called a link grammar, show how English grammar can be encoded in such a system, and give algorithms for efficiently parsing with a link grammar. Although the expressive power of link grammars is equivalent to that of context free grammars, encoding natural language grammars appears to be much easier with the new system. We have written a program for general link parsing and written a link grammar for the English language. The performance of this preliminary system -- both in the breadth of English phenomena that it captures and in the computational resources used -- indicates that the approach may have practical uses as well as linguistic significance. Our program is written in C and may be obtained through the internet.
△ Less
Submitted 2 August, 1995;
originally announced August 1995.
-
A Robust Parsing Algorithm For Link Grammars
Authors:
Dennis Grinberg,
John Lafferty,
Daniel Sleator
Abstract:
In this paper we present a robust parsing algorithm based on the link grammar formalism for parsing natural languages. Our algorithm is a natural extension of the original dynamic programming recognition algorithm which recursively counts the number of linkages between two words in the input sentence. The modified algorithm uses the notion of a null link in order to allow a connection between an…
▽ More
In this paper we present a robust parsing algorithm based on the link grammar formalism for parsing natural languages. Our algorithm is a natural extension of the original dynamic programming recognition algorithm which recursively counts the number of linkages between two words in the input sentence. The modified algorithm uses the notion of a null link in order to allow a connection between any pair of adjacent words, regardless of their dictionary definitions. The algorithm proceeds by making three dynamic programming passes. In the first pass, the input is parsed using the original algorithm which enforces the constraints on links to ensure grammaticality. In the second pass, the total cost of each substring of words is computed, where cost is determined by the number of null links necessary to parse the substring. The final pass counts the total number of parses with minimal cost. All of the original pruning techniques have natural counterparts in the robust algorithm. When used together with memoization, these techniques enable the algorithm to run efficiently with cubic worst-case complexity. We have implemented these ideas and tested them by parsing the Switchboard corpus of conversational English. This corpus is comprised of approximately three million words of text, corresponding to more than 150 hours of transcribed speech collected from telephone conversations restricted to 70 different topics. Although only a small fraction of the sentences in this corpus are "grammatical" by standard criteria, the robust link grammar parser is able to extract relevant structure for a large portion of the sentences. We present the results of our experiments using this system, including the analyses of selected and random sentences from the corpus.
△ Less
Submitted 2 August, 1995;
originally announced August 1995.