Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jack Jie Dai

dblp:97/6283 · DBLP profile ↗
← Back
6ranked-venue papers
6as first author
0since 2021 · last 2009
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 6 · 6 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
3 papers
Computational complexity · 82% Information theory · 18%

Topics — the 4 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity
complexity classes
0.012001
A Stronger Kolmogorov Zero-One Law for Resource-Bounded Measure · CCC 2001
Computational complexity › algorithmic randomness
resource-bounded dimension
0.012001
Finite-State Dimension · ICALP 2001
Computational complexity › structural complexity
resource-bounded measure
0.012001
A Stronger Kolmogorov Zero-One Law for Resource-Bounded Measure · CCC 2001
Computational complexity › reduction
polynomial-time reduction
0.011999
Query Order and NP-Completeness · CCC 1999

Methods — techniques the papers use, named apart from their topics

outer measure · 0.0probability measure · 0.0p-generic language · 0.0
YearPublicationVenuePosition
2009 An Outer-Measure Approach for Resource-Bounded Measure
Jack Jie Dai
Theory Comput. Syst.1
2004 Finite-state dimension
Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo
Theor. Comput. Sci.1
2003 A stronger Kolmogorov zero-one law for resource-bounded measure
Jack Jie Dai
Theor. Comput. Sci.1
2001 A Stronger Kolmogorov Zero-One Law for Resource-Bounded Measure
abstract
Resource-bounded measure has been defined on the classes E, E/sub 2/, ESPACE, E/sub 2/SPACE, REC, and the class of all languages. It is shown here that if C is any of these classes and X is a set of languages that is closed under finite variations and has outer measure less than 1 in C, then X has measure 0 in C. This result strengthens Lutz's resource-bounded generalization of the classical Kolmogorov zero-one law. It also gives a useful sufficient condition for proving that a set has measure 0 in a complexity class.
Jack Jie Dai
CCC1
2001 Finite-State Dimension
Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo
ICALP1
1999 Query Order and NP-Completeness
abstract
The effect of query order on NP-completeness is investigated. A sequence D/spl I.oarr/=(D/sub 1/,...,D/sub k/) of decision problems is defined to be sequentially complete for NP if each D/sub i//spl isin/NP and every problem in NP can be decided in polynomial time with one query to each of D/sub 1/,...,D/sub k/ in this order. It is shown that, if NP contains a language that is p-generic in the sense of Ambos-Spies, Fleischhack, and Huwig (1987), then for every integer k/spl ges/2, there is a sequence D/spl I.oarr/=(d/sub 1/,...,D/sub k/) such that D is sequentially complete for NP, but no nontrivial permutation (D(i/sub 1/),...,D(i/sub k/)) of D/spl I.oarr/ is sequentially complete for NP. It follows that such a sequence D/spl I.oarr/ exists if there is any strongly positive, p-computable probability measure /spl nu/ such that "/sub p/(NP)/spl ne/0.
Jack Jie Dai, Jack H. Lutz
CCC1