#### Battery Exchange Network

The Stack Exchange network includes 175 question-and-answer communities, including Stack Overflow, the largest and most reliable online community on which developers can learn, share knowledge and build their careers.

Visit Stack Exchange

## Theory of book recommendations in computer science

I am looking for a computer theory book containing the following topics: data structures, algorithms, discrete mathematics, automata …
I would like the book to contain exercises.

## Classification of Programming Exercises – Computer Science Stack Exchange

I wondered what attempts had been made to classify student programming exercises (just like the "taxonomy" in biology) into their learning path.
For example :

• A criterion of "concept (s) covered (s)" (generic to specific):

• At level 1, we have "general" concepts: Iteration, Recursion, ADT, Conditionnals, etc.
• At level 2, we have "less general" concepts: for loop, tail recursion, list, ternary operator
• A criterion of "difficulty" (easy, intermediate, difficult)

According to my research (on many search engines like https://dblp.uni-trier.de/), there is only one very mentioned: Bloom's taxonomy. What other classifications exist, except this one?

## operating system – Computer Science Stack Exchange

Thanks for contributing an answer to Computer Science Stack Exchange!

• Please make sure to respond to the question. Provide details and share your research!

But to avoid

• Make statements based on the opinion; save them with references or personal experience.

Use MathJax to format equations. MathJax reference.

## combinatorics – 8 puzzle problem – Computer Science Stack Exchange

Problem 8-puzzle: The puzzle consists of an area divided into a grid of 3 out of 3. On each box of the grid is a tile, with the exception of a box that remains empty . A tile next to the empty square of the grid can be moved into the empty space, leaving its previous position empty in its turn.

Whatever the initial state of the puzzle, there is exactly $$9 / 2$$ accessible states. How can I prove it? And how should I generalize the proof to $$(n ^ 2-1)$$derived nozzle problem using $$n$$ by $$n$$ Grid?

## Python Libraries for Algorithms – Computer Science Stack Exchange

Thanks for contributing an answer to Computer Science Stack Exchange!

• Please make sure to respond to the question. Provide details and share your research!

But to avoid

• Make statements based on the opinion; save them with references or personal experience.

Use MathJax to format equations. MathJax reference.

Padma Aon is an author of wisdom, a creator of vibratory media, a visionary pioneer and the public.
speaker bringing together ancient wisdom and modern science. Books, music and
Multimedia is derived from the traditions in which it was initiated.

They include: the power of the shakti, wisdom of the womb, sacred relationships (inner traditions),
The master plan of Christ, The Nine Eyes of Light: The Keys to the Ascension of Egypt (NAB / Random House),
Dimensions of love (O Books). Since 1997, he has presented, lectured and taught in 20 countries around the world.

Padma is a master of vibratory medicine by sound, translating the art and science of
vibration to create moving immersions and alchemicals. A music producer distributed around the world,
Padma performs around the world with two albums for Sub Rosa / BMG: Rhythmic Intelligence and
Song of Light as Resident DJ at Talvin Singh's Revolutionary Indian Music Fusion Night
Anokha at the legendary Bluenote Club, Hoxton.

The Life Cycles album accompanies the book Womb Wisdom, voted one of the Top 30 Spiritual Artists
books you need to read. The Souls Birth with Dr. Alex Theory and Kristin Hoffman merges the
Psychoacoustic frequency science for pregnancy and birth with Nada Yoga in Sanskrit and Hebrew.

His television work consisted of co-discovering the first mummified Tibetan lama for "Mystery of the
Tibetan Mummy, & # 39; (Discovery Channel 01), and narrating Peabody winner, Stephen Olssen
documentary "Sounds of the Soul" on the Fes Festival of World Sacred Music, presented at
Cannes and SunDance.

As a multimedia producer, he has created original music and visual content based on the sacred world.
venues for the Youth Olympic Games in Moscow and the "Project ONE", which has been presented in theaters and festivals
in the United Kingdom, the United States and New Zealand. He is currently creating music and audio for a revolutionary
Meditation App.

Padma creates from the fruits of his many travels and direct experiences in many worlds, Eastern and Western.
Padma supports the environment by leading large groups on carefully selected transformation projects.
Travel to cultural and sacred sites around the world in 15 countries over 20 years on 5 continents.
He appeared on BBC Radio One, The Times of India, Variety Magazine, Spirit & Destiny, Kindred Spirit,
Dreamland Radio, XLR8R and Straight No Chaser among many others.

.

## Simple NP-hard proof question – Computer Science Stack Exchange

$$3SATplus$$

• Entry: 2 CNF formulas $$F_1$$, $$F_2$$ where all clauses have exactly $$3$$ literals.

• Question: Does every truth assignment satisfy at least as much? $$F_2$$ clauses like $$F_1$$is?

assume $$3SATPLUS in NP$$

Prove $$3SAT leq_p$$ $$3SATplus$$

The reduction is as follows

$$F_1 = (x lor bar {x} lor x) land dots land (x lor bar {x} lor x)$$

For $$n$$ clauses. That means that he will always accept $$n$$ clauses.

$$F_2 = F$$

It's polytime because its $$2n$$ clauses only $$n$$ more than $$F$$

if $$F in 3SAT$$then $$F_1 = F_2$$ since they both satisfy $$n$$ clauses so $$F_1, F_2 in 3SATplus$$

I will prove the contrapositive

Yes $$F notin 3SAT$$then $$F_1$$ satisfied $$n$$ clauses and $$F_2$$ can satisfy that up to $$n-1$$ so $$F_1> F_2$$ always. Therefore, $$F_1, F_2 notin 3SATplus$$

Is there anything else to be said or does it confirm its $$NP-hard$$?

## Formal Languages ​​of Automata – Computer Science Stack Exchange

Thanks for contributing an answer to Computer Science Stack Exchange!

• Please make sure to respond to the question. Provide details and share your research!

But to avoid

• Make statements based on the opinion; save them with references or personal experience.

Use MathJax to format equations. MathJax reference.

## Stopping the problem in C ++ – Computer Science Stack Exchange

The stopping problem is based on the fluidity of the Turing machines. That is, a string can represent a machine.

Can you do the same for C ++ on a modern computer?

Let's see my first attempt. Let bool h (string x, string y) the supposed function that decides to stop and always stops. You can easily make a complete program.

Now let's define a contradictory function F:

bool f (string x) {
if (h (x, x))
for (;;);
return true;
}

int main () {
cost << h (f, f) << endl;
}


The problem is that I can not feed the code of F in h in main ().

My second attempt: prepare 4 files: h.cpp, h.exe, f.cpp, f.exe. And suppose that the call formats are

h.exe filename1 filename2
f.exe file name


My problem is that in f.cpp I need to call h.exewhich in turn must be part of f.cpp.