# 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).

3,946 questions
0answers
27 views

### Has there been any mathematical research relating to the natural semantic metalanguage theory?

This topic was called to my attention in an answer to my question in the philosophy community. https://philosophy.stackexchange.com/q/63580/35343 Though mathematics is not a "natural language", the ...
0answers
15 views

### Update an existing route with a set of pedestrian crossings

I am trying to route though a set of pedestrian crossings. I ask a route to some location service to get a default route, the problem with that route is that it does not include some waypoints (...
0answers
25 views

### Number of eulerian paths in an undirected connected graph between two given vertices?

Given a undirected connected graph G(V, E). Provide an optimal algorithm, which finds the number of eulerian paths between vertex 1 and vertex |V|. I was thinking about matrix multiplication, but I ...
0answers
20 views

### Check if pair of numbers is in set of 4 numbers

I have a list of numbers 1 to 23, i need a very fast way of checking if any two numbers (order matters) (it could be same number twice) is in a set of 4 numbers. e.g ...
0answers
33 views

### Derive a bound for a tree with node having k left branches

We are given a binary tree of maximum level n and where each node can have a maximum $k$ left directed edge. $n$ is always greater than or equal to $k$. I want to know a bound on the number of nodes ...
0answers
51 views

1answer
25 views

### Converting IF condition to a mathematical equation

I am trying the formulate if conditions. i=1...10 p=1...5 j=1...50 k=1...7 C_ijpk=b_ik+LC_ik+CC_ik ∀ijt k∈ {1,2,3} I have three different LC_ik values and ...
1answer
33 views

### Red-Black-Tree Insertion & Deletion Complexity proof

I'm struggling with two propositions in my algorithms book. I'm unsure how to proof this. The insertion is abolutely logical that it takes up to O(log(n)) recoloring and at most one restructuring (as ...
1answer
59 views

0answers
19 views

### Asymptotic Big-Omega Proof

I wrote a different Big-O proof from what my professor wrote (which involved splitting up the inequality on the right of the implication into three parts and then proving each part individually). Can ...