Sciweavers

18 search results - page 2 / 4
» tamc 2007
Sort
View
TAMC
2007
Springer
13 years 11 months ago
A Note on the Feasibility of Generalized Universal Composability
Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao
TAMC
2007
Springer
13 years 11 months ago
Working with the LR Degrees
We say that A ≤LR B if every B-random number is A-random. Intuitively this means that if oracle A can identify some patterns on some real γ, oracle B can also find patterns on ...
George Barmpalias, Andrew E. M. Lewis, Mariya Ivan...
TAMC
2007
Springer
13 years 11 months ago
The Undecidability of the Generalized Collatz Problem
The Collatz problem, widely known as the 3x + 1 problem, asks whether or not a certain simple iterative process halts on all inputs. We build on earlier work by J. H. Conway, and ...
Stuart A. Kurtz, Janos Simon
TAMC
2007
Springer
13 years 11 months ago
Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems
Abstract. We develop a refinement of a forbidden submatrix characterization of 0/1-matrices fulfilling the Consecutive Ones Property (C1P). This novel characterization finds app...
Michael Dom, Jiong Guo, Rolf Niedermeier
TAMC
2007
Springer
13 years 11 months ago
Synchronization of Some DFA
A word w is called synchronizing (recurrent, reset, directable) word of deterministic finite automaton (DFA) if w brings all states of the automaton to an unique state. ˇCerny co...
A. N. Trahtman