Problem Detail: I have a queue of messages representing filesystem operations that need to be processed in order. A message may succeed or fail when it’s sent. A change message, for example, is generated when a user creates or saves a Read More …
Author: ignougroup
[Solved]: Happened-before and Causal order
Problem Detail: I’m reading Lamport’s “Time, Clocks, and the Ordering of Events in a Distributed System” and there’s a detail that’s bugging me. Lamport defines the “happened before” partial order, which I understand. Then he says that “Another way of viewing Read More …
[Solved]: Would removing the branch delay slots change the instructions set architecture?
Problem Detail: I am trying to study for an exam and I noticed a lot of the questions follow the idea of “Changing the ISA“. From my understanding the ISA dictates the structure and format of instructions, so changing instructions or Read More …
[Solved]: “Not in big theta but in big O”
Problem Detail: Can somebody please help me understand ways I can attempt to find two functions f(x) and g(x) in which f(x) is in big O of g(x) but not big theta of g(x). I get that this is asking me Read More …
[Solved]: Find which vertices to delete from graph to get smallest largest component
Problem Detail: Given a graph $G = (V, E)$, find $k$ vertices ${v^*_1,dots,v^*_k}$, which removal would result in a graph with smallest largest component. I assume for large $n = |V|$ and large $k$ the problem is difficult (NP-hard), but I Read More …
[Solved]: How to replace one symbol with two on Turing machine’s tape
Problem Detail: I want to implement following algorithm on Turing machine: rewrite binary numbers to their unary counterparts. For example: 101 will be rewritten to a string of 5 consecutive bars (wikipedia) But I don’t know how to make the replacement Read More …
[Solved]: What were the research outcomes of the Univalent Foundations Program year (Homotopy Type Theory)
Problem Detail: The Institute for Advanced Study has had a year-long special program devoted to the Univalent Foundations Program. At the end of this they have produced a book and a code repository. At the end of this we see a Read More …
[Solved]: Give a specific case where calling a polynomial time function n times gives an exponential time algorithm
Problem Detail: We were asked this question in exam and I am not satisfied with the answer the teacher gave. Let me justify my point of view. Let there be a polynomial time function having time complexity $n^{c_1}$. If we call Read More …
[Solved]: What is the difference between a Transition System and a Program Graph? (model checking)
Problem Detail: As the above question says. I’m wondering if a transition system is the same as a program graph or they are two different things? Thank you. Asked By : Deyaa Answered By : hengxin You did not provide any particular resources Read More …
[Solved]: Don Knuth and MMIXAL vs. Chuck Moore and Forth — Algorithms and Ideal Machines — was there any cross-pollination / influence in their ideas / work?
Problem Detail: Question: To what extent is it known (or believed) that Chuck Moore and Don Knuth had influence on each other’s thoughts on ideal machines, or their work on algorithms? I’m interested in citations, interviews, articles, links, or any other Read More …
