#### Filter Results:

- Full text PDF available (27)

#### Publication Year

1991

2015

- This year (0)
- Last 5 years (2)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Wojciech Plandowski
- ESA
- 1994

- Wojciech Plandowski
- J. ACM
- 1999

We prove that satisfiability problem for word equations is in PSPACE.

- Maxime Crochemore, Artur Czumaj, +4 authors Wojciech Rytter
- Algorithmica
- 1992

We show how to speed up two string-matching algorithms: the Boyer-Moore algorithm (BM algorithm), and its version called here the reverse factor algorithm (RF algorithm). The RF algorithm is based on factor graphs for the reverse of the pattern. The main feature of both algorithms is that they scan the text right-to-left from the supposed right position of… (More)

- Wojciech Plandowski, Wojciech Rytter
- Jewels are Forever
- 1999

We consider the complexity of problems related to 2-dimensional texts (2d-texts) described succinctly. In a succinct description, larger rectangular sub-texts are deened in terms of smaller parts in a way similar to that of Lempel-Ziv compression for 1-dimensional texts, or in shortly described strings as in 9], or in hierarchical graphs described by… (More)

- Wojciech Plandowski
- STOC
- 2006

We present the first DEXPTIME algorithm which solves word equations i.e. finds a finite representation of all solutions of an equation in a free semigroup. We show how to use our approach to solve two new problems in PSPACE which deal with properties of the solution set of a word equation:<ul><li>deciding finiteness of the solution set,</li><li>deciding… (More)

- Wojciech Plandowski, Wojciech Rytter
- ICALP
- 1998

One of the most intricate algorithms related to words is Makanin's algorithm solving word equations. The algorithm is very complicated and the complexity of the problem of solving word equations is not well understood. Word equations can be used to deene various properties of strings, e.g. general versions of pattern-matching with variables. This paper is… (More)

- Maxime Crochemore, Artur Czumaj, Leszek Gasieniec, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter
- Inf. Process. Lett.
- 1999

The multi-pattern matching problem consists in finding all occurrences of the patterns from a finite set X in a given text T of length n. We present a new and simple algorithm combining the ideas of the Aho–Corasick algorithm and the directed acyclic word graphs. The algorithm has time complexity which is linear in the worst case (it makes at most 2n symbol… (More)

- Wojciech Plandowski
- STOC
- 1999

We prove that the length of a shortest solution of a word equation of length n can bounded by a double exponential function in n. This applied to the algorithm in [7] proves that the problem of solvability of word equations is in NEXPTIME. The best previously known bound for the problem was EXPSPACE 131.