The tag has no usage guidance.

learn more… | top users | synonyms

-4
votes
1answer
92 views

What is the relationship between tail recursion with other recursions? [closed]

I'm rather confused by the recursion theory. From the link, the recursion theory was formed by Dedekind, Gödel and some other famous mathematicians. There are the following types of recursion. But ...
6
votes
1answer
76 views

Growth rate of primitive recursive functions

Pardon me for asking a question whose answer is surely well-known, but is beyond my expertise: Q. Is the growth rate of each primitive recursive function $f(n)$ bounded by some exponential $O(c^n)$...
2
votes
0answers
128 views

Is there a closed form equation for the back-propagation equation update in Neural Networks?

I was trying to understand if there was a way to express the back-propagation equations from neural networks in a better way as to understand them better. I believe the equations can be written in a ...
1
vote
2answers
331 views

Primitive Recursive Isomorphisms

What is the relationship between invertible primitive recursive functions (that is, a primitive recursive function that is an isomorphism) and all primitive recursive functions? Can every primitive ...
5
votes
1answer
205 views

How to describe the set of “all computable functions” using Coq?

Would the set of all computable functions be just the set of all maps of the form f : forall n : nat, P n -> nat where ...
3
votes
0answers
97 views

Computational complexity of some recursive property

I am currently working on a property of graphs defined as follows. A graph $G$ is said to be OL-AP iff one of the following two conditions holds: $G$ is an isolated vertex. $G$ is connected and for ...
9
votes
6answers
2k views

Removing recursion - a look into theory behind the scenes

I am new to this site and this question is certainly not research level - but oh well. I have a little background in software engineering and almost none in CSTheory, but I find it attractive. To make ...
8
votes
2answers
790 views

How to analyze a randomized recursive algorithm?

Consider the following algorithm, where $c$ is a fixed constant. ...