C 中有数组的“位移”操作吗?

如何解决C 中有数组的“位移”操作吗?

在 C 中,我们可以使用左移将数字的二进制表示的每个数字向左移动一个空格,这被认为是 O(1) 时间。例如,0010 << 1 = 0100

C 中是否有类似的函数/操作可以在 O(1) 时间内对数组执行此操作?例如,[1,2,3,4,5] 移动一个空格得到 [2,5,0]。

我想到的一种方法是像这样使用 memcpy()

int arr1[] = {1,5};
memcpy(arr1,arr1+1,4*sizeof(int));

for(int i=0 ; i<5 ; i++)
{
        printf("%d ",arr1[i]);
}

输出:2、3、4、5、5

唯一的问题是,我猜 memcpy() 不完全是 O(1)。我希望这可能是 C 中的一些低级函数/方法,可以快速操作内存来实现这一点,但到目前为止我在谷歌搜索时找不到任何东西。

编辑: 在搜索中,我发现位移位使用 special circuit 可能允许移位操作比 memcpy 之类的操作快得多。这引出了我的问题,是否有办法将数组表示为位串并对该位串执行传统位移?

编辑 2:我知道我想要实现的目标无法在 O(1) 时间内完成。我会对任何建议我如何提高移动数组的速度的答案感到满意,以便它看起来有点像 O(1) 操作(即使它实际上不是)。

解决方法

C 中是否有类似的函数/操作可以在 O(1) 时间内对数组执行此操作?例如,[1,2,3,4,5] 移动一个空格得到 [2,5,0]。

没有。但是您可以通过仅存储偏移量并使用模访问来产生相同的结果

struct array {
  int offset;
  int size;
  int elems[];
};

struct array* alloc_array(int size)
{
  struct array *a = malloc(sizeof(struct array) + sizeof(int)*size);
  a->offset = 0;
  a->size = size;
  return a;
}

/* Constant-time shift!
   Just use shiftleft with a negative distance to shift right */
void shiftleft(struct array *a,int distance)
{
  a->offset += distance;
}

/* Note we actually made each of our N element accesses slightly more expensive.
   However,that was already linear (ie,when you print all elements)
   so we still have the desired asymptotic complexity.
*/
int elem(struct array *a,int idx)
{
  return a->elems[(idx + a->offset) % a->size];
}

注意。这是完全未经测试的,它只是一个草图,所以你明白了。另外,我假设您实际上想要一个 element 转变,因为这就是您所展示的。如果你想将一个数组向左移动 N bits,那就有点复杂了。


我发现位移位使用了一个特殊的电路

附注。这个“特殊电路”是 CPU 的内置操作之一,它在固定大小的寄存器上以恒定时间运行。寄存器大小已融入 CPU 硬件。选择 C ​​int 的大小以匹配 CPU 寄存器大小。

没有办法对 N 个寄存器大小的整数(例如)执行不花费 N 倍时间的常数时间(每个寄存器)操作,因此显然它具有线性复杂度。


我知道我想要实现的目标无法在 O(1) 时间内完成。

嗯,渐近复杂性仅在元素数量变化时才相关。如果您总是对固定大小的数组进行操作,那么即使是与元素数量成线性关系的操作也是每个数组的常数时间。

  • 编辑 - 请不要再说了

    整数中的位移被认为是 O(1) 时间,因为它们非常快,即使它们实际上不是 O(1)

    1. 我说它是恒定时间,因为它,假设现代 ALU 带有 barrel shifter

    2. 如果它不是恒定时间,则没有“如此快”的价值会促使我称其为恒定时间除非它总是占用相同数量的时钟实践中的循环(包括互惠吞吐量)。由于没有实用的方法来衡量它在单个时钟周期内何时完成,因此这是一个没有实际区别的区别。

    同样,速度和渐近复杂度是正交的。对于 O(N) 运算来说,没有足够小的系数被视为 O(1)。当然有一个足够小的 N 值,我在下面提到过(但你拒绝在你的问题中绑定 N)。

如果您总是对可变但有界大小的数组进行操作,您可以做出同样的声明,尽管如果您的有效数组大小涵盖多个数量级,则不会很有说服力。

我会对任何建议我如何提高移动数组速度的答案感到满意,以便它看起来有点像 O(1) 操作(即使它实际上不是)。

这完全没有意义。渐近复杂度不是速度的衡量标准,优化速度对渐近复杂度没有影响。

,

正如评论中所说,您应该使用 memmove 而不是 memcpy 作为源和目标重叠。

您的代码中的另一个问题是您假设在您可以自由使用的初始化数组之后会有一个“0”。

memmove 和 memcpy 可能需要 O(n) 时间,这样的代码会更快:

int arr1[] = {1,0};
int *arr2 = &arr1[1];

for(int i=0 ; i<5 ; i++)
{
        printf("%d ",arr2[i]);
}
,

廉价的方法是移动大量内存,而只是操作索引。


#include <stdio.h>

int main(void)
{
int arr1[] = {1,5};
int ii,jj;

for(ii=0 ; ii<5 ; ii++)
        {
        jj = (ii<4) ? ii+1 : ii;

        printf("%d ",arr1[jj] );
        }

printf("\n" );
return 0;
}

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


依赖报错 idea导入项目后依赖报错,解决方案:https://blog.csdn.net/weixin_42420249/article/details/81191861 依赖版本报错:更换其他版本 无法下载依赖可参考:https://blog.csdn.net/weixin_42628809/a
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下 2021-12-03 13:33:33.927 ERROR 7228 [ main] o.s.b.d.LoggingFailureAnalysisReporter : *************************** APPL
错误1:gradle项目控制台输出为乱码 # 解决方案:https://blog.csdn.net/weixin_43501566/article/details/112482302 # 在gradle-wrapper.properties 添加以下内容 org.gradle.jvmargs=-Df
错误还原:在查询的过程中,传入的workType为0时,该条件不起作用 &lt;select id=&quot;xxx&quot;&gt; SELECT di.id, di.name, di.work_type, di.updated... &lt;where&gt; &lt;if test=&qu
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct redisServer’没有名为‘server_cpulist’的成员 redisSetCpuAffinity(server.server_cpulist); ^ server.c: 在函数‘hasActiveC
解决方案1 1、改项目中.idea/workspace.xml配置文件,增加dynamic.classpath参数 2、搜索PropertiesComponent,添加如下 &lt;property name=&quot;dynamic.classpath&quot; value=&quot;tru
删除根组件app.vue中的默认代码后报错:Module Error (from ./node_modules/eslint-loader/index.js): 解决方案:关闭ESlint代码检测,在项目根目录创建vue.config.js,在文件中添加 module.exports = { lin
查看spark默认的python版本 [root@master day27]# pyspark /home/software/spark-2.3.4-bin-hadoop2.7/conf/spark-env.sh: line 2: /usr/local/hadoop/bin/hadoop: No s
使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams[&#39;font.sans-serif&#39;] = [&#39;SimHei&#39;] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -&gt; systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping(&quot;/hires&quot;) public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate&lt;String
使用vite构建项目报错 C:\Users\ychen\work&gt;npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-