The notation tag has no wiki summary.
5
votes
0answers
128 views
Big O notation for “modulo a polynomial”
Is there a notation that would be like the Big O notation (let's say Big P), but with the following definition:
$f=P(g)$ if there exists a polynomial p such that for n large enough, $f\leq p(g(n))$?
...
6
votes
0answers
120 views
Names for the left- and right-hand sides of a grammar production?
Problem
I'm writing a document where I have to describe some of the properties of a type system as they relate to a particular formal grammar.
I was trying to refer to the right-hand-sides of the ...
3
votes
1answer
279 views
Formal Representation of Haskell Data-Types
I come from Haskell programming and currently writing my (Diploma/Master) thesis. I'm having trouble finding a formal/mathematical notation for a Haskell data-type.
The Haskell data type is:
...
1
vote
1answer
221 views
Worst-case asymptotic-complexity of the Set-cover problem?
What's the worst-case asymptotic-complexity of the Set-cover problem in Big O notation?
I've been developing some novel techniques to try and solve this problem but am having trouble finding the ...
10
votes
1answer
172 views
Notation for a Conditional Hamiltonian Evolution Operator
I am reading Harrow, Hassidim, and Lloyd's paper Quantum algorithms for linear systems of equations. On the third page of that paper, they write
Next we apply the conditional Hamiltonian evolution ...
1
vote
3answers
365 views
Is there a common mathematical symbology for collections?
Preface: So, it was suggested in 'Programmers' that I ask this over here.
I am being asked to define several of my algorithms in mathematical terms to describe my work to a customer. I trying to ...
