Ten thousand years old is only a long time ---- the first question
The world of algorithms is an elegant world. People often say that mathematics is the gymnastics of thinking; the beauty of mathematics is the beauty of wisdom. The algorithm has the wonderful work. Mathematics has a rich flesh and blood, and there is an abstract thinking soul:
EG1 (1) Nature: 0, 1, 2, 4, 5 ..., n, n 1, ... natural number operation: Defined 1 = 0 1, 2 = 1 1, 3 = 2 1 , 4 = 3 1, ...
(2) addition groups:
Algorithm, not only the origin of mathematics; she is one of the cores of the computer world, with a computer-related life atmosphere:
E.G.2 Seeking Nature N items and
Enter parameters: n, if legal (1) sum: = 0; (2) for i: = 0 to n-1 do sum: = SUM I; (3) end output: SUM
The algorithm is a person who is treated as life; she is an accurate and speed complex, often in the contradiction, but also get a little bit of progress in the pulse of time:
... o (2 ^ n), ..., o (n ^ 3), O (N ^ 2), O (N * log (n)), o (log (n)), o (1) algorithm is a Beautiful and proud people; everyone is favors her, but she is highly tall forehead ... though, countless people are still surprised by gods. Everyone also knows that this road, only diligent talents may be trusted by the goddess ... So, we can always see that the leader of the generation in the algorithm world, with the master ... I am very happy, will be with you Walking together, come to her field ... no doubt, I am her follower; with the passion of the chest, please allow me to do a wizard, we slowly, appreciate her strange charm. Perhaps, my heart, often flows out of a helplessness, in the world of algorithms, always flooded with contradictions, full, but still, more flames will boast, if you are finally can't help Please also burn with me ...
In order to make you better communication with her, I will leave a interesting algorithm topic every time for you to discuss. Of course, as a wizard, I can't join in, share my partial experience; but more, I will put this tail, hope for you ...
The topic of this post:
SAT problem:
Logical variables, such as X0, is only TRUE and FALSE variables, and for logic variables, this topic is used: non-computational (-) :-( True) = false, - (false) = True Analysis (V): (true) = true, (false) V (true) = (true) V (false) = true, (false) v (false) = false clause defined as: logical variable ( Or it is a string of the table, such as: C0: -X0 V-x8 V x13 V x15 V X5 V X13 V X15 V x5 V X1 V X7 V X10 V -X13 C2: -X5 V X10 V X11 V -X12
Problem: Can I determine a set of clauses, a set of values of logical variables can be given, so that all clauses of the subsection set are True?
