Corpus ID: 236425582

Filling Crosswords is Very Hard

  title={Filling Crosswords is Very Hard},
  author={Laurent Gourv{\`e}s and Ararat Harutyunyan and Michael Lampis and Nikolaos Melissinos},
We revisit a classical crossword filling puzzle which already appeared in Garey&Jonhson’s book. We are given a grid with n vertical and horizontal slots and a dictionary with m words and are asked to place words from the dictionary in the slots so that shared cells are consistent. We attempt to pinpoint the source of intractability of this problem by carefully taking into account the structure of the grid graph, which contains a vertex for each slot and an edge if two slots intersect. Our main… 

Figures from this paper


Constructing Crossword Grids : Use of Heuristics vs Constraints
This paper reports on the construction of crossword puzzles, by lling in dense blank grids (consisting mostly of white squares) until all the white squares contain letters and all across/down words
On Computer Integrated Rationalized Crossword Puzzle Manufacturing
The crossword manufacturing process is considered in more detail, investigating a two-step approach, first generating a mask, which is an empty crossword puzzle skeleton, and then filling the mask with words from a given dictionary to obtain a valid crossword.
Solving Crosswords with PROVERB
An interactive version of the candidate-generation process is made available via the web, and people are given an opportunity to go head-to-head against PROVERB in solving complete puzzles.
Which problems have strongly exponential complexity?
  • R. Impagliazzo, R. Paturi, F. Zane
  • Computer Science, Mathematics
    Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
  • 1998
For several NP-complete problems, there have been a progression of better but still exponential algorithms. In this paper we address the relative likelihood of sub-exponential algorithms for these
Search Lessons Learned from Crossword Puzzles
An experimental comparison of various search techniques is made and it is agreed that directional arc consistency is better than path-consistency or other forms of lookahead, and that backjumping is to be preferred to backtracking.
Automatic Generation of Crossword Puzzles
The architecture of WebCrow-generation is presented, a system that is able to generate crosswords with no human intervention, including clue generation and crossword compilation, using state-of-the-art natural language processing techniques.
Crossword Puzzles as a Constraint Problem
New results in crossword composition are presented, showing that the program significantly outperforms previous successful techniques in the literature and emphasizes phase transition phenomena.
Computers and Intractability: A Guide to the Theory of NP-Completeness
Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the problem of optimal compression of propositional Horn production rule knowledge
Vertex cover might be hard to approximate to within 2-epsilon
A stronger result is shown, namely, based on the same conjecture, vertex cover on k-uniform hypergraphs is hard to approximate within any constant factor better than k.
The Crossword Puzzle as a Teaching Tool
In courses such as the History of Psychology, it is necessary to learn a variety of relationships, events, and sequences in addition to the less-than-pleasant task of having to pair certain key