Problem Detail: If you have two computers with only one thread, a and b. And computer a runs twice as fast as computer b. Does this mean that computer a and can do twice as many operations in a given time Read More …
Category: Uncategorized
[Solved]: Output of well-known algorithms for the Subset sum problem
Problem Detail: According to Wikipedia: In computer science, the subset sum problem is an important problem in complexity theory and cryptography. The problem is this: given a set (or multiset) of integers, is there a non-empty subset whose sum is zero? Read More …
[Solved]: From FACTOR To KNAPSACK
Problem Detail: If there were an algorithm that factored in polynomial time by means of examining each possible factor of a complex number efficiently, could one not also use this algorithm to solve unbounded knapsack problems since two factors can Read More …
[Solved]: Transition systems that satisfy LTL but not CTL, and vice versa
Problem Detail: I am learning about temporal logic and model checking systems. One conceptual exercise that I am struggling with is how to create a transition system which satisfies only one of two given properties, when one is in LTL and Read More …
[Solved]: Is there a formula to state the number of ‘sets’ of ‘ordered sets within ordered groups’?
Problem Detail: I am new to this and an amateur… please help. My Question in practical terms: Given The three following inputs… determine the number of unique group arrangements as an ordered set. INPUT: ‘a’ = Students ‘b’ = Groups ‘c’ Read More …
[Solved]: How can lazy learning systems simultaneously solve multiple problems?
Problem Detail: On the english Wikipedia it says about lazy learning systems: Because the target function is approximated locally for each query to the system, lazy learning systems can simultaneously solve multiple problems […] What does this mean? I can only Read More …
[Solved]: Finding asymptotic time complexity
Problem Detail: So I’m studying for a midterm and my professor put out a sample exam with the answers, and I’m stuck on one of the questions. The answer is Big-O(n^2 log n) Could someone show me the steps necessary to Read More …
[Solved]: Prove existence of different programs printing each other code
Problem Detail: How to prove that there exist two different programs A and B such that A printing code of B and B printing code of A without giving actual examples of such programs? Asked By : KirillSk Answered By : A.Schulz You Read More …
[Solved]: Introductory book on Logic and Computation
Problem Detail: Can you give me some suggestions about a good introductory (but comprehensive) bookabout Logic and Computation? Some fuzzy topics that I have in mind are: Presburger artihm., PA, ZF, ZFC, HOL Set theory, Type theory Modeling Computation (Turing machines) Read More …
[Solved]: What is the case 2 in master theorem?
Problem Detail: I am confused about the statement of the Master theorem in CLRS book. Here is the link of the book CLRS. In page 94, the theorem, in case 2, states that: If $displaystyle f(n)=Theta(n^{log_ba})$, then $T(n) = Theta(n^{log_ba}lg n)$. Read More …