Sciweavers

18 search results - page 2 / 4
» tamc 2007
Sort
View
TAMC
2007
Springer
14 years 3 months ago
A Note on the Feasibility of Generalized Universal Composability
Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao
TAMC
2007
Springer
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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