Problem Detail: You want to create a data structure that can store 1 dimensional intervals and also support the query for finding the total amount of intervals intersecting a given point. One solution would be for each query to scan through Read More …
Author: ignougroup
[Solved]: How to prove that ε-loops are not necessary in PDAs?
Problem Detail: In the context of our investigation of heap automata, I would like to prove that a particular variant can not accept non-context-sensitive languages. As we have no equivalent grammar model, I need a proof that uses only automata; therefore, Read More …
[Solved]: Running time analysis of a segment tree
Problem Detail: Can someone provide an analysis of the update and query operations of a segment tree? I thought of a way which goes like this – At every node, we make at most two recursive calls on the left and Read More …
[Solved]: Need to remove indirect left recursion from CFG
Problem Detail: I need to remove indirect left recursion from the following CFG: remove indirect left recursion from the following CFG. $$A → Ba| b$$ $$B → Cd | e$$ $$C → Df | g$$ $$D → Df | Aa | Read More …
[Solved]: Why doesn’t the binary fraction representation match the decimal fraction representation?
Problem Detail: The Problem: What value does the hexadecimal number x55544552 represent in data type IEEE floating point? My Work: I first wrote out that hexadecimal number in binary and got 0101 0101 0101 0100 0100 0101 0101 0010 Read More …
[Solved]: Compare-and-Swap in an RDBMS for custom locks and lock escalation
Problem Detail: I’m applying the Compare-and-Swap technique to a SQL database to create custom row-level locking in my dataset, allowing for safe READ UNCOMMITTED isolation at the database level. The Resource table includes a LockOwner GUID and a IsLocked BIT field. Read More …
[Solved]: Exponential separation between NFAs and DFAs in the presence of unions
Problem Detail: Recently an interesting question was asked and subsequently deleted. For a regular language $L$, its DFA complexity is the size of the minimal DFA accepting it, and its NFA complexity is the size of the minimal NFA accepting it. Read More …
[Solved]: Theory of multi-label classification
Problem Detail: Multi-label classification is a machine-learning problem where each sample can have zero or more labels from a closed set of possible labels. This task has applications in several fields. For example, in dialog systems, each sentence that the human Read More …
[Solved]: Grammatical characterization of deterministic context-free languages
Problem Detail: Deterministic context-free languages are commonly defined using an automaton concept, the (restricted, deterministic) pushdown automaton. To some that is confusing, as the name context-free refers to a grammar type. I seem to remember there exists a characterization of the Read More …
[Solved]: How to simplify boolean expression?
Problem Detail: I am having trouble simplifying logical expressions to a much simpler form, can someone provide me some insight on how to approach the problem? Let’s assume i have the following expression: $ABCD + Abar{B}CD$. I am aware of the Read More …