计算复杂性

摘要： 本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复杂性进行了研究。本文证明了在有序结构上,Σ11-KROMr与Σ11-KROM等价,可以刻画NL;而SO-EKROM与Π12-EKROM等价,他们都可以刻画co-NP。在所有结构上,Π12-KROMr与Π12-EKROMr等价,他们也都可以刻画co-NP。

摘要： 在线服务信誉是若干服务信用行为累积的结果,对于在线服务选择具有重要的作用.信誉系统管理者为获取不当利益,可通过删除、增加用户或服务进行控制以达到操纵服务信誉的目的.为此提出利用Fallback的在线服务信誉防控制机制.首先获取所有用户对在线服务的序数偏好集合;其次根据所有用户的序数偏好得到满足Fallback绝对多数阈值条件的在线服务信誉向量;然后将在线服务信誉控制建模为判断某一服务是否能通过控制成为信誉最高的服务的问题;最后证明Fallback方法的防控制性,即证明该控制问题是固定参数不可解的.通过实验进一步验证了该方法防控制的有效性.实验结果表明,该方法可以有效防止信誉系统内部能够掌握用户偏好的管理者的控制.

摘要： 采样是一类基本的计算问题.从一个解空间中依特定概率分布进行随机采样,这一问题在近似计数、概率推断、统计学习等方面都有着诸多重要的应用.在大数据时代,采样问题的分布式算法与分布式计算复杂性受到越来越多的关注.近年来,有一系列的工作对分布式采样理论展开系统性的研究.综述了分布式采样的重要结论,主要包括有严格理论保障的分布式采样算法、采样问题在分布式模型上的计算复杂性以及采样与推断等问题在分布式计算模型中的相互联系.

摘要： 近年来,随着航天飞行任务的发展,系统中飞行软件规模和功能占比突飞猛进,飞行软件越来越复杂,降低软件复杂性的质量需求凸显,软件复杂性成为系统难以解决的困难,造成软件质量、成本、进度问题,影响航天产品的可靠性、安全性,给航天系统任务成功带来巨大的风险.基于当前国内外航天飞行软件复杂性的研究现状,分析飞行软件复杂性内涵,从软件需求、开发方法、系统架构、软件验证与集成和组织管理方面探讨飞行软件复杂性的应对策略,最后展望飞行软件复杂性的发展.

摘要： 针对基于错误学习(LWE)问题的CKKS同态加密方案在密态数据计算中存在的密文大、计算密钥生成复杂以及同态计算效率低的缺陷,运用比特丢弃和同态计算密钥重组的方法,提出了一种优化的LWE型CKKS方案.首先,丢弃密文向量的部分低位比特和同态乘法计算中密文张量积的部分低位比特,从而减小了同态乘法过程中的密文规模;其次,针对比特丢弃对同态计算密钥进行重组和优化,从而去除密钥交换过程中powersof2含有的无关扩展项并降低计算密钥的规模和同态乘法过程中的噪声增长规模.在保证原有方案安全性的基础上,所提优化方案使得计算密钥的维度减少,使得同态乘法的计算复杂性降低.分析结果表明,所提出的优化方案在一定程度上降低了同态计算及计算密钥生成过程的计算复杂性,从而降低了存储开销并提升了同态乘法运算的效率.

摘要： 2021年数学界最高荣誉阿贝尔奖授予理论计算机和离散数学领域科学家匈牙利的洛瓦兹和美国的维格森.理论计算机科学研究的是计算的能力和局限,包含了两个互补的子学科,一个是算法设计,另一个是计算复杂性.前者涉及到为大量的计算问题开发有效的方法,后者展示了算法效率存在固有的局限性.

摘要： 本文研究在一台序列分批处理机上同时最优化A代理的时间表长和B代理的总完工时间的双代理排序问题.在序列分批的背景下,工件被分批加工(但不同代理的工件不能在同一批中加工,且每个代理都希望最小化仅依赖于各自工件完工时间的费用函数)且一批的加工时间等于这一批中所有工件的加工时间和.而且在一个新批开始加工前,机器有一个常数的安装时间.此外,根据批容量,序列分批模型又被分成有界模型和无界模型.在本文中,我们对所研究问题的有界模型和无界模型分别给出了一个多项式时间算法.

摘要： “安总,在硬件层面,产品通常是计算的载体。”秘书看着档案中的内容,接着说:“硬件是用来计算和储存二进制计算的。”“就是储存0和1。”安文浩补充道。“最早的计算机实际上都是利用两种不同的状态来表示0和1。近年来虽然量子计算机通过叠加态解决了计算复杂性的问题,然而,它的计算速度始终还是在一个数量级上。

摘要： 数据智能里面的数据复杂性、计算复杂性和系统复杂性，系统复杂性体现在涌现复杂性，计算复杂性体现在计算模式，变换尺度变换空间去度量。大数据智能更多的是涌现复杂，最后应用到系统方面，包括交通、环境、医疗、金融等方面，实际上最后形成相关的系统，包括数据的存储，数据分布式计算、分析和开放式的计算网络。

摘要： 针对回归和分类问题，提出一种极限学习机(ELM)的快速留一交叉验证算法，并从理论和数值仿真两方面说明其有效性，留一交叉验证已经被证明能够给出统计模型真实泛化性能的几乎无偏估计，进而为模型的选择和比较提供了一种可靠的标准，然而，由于其计算复杂性太高，很难应用到大规模数据集问题中，故一种针对ELM的快速留一交叉验证算法被提出，该算法避免显式地进行了以训练样本数量N的ELM模型训练，其计算复杂性是关于 N呈线性趋势增长，即0(N)．即使在处理大型数据集建模问题时，该算法仍然可以快速地进行 ELM模型的选择和评价，通过人工和实际数据集上的仿真实验，验证了该快速留一交叉验证算法的性能。

摘要： 分析了多站无源时差定位系统的工作原理及精度解算方法，定义了针对某航迹或某区域的定位精度评价指标，在此基础上基于遗传算法解算出多站时差定位的最优站址布局，在该布局下定位系统对特定航迹或特定区域的定位精度达到最优。仿真表明，使用该方法求解多站时差定位精度板值有效可行，避免了传统方法由矩阵求逆等非线性算子引入的计算复杂性，并达到较高定位精度。

摘要： 通过讨论相对于单元素语言的多项式时间谱系,得到了Ⅱp1(A)∈△1的一个充分条件,进而研究了多项式时间谱系中的类∑p1内的单元素语言T与计算复杂性理论中的重要相对化语言类CO-NP(T)、P(NP)、∑p t-1(T)、△p1、NP(T)、NP等之间的联系。

摘要： 对鲁棒预测控制,人们已经付出很多努力来扩大吸引域、增强最优性和降低计算量.在吸引域和最优性上的保守性可能来源于开环优化控制、离线优化、小切换时域和椭圆集限制.在线计算量可能来自闭环优化控制、在线优化和大切换时域.鲁棒预测控制可以从几个方面改进,但经常在在线优化和离线优化、开环优化控制和闭环优化控制、人切换时域和小切换时域之间取舍,但是,也存在有发展前景的改进方案,如可改造性能指标、改进不变集的类型和控制模态.

摘要： 对鲁棒预测控制,人们已经付出很多努力来扩大吸引域、增强最优性和降低计算量.在吸引域和最优性上的保守性可能来源于开环优化控制、离线优化、小切换时域和椭圆集限制.在线计算量可能来自闭环优化控制、在线优化和大切换时域.鲁棒预测控制可以从几个方面改进,但经常在在线优化和离线优化、开环优化控制和闭环优化控制、大切换时域和小切换时域之间取舍.但是,也存在有发展前景的改进方案,如可改造性能指标、改进不变集的类型和控制模态.

摘要： 本文提出了针对中文命名实体识别任务的两阶段方法。第一阶段应用条件随机场模型检测实体边界；第二阶段应用最大熵模识别实体类型。相对于同时进行边界检测和类型识别的传统一阶段方法,两阶段大大减小了条件随机场训练的计算复杂性(缩短了训练时间,减小内存消耗,生成模型更小)。SIGHAN 2006 MSRA和CityU封闭测试的结果显示,二阶段较一阶段仅仅损失1％的性能,却将计算复杂性降低80％以上.

摘要： 捐赠的不透明使人们质疑慈善机构是否能够将所有的捐款都用于赈灾，人们希望有可信透明的方案来监管这些善款。为了让整个捐款过程可信可控，利用强化的RMX签名算法——eRMX签名算法以及百万富翁问题，给出了两个可信捐款监督方案。使用此监督方案，接受捐赠的慈善机构必须要接受全体捐赠人的监督，擅自克扣捐款是不可能的，同时该监督方案还可防止恶意捐赠人通过捏造捐款数额来诬陷诽谤被捐赠机构。

摘要： 捐赠的不透明使人们质疑慈善机构是否能够将所有的捐款都用于赈灾，人们希望有可信透明的方案来监管这些善款。为了让整个捐款过程可信可控，利用强化的RMX签名算法——eRMX签名算法以及百万富翁问题，给出了两个可信捐款监督方案。使用此监督方案，接受捐赠的慈善机构必须要接受全体捐赠人的监督，擅自克扣捐款是不可能的，同时该监督方案还可防止恶意捐赠人通过捏造捐款数额来诬陷诽谤被捐赠机构。

摘要： 捐赠的不透明使人们质疑慈善机构是否能够将所有的捐款都用于赈灾，人们希望有可信透明的方案来监管这些善款。为了让整个捐款过程可信可控，利用强化的RMX签名算法——eRMX签名算法以及百万富翁问题，给出了两个可信捐款监督方案。使用此监督方案，接受捐赠的慈善机构必须要接受全体捐赠人的监督，擅自克扣捐款是不可能的，同时该监督方案还可防止恶意捐赠人通过捏造捐款数额来诬陷诽谤被捐赠机构。

摘要： 本发明的具体实现与无线通信系统的一般领域相关，特别的，与TD－SCDMA技术中快速有效的测量技术相关。测量子系统是TD－SCDMA中主要的子系统之一，它包括几个无线网络量的测量，每一个都需要几个系统过程来实现。一些量的测量的运算复杂度要远远高于别的，例如，ISCP的测量和IRT的测量。本文推荐的方法就是用来降低ISCP测量过程中的运算复杂度的。

摘要： 一种用于接收组合信号的接收器，该组合信号包括两个单独的信号部分，所述两个单独的信号部分的脉冲相对于彼此偏移和/或所述两个单独的信号部分的载波具有相位差，该接收器被配置为使用第一采样获得第一系列样本，并且进一步被配置为使用第二采样获得第二系列样本。第一采样被调整到第一信号部分的符号相位，并且第二采样被调整到第二信号部分的符号相位。接收器进一步被配置为基于第一系列样本和第二系列样本针对多个采样时间获得第一信号部分的传输符号的概率和第二信号部分的传输符号的概率。接收器被配置为基于第一采样的样本和第二信号部分的传输符号的估计或计算的概率来确定第一信号部分的传输符号的概率，而不考虑第一采样的样本中的第一信号部分的传输符号之间的符号间干扰。接收器进一步以对应的方式确定第二信号部分的符号的概率。还描述了对应的方法和计算机程序。

摘要： 本申请实施例提出了基于计算公式复杂性的大数据测试方法、装置、电子设备，包括：从数据源处采集对应计算公式的测试数据，对测试数据进行清洗；基于清洗后的测试数据对计算公式进行训练，确定计算公式的参数值，根据已确定的参数值判定计算公式是否有效；当计算公式有效时，将对应参数值的因素参数进行赋值，计算赋值后的复杂判定值；基于复杂判定值与判定阈值的大小关系，判定建立针对计算公式的测试脚本完成大数据覆盖测试，或补充针对计算公式的测试数据场景完成大数据覆盖测试。通过对计算公式复杂性进行判断，能够选取更为适合当前计算公式的测试方式，解决大数据测试场景下因计算公式复杂性不同导致测试时长和准确性无法统一的缺陷。

摘要： 本发明揭示用于基于复杂性量度的显示流压缩DSC的量化参数QP的技术。在一个方面中，一种用于确定QP值的方法包含：确定多个先前块的复杂性值；以及基于所述所确定的复杂性值，从多种限定技术选择一种技术，来为当前块计算QP调整值。所述方法可进一步包含：经由所述选定技术来为所述当前块计算所述QP调整值；以及基于所述QP调整值来为所述当前块确定所述QP值。

摘要： 用于降低预补偿单元的复杂性和功率要求的技术，以及采用该技术的均衡器、设备以及系统。在用于提供高速均衡的说明性方法中，该方法包括：获取信道响应，该信道响应在具有来自符号集的符号序列的信号中呈现拖尾符号间干扰；对应于具有所述信号集的所述信道响应，确定对于预补偿单元的阈值的分布；从所述分布中导出阈值缩减集；以及利用采用阈值缩减集的复杂性降低预补偿单元来实现判定反馈均衡器。

摘要： 动态脉率变异性信号复杂性测度的实时计算方法，其目的为快速准确地实现脉率变异性信号复杂性测度计算，用于心血管疾病的在线监护与预警；其步骤为：(1)对动态脉搏信号检测与处理；(2)动态脉率变异性信号预处理与提取，记为PP(i)；(3)采用滑窗的方式更新动态脉率变异性信号采样点PP(N)；(4)重构PP(1)和PP(N)所在的时间序列；(5)符号化X(1)和X(N-m+1)序列；(6)产生{S1(j)}和{SN-m+2(j)}编码的存储位置；(7)迭代更新熵值。

摘要： 公开了使用表示信道带宽变化和图像复杂性的统计模型确定视频流、IPTV和播放应用程序中的实时图像复杂性的方法，该方法考虑了场景内容变化。与带宽变化和播放的视频流的图像复杂性成比例地在多个视频流之间分配可用信道带宽。基于每一个视频流的图像复杂性因素确定可用信道带宽的分布，所述图像复杂性因素是根据考虑了带宽变化和图像复杂性的概率矩阵确定的。

摘要： 提供一种能够有规律地保持计算复杂性的用于运动图像编码的方法和装置。这种方法包括：(a)计算视频数据的运动估值(ME)计算复杂性，并估算所计算的ME计算复杂性和目标计算复杂性之间的偏差；(b)基于在(a)中估算的ME计算复杂性中的偏差更新目标离散余弦变换(DCT)复杂性；(c)基于在(b)中已更新的目标DCT计算复杂性设置阈值，以便确定是否对视频数据跳过执行DCT处理；及(d)根据在(c)中设置的阈值，对视频数据跳过执行DCT处理或执行DCT处理。

摘要： 一种降低视频编码器系统中计算复杂性的方法和设备。该方法包括接收变换的视频块数据系数；设定阈值；确定是否至少一个变换的视频块数据系数的量值大于该阈值；如果至少一个变换视频块数据系数的量值大于该阈值则执行随后的压缩功能；并且如果没有变换视频块数据系数的量值大于该阈值，则绕过随后的压缩功能。

摘要： 提供一种能够有规律地保持计算复杂性的用于运动图像编码的方法和装置。这种方法包括：(a)计算视频数据的运动估值(ME)计算复杂性，并估算所计算的ME计算复杂性和目标计算复杂性之间的偏差；(b)基于在(a)中估算的ME计算复杂性中的偏差更新目标离散余弦变换(DCT)复杂性；(c)基于在(b)中已更新的目标DCT计算复杂性设置阈值，以便确定是否对视频数据跳越执行DCT处理；及(d)根据在(c)中设置的阈值，对视频数据跳越执行DCT处理或执行DCT处理。