Find link

language:

Find link is a tool written by Edward Betts.

searching for Constructible function 2 found (9 total)

Behrend function (174 words) [view diff] exact match in snippet view article find links to article

Behrend function of a scheme X, introduced by Kai Behrend, is a constructible function νX:X→Z{\displaystyle \nu _{X}:X\to \mathbb {Z} } such that if X

NTIME (414 words) [view diff] exact match in snippet view article find links to article

NTIME is also related to DSPACE in the following way. For any time constructible function t(n), we have N T I M E ( t ( n ) ) ⊆ D S P A C E ( t ( n ) ) {\displaystyle