Showing 1–20 of 20 results for author: Kjos-Hanssen, B

Conditional automatic complexity and its metrics

Authors: Bjørn Kjos-Hanssen

Abstract: Li, Chen, Li, Ma, and Vitányi (2004) introduced a similarity metric based on Kolmogorov complexity. It followed work by Shannon in the 1950s on a metric based on entropy. We define two computable similarity metrics, analogous to the Jaccard distance and Normalized Information Distance, based on conditional automatic complexity and show that they satisfy all axioms of metric spaces. Li, Chen, Li, Ma, and Vitányi (2004) introduced a similarity metric based on Kolmogorov complexity. It followed work by Shannon in the 1950s on a metric based on entropy. We define two computable similarity metrics, analogous to the Jaccard distance and Normalized Information Distance, based on conditional automatic complexity and show that they satisfy all axioms of metric spaces. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 29th International Computing and Combinatorics Conference (COCOON 2023), Lecture Notes in Computer Science

Maximal automatic complexity and context-free languages

Authors: Bjørn Kjos-Hanssen

Abstract: Let $A_N$ denote nondeterministic automatic complexity and \[ L_{k,c}=\{x\in [k]^* : A_N(x)> |x|/c\}. \] In particular, $L_{k,2}$ is the language of all $k$-ary words for which $A_N$ is maximal, while $L_{k,3}$ gives a rough dividing line between complex and simple. Let $\mathbf{CFL}$ denote the complexity class consisting of all context-free languages. While it is not known that $L_{2,2}$ is in… ▽ More Let $A_N$ denote nondeterministic automatic complexity and \[ L_{k,c}=\{x\in [k]^* : A_N(x)> |x|/c\}. \] In particular, $L_{k,2}$ is the language of all $k$-ary words for which $A_N$ is maximal, while $L_{k,3}$ gives a rough dividing line between complex and simple. Let $\mathbf{CFL}$ denote the complexity class consisting of all context-free languages. While it is not known that $L_{2,2}$ is infinite, Kjos-Hanssen (2017) showed that $L_{3,2}$ is $\mathbf{CFL}$-immune but not $\mathbf{coCFL}$-immune. We complete the picture by showing that $L_{3,2}\not\in\mathbf{coCFL}$. Turning to Boolean circuit complexity, we show that $L_{2,3}$ is $\mathbf{SAC}^0$-immune and $\mathbf{SAC}^0$-coimmune. Here $\mathbf{SAC}^0$ denotes the complexity class consisting of all languages computed by (non-uniform) constant-depth circuits with semi-unbounded fanin. As for arithmetic circuits, we show that $\{x:A_N(x)>1\}\not\in\oplus\mathbf{SAC}^0$. In particular, $\mathbf{SAC}^0\not\subseteq\oplus \mathbf{SAC}^0$, which resolves an open implication from the Complexity Zoo. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: Automata Theory and Applications: Games, Learning and Structures (20-24 Sep 2021). Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore

Automatic complexity of Fibonacci and Tribonacci words

Authors: Bjørn Kjos-Hanssen

Abstract: For a complexity function $C$, the lower and upper $C$-complexity rates of an infinite word $\mathbf{x}$ are \[ \underline{C}(\mathbf x)=\liminf_{n\to\infty} \frac{C(\mathbf{x}\upharpoonright n)}n,\quad \overline{C}(\mathbf x)=\limsup_{n\to\infty} \frac{C(\mathbf{x}\upharpoonright n)}n \] respectively. Here $\mathbf{x}\upharpoonright n$ is the prefix of $x$ of length $n$. We consider the case… ▽ More For a complexity function $C$, the lower and upper $C$-complexity rates of an infinite word $\mathbf{x}$ are \[ \underline{C}(\mathbf x)=\liminf_{n\to\infty} \frac{C(\mathbf{x}\upharpoonright n)}n,\quad \overline{C}(\mathbf x)=\limsup_{n\to\infty} \frac{C(\mathbf{x}\upharpoonright n)}n \] respectively. Here $\mathbf{x}\upharpoonright n$ is the prefix of $x$ of length $n$. We consider the case $C=\mathrm{A_N}$, the nondeterministic automatic complexity. If these rates are strictly between 0 and $1/2$, we call them intermediate. Our main result is that words having intermediate $\mathrm{A_N}$-rates exist, viz. the infinite Fibonacci and Tribonacci words. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Comments: Discrete Applied Mathematics, to appear

A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations

Authors: Bjørn Kjos-Hanssen

Abstract: We show that Carmo and Jones' condition 5(e) conflicts with the other conditions on their models for contrary-to-duty obligations. We then propose a resolution to the conflict. We show that Carmo and Jones' condition 5(e) conflicts with the other conditions on their models for contrary-to-duty obligations. We then propose a resolution to the conflict. △ Less

Submitted 28 August, 2020; originally announced August 2020.

MSC Class: 03B45

Journal ref: Studia Logica 105 (2017), no. 1, 173--178

VC-dimensions of nondeterministic finite automata for words of equal length

Authors: Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi

Abstract: Let $NFA_b(q)$ denote the set of languages accepted by nondeterministic finite automata with $q$ states over an alphabet with $b$ letters. Let $B_n$ denote the set of words of length $n$. We give a quadratic lower bound on the VC dimension of \[ NFA_2(q)\cap B_n = \{L\cap B_n \mid L \in NFA_2(q)\} \] as a function of $q$. Next, the work of Gruber and Holzer (2007) gives an upper bound for the… ▽ More Let $NFA_b(q)$ denote the set of languages accepted by nondeterministic finite automata with $q$ states over an alphabet with $b$ letters. Let $B_n$ denote the set of words of length $n$. We give a quadratic lower bound on the VC dimension of \[ NFA_2(q)\cap B_n = \{L\cap B_n \mid L \in NFA_2(q)\} \] as a function of $q$. Next, the work of Gruber and Holzer (2007) gives an upper bound for the nondeterministic state complexity of finite languages contained in $B_n$, which we strengthen using our methods. Finally, we give some theoretical and experimental results on the dependence on $n$ of the VC dimension and testing dimension of $NFA_2(q)\cap B_n$. △ Less

Submitted 4 August, 2021; v1 submitted 7 January, 2020; originally announced January 2020.

Comments: ISAIM 2020 (International Symposium on Artificial Intelligence and Mathematics), Fort Lauderdale, FL. January 6--8, 2020. Accepted for publication in Annals of Mathematics and Artificial Intelligence

An incompressibility theorem for automatic complexity

Authors: Bjørn Kjos-Hanssen

Abstract: Shallit and Wang showed that the automatic complexity $A(x)$ satisfies $A(x)\ge n/13$ for almost all $x\in{\{\mathtt{0},\mathtt{1}\}}^n$. They also stated that Holger Petersen had informed them that the constant 13 can be reduced to 7. Here we show that it can be reduced to $2+ε$ for any $ε>0$. The result also applies to nondeterministic automatic complexity $A_N(x)$. In that setting the result is… ▽ More Shallit and Wang showed that the automatic complexity $A(x)$ satisfies $A(x)\ge n/13$ for almost all $x\in{\{\mathtt{0},\mathtt{1}\}}^n$. They also stated that Holger Petersen had informed them that the constant 13 can be reduced to 7. Here we show that it can be reduced to $2+ε$ for any $ε>0$. The result also applies to nondeterministic automatic complexity $A_N(x)$. In that setting the result is tight inasmuch as $A_N(x)\le n/2+1$ for all $x$. △ Less

Submitted 21 June, 2022; v1 submitted 26 August, 2019; originally announced August 2019.

Journal ref: Forum of Mathematics Sigma 9 (2021), E62

The number of languages with maximum state complexity

Authors: Bjørn Kjos-Hanssen, Lei Liu

Abstract: Câmpeanu and Ho (2004) determined the maximum finite state complexity of finite languages, building on work of Champarnaud and Pin (1989). They stated that it is very difficult to determine the number of maximum-complexity languages. Here we give a formula for this number. We also generalize their work from languages to functions on finite sets. Câmpeanu and Ho (2004) determined the maximum finite state complexity of finite languages, building on work of Champarnaud and Pin (1989). They stated that it is very difficult to determine the number of maximum-complexity languages. Here we give a formula for this number. We also generalize their work from languages to functions on finite sets. △ Less

Submitted 29 April, 2022; v1 submitted 2 February, 2019; originally announced February 2019.

Comments: Algebra Universalis, accepted for publication. Preliminary version in: Theory and Applications of Models of Computation (TAMC) 2019. Lecture Notes in Computer Science 11436 (2019)

Planar digraphs for automatic complexity

Authors: Achilles A. Beros, Bjørn Kjos-Hanssen, Daylan Kaui Yogi

Abstract: We show that the digraph of a nondeterministic finite automaton witnessing the automatic complexity of a word can always be taken to be planar. In the case of total transition functions studied by Shallit and Wang, planarity can fail. Let $s_q(n)$ be the number of binary words $x$ of length $n$ having nondeterministic automatic complexity $A_N(x)=q$. We show that $s_q$ is eventually constant for… ▽ More We show that the digraph of a nondeterministic finite automaton witnessing the automatic complexity of a word can always be taken to be planar. In the case of total transition functions studied by Shallit and Wang, planarity can fail. Let $s_q(n)$ be the number of binary words $x$ of length $n$ having nondeterministic automatic complexity $A_N(x)=q$. We show that $s_q$ is eventually constant for each $q$ and that the eventual constant value of $s_q$ is computable. △ Less

Submitted 2 February, 2019; originally announced February 2019.

Comments: Theory and Applications of Models of Computation (TAMC 2019), Lecture Notes in Computer Science 11436 (2019)

Superposition as memory: unlocking quantum automatic complexity

Authors: Bjørn Kjos-Hanssen

Abstract: Imagine a lock with two states, "locked" and "unlocked", which may be manipulated using two operations, called 0 and 1. Moreover, the only way to (with certainty) unlock using four operations is to do them in the sequence 0011, i.e., $0^n1^n$ where $n=2$. In this scenario one might think that the lock needs to be in certain further states after each operation, so that there is some memory of what… ▽ More Imagine a lock with two states, "locked" and "unlocked", which may be manipulated using two operations, called 0 and 1. Moreover, the only way to (with certainty) unlock using four operations is to do them in the sequence 0011, i.e., $0^n1^n$ where $n=2$. In this scenario one might think that the lock needs to be in certain further states after each operation, so that there is some memory of what has been done so far. Here we show that this memory can be entirely encoded in superpositions of the two basic states "locked" and "unlocked", where, as dictated by quantum mechanics, the operations are given by unitary matrices. Moreover, we show using the Jordan--Schur lemma that a similar lock is not possible for $n=60$. We define the semi-classical quantum automatic complexity $Q_{s}(x)$ of a word $x$ as the infimum in lexicographic order of those pairs of nonnegative integers $(n,q)$ such that there is a subgroup $G$ of the projective unitary group PU$(n)$ with $|G|\le q$ and with $U_0,U_1\in G$ such that, in terms of a standard basis $\{e_k\}$ and with $U_z=\prod_k U_{z(k)}$, we have $U_x e_1=e_2$ and $U_y e_1 \ne e_2$ for all $y\ne x$ with $|y|=|x|$. We show that $Q_s$ is unbounded and not constant for strings of a given length. In particular, \[ Q_{s}(0^21^2)\le (2,12) < (3,1) \le Q_{s}(0^{60}1^{60}) \] and $Q_s(0^{120})\le (2,121)$. △ Less

Submitted 14 March, 2017; originally announced March 2017.

Comments: Lecture Notes in Computer Science, UCNC (Unconventional Computation and Natural Computation) 2017

Few paths, fewer words: model selection with automatic structure functions

Authors: Bjørn Kjos-Hanssen

Abstract: We consider the problem of finding an optimal statistical model for a given binary string. Following Kolmogorov, we use structure functions. In order to get concrete results, we replace Turing machines by finite automata and Kolmogorov complexity by Shallit and Wang's automatic complexity. The $p$-value of a model for given data $x$ is the probability that there exists a model with as few states… ▽ More We consider the problem of finding an optimal statistical model for a given binary string. Following Kolmogorov, we use structure functions. In order to get concrete results, we replace Turing machines by finite automata and Kolmogorov complexity by Shallit and Wang's automatic complexity. The $p$-value of a model for given data $x$ is the probability that there exists a model with as few states, accepting as few words, fitting uniformly randomly selected data $y$. Deterministic and nondeterministic automata can give different optimal models. For $x=011\, 110\, 110\, 11$, the best deterministic model has $p$-value $0.3$, whereas the best nondeterministic model has $p$-value $0.04$. In the nondeterministic case, counting paths and counting words can give different optimal models. For $x=01100\, 01000$, the best path-counting model has $p$-value $0.79$, whereas the best word-counting model has $p$-value $0.60$. △ Less

Submitted 3 August, 2016; originally announced August 2016.

Automatic complexity of shift register sequences

Authors: Bjørn Kjos-Hanssen

Abstract: Let $x$ be an $m$-sequence, a maximal length sequence produced by a linear feedback shift register. We show that $x$ has maximal subword complexity function in the sense of Allouche and Shallit. We show that this implies that the nondeterministic automatic complexity $A_N(x)$ is close to maximal: $n/2-A_N(x)=O(\log^2n)$, where $n$ is the length of $x$. In contrast, Hyde has shown… ▽ More Let $x$ be an $m$-sequence, a maximal length sequence produced by a linear feedback shift register. We show that $x$ has maximal subword complexity function in the sense of Allouche and Shallit. We show that this implies that the nondeterministic automatic complexity $A_N(x)$ is close to maximal: $n/2-A_N(x)=O(\log^2n)$, where $n$ is the length of $x$. In contrast, Hyde has shown $A_N(y)\le n/2+1$ for all sequences $y$ of length $n$. △ Less

Submitted 29 January, 2020; v1 submitted 27 July, 2016; originally announced July 2016.

Comments: Preliminary version: "Shift registers fool finite automata", Lecture Notes in Computer Science 10388 (2017), 170-181, Workshop on Logic, Language, Information and Computation (WoLLIC) 2017

MSC Class: 94A55; 68Q45; 68R15

Journal ref: Discrete Mathematics 341 (2018), no. 9, 2409--2417

On the complexity of automatic complexity

Authors: Bjørn Kjos-Hanssen

Abstract: Generalizing the notion of automatic complexity of individual strings due to Shallit and Wang, we define the automatic complexity $A(E)$ of an equivalence relation $E$ on a finite set $S$ of strings. We prove that the problem of determining whether $A(E)$ equals the number $|E|$ of equivalence classes of $E$ is $\mathsf{NP}$-complete. The problem of determining whether $A(E) = |E| + k$ for a fix… ▽ More Generalizing the notion of automatic complexity of individual strings due to Shallit and Wang, we define the automatic complexity $A(E)$ of an equivalence relation $E$ on a finite set $S$ of strings. We prove that the problem of determining whether $A(E)$ equals the number $|E|$ of equivalence classes of $E$ is $\mathsf{NP}$-complete. The problem of determining whether $A(E) = |E| + k$ for a fixed $k\ge 1$ is complete for the second level of the Boolean hierarchy for $\mathsf{NP}$, i.e., $\mathsf{BH}_2$-complete. Let $L$ be the language consisting of all strings of maximal nondeterministic automatic complexity. We characterize the complexity of infinite subsets of $L$ by showing that they can be co-context-free but not context-free, i.e., $L$ is $\mathsf{CFL}$-immune, but not $\mathsf{coCFL}$-immune. We show that for each $ε>0$, $L_ε\not\in\mathsf{coCFL}$, where $L_ε$ is the set of all strings whose deterministic automatic complexity $A(x)$ satisfies $A(x)\ge |x|^{1/2-ε}$. △ Less

Submitted 31 January, 2020; v1 submitted 20 July, 2016; originally announced July 2016.

MSC Class: 68Q45; 68R15

Journal ref: Theory of Computing Systems 61 (2017), no. 4, 1427--1439

Models of the Chisholm set

Authors: Bjørn Kjos-Hanssen

Abstract: We give a counter-example showing that Carmo and Jones' condition 5(e) may conflict with other conditions on the models in their paper \emph{A new approach to contrary-to-duty obligations}. We give a counter-example showing that Carmo and Jones' condition 5(e) may conflict with other conditions on the models in their paper \emph{A new approach to contrary-to-duty obligations}. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: Paper for Filosofi hovedfag spesialområde 1 exam, University of Oslo, Fall 1996. First cited in Carmo and Jones, Deontic logic and contrary-to-duties, Handbook of Philosophical Logic, 2002, footnote 28

Pricing complexity options

Authors: Malihe Alikhani, Bjørn Kjos-Hanssen, Amirarsalan Pakravan, Babak Saadat

Abstract: We consider options that pay the complexity deficiency of a sequence of up and down ticks of a stock upon exercise. We study the price of European and American versions of this option numerically for automatic complexity, and theoretically for Kolmogorov complexity. We also consider run complexity, which is a restricted form of automatic complexity. We consider options that pay the complexity deficiency of a sequence of up and down ticks of a stock upon exercise. We study the price of European and American versions of this option numerically for automatic complexity, and theoretically for Kolmogorov complexity. We also consider run complexity, which is a restricted form of automatic complexity. △ Less

Submitted 30 March, 2016; v1 submitted 13 May, 2015; originally announced May 2015.

Journal ref: Algorithmic Finance (2015), 4:3-4, 127-137

Algorithmic randomness for Doob's martingale convergence theorem in continuous time

Authors: Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute

Abstract: We study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given. Such points are given the name of Doob random points. It is shown that a point is Doob random if its tail is computably random in a certain sense. Moreover, Doob… ▽ More We study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given. Such points are given the name of Doob random points. It is shown that a point is Doob random if its tail is computably random in a certain sense. Moreover, Doob randomness is strictly weaker than computable randomness and is incomparable with Schnorr randomness. △ Less

Submitted 16 December, 2014; v1 submitted 1 November, 2014; originally announced November 2014.

Journal ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 18, 2014) lmcs:978

Kolmogorov structure functions for automatic complexity

Authors: Bjørn Kjos-Hanssen

Abstract: For a finite word $w$ we define and study the Kolmogorov structure function $h_w$ for nondeterministic automatic complexity. We prove upper bounds on $h_w$ that appear to be quite sharp, based on numerical evidence. For a finite word $w$ we define and study the Kolmogorov structure function $h_w$ for nondeterministic automatic complexity. We prove upper bounds on $h_w$ that appear to be quite sharp, based on numerical evidence. △ Less

Submitted 29 January, 2020; v1 submitted 1 September, 2014; originally announced September 2014.

Comments: Preliminary version: "Kolmogorov structure functions for automatic complexity in computational statistics", Lecture Notes in Comput. Sci., vol. 8881, Springer, Cham, 2014, 652--665, 8th International Conference on Combinatorial Optimization and Applications (COCOA 2014)

MSC Class: 03D; 68R15; 68Q30

Journal ref: Theoretical Computer Science 607 (2015), no. 3, 435--445

Nondeterministic automatic complexity of overlap-free and almost square-free words

Authors: Kayleigh Hyde, Bjørn Kjos-Hanssen

Abstract: Shallit and Wang studied deterministic automatic complexity of words. They showed that the automatic Hausdorff dimension $I(\mathbf t)$ of the infinite Thue word satisfies $1/3\le I(\mathbf t)\le 2/3$. We improve that result by showing that $I(\mathbf t)\ge 1/2$. For nondeterministic automatic complexity we show $I(\mathbf t)=1/2$. We prove that such complexity $A_N$ of a word $x$ of length $n$ sa… ▽ More Shallit and Wang studied deterministic automatic complexity of words. They showed that the automatic Hausdorff dimension $I(\mathbf t)$ of the infinite Thue word satisfies $1/3\le I(\mathbf t)\le 2/3$. We improve that result by showing that $I(\mathbf t)\ge 1/2$. For nondeterministic automatic complexity we show $I(\mathbf t)=1/2$. We prove that such complexity $A_N$ of a word $x$ of length $n$ satisfies $A_N(x)\le b(n):=\lfloor n/2\rfloor + 1$. This enables us to define the complexity deficiency $D(x)=b(n)-A_N(x)$. If $x$ is square-free then $D(x)=0$. If $x$ almost square-free in the sense of Fraenkel and Simpson, or if $x$ is a strongly cube-free binary word such as the infinite Thue word, then $D(x)\le 1$. On the other hand, there is no constant upper bound on $D$ for strongly cube-free words in a ternary alphabet, nor for cube-free words in a binary alphabet. The decision problem whether $D(x)\ge d$ for given $x$, $d$ belongs to $NP\cap E$. △ Less

Submitted 31 January, 2020; v1 submitted 16 February, 2014; originally announced February 2014.

Comments: Preliminary version: "Nondeterministic automatic complexity of almost square-free and strongly cube-free words", COCOON 2014, Lecture Notes in Computer Science 8591 (2014), 61--70

MSC Class: 68Q45; 68R15

Journal ref: Electronic Journal of Combinatorics 22 (2015), no. 3, Paper 3.22, 18 pp

Arithmetic complexity via effective names for random sequences

Authors: Bjørn Kjos-Hanssen, Frank Stephan, Jason R. Teutsch

Abstract: We investigate enumerability properties for classes of sets which permit recursive, lexicographically increasing approximations, or left-r.e. sets. In addition to pinpointing the complexity of left-r.e. Martin-Löf, computably, Schnorr, and Kurtz random sets, weakly 1-generics and their complementary classes, we find that there exist characterizations of the third and fourth levels of the arithmeti… ▽ More We investigate enumerability properties for classes of sets which permit recursive, lexicographically increasing approximations, or left-r.e. sets. In addition to pinpointing the complexity of left-r.e. Martin-Löf, computably, Schnorr, and Kurtz random sets, weakly 1-generics and their complementary classes, we find that there exist characterizations of the third and fourth levels of the arithmetic hierarchy purely in terms of these notions. More generally, there exists an equivalence between arithmetic complexity and existence of numberings for classes of left-r.e. sets with shift-persistent elements. While some classes (such as Martin-Löf randoms and Kurtz non-randoms) have left-r.e. numberings, there is no canonical, or acceptable, left-r.e. numbering for any class of left-r.e. randoms. Finally, we note some fundamental differences between left-r.e. numberings for sets and reals. △ Less

Submitted 12 August, 2014; v1 submitted 27 August, 2010; originally announced August 2010.

MSC Class: 03D32; 68Q30 ACM Class: F.1

Journal ref: ACM Transactions on Computational Logic 13, no. 3 (July 2012), Art. 24, 18 pp

Randomness extraction and asymptotic Hamming distance

Authors: Cameron E. Freer, Bjoern Kjos-Hanssen

Abstract: We obtain a non-implication result in the Medvedev degrees by studying sequences that are close to Martin-Löf random in asymptotic Hamming distance. Our result is that the class of stochastically bi-immune sets is not Medvedev reducible to the class of sets having complex packing dimension 1. We obtain a non-implication result in the Medvedev degrees by studying sequences that are close to Martin-Löf random in asymptotic Hamming distance. Our result is that the class of stochastically bi-immune sets is not Medvedev reducible to the class of sets having complex packing dimension 1. △ Less

Submitted 25 September, 2013; v1 submitted 4 August, 2010; originally announced August 2010.

Journal ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 25, 2013) lmcs:889

Google distance between words

Authors: Bjørn Kjos-Hanssen, Alberto J. Evangelista

Abstract: Cilibrasi and Vitanyi have demonstrated that it is possible to extract the meaning of words from the world-wide web. To achieve this, they rely on the number of webpages that are found through a Google search containing a given word and they associate the page count to the probability that the word appears on a webpage. Thus, conditional probabilities allow them to correlate one word with another… ▽ More Cilibrasi and Vitanyi have demonstrated that it is possible to extract the meaning of words from the world-wide web. To achieve this, they rely on the number of webpages that are found through a Google search containing a given word and they associate the page count to the probability that the word appears on a webpage. Thus, conditional probabilities allow them to correlate one word with another word's meaning. Furthermore, they have developed a similarity distance function that gauges how closely related a pair of words is. We present a specific counterexample to the triangle inequality for this similarity distance function. △ Less

Submitted 28 January, 2015; v1 submitted 27 January, 2009; originally announced January 2009.

Comments: Presented at Frontiers in Undergraduate Research, University of Connecticut, 2006

ACM Class: I.2.7