अनौपचारिक रूप ले , एहर पूछता हवय कि प्रत्येक समस्या जेखर    समाधान कंप्यूटर  से  जल्दी   ले  सत्यापित करे जा सकत  हवय,  घलो कंप्यूटर  से  हल करे जा सकत   हवय ; एहर व्यापक रूप ले  अनुमान लगइस जात  हवय कि जवाब नी हवय।