# All Questions

33,593 questions
Filter by
Sorted by
Tagged with
14 views

### Why does $L = \{ 0^n 1^n \space | \space n \in \mathbb{N} \}$ belong to $\mathcal{P}$?

My professor said that the non-regular language $L_{1} = \{ 0^n 1^n \space | \space n \in \mathbb{N} \}$ belongs to $\mathcal{P}$. I do understand that all regular languages belong to $\mathcal{P}$ as ...
5 views

### Using Lean Theorem Prover from command line

I have read this link about using Lean: https://leanprover.github.io/reference/using_lean.html and am able to use Lean with VSCode, but I still have questions about using Lean from the command line. 1....
13 views

17 views

24 views

### Dijkstra without decrease key

I was reading though this paper, which suggests using dijkstra without edge relaxation, but to rather to just insert new nodes, cf page 16 for the pseudo code. But to me the code looks wrong. I think ...
35 views

### Validity of self refering state with linear temporal logic 'X' connective

Lets say we have model like the one above or a similar one where a node refers back to itself. Now let's say if I want to know the validity of the formula: $M, s_2 \models Xr$ Will this be valid ...
12 views

### I need help with Converting Polynomials into Binary form [closed]

X^7 + x^4 + x^4 + x + 1 i don't know what to do with double x^4 help pls, and sry for my english
9 views

### How can you track if a gmail email has been opened or not [closed]

I've been trying to setup a email tracking system but it seems like nothing I've tried so far works with gmail. I've tried using google analytics but even google says it won't work with gmail. So I ...
8 views

### Improving Turing Machine for Eulerian Path Problem [closed]

I'm trying to construct a determinististic one-tape Turing Machine for an Eulerian Path (https://en.wikipedia.org/wiki/Eulerian_path). I have written the one below as a starting point, but would like ...
27 views

### What is the relation between a programming language and the language of its input?

I find some references say that all the features of programming language fall within what can be captured by context-sensitive grammars. In fact, no programming language known to humankind anything ...
30 views

### If any problem in NP is not in P then NP C ∩ P = ∅

If any problem in NP is not in P then NPC ∩ P = ∅ The proof is: We have $X ∈ NP$ and $X \not\in P$. Assume $Y ∈ NP C ∩ P$. As $X ≤_P Y$ we have $X ∈ P$, which is a contradiction. I have not clear ...
10 views

### Probability of colisson for classes of hash functions

I am going through some old exams in one of my courses, and I don't have acces to solutions, and found a exercise I am not sure how to tackle. I am not looking for the answer but some help/guidance if ...
18 views

### Generation of pseudorandom floating point numbers on floating point vector DSP

I am working on a custom IEEE754 floating point vector signal processor with 64 cores and need to generate pseudo-random floating point numbers at high rate. The only numerical operation available to ...
19 views

### How to use machine learning algorithm for different input data? [closed]

Yes, You heard it right. My title is "How to use a machine learning algorithm for different input data?", For example, we have an algorithm called "Email spams detector". Okay, so how to apply the ...
19 views

### Question for “Only if” part for the theorem “A language is Turing-recognizable iff some enumerator enumerates it.”

I am trying to prove the theorem A language is Turing-recognizable iff some enumerator enumerates it. I proved the "if" part, but I have no idea of proving the "only if" part, so I searched a ...
5 views

### CPLEX anytime results [closed]

I am working on an NP-Complete problem. When I ran the CPLEX, it gives me only the final solution. I am asking for the help so that I can print the interim results with the time. I am using Python v....
21 views

### Design a NFA and DFA which accepts: (1+01)*(0+00)(1+10)*

This is the DFA I came up with and my teacher said it was wrong without explaining why. I couldn't find the mistake. Any help will be appreciated
23 views

### How to solve the following problem by using Gaussian elimination with partial pivoting (A=PLU)?

****The Question is here***** (in the link) Given a nonsingular matrix A $\in$ $R^*(nxn)$, how would you solve the following problems efficiently using Gaussian elimination with partial pivoting (the ...
25 views

### Proof of Fundamental Lower Bound on Regret

Online Convex Optimization sees optimization as a continuous process in which the algorithm learns new aspects of the problem and improves upon. Every iteration consists of the player making a ...
57 views

### What is the problem in this Turing Machine that describes $a^nb^{2^n}$?

So I have tried to describe a Turing machine that describes the said language with the following ...
60 views

### Minimizing the distance from a set of nodes in a tree

We have a binary tree with n nodes and a number k which signifies the number of nodes that we put on a set. What is the optimal algorithm to select a set consisting of k nodes, that minimizes the ...
38 views

### A question about Pipeline Cycle

This is my question, I am so confused with my answer, looking for help! This is my answer: Explanation: At the third instruction, instruction is waiting before ID, thus, no stalling is needed. (it ...
19 views

### Deleted Partition and backing up data on Windows [closed]

so in order to make partition to install Ubuntu I have deleted my whole partition on hard disk and I thought all my data was lost. Then I come around notion that my data should be there even if I ...
14 views

### The rotation matrix of a stereo pair with the cameras are horizontally aligned

Please forgive my ignorance on this. It seems like very soon I will have a D'OH moment and it will click. In the meantime, I am having trouble thinking about the joint rotation-translation matrix of ...
6 views

### Contingency Table Confusion NLP

Hello for the contingency table: [true positive, false negative, false positive, true negative]. I am having a hard time remembering the difference between these terms because all the terms are ...
15 views

### Complexity of minimizing the maximum inter-cluster distance?

Given $n$ non overlapping points $x_i \in \mathbb{Q}$, and an integer $k\geq 2$, what is known about the complexity of finding $k$ means ($a_1, a_2, ..., a_k$) that minimize the maximum inter cluster ...
28 views

### Partitioning bag of sets such that each set in a group has a unique element

Suppose I have a bag (or multiset) of sets $S = \{s_1, s_2, \dots, s_n\}$ and $\emptyset\notin S$. I wish to partition $S$ into groups of sets such that within each group each set has at least one ...
27 views

### How to formally prove the dependencies of a computer malware?

I'm in the process of the writing a thesis. A small part of it is to prove that certain malware have certain dependencies which must first be satisfied before they are successful in infecting the host....
16 views

### Rackoff's coverability bounds in case the addition vectors of VAS and the target vector are from {-1, 0, +1}?

In "The covering and boundedness problems for vector addition systems", Rackoff considers a VAS $(v,A)$ of dimension $k$ and size $n$ and derives an upper bound of $2^{2^{(\log_2 3)n(\log_2 n)}}$ on ...