[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课
照片记录谁 我也考虑了取余运算,用Z3跑了无结果
demoLin 取余是肯定有的,估计大佬们没有写出来而已,看汇编代码,都是操作的寄存器,当然只有32位。
jvy 请问如何证明加了取余运算后无解?
kaoyange 我说下我的思路: 1. 将 x%y = z 写成 x = t * y + z (t为整数)这样的形式参与运算 。 2. 选择其中两个等式进行加加减减,效果就是要弄出一个等式的左边是奇数,右边是偶数 ...