中文
相关论文

相关论文: Checking whether a word is Hamming-isometric in li…

200 篇论文

It is known that humans can easily read words where the letters have been jumbled in a certain way. This paper examines this problem by associating a distance measure with the jumbling process. Modifications to text were generated according…

信息检索 · 计算机科学 2011-01-05 Venkata Ravinder Paruchuri

We investigate the least number of palindromic factors in an infinite word. We first consider general alphabets, and give answers to this problem for periodic and non-periodic words, closed or not under reversal of factors. We then…

离散数学 · 计算机科学 2014-07-15 Gabriele Fici , Luca Q. Zamboni

Recently, the concept of ``compression as intelligence'' has provided a novel informatics metric perspective for language models (LMs), emphasizing that highly structured representations signify the intelligence level of LMs. However, from…

计算与语言 · 计算机科学 2025-11-07 Jianxiang Zang , Meiling Ning , Yongda Wei , Shihan Dou , Jiazheng Zhang , Nijia Mo , Binhong Li , Tao Gui , Qi Zhang , Xuanjing Huang

A word $w$ over an alphabet $\Sigma$ is a Lyndon word if there exists an order defined on $\Sigma$ for which $w$ is lexicographically smaller than all of its conjugates (other than itself). We introduce and study \emph{universal Lyndon…

离散数学 · 计算机科学 2014-07-15 Arturo Carpi , Gabriele Fici , Stepan Holub , Jakub Oprsal , Marinella Sciortino

The computational complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a regular language. In case regular languages are…

形式语言与自动机理论 · 计算机科学 2011-02-15 Markus Lohrey , Christian Mathissen

The meanings and relationships of words shift over time. This phenomenon is referred to as semantic shift. Research focused on understanding how semantic shifts occur over multiple time periods is essential for gaining a detailed…

计算与语言 · 计算机科学 2025-01-20 Hajime Kiyama , Taichi Aida , Mamoru Komachi , Toshinobu Ogiso , Hiroya Takamura , Daichi Mochihashi

Approximate pattern matching is a natural and well-studied problem on strings: Given a text $T$, a pattern $P$, and a threshold $k$, find (the starting positions of) all substrings of $T$ that are at distance at most $k$ from $P$. We…

数据结构与算法 · 计算机科学 2020-11-17 Panagiotis Charalampopoulos , Tomasz Kociumaka , Philip Wellnitz

The problem of comparing two bodies of text and searching for words that differ in their usage between them arises often in digital humanities and computational social science. This is commonly approached by training word embeddings on each…

计算与语言 · 计算机科学 2021-12-30 Hila Gonen , Ganesh Jawahar , Djamé Seddah , Yoav Goldberg

We show a new simple algorithm that checks whether a given higher-order grammar generates a nonempty language of trees. The algorithm amounts to a procedure that transforms a grammar of order n to a grammar of order n-1, preserving…

形式语言与自动机理论 · 计算机科学 2020-09-18 Paweł Parys

Existing algorithms for aligning cross-lingual word vector spaces assume that vector spaces are approximately isomorphic. As a result, they perform poorly or fail completely on non-isomorphic spaces. Such non-isomorphism has been…

计算与语言 · 计算机科学 2020-10-21 Ivan Vulić , Sebastian Ruder , Anders Søgaard

We investigate the variance of the length of the longest common subsequences of two independent random words of size $n$, where the letters of one word are i.i.d. uniformly drawn from $\{\alpha_1, \alpha_2, \cdots, \alpha_m\}$, while the…

概率论 · 数学 2018-12-27 Christian Houdré , Qingqing Liu

We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We use as a base a variation of Hopcroft, Ullman and Aho…

计算机科学中的逻辑 · 计算机科学 2022-03-08 Simon Guilloud , Viktor Kunčak

A $4^-$-power is a non-empty word of the form $XXXX^-$, where $X^-$ is obtained from $X$ by erasing the last letter. A binary word is called {\em faux-bonacci} if it contains no $4^-$-powers, and no factor 11. We show that faux-bonacci…

组合数学 · 数学 2023-11-23 James D. Currie , Narad Rampersad

The Aho, Hopcroft and Ullman (AHU) algorithm has been the state of the art since the 1970s for determining in linear time whether two unordered rooted trees are isomorphic or not. However, it has been criticized (by Campbell and Radford)…

数据结构与算法 · 计算机科学 2024-02-13 Florian Ingels

A linear map between real symmetric matrix spaces is positive if all positive semidefinite matrices are mapped to positive semidefinite ones. A real symmetric matrix is separable if it can be written as a summation of Kronecker products of…

最优化与控制 · 数学 2016-03-29 Jiawang Nie , Xinzhen Zhang

String matching is the problem of finding all the substrings of a text which match a given pattern. It is one of the most investigated problems in computer science, mainly due to its very diverse applications in several fields. Recently,…

数据结构与算法 · 计算机科学 2017-07-04 Domenico Cantone , Simone Faro , Arianna Pavone

A pattern is encountered in a word if some infix of the word is the image of the pattern under some non-erasing morphism. A pattern $p$ is unavoidable if, over every finite alphabet, every sufficiently long word encounters $p$. A theorem by…

离散数学 · 计算机科学 2019-02-15 Arnaud Carayol , Stefan Göller

The current scenario in the field of computing is largely affected by the speed at which data can be accessed and recalled. In this paper, we present the word existence algorithm which is used to check if the word given as an input is part…

数据结构与算法 · 计算机科学 2016-01-19 Tejeswini Sundaram , Vyom Chabbra

We study the task, for a given language $L$, of enumerating the (generally infinite) sequence of its words, without repetitions, while bounding the delay between two consecutive words. To allow for delay bounds that do not depend on the…

形式语言与自动机理论 · 计算机科学 2023-01-10 Antoine Amarilli , Mikaël Monet

An isomorphism between two graphs is a bijection between their vertices that preserves the edges. We consider the problem of determining whether two finite undirected weighted graphs are isomorphic, and finding an isomorphism relating them…

最优化与控制 · 数学 2016-11-03 Reza Takapoui , Stephen Boyd