Author: ignougroup

Problem Detail: Say there is a data table $D$ that we cannot see, with $M$ columns. We are given exact cross-tabulation frequencies for all ${M choose 2}$ pairs of columns, that is how often each combination of two values occurs. From Read More …

Problem Detail: This is Normal Form Theorem (Second Edition of Computability, Complexity, and Languages written by Martin Davis page 75): Let $f(x_1,…,x_n)$ be a partially computable function. Then there is a primitive recursive predicate $R(x_1,…,x_n,y)$ such that: $f(x_1,…,x_n) = L(min R(x_1,…,x_n,z)_z)$ Read More …

Problem Detail: My field of research is not Database or AI. But I have some problems to solve, and would like to know which branch this kind of problems belong to, and what are the results. The main question is: given Read More …

Problem Detail: The question is: Given an array of size N, arr, create another array whose index i = number of elements in sub-array(arr, i+1, N-1) that are greater than arr[i]. Eg. if input array is, 5 3 9 8 2 Read More …

Problem Detail: Why can high-level languages seemingly never reach lower-level languages in terms of speed? Examples of high-level languages would be Python, Haskell, and Java. Low-level languages would be trickier to define, but let’s say C. Comparisons can be found all Read More …

Problem Detail: Suppose I have two cameras, c1 and c2, observing the same scene. I can now Calibrate each camera independently (e.g., with MATLAB’s Camera Calibration App) Calibrate both cameras simultaneously (e.g., with MATLAB’s Stereo Camera Calibration App). Interestingly, the values Read More …

Problem Detail: This may be basic to some of you, but excuse my inexperience with comp. geometry: Given a set of $n$ circles with centers $(x_i, y_i)$ for $1 leq i leq n$ and each having radii $r$. Also given a Read More …

Problem Detail: I know it’s possible to build a Finite State Transducer for converting numbers from base 2 to base 4 or 8 or other powers of 2 (translating from base N to base N^M is easy). However I’ve never seen Read More …

Problem Detail: Which of the following strategies is more feasible? Strategy 1: Remove the element from the array, compress the array and reheapify. Strategy 2: Update the value of this node to the current maximum value in the heap + 1, Read More …

Problem Detail: I have been reading on converting first order logic sentences to conjunctive normal form, and then performing resolution. One of the steps of converting to CNF, is to Standardize variables: rename all variables so that each quantifier has its Read More …