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

Scott Diehl

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

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

Theory of computation · 4 · 4 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
2 papers
Computational complexity · 86% Automated reasoning and model checking · 14%

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

TopicWeightPapersLastEvidence papers
Computational complexity › complexity classes
polynomial hierarchy
0.122006
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · ICALP 2005
Computational complexity › time-space tradeoffs
time-space lower bounds
0.122006
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · ICALP 2005
Computational complexity
circuit complexity
0.112006
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006
Computational complexity › structural complexity › complexity hierarchies
linear time hierarchy
0.112006
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006
Automated reasoning and model checking › satisfiability
quantified boolean formula
0.112006
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · SIAM J. Comput. 2006
Computational complexity
randomized computation
0.012005
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines · ICALP 2005

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

simulation arguments · 0.1diagonalization · 0.1
YearPublicationVenuePosition
2009 An Improved Time-Space Lower Bound for Tautologies
Scott Diehl, Dieter van Melkebeek, R. Ryan Williams
COCOON1
2007 Lower Bounds for Swapping Arthur and Merlin
Scott Diehl
APPROX-RANDOM1
2006 Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines
abstract
We establish the first polynomial‐strength time‐space lower bounds for problems in the linear‐time hierarchy on randomized machines with two‐sided error. We show that for any integer $\ell > 1$ and constant $c < \ell$, there exists a positive constant d such that QSAT$_{\ell}$ cannot be computed by such machines in time $n^c$ and space $n^d$, where QSAT$_{\ell}$ denotes the problem of deciding the validity of a quantified Boolean formula with at most $\ell - 1$ quantifier alternations. Moreover, d approaches 1/2 from below as c approaches 1 from above for $\ell = 2$, and d approaches 1 from below as c approaches 1 from above for $\ell \ge 3$. In fact, we establish the stronger result that for any constants $a \le 1$ and $c < 1 + (\ell - 1)a$, there exists a positive constant d such that linear‐time alternating machines using space $n^a$ and $\ell - 1$ alternations cannot be simulated by randomized machines with two‐sided error running in time $n^c$ and space $n^d$, where d approaches $a/2$ from below as c approaches 1 from above for $\ell = 2$, and d approaches a from below as c approaches 1 from above for $\ell \ge 3$. Corresponding to $\ell = 1$, we prove that there exists a positive constant d such that the set of Boolean tautologies cannot be decided by a randomized machine with one‐sided error in time $n^{1.759}$ and space $n^d$. As a corollary, this gives the same lower bound for satisfiability on deterministic machines, improving on the previously best known such result.
Scott Diehl, Dieter van Melkebeek
SIAM J. Comput.1
2005 Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines
Scott Diehl, Dieter van Melkebeek
ICALP1