CN109614549A - 用于推送信息的方法和装置 - Google Patents

Abstract

本申请实施例公开了用于推送信息的方法和装置。该方法的一具体实施方式包括：获取候选集合运算表达式集，其中，候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。该实施方式利用集合运算表达式确定推送信息的推送对象。

Description

用于推送信息的方法和装置

技术领域

本申请实施例涉及计算机技术领域，具体涉及用于推送信息的方法和装置。

背景技术

随着互联网技术的发展，通过互联网向用户推送各种信息是常见的一种信息展示方式。在推送内容的选择上，可以根据用户属性的不同(如年龄、性别、兴趣爱好、职业等)将用户分为不同的群体，进而针对不同的群体选择不同的推送内容。

发明内容

本申请实施例提出了用于推送信息的方法和装置。

第一方面，本申请实施例提供了一种用于推送信息的方法，该方法包括：获取候选集合运算表达式集，其中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

在一些实施例中，用于推送信息的方法还包括：响应于确定该候选集合运算表达式的运算结果集为空集，输出用于提示无法推送目标信息的提示信息。

在一些实施例中，确定该候选集合运算表达式的运算结果集是否为空集，包括：获取该候选集合运算表达式对应的至少一个预设用户标识集；利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及确定得到的运算结果集是否为空集。

在一些实施例中，确定该候选集合运算表达式的运算结果集是否为空集，包括：确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式；根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。

在一些实施例中，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息，包括：获取该候选集合运算表达式对应的至少一个预设用户标识集；利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式运算结果集，以及向得到的运算结果集指示的用户所使用的终端设备推送目标信息。

在一些实施例中，在向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息之后，用于推送信息的方法还包括：删除得到的、该候选集合运算表达式的运算结果集。

第二方面，本申请实施例提供了一种用于推送信息的装置，该装置包括：获取单元，被配置成获取候选集合运算表达式集，其中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；推送单元，被配置成对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

在一些实施例中，推送单元进一步被配置成：响应于确定该候选集合运算表达式的运算结果集为空集，输出用于提示无法推送目标信息的提示信息。

在一些实施例中，推送单元进一步被配置成：获取该候选集合运算表达式对应的至少一个预设用户标识集；利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及确定得到的运算结果集是否为空集。

在一些实施例中，推送单元进一步被配置成：确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式；根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。

在一些实施例中，推送单元进一步被配置成：获取该候选集合运算表达式对应的至少一个预设用户标识集；利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及向得到的运算结果集指示的用户所使用的终端设备推送目标信息。

在一些实施例中，用于推送信息的装置还包括：删除单元，被配置成删除得到的、该候选集合运算表达式的运算结果集。

第三方面，本申请实施例提供了一种服务器，该服务器包括：一个或多个处理器；存储装置，用于存储一个或多个程序；当一个或多个程序被一个或多个处理器执行，使得一个或多个处理器实现如第一方面中任一实现方式描述的方法。

第四方面，本申请实施例提供了一种计算机可读介质，其上存储有计算机程序，该计算机程序被处理器执行时实现如第一方面中任一实现方式描述的方法。

本申请实施例提供的用于推送信息的方法和装置，通过获取候选集合运算表达式集，其中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息，从而实现了在接收到推送指示时，才对对应的候选集合运算表达式进行运算以确定目标信息的推送对象，从而避免了对所有候选集合运算表达式都提前确定对应的运算结果集而占用太多的存储资源的情况。

附图说明

通过阅读参照以下附图所作的对非限制性实施例所作的详细描述，本申请的其它特征、目的和优点将会变得更明显：

图1是本申请的一个实施例可以应用于其中的示例性系统架构图；

图2是根据本申请的用于推送信息的方法的一个实施例的流程图；

图3是根据本申请实施例的用于推送信息的方法的一个应用场景的示意图；

图4是根据本申请的用于推送信息的方法的又一个实施例的流程图；

图5是根据本申请的用于推送信息的装置的一个实施例的结构示意图；

图6是适于用来实现本申请实施例的服务器的计算机系统的结构示意图。

具体实施方式

下面结合附图和实施例对本申请作进一步的详细说明。可以理解的是，此处所描述的具体实施例仅仅用于解释相关发明，而非对该发明的限定。另外还需要说明的是，为了便于描述，附图中仅示出了与有关发明相关的部分。

需要说明的是，在不冲突的情况下，本申请中的实施例及实施例中的特征可以相互组合。下面将参考附图并结合实施例来详细说明本申请。

图1示出了可以应用本申请的用于推送信息的方法或用于推送信息的装置的实施例的示例性架构100。

如图1所示，系统架构100可以包括终端设备101、102、104、105、服务器103和数据库106。终端设备101、102、104、105和服务器103之间可以通过各种连接方式通信连接。数据库106和服务器103之间可以通信连接。

终端设备104、105可以接收服务器103推送的信息。终端设备104、105上可以安装有各种客户端应用。终端设备101、102可以向服务器103发送向终端设备104、105推送信息的推送指示。终端设备101、102上也可以安装有各种客户端应用。

终端设备101、102、104、105可以是硬件，也可以是软件。当终端设备101、102、104、105为硬件时，可以是支持信息推送的各种电子设备，包括但不限于智能手机、平板电脑、电子书阅读器、膝上型便携计算机和台式计算机等等。当终端设备101、102、104、105为软件时，可以安装在上述所列举的电子设备中。其可以实现成多个软件或软件模块(例如用来提供分布式服务的多个软件或软件模块)，也可以实现成单个软件或软件模块。在此不做具体限定。

服务器103可以是提供各种服务的服务器。例如，服务器103可以是为终端设备101、102上所安装的应用提供支持的后端服务器。此时，终端设备101、102可以通过其上所安装的应用向服务器103发送向终端设备104、105推送信息的推送指示。服务器103同时还可以是为终端设备104、105上所安装的应用提供支持的后端服务器。此时，终端设备104、105可以利用其上安装的应用接收服务器103推送的信息。

数据库106可以为服务器103提供数据支持。例如，数据库106中可以存储至少一个预设用户标识集。服务器103在接收到终端设备101、102发送的推送指示时，可以从数据库106中获取推送指示对应的候选集合运算表达式对应的至少一个预设用户标识集，以执行推送指示。

需要说明的是，数据库106也可以直接安装于服务器103中，此时，服务器103可以直接从本地的数据库获取预设用户标识集以完成推送指示。

需要说明的是，本申请实施例所提供的用于推送信息的方法一般由服务器103执行，相应地，用于推送信息的装置一般设置于服务器103中。

需要说明的是，服务器103可以是硬件，也可以是软件。当服务器103为硬件时，可以实现成多个服务器组成的分布式服务器集群，也可以实现成单个服务器。当服务器103为软件时，可以实现成多个软件或软件模块(例如用来提供分布式服务的多个软件或软件模块)，也可以实现成单个软件或软件模块。在此不做具体限定。

应该理解，图1中的终端设备、服务器和数据库的数目仅仅是示意性的。根据实现需要，可以具有任意数目的终端设备、网络和服务器。

继续参考图2，其示出了根据本申请的用于推送信息的方法的一个实施例的流程200。该用于推送信息的方法包括以下步骤：

步骤201，获取候选集合运算表达式集。

在本实施例中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算。预设用户标识集中的用户标识可以是各种能够用于标识用户的标识。应当可以理解，由于用户通过使用的终端设备与上述执行主体通信，因此，可以采用用户所使用的终端设备的标识来标识用户。不同类型的终端设备可以采用不同的标识。

可选地，用户标识包括但不限于：MAC(Media Access Control，媒体访问控制)地址、IMEI(International Mobile Equipment Identity，国际移动设备识别码)、IDFA(Identifier For Advertising，广告标识符)、UDID(Unique Device Identifier，设备的唯一标识符)、UUID(Universally Unique Identifier、通用唯一识别码)等等。

可选地，用户标识还可以采用用户的相关信息。用户标识包括但不限于：用户邮箱、手机号码、用户在终端设备上的目标应用中注册的账号等等。

在本实施例中，可以预先根据用户的属性将用户划分为不同的类别，从而可以由每个类别对应的各个用户的用户标识组成各个类别对应的用户标识集。用户的属性可以为各种属性。作为示例，用户的属性包括但不限于：年龄、性别、职业、兴趣爱好、城市等等。

预设用户标识集可以是由技术人员根据实际的应用需求预先设置的用户标识集。

应当可以理解，每个预设的用户标识集都可以有对应的一个集合标识来标识该集合。集合运算表达式的形式可以多种多样，具体可以根据实际应用场景来选择。

例如，集合运算表达式可以由至少一个预设用户标识集分别对应的集合标识与集合运算符组成。当然，集合运算表达式也可以为语言描述的对至少一个预设用户标识集的集合运算。

作为示例，集合运算表达式可以为：A∩B。其中，“A”和“B”分别表示一个预设用户标识集。“∩”表示交集。那么集合运算表达式A∩B就可以表示计算预设用户标识集“A”和预设用户标识集“B”的交集。集合运算表达式也可以为语言描述的：预设用户标识集“A”和预设用户标识集“B”的交集。

在本实施例中，用于推送信息的方法的执行主体(如图1所示的服务器103)可以利用有线连接或无线连接的方式从其它终端设备(如图1所示终端设备101、102)获取候选集合运算表达式集。

候选集合运算表达式可以是任意的集合运算表达式。实践中，可以由技术人员指定至少一个集合运算表达式作为候选集合运算表达式。候选集合运算表达式也可以根据实际的应用场景而确定。例如，可以将上述执行主体在一定时间段内接收到的集合运算表达式确定为候选集合运算表达式。

可选地，上述执行主体可以向其它终端设备发送或展示至少一个预设用户标识集中的各个预设用户标识集所指示的用户的类别等信息。其它终端设备则可以根据实际的应用需求构造符合实际应用需求的集合运算表达式，并发送至上述执行主体。

当然，上述执行主体在接收到集合运算表达式之后可以在本地进行存储，或者上述执行主体可以先获取其它终端设备的实际应用需求的相关信息，然后由上述执行主体根据其它终端设备的实际应用需求构造符合实际应用需求的集合运算表达式。此时，上述执行主体可以从本地直接获取集合运算表达式集。

步骤202，对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，执行如下的步骤2021和步骤2022。

在本实施例中，其它终端设备(如图1所示的终端设备101、102)可以向上述执行主体发送针对候选集合运算表达式的推送指示。其中，推送指示可以用于指示向候选集合运算表达式的运算结果集指示的用户所使用的终端设备(如图1所示的终端设备104、105)推送目标信息。

其中，由于候选集合运算表达式可以表示至少一个预设用户标识集的集合运算，因此，候选集合运算表达式的运算结果集可以指对至少一个预设用户标识集执行表达式中相应的集合运算后所得到的运算结果。其中，推送指示可以指定目标信息。

可选地，上述执行主体可以展示候选集合运算表达式集中的各个候选集合运算表达式，然后由用户(如终端设备101、102对应的用户)选择其中的候选集合运算表达式。上述执行主体还可以向上述用户展示可推送的信息，上述用户可以选择要推送的信息。之后，用户可以向上述执行主体发出向所选择的候选集合运算表达式的运算结果集指示的用户推送所选择的信息的推送指示。

步骤2021，确定该候选集合运算表达式的运算结果集是否为空集。

在本实施例中，上述执行主体可以从本地或通信连接的数据库(如图1所示的数据库106)获取该候选集合运算表达式对应的至少一个预设用户标识集。当然，上述执行主体也可以从其它存储设备获取该候选集合运算表达式对应的至少一个预设用户标识集。

之后，可以按照该候选集合运算表达式所表示的至少一个预设用户标识集之间的运算关系，对所获取的至少一个预设用户标识集执行对应的集合运算，以完成该候选集合运算表达式所表示的集合运算，得到该候选集合预算表达式的运算结果集。

在得到运算结果集后，可以通过判断运算结果集包含的用户标识的数目是否为零来确定运算结果集是否为空集。若为零，则确定运算结果集为空集。若不为零，则确定运算结果集不为空集。

步骤2022，响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

在本实施例中，由于该候选集合运算表达式是对至少一个用户标识集的集合运算，因此该候选集合运算表达式的运算结果集若不为空集，则表示运算结果集包含至少一个用户标识。此时，可以向运算结果集包含的用户标识指示的用户所使用的终端设备推送目标信息。

在本实施例的一些可选的实现方式中，响应于确定该候选集合运算表达式的运算结果集为空集，可以输出用于提示无法推送目标信息的提示信息。

在本实施例的一些可选的实现方式中，在向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息之后，还可以删除之前得到的、该候选集合运算表达式的运算结果集。

由于存储该候选集合运算表达式的运算结果集需要占用一定的存储资源，而且该候选集合运算表达式的运算结果集在之后的一定时间段内可能不再使用了，基于此，在完成目标信息推送之后，可以删除得到的运算结果集，以节省存储资源。

继续参见图3，图3是根据本实施例的用于推送信息的方法的应用场景的一个示意图300。在图3的应用场景中，上述执行主体可以先获取候选集合运算表达式集301。如图中所示，候选集合运算表达式集中包含的候选集合运算表达式包括：A∩B、A∩B∪C、D∩E等等。其中，A、B、C、D、E等均为预设的用户标识集。这些用户标识集可以存储于与上述执行主体通信连接的数据库303中。

上述执行主体可以向用户展示候选集合运算表达式集301中的候选集合运算表达式，若用户选择其中的候选集合运算表达式：A∩B，并向上述执行主体发送向A∩B指示的用户推送信息M的推送指示302。上述执行主体可以从数据库303中获取用户标识集A和用户标识集B。

如图中标号304所示，用户标识集A包括用户1和用户2两个用户标识。用户标识集B包括用户1和用户3两个用户标识。进一步地，可以确定用户标识集A和用户标识集B的交集为用户1(如图中标号305所示)。

然后，可以向用户1指示的用户所使用的终端设备306推送信息M(图中标号为307)。

本申请的上述实施例提供的方法通过只存储候选集合运算表达式集和预设用户标识集，在接收到对候选集合运算表达式集中的候选集合运算表达式对应的推送指示时，确定推送指示对应的候选集合运算表达式的运算结果集，并且在运算结果集不为空集时，执行推送指示以完成信息推送。这种方式不需要提前计算并存储各个候选集合运算表达式的运算结果集，从而大大节省了存储资源。另外，由于是在接收到推送指示时，才对候选集合运算表达式的运算结果集进行计算，因此，在预设用户标识集更新时，计算的候选集合运算表达式的运算结果集自然是最新的结果，保证了候选集合运算表达式的运算结果集与对应的预设用户标识集的数据一致性。

进一步参考图4，其示出了用于推送信息的方法的又一个实施例的流程400。该用于推送信息的方法的流程400，包括以下步骤：

步骤401，获取候选集合运算表达式集。

本步骤401的具体的执行过程可参考图2对应实施例中的步骤201的相关说明，在此不再赘述。

步骤402，对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，执行如下的步骤4021、4022和4023。

步骤4021，确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式。

在本步骤中，可以利用现有的各种求主析取范式的方法(如推演法、真值表法、构造树法等)确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式。

步骤4022，根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。

在本步骤中，由于主析取范式表示为若干极小项的析取。因此，只要有一项极小项的运算结果集不为空集，则该候选集合运算表达式的运算结果集不为空集。

具体地，可以先对各个极小项进行排序。可选地，可以由技术人员对各个极小项进行排序，也可以随机排序。之后，按照排定的顺序，先判断第一个极小项的运算结果集是否不为空集。若不为空集，则可以确定该候选集合运算表达式的运算结果集不为空集。若为空集，则判断第二个极小项的运算结果集是否不为空集。若不为空集，则可以确定该候选集合运算表达式的运算结果集不为空集。若为空集，则判断第三个极小项的运算结果集是否不为空集，并依次类推。

通过分析主析取范式的方法来确定运算结果集是否为空集，可以较大地提升运算速度。很多情况下，只需要判断部分极小项的运算结果集之后，就可以确定运算结果集不为空集。因此，通过这种方式可以较快的确定此次推送信息是否是可执行的，从而能够在此次推送信息可执行时，较快的向用户返回相关提示信息，从而降低用户端的响应延迟。

步骤4023，响应于确定该候选集合运算表达式的运算结果集不为空集，获取该候选集合运算表达式对应的至少一个预设用户标识集，以及利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及向得到的运算结果集指示的用户所使用的终端设备推送目标信息。

本步骤4023的具体的执行过程可参考图2对应实施例中的步骤202的相关说明，在此不再赘述。

从图4中可以看出，与图2对应的实施例相比，本实施例中的用于推送信息的方法的流程400突出了可以利用求主析取范式的方法加快确定候选集合运算表达式的运算结果集是否不为空集的速度。

进一步参考图5，作为对上述各图所示方法的实现，本申请提供了一种用于推送信息的装置的一个实施例，该装置实施例与图2所示的方法实施例相对应，该装置具体可以应用于各种电子设备中。

如图5所示，本实施例提供的用于推送信息的装置500包括获取单元501和推送单元502。其中，获取单元501被配置成获取候选集合运算表达式集，其中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；推送单元502被配置成对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

在本实施例中，用于推送信息的装置500中：获取单元501和推送单元502的具体处理及其所带来的技术效果可分别参考图2对应实施例中的步骤201和步骤202的相关说明，在此不再赘述。

在本实施例的一些可选的实现方式中，推送单元502进一步被配置成：响应于确定该候选集合运算表达式的运算结果集为空集，输出用于提示无法推送目标信息的提示信息。

在本实施例的一些可选的实现方式中，推送单元502进一步被配置成：获取该候选集合运算表达式对应的至少一个预设用户标识集；利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及确定得到的运算结果集是否为空集。

在本实施例的一些可选的实现方式中，推送单元502进一步被配置成：确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式；根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。

在本实施例的一些可选的实现方式中，推送单元502进一步被配置成：获取该候选集合运算表达式对应的至少一个预设用户标识集；利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及向得到的运算结果集指示的用户所使用的终端设备推送目标信息。

在本实施例的一些可选的实现方式中，用于推送信息的装置还包括：删除单元(图中未示出)，被配置成删除得到的、该候选集合运算表达式的运算结果集。

本申请的上述实施例提供的装置，通过获取单元获取候选集合运算表达式集，其中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；推送单元对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息，从而实现了在接收到推送指示时，才对对应的候选集合运算表达式进行运算以确定目标信息的推送对象，从而避免了对所有候选集合运算表达式都提前确定对应的运算结果集而占用太多的存储资源的情况。

下面参考图6，其示出了适于用来实现本申请实施例的服务器的计算机系统600的结构示意图。图6示出的服务器仅仅是一个示例，不应对本申请实施例的功能和使用范围带来任何限制。

如图6所示，计算机系统600包括中央处理单元(CPU)601，其可以根据存储在只读存储器(ROM)602中的程序或者从存储部分608加载到随机访问存储器(RAM)603中的程序而执行各种适当的动作和处理。在RAM 603中，还存储有系统600操作所需的各种程序和数据。CPU 601、ROM 602以及RAM 603通过总线604彼此相连。输入/输出(I/O)接口605也连接至总线604。

以下部件连接至I/O接口605：包括键盘、鼠标等的输入部分606；包括诸如阴极射线管(CRT)、液晶显示器(LCD)等以及扬声器等的输出部分607；包括硬盘等的存储部分608；以及包括诸如LAN卡、调制解调器等的网络接口卡的通信部分609。通信部分609经由诸如因特网的网络执行通信处理。驱动器610也根据需要连接至I/O接口605。可拆卸介质611，诸如磁盘、光盘、磁光盘、半导体存储器等等，根据需要安装在驱动器610上，以便于从其上读出的计算机程序根据需要被安装入存储部分608。

特别地，根据本公开的实施例，上文参考流程图描述的过程可以被实现为计算机软件程序。例如，本公开的实施例包括一种计算机程序产品，其包括承载在计算机可读介质上的计算机程序，该计算机程序包含用于执行流程图所示的方法的程序代码。在这样的实施例中，该计算机程序可以通过通信部分609从网络上被下载和安装，和/或从可拆卸介质611被安装。在该计算机程序被中央处理单元(CPU)601执行时，执行本申请的方法中限定的上述功能。

需要说明的是，本申请的计算机可读介质可以是计算机可读信号介质或者计算机可读存储介质或者是上述两者的任意组合。计算机可读存储介质例如可以是——但不限于——电、磁、光、电磁、红外线、或半导体的系统、装置或器件，或者任意以上的组合。计算机可读存储介质的更具体的例子可以包括但不限于：具有一个或多个导线的电连接、便携式计算机磁盘、硬盘、随机访问存储器(RAM)、只读存储器(ROM)、可擦式可编程只读存储器(EPROM或闪存)、光纤、便携式紧凑磁盘只读存储器(CD-ROM)、光存储器件、磁存储器件、或者上述的任意合适的组合。在本申请中，计算机可读存储介质可以是任何包含或存储程序的有形介质，该程序可以被指令执行系统、装置或者器件使用或者与其结合使用。而在本申请中，计算机可读的信号介质可以包括在基带中或者作为载波一部分传播的数据信号，其中承载了计算机可读的程序代码。这种传播的数据信号可以采用多种形式，包括但不限于电磁信号、光信号或上述的任意合适的组合。计算机可读的信号介质还可以是计算机可读存储介质以外的任何计算机可读介质，该计算机可读介质可以发送、传播或者传输用于由指令执行系统、装置或者器件使用或者与其结合使用的程序。计算机可读介质上包含的程序代码可以用任何适当的介质传输，包括但不限于：无线、电线、光缆、RF等等，或者上述的任意合适的组合。

附图中的流程图和框图，图示了按照本申请各种实施例的系统、方法和计算机程序产品的可能实现的体系架构、功能和操作。在这点上，流程图或框图中的每个方框可以代表一个模块、程序段、或代码的一部分，该模块、程序段、或代码的一部分包含一个或多个用于实现规定的逻辑功能的可执行指令。也应当注意，在有些作为替换的实现中，方框中所标注的功能也可以以不同于附图中所标注的顺序发生。例如，两个接连地表示的方框实际上可以基本并行地执行，它们有时也可以按相反的顺序执行，这依所涉及的功能而定。也要注意的是，框图和/或流程图中的每个方框、以及框图和/或流程图中的方框的组合，可以用执行规定的功能或操作的专用的基于硬件的系统来实现，或者可以用专用硬件与计算机指令的组合来实现。

描述于本申请实施例中所涉及到的单元可以通过软件的方式实现，也可以通过硬件的方式来实现。所描述的单元也可以设置在处理器中，例如，可以描述为：一种处理器，包括获取单元和删除单元。其中，这些单元的名称在某种情况下并不构成对该单元本身的限定，例如，获取单元还可以被描述为“获取候选集合运算表达式集的单元，其中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算”。

作为另一方面，本申请还提供了一种计算机可读介质，该计算机可读介质可以是上述实施例中描述的服务器中所包含的；也可以是单独存在，而未装配入该服务器中。上述计算机可读介质承载有一个或者多个程序，当上述一个或者多个程序被该服务器执行时，使得该服务器：获取候选集合运算表达式集，其中，候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；对于候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

以上描述仅为本申请的较佳实施例以及对所运用技术原理的说明。本领域技术人员应当理解，本申请中所涉及的发明范围，并不限于上述技术特征的特定组合而成的技术方案，同时也应涵盖在不脱离上述发明构思的情况下，由上述技术特征或其等同特征进行任意组合而形成的其它技术方案。例如上述特征与本申请中公开的(但不限于)具有类似功能的技术特征进行互相替换而形成的技术方案。

Claims (14)

1.一种用于推送信息的方法，包括：

获取候选集合运算表达式集，其中，所述候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；

对于所述候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，所述推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

2.根据权利要求1所述的方法，其中，所述方法还包括：

响应于确定该候选集合运算表达式的运算结果集为空集，输出用于提示无法推送目标信息的提示信息。

3.根据权利要求1所述的方法，其中，所述确定该候选集合运算表达式的运算结果集是否为空集，包括：

获取该候选集合运算表达式对应的至少一个预设用户标识集；

利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及确定得到的运算结果集是否为空集。

4.根据权利要求1所述的方法，其中，所述确定该候选集合运算表达式的运算结果集是否为空集，包括：

确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式；

根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。

5.根据权利要求4所述的方法，其中，所述向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息，包括：

获取该候选集合运算表达式对应的至少一个预设用户标识集；

利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及向得到的运算结果集指示的用户所使用的终端设备推送目标信息。

6.根据权利要求3或5所述的方法，其中，在向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息之后，所述方法还包括：

删除得到的、该候选集合运算表达式的运算结果集。

7.一种用于推送信息的装置，包括：

获取单元，被配置成获取候选集合运算表达式集，其中，所述候选集合运算表达式集中的候选集合运算表达式用于表示对至少一个预设用户标识集的集合运算；

推送单元，被配置成对于所述候选集合运算表达式集中的候选集合运算表达式，响应于接收到该候选集合运算表达式对应的推送指示，确定该候选集合运算表达式的运算结果集是否为空集，其中，所述推送指示用于指示向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息；响应于确定该候选集合运算表达式的运算结果集不为空集，向该候选集合运算表达式的运算结果集指示的用户所使用的终端设备推送目标信息。

8.根据权利要求7所述的装置，其中，所述推送单元进一步被配置成：

响应于确定该候选集合运算表达式的运算结果集为空集，输出用于提示无法推送目标信息的提示信息。

9.根据权利要求7所述的装置，其中，所述推送单元进一步被配置成：

获取该候选集合运算表达式对应的至少一个预设用户标识集；

利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及确定得到的运算结果集是否为空集。

10.根据权利要求7所述的装置，其中，所述推送单元进一步被配置成：

确定用于表示该候选集合运算表达式的运算结果集为空集的命题的主析取范式；

根据所确定的主析取范式确定该候选集合运算表达式的运算结果集是否为空集。

11.根据权利要求10所述的装置，其中，所述推送单元进一步被配置成：

获取该候选集合运算表达式对应的至少一个预设用户标识集；

利用所获取的至少一个预设用户标识集完成该候选集合运算表达式所表示的集合运算，以得到该候选集合运算表达式的运算结果集，以及向得到的运算结果集指示的用户所使用的终端设备推送目标信息。

12.根据权利要求9或11所述的装置，其中，所述装置还包括：

删除单元，被配置成删除得到的、该候选集合运算表达式的运算结果集。

13.一种服务器，包括：

一个或多个处理器；

存储装置，其上存储有一个或多个程序；

当所述一个或多个程序被所述一个或多个处理器执行，使得所述一个或多个处理器实现如权利要求1-6中任一所述的方法。

14.一种计算机可读介质，其上存储有计算机程序，其中，该程序被处理器执行时实现如权利要求1-6中任一所述的方法。