Problem Detail: I’m trying to understand/show that DNF VALID is coNP-hard. I have given an algorithm for the complement of DNF VALID and shown that this is in NP (since the complement of a language in NP is in coNP), but Read More …
Author: ignougroup
[Solved]: First-order logic arity defines decidability?
Problem Detail: I’ve read first-order logic is in general undecidable, and that could be decidable only when working with unary operators. (I think that’s propositional logic, correct me if I am wrong) The question is why arity leads to undecidable problems? 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 …
[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]: 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]: 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]: 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]: 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 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]: 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 …
