Dear Fellow Researchers,
Would you kindly pay attention to the article “Discordant Compact Logic-Arithmetic Structures in Discrete Optimization Problems” by the author V. F. Romanov published on arXiv.org: http://arxiv.org/abs/1309.6078.
The previous paper of the author introduced the model for effective resolvability of 3-SAT problem based on unique special purpose components: structures of compact triplets and systems of hyperstructures. A concealed shortcoming of the filtration procedure for the complicated hyperstructures didn’t allow considering the model as irreproachable for the totality of input formulas.
The novel model uses, however, the merits of the structures of compact triplets (CTS) and, moreover, their outcome: the structures of compact couples (CCS); the system of CCS forms foundation of the new method and algorithm for 3-SAT problem resolving.
The problem is reduced to elementary detection of n-tuples of zeros in the discordant CCS system, prepared for this purpose by means of a special transformation. The formula is synthesized, being on the structure a variation of 2-CNF, associated with the calculation procedure realizing adaptation of the polynomial algorithm of constraints distribution (well-known in the optimization theory) to the efficient resolving of Boolean formula coded by means of discordant compact structures.
As a whole the described algorithmic model of 3-SAT problem representation and solution belongs to the class of polynomial models. No use of heuristic modes and complicated systems of hyperstructures radically distinguish the given model from earlier workings out of the author.
Your opinion and suggestions concerning my work would be of great value for me.
Yours faithfully, the author Vladimir Romanov