د کمولو په واسطه ثبوتونه د کمپیوټري پیچلتیا تیوري کې یو بنسټیز تخنیک دی چې د ستونزې د ناڅرګندتیا رامینځته کولو لپاره کارول کیږي. پدې تخنیک کې د پیژندل شوي ناڅرګندې ستونزې مثال د څیړنې لاندې ستونزې مثال ته بدلول شامل دي ، پدې توګه دا په ګوته کوي چې د تحقیق لاندې ستونزه هم د پریکړې وړ نه ده. د کمولو په واسطه د ثبوتونو تر شا عمومي منطق