Sciweavers

3818 search results - page 84 / 764
» Word Problems on Compressed Words
Sort
View
DAM
2007
103views more  DAM 2007»
15 years 4 months ago
The stable fixtures problem - A many-to-many extension of stable roommates
We study a many-to-many generalisation of the well-known stable roommates problem in which each participant seeks to be matched with a number of others. We present a linear-time a...
Robert W. Irving, Sandy Scott
CORR
2002
Springer
113views Education» more  CORR 2002»
15 years 4 months ago
Generic-case complexity, decision problems in group theory and random walks
We give a precise definition of "generic-case complexity" and show that for a very large class of finitely generated groups the classical decision problems of group theor...
Ilya Kapovich, Alexei G. Myasnikov, Paul Schupp, V...
DAM
2002
280views more  DAM 2002»
15 years 4 months ago
On the Frame-Stewart algorithm for the multi-peg Tower of Hanoi problem
It is proved that seven different approaches to the multi-peg Tower of Hanoi problem are all equivalent. Among them the classical approaches of Stewart and Frame from 1941 can be ...
Sandi Klavzar, Uros Milutinovic, Ciril Petr
ORL
2007
102views more  ORL 2007»
15 years 4 months ago
Using critical sets to solve the maximum independent set problem
A method that utilizes the polynomially solvable critical independent set problem for solving the maximum independent set problem on graphs with a nonempty critical independent se...
Sergiy Butenko, Svyatoslav Trukhanov
AISC
2006
Springer
15 years 8 months ago
The Confluence Problem for Flat TRSs
We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each ...
Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacq...