Improving NP-complete algorithms

Suppose we have an (efficient) NP-complete algorithm. I remind that proving a provable theorem isn’t an NP problem, because there are theorems whose shortest proof is of super-exponential length. However, finding a proof that is below a given “threshold” length is an NP-complete problem. Suppose our NP-complete algorithm is fixed. How to improve it’s ability […]

What if somebody discovers and publish an efficient P=NP solution

Lemme model what happens if somebody finds an efficient NP-complete algorithm. In layman terms (you are now studying things like this in the university, so you will soon know the formulas) an efficient NP-complete algorithm is: an algorithm that reaches any given decision accomplishment if what “to accomplish” is exactly (mathematically) described and is accomplishable […]

My Political Position: Social Crypto Libertarianism (“Not Capital”)

Describes the new political (economical) ideology under the contingent name social crypto libertarianism or left crypto libertarianism (Note that it is not social, not left, and not libertarianism, I call it so for lack of more suitable words.) and the practical steps of how to implant this concept into modern economy. You are offered to participate in the experiment volunteering or for a reward.

Programmer Mind vs Mathematician Mind (Humility)

In the past I thought so: Common money-earning programmers just have the skill to comprehend with their egg-heads how program flow moves between multiple levels of functions and classes calling each other in a “perverted”, unpredictable, messy fashion. While I am a programmer, too, I am different: I am a mathematician, I comprehend abstraction, generalization, […]