Questions tagged [computer-science]
All mathematical questions about computer science, including theoretical computer science, formal methods, verification, and artificial intelligence. For questions about Turing computability, please use the (computability) tag instead. For numerical analysis, use the (numerical-methods) tag. For questions from scientific computing, use (computational-mathematics).
5,579
questions
0
votes
0
answers
10
views
Unknown or hidden generator under exponentiation of singular finite matrices digital signature attempt.
My question is, in the following signature scheme, if there's any algebraic attack to apply to break it. I ask here in math.se as it's mostly algebraic, and has raised no interest in crypto.se
$\...
-2
votes
0
answers
31
views
Prove that $A=\{a^nb^nc^md^m | \geq 0\}$ Is that grammar ambiguous or not? [closed]
Give a context-free grammar that generates the language
$A=\{a^nb^nc^md^m | \geq 0\}$
Is that grammar ambiguous? Why or why not?
-1
votes
0
answers
30
views
Generate trajectory between 2 points to achieve a desired momentum
I have 2 points and I need to find a path between them to maximize momentum.
You can consider this as a trajectory of a Racquet hitting a tennis ball.
Current_Trajectory
In the image above, the ...
2
votes
0
answers
37
views
Maximum of $M$ random variables which are the maximum of $m$ normal distributed variables.
Let $X_{i,1}, \dots, X_{i, m}$ be a collection of normally distributed random variables $\mathcal{N}(0,1)$, and let $X_{i, (m)} = \max_{j\leq m}X_{i, j}$. I know from extreme value theory that $X_{i, ...
6
votes
3
answers
799
views
Math heavy programming challenge book.
I know how to code and some math. I love Project Euler because it combines both math and programming. Please recommend some math heavy programming challenge books as I can't seem to find any on Google....
1
vote
0
answers
20
views
Delaunay Triangulation but in 3D
I guess this is the right place to ask this question. Let me tell you why did I ask this question, so I have a pointcloud data that I want to calculate it's volume, I know that pointcloud lib has ...
-1
votes
0
answers
41
views
Is the language $L=\{0^{m}1^{n}0^{m\cdot n}\text{ with }m,n \geq 0\}$ context free? [closed]
I can't prove the language $L=\{0^{m}1^{n}0^{m\cdot n}\text{ with }m,n \geq 0\}$ is non-context free by using the pumping lemma. But at the mean time, I can't find a CFG that can generate it. Can ...
-1
votes
0
answers
32
views
Fixed quantities in Big O notation
Consider the following description of a random graph generation algorithm with parameters $n$ (number of vertices) and $m$ (number of edges).
All iterations add an edge except those where a ...
-1
votes
0
answers
20
views
Finding minimal injective projection [closed]
Suppose there is a set of axes $S = \{X_0, \ldots , X_n\}$ and a set of points $P = \{p_0, \ldots , p_m \}$;
A projection $f: S \stackrel{f}{\longmapsto} s$ is called minimal if $s$ has the fewest ...
1
vote
0
answers
67
views
What does "any polynomial dominates any logarithm" mean here?
My textbook states that
any polynomial dominates any logarithm: $n$ dominates $(\log n)^3$. This also means, for example, that $n^2$ dominates $n\log n$
However, it wasn't clear to me what the ...
2
votes
3
answers
87
views
Why does $\lim _{x \rightarrow \infty} \frac{f(x)}{g(x)} = L \implies f = \Theta(g)$ not hold when $L=0$?
I am currently seeing a contradiction from my use of the "theorem"
For any $2$ functions $f : \mathbb{Z}^{+} \rightarrow \mathbb{R}^{+}$ and $g: \mathbb{Z}^{+} \rightarrow \mathbb{R}^{+}$, ...
0
votes
0
answers
37
views
Proving there exist $g,h$ where $g = \Theta(h)$ and $f(x) = g(x) - h(x)$ for a function $f$
I am trying to prove that for any function $f : \mathbb{Z}^{+}\rightarrow \mathbb{R}^{+}$, there exist $2$ functions $g : \mathbb{Z}^{+}\rightarrow \mathbb{R}^{+}$ and $h : \mathbb{Z}^{+}\rightarrow \...
0
votes
1
answer
91
views
Must both conditions of operator "OR ($\vee$)" be defined in mathematics? [closed]
I am in the process of writing an article and to explain my question, am providing to you a smaller instance of my wondering so that you can understand it, suppose that $A=\{0,1\}$ and that I define ...
-5
votes
1
answer
49
views
Question about concrete mathematics double summation derivation [closed]
How did the author in the image convert the summation into a double summation? I can see how the double summation turns into the sum of squared integers but how would you go about converting the sum ...
0
votes
1
answer
54
views
Proving $f + c = O(f)$ doesn't always hold- where is my mistake?
I seem to have proved the following statement false: that for any function $f : \mathbb{Z}^{+}\rightarrow \mathbb{R}^{+}$ and any $c \in \mathbb{R}, f +c = O(f)$, where for any $2$ functions $f : \...