Problem Detail: It is known that there are problems in P that, provably, are not solvable in less than $O(N^k)$, for some $k$. Now consider some infinite set $K subseteq mathbb{R}^+_0$ such as K is unbounded from above (you can think Read More …
Blog
[Solved]: Why absence of surjection with the power set is not enough to prove the existence of an undecidable language?
Problem Detail: From this statement As there is no surjection from $mathbb{N}$ onto $mathcal{P}(mathbb{N})$, thus there must exist an undecidable language. I would like to understand why similar reasoning does not work with a finite set $B$ which also has no Read More …
[Solved]: Schedule two trains whose tracks overlap so they don’t crash
Problem Detail: I’ve encountered scheduling problems in my algorithms class before like the type we use vertex cover to solve. Recently I was asked this question and did not even know what algorithmic technique to use to answer it! There are Read More …
[Solved]: How does the Galil’s rule work on Boyer-Moore algorithm?
Problem Detail: I would like to know how Boyer-Moore text searching algorithm with Galil’s rule works,. I tried to search for but I couldn’t understand the information I found, for example this Wikipedia page. And why with this rule we go Read More …
[Solved]: How to generate graphs with a Hamiltonian path?
Problem Detail: I need to create a graph generator for my next project. Generally algorithms are trying to find a Hamiltonian path in a graph. So I can create a graph generator, generate a graph, and then I can decide whether Read More …
[Solved]: How to understand the storing mechanism used in external merge sort
Problem Detail: I was reading about external merge sort from the wikipedia article link, according to it: External sorting is required when the data being sorted do not fit into the main memory of a computing device (usually RAM) and instead Read More …
[Solved]: Term for binary search tree using hashes?
Problem Detail: I was looking for a way to easily store and access a symbol table using the least memory and code as possible and I went with a BST. Symbols, however, tend to be defined in order as in foo0, Read More …
[Solved]: Show that $0^i$ where $i$ is a power of 2 is not context free
Problem Detail: I’m having difficulty trying to use the pumping lemma in order to show that $L= {0^i mid i text{ is a power of 2 }} $ is not context free. I”m starting by stating that $ s = 0^p$ Read More …
[Solved]: Are syntax and semantic just 2 structures such that one is a model of the other?
Problem Detail: The syntax of a language is a structure. The semantic of a language is a structure. The semantic of a language is a model of its syntax. And that’s all ? The duality syntax/semantic is just model theory Read More …
[Solved]: Best starter resources for learning about AI
Problem Detail: I want to start learning of AI and have an idea to program “social evolution simulator” but want to hear any advice to avoid creation “well known bicycles” and get strong knowledge-base. Will be grateful for online resources and/or Read More …
