Problem Detail: On Linux, the files /dev/random and /dev/urandom files are the blocking and non-blocking (respectively) sources of pseudo-random bytes. They can be read as normal files: $ hexdump /dev/random 0000000 28eb d9e7 44bb 1ac9 d06f b943 f904 8ffa 0000010 5652 Read More …
Blog
[Solved]: Polygons generated by a set of segments
Problem Detail: Given a set of segments, I would like to compute the set of closed polygons inside the convex hull of the set of the end of those segments. The vertices of the polygons are the intersections of the segments. Read More …
[Solved]: Detecting palindromes in binary numbers using a finite state machine
Problem Detail: In my first algorithms class we’re creating these patterns that are supposed to model a finite state machine. We were given a task to think if we can figure out a way to detect palindromes in binary sequences (no Read More …
[Solved]: Concorde time efficiency
Problem Detail: What is the efficiency of Concorde TSP solver program. And is it have any weaknesses? I build my own exact solver and I want to compare it to Concorde. What would be the best way to do this? Asked Read More …
[Solved]: Why is the object destructor paradigm in garbage collected languages pervasively absent?
Problem Detail: Looking for insight into decisions around garbage collected language design. Perhaps a language expert could enlighten me? I come from a C++ background, so this area is baffling to me. It seems nearly all modern garbage collected languages with Read More …
[Solved]: Classification of intractable/tractable satisfiability problem variants
Problem Detail: Recently I found in a paper [1] a special symmetric version of SAT called the 2/2/4-SAT. But there are many $text{NP}$-complete variants out there, for example: MONOTONE NAE-3SAT, MONOTONE 1-IN-3-SAT, … Some other variants are tractable: $2$-$text{SAT}$, Planar-NAE-$text{SAT}$, … Read More …
[Solved]: What is beta equivalence?
Problem Detail: In the script I am currently reading on the lambda calculus, beta equivalence is defined as this: The $beta$-equivalence $equiv_beta$ is the smallest equivalence that contains $rightarrow_beta$. I have no idea what that means. Can someone explain it in Read More …
[Solved]: Find shortest paths in a weighed unipathic graph
Problem Detail: A directed graph is said to be unipathic if for any two vertices $u$ and $v$ in the graph $G=(V,E)$, there is at most one simple path from $u$ to $v$. Suppose I am given a unipathic graph $G$ Read More …
[Solved]: Selection, crossover and mutation function choice in genetic algorithms
Problem Detail: I have been developing a GA for one of the projects I’m working on. I have everything implemented with no problems and I really like how GAs work in general, it’s a really cool and relatively new concept. However Read More …
[Solved]: Starvation in longest remaining time first CPU scheduling
Problem Detail: I want to know if longest remaining time first (LRTF) CPU scheduling has starvation or not. Also give reason how it starve/does not starve a process. I know longest job first (LJF) may starve a process if all other Read More …
