Resource-bounded continuity and sequentiality for type-two functionals
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.
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.
Resource-bounded continuity and sequentiality for type-two functionals
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.
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.
Showing the best results for this search. See all results