With no explanation, label text_A→text_B with either "not_related" or "related".
text_A: Superman lives in a boat.
text_B: The vast majority of positive results about computational problems are constructive proofs , i.e. , a computational problem is proved to be solvable by showing an algorithm that solves it ; a computational problem is shown to be in P -LRB- complexity -RRB- by showing an algorithm that solves it in time that is polynomial in the size of the input ; etc. .. computational problem. computational problem. algorithm. algorithm. However , there are several non-constructive results , where an algorithm is proved to exist without showing the algorithm itself .. algorithm. algorithm. non-constructive. non-constructive. Several techniques are used to provide such existence proofs .
not_related.