Problem Detail: I understand what a B-Tree is (I already implemented a B-Tree in Java with insert and delete methods that preserve the invariant). However I do not understand exactly how it is used for example for file systems or databases. Read More …
Blog
What is the difference between assignment, valuation and name binding?
Problem Detail: I read that Name binding assigns some value (data/code/expression) to an identifier. Assignment and valuation seem to do the same thing. It is confusing. Can I just tell that free variable is one, which was not assigned a value Read More …
Is the language of TMs that halt on some string recognizable?
Problem Detail: I would like to show that the following language is recognizable: $$L:= { langle M rangle mid M text{ is a TM that halts on some string}}.$$ How do I go about showing that this language is recognizable? I Read More …
Howto formally go about proving that two LTL formulas are equivalent?
Problem Detail: Do they need to “unwind” exactly to the same set of paths or does it suffice when one set is contained in the other ? Or is it sufficient to argue that M,s satisfies both LTL formulas for any Read More …
Hamming Weight to find the sum of 1 bits in the range between A and B inclusive
Problem Detail: I am trying to find the sum of 1 bits in the range between A and B inclusive, where -2^31 <= A <= B <= 2^31 – 1 Input Format: The first line contains the number of test cases Read More …
Time units required for Interrupt Cycle
Problem Detail: I am reading William Stallings Computer Organization & Architecture to understand about control unit & micro-operations. Stallings explain that interrupt cycle requires 3 time units to complete : t1 : MBR <- (PC) t2 : MAR <- Save_Address PC Read More …
How is non-ambuiguity different from determinism?
Problem Detail: I am trying to understand what is meant by “deterministic” in expressions such as “deterministic context-free grammar”. (There are more deterministic “things” in this field). I would appreciate an example more then the most elaborate explanation! If possible. My Read More …
Do undecidable languages exist in constructivist logic?
Problem Detail: Constructivist logic is a system which removes the Law of the Excluded Middle, as well as Double Negation, as axioms. It’s described on Wikipedia here and here. In particular, the system doesn’t allow for proof by contradiction. I’m wondering, Read More …
CNF Generator for Factoring Problems
Problem Detail: I’ve been reading these: Fast Reduction from RSA to SAT CNF Generator for Factoring Problems (Also have C code implementation) I don’t understand how the reduction from FACT to $3text{-SAT}$ works. Are there any simple articles in which I Read More …
Best problems that are prone to parallelization?
Problem Detail: What are some problems that are prone to parallelization? When I think about this, the first thing that comes to my mind is matrix multiplication, which yields to faster calculations, meaning you can get speed ups easily. Any other Read More …
