Abstract | ||
---|---|---|
We define notions of resource-bounded continuity and sequentiality for type-two functionals with total inputs, and prove that in the resource-bounded model there are continuous functionals which cannot be efficiently simulated by sequential functionals. We also show that for some naturally defined classes of continuous functionals an efficient simulation is possible. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1145/507382.507387 | ACM Transactions on Computational Logic (TOCL) |
Keywords | DocType | Volume |
sequential computation,resource-bounded continuity,higher-order complexity,total input,resource-bounded model,sequential functionals,type-two functionals,decision trees,efficient simulation,continuous functionals,simulation,mathematics,boolean functions,computer science,computer simulation,higher order,computability,computational modeling,history,computational complexity,computer languages,decision tree | Conference | 3 |
Issue | Citations | PageRank |
3 | 2 | 0.39 |
References | Authors | |
11 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Samuel R. Buss | 1 | 956 | 84.19 |
Bruce M. Kapron | 2 | 308 | 26.02 |