暴力枚举,二进制枚举

位运算符

按位与运算符(&)

参加运算的两个数据,按二进制进行与运算

运算的规则为: 0&0=0  0&1=0  1&0=0 1&1=1 (即两位同时为1,结果才为1,否则为0)

比如 3&5 即0000 0011&0000 0101=0000 0001  因此3&5的值为1

左移运算符 (<<)

a<<b 表示把a转为二进制后左移b位(在后面填b个0)例如100的二进制为1100100,而110010000转成十进制是400,那么100<<2=400  实际上a<<b的值实际上就是a乘以2的b次方,因为在二进制数后添加一个0就相当于该数乘以2

通常认为a<<1比a*2更快,因为前者是更底层的操作,因此程序中乘以2的操作尽量用左移一位表示

二进制枚举

算法原理

二进制数据用0和1表示的数

二进制枚举利用每一位上的1或0数字表示选或者不选该位置上的对应元素,实现2的n次幂种情况下的枚举问题

从所有是0的情况考虑到所有是1的情况 

1111111 2的7次幂

两层循环  一层循环是你整个枚举的范围,第二个循环是你没种情况下是否满足循环条件

枚举范围  

for(a=0;a<(1<<n);a++);

怎样知道一个数据a的二进制位某一位i是以1还是0呢?如何来进行判断

for(i=0;i<n;i++)//逐个位去判断
   if(a & 1<<i)//i=0的时候和1做&,i=1的时候和10做与
#include <iostream>
#include <bits/stdc++.h>
using namespace std;

int main()
{
    int n,a,i;
    cin>>n;
    for(a=0;a<(1<<n);a++)//从0到2的n-1次幂个状态
    {
        for(i=0;i<n;i++)//遍历二进制的每一位
        {
            if(a&(1<<i))//判断二进制i位是什么
            printf("%d ",i);//如果存在的话输出第i个元素
        }
        printf("\n");
    }
    return 0;
}

要知道是如何实现的

1.比如有5个数,没选上用0表示,选上用1表示 就是从00000到11111 也就是[0,2^n-1]

可以用1的左移来表示,因为每左移一次就是给原数字乘2

2.然后我们要遍历每一位,看这个位置上是0还是1,有一个特别好的方法就是利用位运算并和1进行&运算,位运算可以让1的位置向左移,其余位置补0,然后利用按位与则可以得到当前位置是不是1,因为与的规则是当两个数都为1时,结果才为1.

二进制枚举的典型例题

 

#include <iostream>
#include <bits/stdc++.h>
using namespace std;

int main()
{
    int i,a,js,s[53],sum,n,k;
    while(scanf("%d%d",&n,&k)&&n)
    {
        sum=0;
        for(i=0;i<n;i++)
        scanf("%d",&s[i]);
        for(a=0;a<1<<n;a++)
        {
            js=0;
            for(i=0;i<n;i++)
            {
            if(a&1<<i)
            js++;
            }
            if(js==k)
            {
                for(i=0;i<n;i++)
                {
                    if(a&1<<i)
                    printf("%d",s[i]);
                }
                    printf("\n");
                    sum++;
            }
        }
        printf("%d\n",sum);
    }
    return 0;
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
这是一个基于暴力枚举的SAT求解算法,下面是一个JAVA实现的例子: ```java public class SATSolver { public static void main(String[] args) { int n = 10; // 变量数量 String[] cnf = {"1 2 -3 0", "-1 -2 3 0", "2 3 -4 0", "-2 -3 4 0"}; // 合取范式 String s = "0".repeat(n); // 初始化二进制串s为全0串 String max = "1".repeat(n); // 二进制串s的最大值 while (!s.equals(max)) { boolean isSat = true; for (String clause : cnf) { boolean clauseSat = false; String[] literals = clause.split(" "); for (String literal : literals) { int index = Integer.parseInt(literal); if (index < 0) { clauseSat |= s.charAt(-index-1) == '0'; // 取反操作 } else { clauseSat |= s.charAt(index-1) == '1'; } } if (!clauseSat) { isSat = false; break; } } if (isSat) { System.out.println("Solution: " + s); return; } s = addBinary(s, "1"); // 二进制串s加1 } System.out.println("No solution found."); } // 二进制串相加 public static String addBinary(String a, String b) { StringBuilder sb = new StringBuilder(); int i = a.length()-1, j = b.length()-1, carry = 0; while (i >= 0 || j >= 0 || carry > 0) { int sum = carry; if (i >= 0) sum += a.charAt(i--) - '0'; if (j >= 0) sum += b.charAt(j--) - '0'; sb.insert(0, sum % 2); carry = sum / 2; } return sb.toString(); } } ``` 该实现中,变量数量n和合取范式cnf均为硬编码,可以根据实际情况进行修改。在主循环中,首先判断当前二进制串s是否为SAT问题的解,如果是,则输出解并结束算法;否则,将二进制串s加1,继续下一轮循环。对于判断合取范式的取值,我们遍历每个子句,对于每个文字,如果其取值为真,则将该子句的取值设为真;否则,继续遍历下一个文字。如果所有子句都为真,则该合取范式的取值为真,否则为假。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

智能边缘探索记

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值