MiniZinc决策变量非连续范围
MiniZinc是一种建模语言，用于描述和求解约束编程问题。它提供了一种简洁的方式来定义问题的约束条件和目标函数，并通过求解器来找到满足这些条件的解。
决策变量是问题中需要进行决策的变量。在MiniZinc中，决策变量可以是连续的或非连续的。
非连续范围指的是决策变量的取值范围是离散的，而不是连续的。在MiniZinc中，可以使用var关键字来声明非连续范围的决策变量。
举个例子，如果我们要解决一个旅行商问题（TSP），其中需要决定每个城市的访问顺序，可以使用非连续范围的决策变量来表示每个城市的编号。假设有5个城市，可以声明一个非连续范围的决策变量var 1..5: city;来表示城市的编号。
MiniZinc提供了多种求解器，可以用于求解包括非连续范围决策变量的约束编程问题。腾讯云并没有直接提供与MiniZinc相关的产品或服务。
总结起来，MiniZinc是一种用于描述和求解约束编程问题的建模语言，决策变量可以是连续的或非连续的，非连续范围表示决策变量的取值范围是离散的。腾讯云没有直接提供与MiniZinc相关的产品或服务。
参考链接：
- MiniZinc官方网站：https://www.minizinc.org/
- MiniZinc语言手册：https://www.minizinc.org/doc-2.5.5/en/index.html
相关·内容
我正处于学习MiniZinc的开始阶段，我想在不看代码的情况下完成MiniZinc教程中提供的laplace.mzn示例。我最初的尝试，如下面的代码块1所示，提供了正确的答案。我想尝试通过在show_float()函数中设置硬编码值6来推广输出语句，该函数指定输出中的每个浮点数都应该用6位数字右对齐(即找到t中的最大值并以此为基础计算输出宽度)。
我的第一次尝试是在代码块2中添加语句，但收到以下错误: MiniZinc: evaluation error：
laplace.mzn:28：
在'm‘的变量声明中
在调用'max‘时
/home/str/MiniZinc/share
浏览 4提问于2017-12-22得票数 0
1回答
在编写我的第一个非平凡的MiniZinc应用程序时，我总是遇到“无法确定边界”的错误。一般情况下如何解决此错误？
浏览 1提问于2015-02-07得票数 1
回答已采纳
1回答
我正在处理minizinc，并试图实现一个条件输出，其中，如果数组元素的值为“true”，程序将输出与这些元素的数组索引有关的信息。这就是我所拥有的：
include "globals.mzn";
int: time=5;
int: n=3;
int: l=n*n;
array[1..4,0..time,1..l] of var bool: X;
constraint X[1,5,7]=true;
constraint X[2,5,3]=true;
constraint X[3,5,9]=true;
constraint X[4,5,7]=true;
solve satisfy
浏览 2提问于2017-11-29得票数 2
回答已采纳
1回答
当数组决策变量不是一个连续的整数序列时，除了编写太多的约束外，定义数组决策变量范围的最佳方式是什么？
举例:枚举产品={product_1，product_2，product_3，product_4}；
var 0..2 :X的数组积；// var 0,3,10 :y的连续数组积；/不连续的序列和错误
我还尝试使用int集合
例如int集合: y_range= 0,1,3；
枚举产品={product_1，product_2，product_3，product_4}；
var 0..2 :x的数组积；// var y_range的连续数组积: y；//不连续的序列和错误
但没有成功..。
浏览 11提问于2018-08-30得票数 0
回答已采纳
在MiniZinc中，如何使这段代码在没有错误的情况下编译，“没有找到带有此签名的函数或谓词：‘圆形(var浮点)’”？
var int: D = 1;
var int: F;
constraint F = round (D / 2);
浏览 3提问于2015-02-09得票数 3
回答已采纳
我在高尔夫球手的问题上有很多种(每周都应该有一个小组，这样两名球员不能在一起玩一次，每个人每周都打一次)：
int: gr; %number of groups
set of int: G=1..gr;
int: sz; %size of groups
set of int: S=1..sz;
int: n=gr*sz; %number of players
set of int: P=1..n;
int: we; % number of weeks
set of int: W=1..we;
include "globals.mzn";
array[G,W] of var
浏览 7提问于2016-11-05得票数 0
回答已采纳
我正在使用Python接口到Minizinc，并从外部文件中读取模型(.mzn)和数据(.dzn)。有办法从Python访问问题数据吗？
例如，我使用Minizinc手册中的cakes2 2模型，它有一个决策变量b和一个数据字段面粉。
from minizinc import Instance, Model, Solver
solverToUse = "coinbc"
solver = Solver.lookup(solverToUse)
print(solver.name, ",", solver.version)
mo
浏览 5提问于2021-10-13得票数 2
回答已采纳
1回答
我正在r600g驱动程序中勾画银行的调度表(这是，我正在计算约束)
enum CHANS = {x,y,z,w};
enum REGS = {R1, R2, R3, R4}; % for starters
% args
enum OPERANDS = {src1, src2, src3, src4};
array[OPERANDS] of REGS: Regs = [R1, R2, R1, R3];
array[OPERANDS] of CHANS: Chans = [x, x, y, x];
array[OPERANDS] of 1..4: Inst = [1,1,2,2];
array[
浏览 2提问于2017-07-05得票数 1
回答已采纳
如何使用嵌套的for循环(如下面的java所做的)来生成/填充Minizinc中的数组？
int[][] input1 = {{1,1,1}, {3,3,3}, {5,5,5} };
int[][] input2 = {{2,6,9},{7,7,7}, {9,9,9}, {11,11,11} };
int[][] diff = new int[input1.length][input2.length];
for(int i = 0; i < input1.length; i++){
for(int j = 0; j < input2.length; j++){
浏览 0提问于2016-01-29得票数 3
回答已采纳
我是一个MiniZinc新手，试图通过使用数组来概括MiniZinc教程中用于绘制澳大利亚地图颜色的玩具程序。
下面是我的两个数组声明的程序：
% Colouring Australia using nc colours
int: nc = 3; /* number of colours */
int: ns = 7; % number of states
% I added these 2 lines, and changed nothing else so far
array[1..ns] of string: names = ["wa","nt
浏览 1提问于2017-03-16得票数 0
回答已采纳
在Minizinc中，在可视化执行树(通过Profile search创建)时，我获得了一个包含灰色方块的树。 它们代表了什么？
浏览 23提问于2021-06-21得票数 2
回答已采纳
我有一个2d网格，其中某些单元格值产生不同的分数，我想通过给单元格分配值来最大化分数。在求解过程中，是否有可能跟踪求解者尝试过的每个网格？下面是模型的一个片段，只是为了演示这个想法。
int: i_count;
int: e_count;
set of 1..3: ROW;
set of 1..3: COL;
enum CELL = { U, I, E };
array[ROW,COL] of var CELL: grid;
constraint sum(r in ROW, c in COL)(grid[r, c] = I) <= i_count;
constraint sum(
浏览 3提问于2020-11-15得票数 3
回答已采纳
1回答
我最近开始学习minizinc，但是在我的程序中我有这种奇怪的行为。
.dzn
n = 5;
c = 2;
.mzn
include "globals.mzn";
int: n;
int: c;
set of int: num_deliveries = 1..n-1;
int: headquarter = 1;
set of int: num_places = 1..n;
set of int: deliveries = 2..n;
set of int: couriers = 1..c;
set of int: num_max_deliveries = 1..n+2;
s
浏览 6提问于2022-02-16得票数 0
回答已采纳
我正在熟悉MiniZinc的基础知识。因此，我用MiniZinc IDE编写了一些代码片段，如
solve satisfy;
string: s1 = "hello";
string: s2 = "world";
function list of int: cdr(list of int: v) =
[v[i] | i in 1..length(v)];
function list of string: cdr(list of string: v) =
[v[i] | i in 1..length(v)];
function string: con
浏览 3提问于2015-01-22得票数 2
回答已采纳
在编写MiniZinc模型时，我经常这样声明多个变量：
var int: dog;
var int: cat;
var int: bird;
var int: mammal;
var int: horse;
我试图在一行中声明所有这些变量，但它产生了一个语法错误：
var int: dog, cat, bird, mammal, horse;
是否有可能用一条语句以更简洁的方式声明所有这些变量？
浏览 1提问于2015-11-14得票数 0
我正在阅读金万豪的“迷你教程”，它说
变量实例化和类型的组合称为type-inst.当您开始使用Minizinc时，您无疑会看到类型inst错误的例子。
类型错误到底是什么？
浏览 0提问于2021-02-21得票数 1
我试图在MiniZinc中使用字符串连接运算符定义一个约束，解决变量a和b的问题。
include "disjunctive.mzn";
var string:a;
var string:b;
constraint("var1/var2" = (a ++ "/" ++ b));
solve satisfy;
output ["\nx=", show(a)];
尽管如此，这似乎是语法错误：
MiniZinc: type error: type error in operator application for `++'.
浏览 4提问于2015-07-01得票数 3
回答已采纳
4回答
我正在研究一个分类问题。我有一个包含相同数量的分类变量和连续变量的数据集。如何在决策树和逻辑回归之间决定使用哪种技术？
假设logistic回归更适合连续变量，决策树更适合连续变量和范畴变量，这是否正确？
浏览 0提问于2015-06-09得票数 17
回答已采纳
目前，我正试图在Minizinc中开发一个(相当基本的)模型。
到目前为止，我已经到了一个可以运行模型并找到令人满意的解决方案的地方(基本上，调用“解满足”给出了一个解决方案，还没有转移到优化)。
对于一个特定的实例，我将在大约3.5分钟内获得解决方案，。但是，当我添加一个"output"语句时，突然间的速度太慢了(我在2小时之后停止了运行)。
对于更多的上下文，下面是模型的大致样子：
int: resource1; % to read from input file
int: resource2;
...
array [1..someBound] of float: pric
浏览 17提问于2022-08-12得票数 1
回答已采纳
我试图用一个决策变量构建一个模型，该变量的范围为0..10，约束条件是它必须被4整除。输出必须是最小化值(x-7)^2的输出。通过调查我发现Gecode已经支持它了。
我尝试按如下方式构建模型，但使用内置pow()时出错。
% Decision variable
var 0..10: x;
% Constraints
constraint (x mod 4) == 0;
% Call to the resolver
int: obj = pow(x-7, 2);
solve minimize obj;
% Solution
output["x = ", sho
浏览 0提问于2020-11-22得票数 0
回答已采纳
我遇到的问题是如何在0..9到b10..19中添加变量。我的代码是：
array[0..19] of int: a=array1d(0..19,[0,1,2,3,4,5,6,7,8,9,9,8,7,6,5,4,3,2,1,0]);
array[0..19] of int: b=array1d(0..19,[9,8,7,6,5,4,3,2,1,0,0,1,2,3,4,5,6,7,8,9]);
array[0..9] of var int: c;
constraint
forall(i in 0..9, j in 10..19)
(
c[i]=a[i]+b[j]
浏览 3提问于2017-11-15得票数 1
回答已采纳
是否有任何方式(直接或间接)可以在minizinc中支持pow约束。Gecode支持带有浮点和int变量的，但是Minizinc和FlatZinc不支持变量的pow。Minizinc和Flatzinc只对模型的参数支持pow。任何关于在何处添加MiniZinc中对Flatzinc (mzn2fzn)解析器的支持的指针都可以这样做。
我希望有一个约束，例如-“pow( 4，x) == y”，即4^x == y。
浏览 2提问于2014-04-01得票数 3
回答已采纳
2回答
解的投影
、、
是否有可能告诉MiniZinc对变量集的子集进行项目解决方案？或者是否有其他方法来枚举所有唯一的wrt解决方案来计算变量的子集？
我曾尝试在FlatZinc中直接使用MiniZinc注释，但它不起作用，因为扁平化过程添加了更多的defines_var注释，而我的注释被忽略了。
浏览 5提问于2014-07-24得票数 3
回答已采纳
1回答
pip说minizinc已经安装了，但当我尝试在代码中调用它时，它给我一个错误，说它没有安装。 (backend) bash-3.2$ python
Python 3.8.3 (default, Jul 2 2020, 11:26:31)
[Clang 10.0.0 ] :: Anaconda, Inc. on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> from minizinc imp
浏览 36提问于2021-03-30得票数 0
回答已采纳
我不知道为什么我的代码在Minizinc不起作用..。你能帮帮我吗?这是错误，但我认为还有另一个错误: MiniZinc:语法错误:语法错误，意外的如果，期待文件的结束
array [1..n, 1..2] of 1..n: cards;
var int: M1;
var int: M2;
var int: m1;
include "globals.mzn";
constraint(M1 < m1);
constraint(M2 > m1);
constraint(M2 - M1 > d);
constraint alldifferent (
浏览 10提问于2022-03-22得票数 0
1回答
我在~/.bashrc文件中有应用程序minizinc，我可以在bash上调用它。我正在构建一个从bash调用minizinc的Rails应用程序，但我不能这样做。执行此命令后：
@cmd = ` bash -c "minizinc #{path} -n 1" `
我得到以下错误：
bash: minizinc: command not found
如何在应用程序中更改Rails应用程序用户的PATH变量？或者我如何告诉Rails应用程序这个bash应用程序的位置？
浏览 3提问于2014-10-16得票数 0
2回答
我试图在Minizinc中建模下一个约束：
假设S是一个大小为n的决策变量数组，我希望我的决策变量取1-k之间的值，但是在所使用的连续值的数目上有一个最大的'Cons_Max‘。
例如，假设Cons_Max = 2，n=8，k= 15，则序列1,2,4,5,7,8,10,11是有效序列，而例如，1,2,3,5,6,8,9,11不是有效序列，因为这里连续值的最大值等于3 (1,2,3)。需要注意的是序列1，3，5，5，7，9，10，12，14也是有效的，因为这些值不需要是连续的，而最大的神圣值是固定在'Cons_ max‘的。
对于如何在Minizinc中建模有任何建议吗？
浏览 5提问于2016-10-26得票数 1
回答已采纳
array[1..6] of var 0..1: Path;
include "alldifferent.mzn";
constraint
forall(j in 1..6)(
alldifferent(i in 1..6)(Path[i])
) 我正在尝试将列表混洗到minizinc中，但我每次都想要不同的结果，比如for all。我该怎么做呢？打印以下内容： Path = array1d(1..6, [5, 4, 3, 2, 1, 0]);
浏览 20提问于2020-10-23得票数 1
1回答
Logistic回归为非二进制变量生成二进制结果.我需要二进制变量的二进制结果。这就是要求。
如何利用A的先前值来预测二进制A？
或
如何从以前的A，B，C，D值中预测二进制A，B，C，D值？
我知道我能收集数据并计算基本概率。我认为最合适的方法是什么？提前谢谢你。
浏览 0提问于2017-08-07得票数 0
回答已采纳
最初，在Git CMD中运行minizinc mzn-cbc model.mzn data.mzn时出现错误：minizinc is not recognized as an internal or external command, operable program or batch file.。
后来，按照上的说明和的建议，我这样做了：export PATH=$PATH:{MINIZINC}，其中{MINIZINC}是安装位置。但是，我的终端返回错误：'export' is not recognized as an internal or external command,
浏览 0提问于2018-08-23得票数 0
回答已采纳
当使用MiniSat作为C++库时，可以将每个新变量创建为决策变量或非决策变量。
我对此的粗略理解是，当求解者决定在分支期间使用下一个变量时，不考虑非决策变量。然而，在我的项目中，当非决策变量处于隐含的左侧时，我遇到了麻烦，而不是处于等价关系中，因为求解者返回了SAT，尽管公式实际上是UNSAT。
进一步的实验表明，只有当非决策变量在大于2个变量的公式中时才会发生这种情况(我猜2变量公式路径是求解器中的一个特殊大小写，因此它的行为有所不同)。
浏览 15提问于2017-10-13得票数 3
回答已采纳
1回答
关于选项类型，Minizinc的 (秒)。6.6.3)说：
概述。使用opt类型构造函数定义的选项类型，定义可能存在或不存在的类型。它们类似于Haskell隐式的可能类型，向该类型添加了一个新的值<>。
..。
初始化。opt类型变量不需要在实例时间初始化。未初始化的opt类型变量自动初始化为<>。
我想用两种opt类型解析和处理以下约束：
predicate alternative(var opt int: s0, var int: d0,
array[int] of var opt int: s,
浏览 5提问于2017-11-02得票数 0
回答已采纳
Jupyter/Linux下的MiniZinc中的输出命令没有执行。
运行时：
%%minizinc
var int: one_var;
constraint one_var = 1;
solve satisfy;
output ["my var = \(2*one_var)\n"];
我得到了
{'one_var'：1}，这是标准MiniZinc变量的输出，
而不是
我的变量=2
感谢Ido
浏览 1提问于2018-12-18得票数 0
我有一个任务列表，它们之间有一些相互依赖的关系。9个任务。每个cpu组6个cpu 2。有三组p1，p2，p3。
cost p1=4
COST p2=5
COST P3=2
给出了不同任务在不同cpu上的执行时间。我们必须在任务之间传输数据数据。我们将使用点对点链接。我们需要购买购买两个cpu之间的点对点链接，它将花费我们1。我们可以稍后重新使用这些链接。
问题:我想指定这些约束。r1!=r4 <=> b14=1; b14是任务1和任务4之间通信的通信时间。我还需要有一个链接的成本。cpu :任务1被分配给r1。
if r1!=r4 then cost[r1][r4]=1;
谁能告诉
浏览 1提问于2014-02-27得票数 1
我有一个用minizinc编写的简单模型，我使用gecode来解决它，首先将它编译成flat-zinc。作为输入，该模型接受一些常量、数组和矩阵(以二维数组的形式)。该模型的输出是另一个必须满足某些约束的二维矩阵。
目标优化是最小化" Target“的值，”target“是输出矩阵的特定函数，定义如下：
var float: target = sum(i in 1..nodes, j in 1..nodes) (F(i, j) * output_matrix[i, j]);
solve minimize target;
当我执行这个模型时，如下所示：
mzn2fzn model.mzn
浏览 2提问于2017-06-07得票数 2
我想解决一个用Prolog实现得分函数的问题。在优化函数是用另一种语言定义的情况下，是否可以从MiniZinc脚本调用Prolog (或另一种语言)？
例如，可以很容易地通过MiniZinc Python包从python中调用MiniZinc。有没有一个接口可以做相反的事情(从MiniZinc调用Python )？
浏览 21提问于2020-05-06得票数 2
回答已采纳
我希望使用minizinc来解决优化问题。我正在通过细胞魔术在木星笔记本上使用它，如下所示。
对于下面这个简单的二次方程，当我单独使用-a标志时，我得到了输出中x的所有可能的解。
%load_ext iminizinc
a=1
b=4
c=0
%%minizinc -a
include "gecode.mzn";
var -100..100: x;
int: a; int: b; int: c;
constraint a*(x*x) + b*x = c;
solve satisfy;
[Out]: [{'x': -4}, {'x': 0}]
但
浏览 2提问于2021-04-21得票数 1
回答已采纳
我有n个作业和m台机器，并且有一个作业类型数组和作业类型。如果作业是作业类型数组中的特定类型，我必须将可用的其他机器中的偶数编号机器分配给奇数编号的机器。可以使用minizinc吗？下面是我尝试过的代码片段：
forall(w in 1..num_workers) (
if jobtype[job] == "NC" then assignment[job,(w mod 2 ==0)]=1
else assignment[job,(w mod 2 !=0)]=1 endif
)
它给出了以下警告
WARNING: undefined result becomes
浏览 4提问于2017-06-29得票数 0
回答已采纳
3回答
我之前遇到过一个关于求解器没有通过VBA向模型添加二进制约束的问题……我已经(基本上)解决了这个问题。但现在我有了一个新问题。首先，让我发布相关的违规代码部分。我应该注意到这是在Excel2007中运行的。
'build string of ByChange cells and set up cascading constraints
by_change_string = ""
For i = 1 To j - 1
If Len(by_change_string) > 0 Then 'there are alr
浏览 2提问于2012-12-22得票数 2
回答已采纳
2回答
我想根据今年的制药数据(药品代码)、年龄、性别和今年的成本，对一组患者明年的药品成本进行建模。
我用线性回归，得到了一个R^2为0.69，这是惊人的好。当我将病人分成5组，按本年度的成本计算，我可以看到，最低的80 %表现极差，而前20%的人则以0.71的分数弥补了这一点。
80%的人的花费大约在500欧元以下，而那些成本很高的人却有高达500.000欧元的极端成本。
我认为，由于线性回归想要将残差降到最低，用相对较小的残差来预测底层成本不会带来与尽量减少高成本一样多的收益。
是否有一种替代模式，在这种情况下也能更好地预测小额成本？
浏览 3提问于2021-04-08得票数 0
回答已采纳
2回答
据我所知，决策树方法用于数据分析的主要局限性是：
少提供有关预测因素与响应之间关系的信息。
倾向于方差或水平更大的预测因子。
可能有高度共线预测的问题。
对于样本容量小的响应，预测精度较差。
还有其他的吗？它们对同质性、正态性、独立性等传统统计假设是否稳健？
浏览 0提问于2017-12-14得票数 4
2回答
使用连续变量的决策树
、、、、
我有一个关于使用连续变量的决策树的问题。
我听说，当输出变量是连续的，而输入变量是绝对的，分裂准则是减少方差或什么的。但是我不知道如果输入变量是连续的，它是如何工作的
输入变量:连续/输出变量:范畴
输入变量:连续/输出变量:连续变量
关于两个案例，我们如何才能得到像基尼指数或信息增益这样的分割标准？
当我在R中使用rpart时，无论是输入变量还是输出变量，它都工作得很好，但我不知道具体的算法。
浏览 10提问于2016-11-30得票数 9
1回答
在MiniZinc (windows )中，我如何解析:平板锌:错误: FD解算器后端不支持‘`var’类型的变量。我意识到我需要一个不同的解决程序，但找不到一个程序安装一个和首选项dlg似乎不起作用。另外，还不清楚哪个解算器会起作用。
浏览 8提问于2015-01-31得票数 4
回答已采纳
我想知道是否可以在minizinc谓词中提供搜索顺序。例如，我有这样的代码
predicate numbers_falling_within_range (var int:a, var int:b)=
let {
var 213233..4535553: num;
} in
(a+b<num*64+64) /\ (a+b>num*64); %% pick a and b such that their sum fall within a range
在这里，我希望当它执行谓词时，它首先解决num问题，然后才是a或b。有办
浏览 0提问于2018-10-04得票数 0
回答已采纳
1回答
我正尝试在Ubuntu上运行一个使用minizinc模块的Python脚本。
该脚本在Windows机器上运行良好。然而，当我尝试在Ubuntu上运行相同的脚本时，我得到了以下错误：
RuntimeWarning: MiniZinc was not found on the system. No default driver could be initialized.
minizinc模块文档警告了Linux系统上的这个错误，并指出可以使用minizinc.find_driver()函数手动提供驱动程序的路径。我尝试使用该函数手动设置驱动程序路径，但出现了相同的错误(我可能设置错了)。
我是新
浏览 8提问于2021-05-06得票数 0
1回答
我正在尝试构建一个决策树，其中我在r.which决策树中混合了自变量和连续因变量，我可以应用吗？我不想使用购物车，因为我想要2个以上的分割。
浏览 7提问于2015-08-20得票数 0
1回答
我通过anaconda prompt在python上安装了minizinc，就像安装其他包一样。 pip install minizinc 程序包显示它已成功安装，我可以导入模块。但是，我遵循的是基本的示例https://minizinc-python.readthedocs.io/en/latest/getting_started.html#a-basic-example，但是一旦我运行了第一行 from minizinc import Instance, Model, Solver 我得到了下面的导入错误： ImportError: cannot import name '
浏览 16提问于2020-07-21得票数 2
回答已采纳
3回答
科学工具包-学习决策树过度拟合
、、、、
我们有一个项目来利用我们已经学到的一些算法。我一直在使用SciKit--学习执行这些算法，但是当涉及到决策树时，我一直觉得自己太合适了。
我使用了一个关于天气的数据集，给出了城市、州、月、年、风向、风速等特征。目标变量是一天的平均温度。现在我知道这是很难分类的，因为它基本上是一个连续的可变空间，但是我已经将它简化为预测范围在5到实际的范围内。
下面是我正在使用的csv的链接
以下是我的代码：
address2 = 'C:/.../weather.csv'
weather = pd.read_csv(address2)
cityCode= le.fit_transform(we
浏览 0提问于2019-02-09得票数 3
1回答
我对决策树方法很陌生。对于决策树回归模型，它是否只适合于数据的分段步进函数？什么时候，为什么人们会更喜欢它，而不是一些传统的回归，如局部加权(黄土)回归？
浏览 0提问于2017-10-27得票数 3
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
