Newest Questions
50,173 questions
0
votes
0
answers
7
views
Decideability of case coverage for Pumping Lemma
When trying to prove that a language $L$ is not regular, we often use pumping lemma for regular languages to reach a contradiction.
When doing so, we take a specific word $w$, and then consider ...
-1
votes
0
answers
29
views
Need help !!! with a numerical scaling calculation
I'm a student trying to run some numerical simulations based on a complex scaling law, but I'm getting some results that feel "too specific." I suspect I might be making a mistake in my ...
0
votes
0
answers
21
views
AND for ternary logic in linear programming
In Express boolean logic operations in zero-one integer linear programming (ILP)
The definition for $AND(x,y)$ is given as $\max(0,x+y-1)\leq AND(x,y)\leq\min(1,x,y)$.
In we have $x,y\in\{-1,0,+1\}$ ...
0
votes
0
answers
15
views
$\mathsf{NP^{BQP[1]}}$ vs $\mathsf{NP^{BQP[poly(n)]}}$
I am reading a lecture note on randomized complexity theory, which explains why the following result holds.
$$\mathsf{NP^{BPP}=NP^{BPP[1]}}.$$
Comment 1: I understand this implies multiple (adaptive ...
0
votes
0
answers
23
views
Why doesn’t Lamport’s Byzantine Generals algorithm break under conflicting messages? (m=2, n=7)
I’m trying to understand the correctness of the OM(2) algorithm in the Byzantine Generals problem (with 7 generals, up to 2 traitors).
Assume the commander is loyal, and two lieutenants are traitors: ...
-1
votes
0
answers
22
views
algorithm vs decidable versus recognisable
I was reading sipser’s book and I know by the church turing thesis that during machines are equivalent to informal descriptions of algorithms.
In chapter 4, we are looking at decidability, suppose we ...
2
votes
0
answers
21
views
Real-world usecase of roundToIntegralExact
The IEEE-754 standard specifies several operations that 'rounds' fractional numbers to integers (contrasting conversions to integer data types, which is not the focus of this Q).
There are several ...
0
votes
0
answers
11
views
What are some good resources available for AP Computer Science A or similar-difficulty practice testing other than CollegeBoard?
I'm trying to practice and drill my weaknesses in AP CSA before the exam comes up in a few weaks. Since it is considered a college level computer science class, does anyone who has experience with ...
2
votes
2
answers
72
views
What makes a language not context free?
Let $L_1 = \{ww^{R} \mid w \in \{0,1\}^{*}\}$ where $w^{R}$ denotes the reverse of the string $w$. Now consider language $L_2 = \{wtw^{R} \mid w,t \in \{0,1\}^{*},|t|=|w|\}$. $\{0,1\}^{*}$ denotes set ...
0
votes
1
answer
27
views
Relation between $\mathsf{MA}$ and $\mathsf{NP^{BPP}}$
I can deduce $\mathsf{MA}\subseteq$ $\mathsf{NP^{BPP}}$ from their definition.
Is $\mathsf{NP^{BPP}}\subseteq$ $\mathsf{MA}$?
0
votes
0
answers
13
views
Finding if a chunked grid has split
I'm making a game that needs to have grids. These grids are dynamic and can be split into multiple grids.
How would I find if a grid has split?
I was thinking maybe I keep a list of local components (...
-3
votes
0
answers
44
views
Advanced Algorithms [closed]
Question 1 (15 points)
For each blank, fill in with either O, Ω, or Θ. If the two functions have the same order of growth, you must use Θ to receive full credit.
3n = ___ (n²)
2n + log n = ___ (n)
n −...
0
votes
0
answers
20
views
How "state" is used in von Neumann model
This is an old exam question from a course that I am currently taking (which lacks suggested solutions):
"Both the Turing machine and the von Neumann model uses the term "state". How ...
2
votes
2
answers
167
views
Nibbles, bytes and bits
I was reading some notes from Stanford and it was stated that a nibble is half a byte.
As far as I know a byte is $8$ bits, and since there are $2$ types of bit there's $2^8=256$ types of byte.
Is it ...
0
votes
0
answers
57
views
Designing a 3-state NFA for strings containing 011 or 1010
I am trying to design a nondeterministic finite automaton (NFA) over the alphabet Σ = {0,1} that accepts all strings containing either the substring 011 or 1010.
The constraint is that the NFA should ...