English
Related papers

Related papers: Filling Crosswords is Very Hard

200 papers

The crossword-like patterns of tiles in Scrabble form connected graphs of occupied sites on a square lattice. We find the most structureless description that reproduces means and covariances observed in real Scrabble games by adapting a…

Biological Physics · Physics 2026-05-04 Olivier Witteveen , Marianne Bauer

This paper investigates complexity of the uniform membership problem for hyperedge replacement grammars in comparison with other mildly context-sensitive grammar formalisms. It turns out that the complexity of this problem depends on how…

Formal Languages and Automata Theory · Computer Science 2026-03-03 Tikhon Pshenitsyn

Grouping the nodes of a graph into clusters is a standard technique for studying networks. We study a problem where we are given a directed network and are asked to partition the graph into a sequence of coherent groups. We assume that…

Social and Information Networks · Computer Science 2025-12-08 Iiro Kumpulainen , Nikolaj Tatti

We study Clustered Planarity with Linear Saturators, which is the problem of augmenting an $n$-vertex planar graph whose vertices are partitioned into independent sets (called clusters) with paths - one for each cluster - that connect all…

Data Structures and Algorithms · Computer Science 2024-10-01 Giordano Da Lozzo , Robert Ganian , Siddharth Gupta , Bojan Mohar , Sebastian Ordyniak , Meirav Zehavi

Near ubiquitous mobile computing has led to intense interest in dynamic graph theory. This provides a new and challenging setting for algorithmics and complexity theory. For any graph-based problem, the rapid evolution of a (possibly…

Computational Complexity · Computer Science 2012-02-20 Arnaud Casteigts , Bernard Mans , Luke Mathieson

Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical…

Formal Languages and Automata Theory · Computer Science 2026-01-06 Omid Khormali , Ghaya Mtimet , Nuh Aydin

The Metric Embedding problem takes as input two metric spaces $(X,D_X)$ and $(Y,D_Y)$, and a positive integer $d$. The objective is to determine whether there is an embedding $F:X \rightarrow Y$ such that $d_{F} \leq d$, where $d_{F}$…

Computational Geometry · Computer Science 2018-06-27 Arijit Ghosh , Sudeshna Kolay , Gopinath Mishra

Word and graph embeddings are widely used in deep learning applications. We present a data structure that captures inherent hierarchical properties from an unordered flat embedding space, particularly a sense of direction between pairs of…

Computation and Language · Computer Science 2024-11-12 Xingzhi Guo , Steven Skiena

We consider string matching with variable length gaps. Given a string $T$ and a pattern $P$ consisting of strings separated by variable length gaps (arbitrary strings of length in a specified range), the problem is to find all ending…

Data Structures and Algorithms · Computer Science 2011-10-14 Philip Bille , Inge Li Goertz , Hjalte Wedel Vildhøj , David Kofoed Wind

Fast exact algorithms are known for Hamiltonian paths in undirected and directed bipartite graphs through elegant though involved algorithms that are quite different from each other. We devise algorithms that are simple and similar to each…

Data Structures and Algorithms · Computer Science 2025-12-10 V. Arvind , Srijan Chakraborty , Samir Datta , Asif Khan

When the inverse of an algorithm is well-defined -- that is, when its output can be deterministically transformed into the input producing it -- we say that the algorithm is invertible. While one can describe an invertible algorithm using a…

Programming Languages · Computer Science 2022-12-07 Joachim Tilsted Kristensen , Robin Kaarsgaard , Michael Kirkedal Thomsen

Finding Hamitonian Cycles in square grid graphs is a well studied and important questions. More recent work has extended these results to triangular and hexagonal grids, as well as further restricted versions. In this paper, we examine a…

Computational Complexity · Computer Science 2018-05-09 Kaiying Hou , Jayson Lynch

In phylogenetics, a central problem is to infer the evolutionary relationships between a set of species $X$; these relationships are often depicted via a phylogenetic tree -- a tree having its leaves univocally labeled by elements of $X$…

Data Structures and Algorithms · Computer Science 2016-04-12 Julien Baste , Christophe Paul , Ignasi Sau , Celine Scornavacca

Lin and Lin have recently shown how starting with a classical query algorithm (decision tree) for a function, we may find upper bounds on its quantum query complexity. More precisely, they have shown that given a decision tree for a…

Quantum Physics · Physics 2020-03-04 Salman Beigi , Leila Taghavi

The VertexCover problem is proven to be computationally hard in different ways: It is NP-complete to find an optimal solution and even NP-hard to find an approximation with reasonable factors. In contrast, recent experiments suggest that on…

Data Structures and Algorithms · Computer Science 2020-02-20 Thomas Bläsius , Philipp Fischbeck , Tobias Friedrich , Maximilian Katzmann

Given a text $T$ of length $n$ and a pattern $P$ of length $m$, the string matching problem is a task to find all occurrences of $P$ in $T$. In this study, we propose an algorithm that solves this problem in $O((n + m)q)$ time considering…

Data Structures and Algorithms · Computer Science 2020-04-14 Satoshi Kobayashi , Diptarama Hendrian , Ryo Yoshinaka , Ayumi Shinohara

Probabilistic distributions over spanning trees in directed graphs are a fundamental model of dependency structure in natural language processing, syntactic dependency trees. In NLP, dependency trees often have an additional root…

Computation and Language · Computer Science 2022-07-11 Ran Zmigrod , Tim Vieira , Ryan Cotterell

Graph embedding, especially as a subgraph of a grid, is an old topic in VLSI design and graph drawing. In this paper, we investigate related questions concerning the complexity of embedding a graph $G$ in a host graph that is the strong…

Computational Geometry · Computer Science 2026-01-21 Therese Biedl , David Eppstein , Torsten Ueckerdt

Define a building blocks set to be a collection of n cubes (each with six sides) where each side is assigned one letter and one color from a palette of m colors. We propose a novel problem of assigning letters and colors to each face so as…

Artificial Intelligence · Computer Science 2025-01-30 Ricardo Salazar , Shahrzad Jamshidi

The Strong Exponential Time Hypothesis (SETH) is a standard assumption in (fine-grained) parameterized complexity and many tight lower bounds are based on it. We consider a number of reasonable weakenings of the SETH, with sources from (i)…

Computational Complexity · Computer Science 2025-10-14 Michael Lampis